Что понимают под рекурсией хронологической взаимосвязи в компьютерных системах учета [c.239]
Приведенное определение фактически содержит рекурсию к самому себе обороноспособность г-й стороны AI = О (Pi по отношению к множеству вероятных противников Pi определяется через возможную потерю в результате конфликта нападавшей стороной k Е р Е Pi обороноспособности Ak ф 0% (Pk Si) по отношению к своим вероятным противникам Pk Si, не подвергавшимся нападению. Однако, в данном случае такая рекурсия является корректной, поскольку при рассмотрении вопроса об обороноспособности Ak по отношению к Pk Si полный список сторон N сокращается минимум на 1 элемент по сравнению с первоначальным. [c.298]
Сценарий очевидным образом определяет истинностные значения константных атомов. Мы будем считать, что это определение истинностных значений распространяется на все предложения теории К обычной рекурсией, где выражения с областью определения ситуация означают члены множества 5, а выражения с областью определения действия означают члены множества А. Мы также используем идею о моделях и понятие справедливой формулы в сценарии. [c.456]
При анализе условий запрещено использовать рекурсию типа x=f(x), x=x+l и т.д., а также нежелательно выполнять ресурсоемкие вычисления, требующие существенных затрат времени процессора ЭВМ. [c.105]
Воспользовавшись (5.12) как базой рекурсии, можно с помощью (5.11) последовательно вычислить ЛЛ( ) и J u( ), e2 n. Положив на последнем шаге = , в силу (5.9), найдем глобальный максимум функции (5.3), равный Лл(6), и компоненту оптимального плана х п=хп(Ь). Полученная компонента позволяет вычислить нераспределенный остаток на следующем шаге при [c.161]
Используя соотношения (10), можно решить задачу управления долгом (1)— (3) по принципу динамического программирования, то есть с помощью обратной рекурсии. Решение имеет следующий вид [c.24]
В гл. 1 вводится общее понятие процесса как математической абстракции взаимодействия системы и ее окружения Показано, как с помощью известного механизма рекурсии можно описывать протяженные во времени и бесконечные процессы. Вначале идея иллюстрируется с помощью примеров и рисунков более полное истолкование дают алгебраические законы, а также машинная реализация на функциональном языке программирования. Вторая часть главы посвящена тому, как можно представить поведение процесса в виде протокола последовательности его действий. Определены многие полезные операции над протоколами. Еще до реализации процесс может быть специфицирован путем описания свойств его протоколов. Даны правила, помогающие получить реализации процессов, сопровожденные доказательством их соответствия исходным спецификациям. [c.9]
Рекурсия позволяет определить единственный процесс как решение некоторого единственного уравнения. Эта техника легко обобщается на случай решения систем уравнений с более чем одним неизвестным. Для достижения желаемого результата необходимо, чтобы правые части всех уравнений были предваренными, а каждый неизвестный процесс входил ровно один раз в правую часть одного из уравнений. [c.17]
Закон L2 можно распространить на случай взаимной рекурсии. Систему рекурсивных уравнений можно записать в общем виде, используя индексы [c.20]
Так как протокол s конечен, то содержащаяся в этом определении рекурсия завершится после исследования лишь конечного по длине начального отрезка поведения процесса Р. Вследствие того, что мы избегаем бесконечного исследования поведения процесса, можно с уверенностью определить процесс как бесконечный объект, т. е. функцию, результат которой есть функция, результат которой есть функция, результат которой... [c.29]
К счастью, по независимым соображениям очевидно, что ТАП никогда не останавливается. На самом деле, любой процесс, определенный только с помощью префикса, выбора и предваренной рекурсии, никогда не останавливается. Единственный способ записать останавливающийся процесс - это явно включить в него СТОП или эквивалентный процесс В — Р(х)), где В - пустое множество. Избегая таких элементарных ошибок, можно с гарантией записывать бесконечные процессы. Однако после введения в следующей главе параллелизма такие простые меры предосторожности становятся недостаточными. Более общий способ спецификации и доказательства свойства бесконечности процесса описывается в разд. 3.7. [c.35]
Поведение фишки можно определить как Р Q. В этом примере алфавиты аР и aQ не имеют общих событий. Перемещения фишки, следовательно, представляют собой произвольное чередование действий процессов Р и Q. Без помощи параллелизма описать такое чередование очень сложно. Обычно требуется взаимная рекурсия с уравнением для каждого состояния системы. Пусть, например, RH отвечает [c.38]
Слуге было дано секретное указание следить за тем, чтобы за столом никогда не оказывалось больше четырех философов одновременно. Его поведение проще всего описать с помощью взаимной рекурсии. Пусть [c.43]
Целью этого раздела является доказательство в общих чертах основополагающей теоремы о рекурсии, т.е. о том, что рекурсивно определенный процесс (2.8.1. D5) в действительности является решением соответствующего рекурсивного уравнения [c.52]
В этом разделе мы несколько формализуем наши рассуждения из разд. 1.1.2, показавшие, что уравнение, задающее процесс с помощью предваренной рекурсии, имеет единственное решение. При этом нам удастся сформулировать более общие условия единственности таких решений. Для простоты мы будем рассматривать процессы, заданные только одним рекурсивным уравнением эти рассуждения можно легко обобщить на случай систем взаимно рекурсивных уравнений. [c.53]
Свойство рекурсии хронологической взаимосвязи может быть достигнуто в системе и иным путем. Например, массив хозяйственных операций может включать специальную технологическую информацию, которая увязывает каждую запись с определениями правил формирования операций. Благодаря наличию этой связи программа может автоматически провести переопределение записи, расчет суммы которой зависит от оборотов и исходящих сальдо счетов, сложившихся в результате предшествующих операций. Элементы подобного рода организации массива хозяйственных операций реализованы в различных модификациях 1 Бухгалтерии , программном комплексе БЭСТ , программе Турбо Бухгалтер и ряде других. [c.238]
РЕКУРС - право кредитора требовать выплаты долга гарантами, если основной дебитор не в состоянии исполнить свои обязательства по кредиту. [c.193]
Фрактальная геометрия, она же - рекурсивная геометрия - геометрия динамических форм, моделей, которые обладают математическим свойством рекурсии. Это значит, что если даны, например, все переменные модели до момента (t-1), то модель обеспечивает и получение одного за другим значений переменных для t, по ним - для (t+1) и тд. Вообще, рекурсия (re urren e) - в общем смысле вычисление функции по определенному алгоритму. Примерами таких алгоритмов являются рекуррентные формулы, выводящие вычисления заданного члена последовательности (чаще всего числовой) из вычисления нескольких предыдущих ее членов. Например, если X1=2,Xk+1=2Xk+2, то задана числовая последовательность 2,4,10,22... [c.3]
Рекурсивная модель (re ursive model) — динамическая модель, обладающая математическим свойством рекурсии, т. е. если даны, например, все переменные модели до момента (t— 1), то модель обеспечивает и получение одного за другим значений переменных для t, по ним для (t+1) и т. д. — Прим. научи, ред. [c.62]
РЕКУРСИЯ [re urren e] — в общем смысле вычисление функции по определенному алгоритму. Примерами таких алгоритмов являются рекуррентные формулы, выводящие вычисление заданного члена последовательности (чаще всего чис- [c.307]
В различных экономических приложениях применяются (и рассматриваются в словаре) следующие функции Взвешивающие, Дифференцируемые, Гладкие, Кусочно-линейные, Кусочно-непрерывные, Линейные, Нелинейные, Непрерывные, Се-парабелъные, Экспоненты и др. См. также Вектор-функция, Гессиан, Интеграл, Мультипликативная форма представления функции, Производная, Рекурсия, Частная производная, Эластичность функции. [c.379]
Для рассмотрения возможностей характеризации знания мира наложим аналогичное ограничение на форму возможных ситуаций внешнего окружения, например займемся детализацией того, что должен представлять собой непрозрачный многогранник1). Подобно характеризации синтаксических структур естественного языка, такую детализацию можно осуществить в рамках некоторого формализма, определяющего бесконечное множество вариантов при помощи рекурсии или других технических средств. В описанный в разд. 3.2 алгоритм заложена довольно большая часть знаний о простых сценах , хотя до сих пор и неформализованных. [c.133]
Когда в программе встречается удаление элемента данных из системного набора данных (оператор ERASE), выполняются все теоремы типа erasing, стереотипы которых совпадают с удаляемым элементом. Рекурсии в теоремах этого типа нет, операции внутри теоремы выполняются непосредственно. Смысл данной теоремы состоит в следующем если кубик В поддерживал кубик А, а кубик А удаляется, то кубик В больше уже ничего не поддерживает. [c.523]
Аналогично теоремам типа erasing теоремы типа ante edent выполняются при внесении нового утверждения оператором ASSERT, если их стереотипы совпадают с вносимым утверждением. Рекурсии здесь также нет. Смысл этой теоремы таков если мы ставим кубик А на кубик В, то кубик В начинает поддерживать кубик А. [c.523]
Во-первых, если необходимо производить сложные или длительные по времени ресурсоемкие вычисления, использовать рекурсии с некоторыми переменными (например, x=j(x) или х++ ), работать с системными вызовами, обращаться к ресурсоемким вычислительным функциям, то это делается между функцией определения типа узла и соответствующим оператором pla e с помощью специального средства l ode. [c.126]
Структура прикладных динамических моделей. Взаимосвязи капитальных вложений, основных производственных фондов, динамики производства. Общие требования к прикладным моделям. Основные типы динамических межотраслевых моделей с прямой рекурсией, обратной рекурсией, квазидинамические модели межотраслевого баланса производственных мощностей. [c.92]
Утверждение о том, что предваренное уравнение имеет решение, и это решение единственное, можно неформально доказать методом подстановки. Всякий раз, когда в правую часть уравнения производится подстановка на место каждого вхождения имени процесса, выражение, определяющее поведение процесса, становится длиннее, а значит, описывает больший начальный отрезок этого поведения. Таким путем можно определить любой конечный отрезок поведения процесса. А так как два объекта, ведущие себя одинаково вплоть до любого момента времени, ведут себя одинаково всегда, то они представляют собой один и тот же процесс. Те, кто считает, что такие рассуждения непонятны или неубедительны, могут принять это утверждение как аксиому со временем его важность и уместность станут очевидными. Более строгое доказательство невозможно без точного математического определения процесса. Это будет сделано в разд. 2.8.3. Приведенное здесь описание рекурсии существенно опирается на понятие предваренности рекурсивного уравнения. Смысл не предваренной рекурсии мы обсудим в разд. 3.8. [c.15]
Используя префиксы и рекурсию, можно описывать объекты, обладающие только одной возможной линией поведения. Однако поведение многих объектов зависит от окружающей их обстановки. Например, торговый автомат может иметь различные щели для 1-й 2-пенсовых монет выбор одного из двух событий в этом случае предоставлен покупателю. [c.15]
С помощью LABEL можно описать и взаимную рекурсию. Например, СГиз примера 1.1.4 Х2 можно рассматривать как функцию, ставящую в соответствие множеству натуральных. чисел множество процессов (которые сами являются функциями - но нас это не должно тревожить). Поэтому можно определить СТ как [c.21]
Завершение ЛИСП-функции append гарантируется тем, что при каждом рекурсивном вызове список, подставляемый в качестве первого аргумента, короче, чем на предыдущем уровне рекурсии. Подобное рассуждение позволяет установить корректность и других, приведенных ниже, реализаций. Для [c.26]
Дистрибутивность относительно оператора рекурсии осуществляется чуть сложнее при этом соответственно изменяется алфавит IA.tffiX A.FW) = (nY f(A).f(F(f- (Y))) [c.47]
Опять может вызвать недоумение использование/ в правой части. Вспомним, что для того, чтобы рекурсивное определение в левой части было корректным, требуется, чтобы аргументом функции F был процесс с алфавитом А, а результатом - процесс с тем же алфавитом. В правой части переменная Y принимает значения процессов с алфавитом f(A) и не может поэтому использоваться в качестве аргумента f, пока ее алфавит не будет заменен снова на А. Это делается применением обратной функции / . Теперь F (f (Y)) имеет алфавит А, и поэтому применение функции/изменит этот алфавит uatfA), обеспечив таким образом справедливость рекурсии в правой части. [c.47]