Вопросы по теме 'deterministic'

Планы выполнения Oracle при использовании оператора LIKE с функцией DETERMINISTIC
Теперь у меня есть действительно сложная вещь с планами выполнения Oracle, приводящими в хаос, когда я использую функцию DETERMINISTIC справа от оператора LIKE . Это моя ситуация: Ситуация Я подумал, что было бы разумно выполнить такой...
1603 просмотров

Нужна помощь в построении детерминированного конечного автомата?
Каковы правила построения детерминированного конечного автомата в виде диаграммы? Мой профессор объяснил на примерах, но я не совсем уверен, каким правилам должны следовать все диаграммы. Любая помощь приветствуется, спасибо!
1950 просмотров

Код для member/2 с некоторым детерминизмом
Как я могу закодировать member/2, у которого есть детерминизм для последнего элемента. В настоящее время я использую: member(X,[X|_]). member(X,[_|Y]) :- member(X,Y). Когда я запрашиваю следующее: ?- member(X,[1,2]). X = 1 ; X = 2 ; No...
172 просмотров
schedule 16.07.2022

Детерминированные автоматы с конечным состоянием для сравнения по модулю
Я работаю над созданием детерминированного конечного автомата для следующей проблемы: Вы можете создавать строки, состоящие из x и y. Как создать диаграмму, которая принимает язык только тогда, когда количество (x по модулю 4) больше, чем...
397 просмотров

Детерминированная функция для получения сегодняшней даты
Я пытаюсь создать индексированное представление, используя следующий код (чтобы я мог опубликовать его для репликации в виде таблицы): CREATE VIEW lc.vw_dates WITH SCHEMABINDING AS SELECT DATEADD(day, DATEDIFF(day, 0, GETDATE()), number) AS...
1041 просмотров
schedule 05.04.2023

Как сделать выделение памяти в MSVC C++ детерминированным?
При отладке некоторого кода C++ с множеством указателей было бы полезно, если бы адреса памяти между запусками были одинаковыми. Есть ли способ сделать серию адресов, возвращаемых между последовательными запусками программы, выполняющей одно и то же...
462 просмотров

Создайте регулярное выражение для соответствия следующему языку
Я работаю над упражнением на мышление, которое мне дал мой профессор в конце лекции. Проблема состоит в том, чтобы построить DFA с учетом определения конкретного языка. Прежде чем я создам DFA, первое мыслительное упражнение состоит в том, чтобы...
359 просмотров
schedule 15.03.2023

Является ли стандарт IEEE 754-2008 детерминированным?
Если я начну с тех же значений и выполню одни и те же примитивные операции (сложение, умножение, сравнение и т. д.) с 64-битными значениями двойной точности IEEE 754-2008, получу ли я тот же результат, независимо от базовой машины? Более конкретно:...
525 просмотров

Преобразование в детерминированную функцию с помощью SQL Server
Я пытаюсь создать детерминированную функцию с помощью SQL Server, чтобы я мог создать индекс для представления, которое вызывает эту функцию. Эта функция принимает имя столбца и возвращает конец месяца как datetime. Например, от 201701 до...
392 просмотров

Как сделать недетерминированную функцию детерминированной?
Я пытаюсь понять, почему моя функция недетерминирована. Я хочу поместить эту функцию в вычисляемый столбец и индексировать его. SQL жалуется, что он недетерминирован. ALTER FUNCTION [dbo].[GetPeriodFromDates] ( -- Add the parameters for the...
59 просмотров
schedule 21.01.2023

SWI: полудетерминированное поведение: случайное/3 в контексте вызова/1?
Это было мое первое столкновение с понятием детерминированности в Прологе: noredirect=1#comment84840684_48916791">Почему Prolog не выполняет возврат при сравнении? Я также нашел это обсуждение интересным: Имеет ли понятие "semidet" в Prolog...
63 просмотров
schedule 25.09.2022

Получение времени начала задания LSF
Можно использовать bjobs , чтобы получить время начала задания LSF как таковое: bjobs -noheader -o start_time $JOB Однако это возвращает низкокачественный (например, секунды не обязательно включены) удобочитаемый вывод. Я считаю, что более...
163 просмотров
schedule 21.02.2023

Является ли алгоритм Дейкстры детерминированным?
Я думаю, что алгоритм Дейкстры определен так, что если вы выберете одну и ту же начальную вершину, вы получите тот же результат (одинаковые расстояния до каждой другой вершины). Но я не думаю, что он детерминирован (что он определил следующую...
320 просмотров
schedule 24.03.2023

Результаты операций с плавающей запятой воспроизводятся на одном процессоре?
У меня есть две функции для рисования 3D-линии. Функция uint32 getVertCount() определяет количество вершин, которые мне нужно выделить, в то время как функция void setVerts(void * v) также определяет количество вершин, используя ту же математику...
62 просмотров

Хэш фиксации Git влияет на двоичный файл Visual Studio dll/exe для нового формата csproj
У меня много проектов NET Framework. Старые проекты имеют старый формат csproj с детерминированным=true. Поэтому всякий раз, когда я собираю сборку, я получаю двоичный файл с одним и тем же выходным файлом (dll или exe). Новые проекты имеют новый...
47 просмотров