CC BY
40
Определение. Конечный детерминированный автомат, определяемый пунктами 1-6 для автомата А = (Б, X, У, д, X), будем называть моделью функционирования автомата А под воздействием входных последовательностей (р””1 ,Р””2, • • • ,Р””Г} и обозначать 0(А,р”, \ < г < г, у).
Предположим, что реакцией автомата на внешнее воздействие является пометка текущего состояния. Пусть также для всех входных сигналов выполняется условие, рассмотренное в замечании 1. Построенная модель функционирования автомата под воздействием периодических последовательностей позволяет заменить как «исправный» так и «неисправный» автомат их моделями зацикливания. В качестве входных сигналов для модели зацикливания исправного автомата нужно тогда рассматривать периодические последовательности с периодом х, где х — любой сигнал из множества входных сигналов X, а для неисправного автомата различные слова (р””1 , р”2,...,р””г}. Тогда по выходной реакции этих автоматов можно судить о совпадении поведений автоматов на циклах.
Теорема 3. Пусть А\ = (Б,Х,У,д1, Х1) — конечный детерминированный автомат, соответствующий поведению автомата до возникновения неисправности А2 = (Б, X, У, д2, Х2) — конечный детерминированный автомат, соответствующий поведению автомата после возникновения неисправности и 01 (А, х”, 1 < 3 < п) и 02 (А,р””, 1 < г < г) — модели зацикливания этих автоматов. Тогда любое решение р е {р”, 1 < г < г} задачи восстановления, построенные для автоматов 01 и 02, является решением задачи восстановления для автоматов А1 и А2.
Конкретный вид периодических последовательностей (набор периодов р^) предполагается выбирать на основе свойств функций переходов и выходов, задающих поведение автомата до и после возникновения неисправности. При этом рассматривается структурный автомат, состоящий из комбинационной части и памяти. Комбинационная часть автомата задается набором функций алгебры логики.
Библиографический список
1. Сытник А.А. Восстановление поведения сложных 2. Богомолов А.М., Твердохлебов В.А. Диагностика систем. Саратов: Изд-во Сарат. ун-та, 1992. сложных систем. Киев: Наук. думка, 1974.
УДК 519.7
УСЛОВИЯ РЕАЛИЗУЕМОСТИ ФУНКЦИЙ НА ПОЛУРЕШЁТКАХ УСТОЙЧИВЫМИ К СОСТЯЗАНИЯМ СХЕМАМИ
И.А. Панкратова
Томский государственный университет, кафедра защиты информации и криптографии E-mail: pank@isc.tsu.ru
В статье рассматриваются схемы, реализующие функции на по-лурешётках. Даётся определение функциональной устойчивости таких схем к состязаниям, формулируются условия реализуемости функций на полурешётках функционально устойчивыми схемами в произвольном базисе и в любых RS (от Resistor, Switch)-базисах.
Conditions for Functions on Semilattices to be Realized by Networks with Stable Behaviour under Hazards
I.A. Pankratova
The notion of functional stability under hazards is introduced for networks realizing functions defined on finite upper semilattices. Some constructive conditions are established for such functions to be realized by stable networks composed of any elements or of transistors and switches.
ВВЕДЕНИЕ
Задача реализации функций на полурешётках возникает в связи с проблемой синтеза схем с заданным динамическим поведением [1]. Традиционно поведение комбинационной схемы задаётся в статике, как отображение входных состояний в выходные. Но входные состояния — это векторы, в асинхронных схемах их компоненты меняются в произвольном порядке, и эти изменения с разными скоростями распространяются по элементам и соединениям в схеме. Изменения, которые происходят при этом на выходах схемы, составляют суть динамического поведения. Статическое поведение схем описывается функциями конечно-значной логики; для описания динамического поведения этих средств недостаточно, применяются более сложные математические модели.
© И.А. Панкратова, 2008
55
Исторически первый и наиболее распространенный способ описания динамического поведения схем — описание через понятие состязаний. Неформально состязание заключается в более чем однократном изменении состояния выхода схемы при однократном изменении входного состояния (см., например, [2-5]). В статьях [б, 7] приводятся строгие определения состязаний, ставятся и решаются задачи синтеза свободной от состязаний на заданном множестве переходов схемы.
В 1993 году Г.П. Агибаловым предложено динамическое поведение схем описывать с помощью функций на полурешётках [1]. Для этого множество состояний схемы представляется как конечная верхняя полурешётка, где сумма состояний a + b моделирует промежуточное состояние, возникающее в процессе асинхронного изменения a на b. Задача синтеза дискретного устройства с заданным динамическим поведением сводится к синтезу в некотором базисе схемы, реализующей на полурешётках функцию, описывающую это поведение.
1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
Конечной верхней полурешёткой (далее просто полурешёткой) называется конечное частично упорядоченное множество, в котором каждая пара элементов x, y имеет точную верхнюю грань sup{x, y}, называемую суммой элементов x и y: x + y = sup{x,y}. Не для всякого подмножества A элементов полурешётки существует нижняя грань; если всё же она существует, то будем обозначать через inf A наибольшую из нижних граней (точную нижнюю грань) элементов множества A. Точками полурешётки будем называть минимальные по заданному на полурешётке отношению порядка элементы. Будем обозначать через m(L) множество точек полурешётки L и через m(a) — множество точек, содержащихся в элементе a є L: m(a) = {t є m(L) і t к a}, где к — отношение порядка на полурешётке L.
Пусть L — произвольная полурешётка. n-местной функцией на полурешётке L называется отображение вида f і Ln ^ L. Будем рассматривать также частичные функции f і Uf ^ L, где Uf С Ln
— область определения функции f. Говорят, что функция g реализует функцию f, и пишут g к f, если Uf С Ug и g(a) к f (a) для любого a є Uf. Функция на полурешётке L называется монотонной, если она сохраняет отношение порядка на L. Бинарное отношение Г С M х L на полурешётках M, L называется квазимонотонным, если оно реализуется монотонной функцией, т. е. если для некоторой монотонной функции g і M ^ L верно следующее: (a,b) є Г ^ g(a) к b.
Будем рассматривать одновыходные комбинационные схемы, состояния узлов которых принимают значения в некоторой полурешётке L. Их динамическое поведение описывается функцией f і Ln ^ L, где n — количество входных полюсов схемы. Функции на полурешётках реальных физических элементов монотонны, и суперпозиция монотонных функций есть функция монотонная, следовательно, функции схем монотонны. Схема с функцией fc реализует функцию на полурешётке f (является её реализацией), если fc к f. Функция, реализуемая схемой в некотором базисе, называется реализуемой в этом базисе.
Пусть даны полурешётка L, комбинационная схема C с функцией fc і Ln ^ L и переход (a,b) є (Ln)2. В силу монотонности fc имеем fc(a) + fc(b) к fc(a + b). Будем говорить, что схема C функционально устойчива к состязанию на переходе (a,b), если имеет место равенство fc (a + b) = fc (a) + fc (b). Содержательно это означает, что при любом распределении задержек элементов и любом порядке изменения компонент входного состояния выход схемы останется в пределах (не превзойдёт) минимально возможного значения fc(a) + fc(b) в процессе изменения входного состояния с a на b.
Множество переходов T С (Ln)2 назовём совместимым для функции f, если существует монотонная функция g такая, что g к f и g(a + b) к f (a) + f (b) для любого (a, b) є T. Из определения следует, что невозможно обеспечить устойчивость схемы, реализующей f, к состязаниям на всех переходах из множества T одновременно, если T несовместимо для функции f.
2. УСЛОВИЯ РЕАЛИЗУЕМОСТИ ФУНКЦИЙ НА ПОЛУРЕШЁТКАХ ФУНКЦИОНАЛЬНО-УСТОЙЧИВЫМИ СХЕМАМИ В ПРОИЗВОЛЬНОМ БАЗИСЕ
Рассмотрим следующую ситуацию. Предположим, что функция f реализована некоторой схемой C, функционально неустойчивой к состязанию на переходе (a, b), т. е. имеет место строгое неравенство
56
Научный отдел
fc (a) + fc (b) < fc (a+b), где fc — функция схемы C. Вместе с тем, ввиду fc (a) + fc (b) к f (a) + f (b) возможно выполнение условия fc (a + b) к f (a) + f (b), т. е. выходной сигнал схемы ни при каком распределении задержек не выходит за пределы предполагаемого значения f (a) + f (b) при изменении входного состояния с a на b. Такое состязание в схеме считается несущественным для данной функции f. Будем называть схему C f-устойчивой к состязанию на переходе (a,b), если fc (a + b) к f (a) + f (b). Заметим, что если функция f принимает только точечные значения, то все состязания в схеме C являются существенными, так как в этом случае ввиду fc (a) = f (a) и fc(b) = f (b) невозможна цепочка неравенств fc(a) + fc(b) < fc(a + b) к f (a) + f (b).
Сформулируем условия реализуемости произвольной функции f і Uf ^ L, где Uf С Ln, схемой в заданном базисе, f-устойчивой к состязаниям на всех переходах из заданного множества T. Для этого построим отношение &1,т С Ln х L следующим образом:
Qf^ = {(x,f (x)) і x є Uf} U {(a + b,f (a) + f (b)) і (a,b) є T}. (В общем случае это действительно отношение, а не функция, ввиду возможности равенства a + b = c + d при (a,b) = (c,d)). Из определения совместимого множества переходов следует, что множество T совместимо для функции f, если и только если отношение квазимонотонно. В этом случае по тесту квазимонотонности [1] для любого (a, b) є T существует нижняя грань множества Fab = {f (c) + f (d) і (c,d) є T & c + d = a + b},
и можно построить расширение ^ функции f на множество Uf U {a + b і (a,b) є T}, положив
^ (a + b) = infFab.
Теорема 1. Функция f реализуема в базисе B схемой, f -устойчивой к состязаниям на всех переходах из совместимого для f множества T, если и только если в базисе B реализуема функция fi'. В этом случае любая реализация ^ реализует f и является f -устойчивой к состязаниям на всех переходах из T.
Доказательство. Достаточность проверяется непосредственно.
Необходимость. Пусть некоторая схема C в базисе B реализует f и f-устойчива к состязаниям на всех переходах из T. Тогда для её функции fc выполняется: fc(x) к f (x) = fj^(x) для любого x є Uf и fc (a + b) к f (a) + f (b) для любого (a,b) є T. Рассмотрим произвольный переход (a,b) є T и любой переход (c, d) є T такой, что a + b = c+d. Имеем: fc(a + b) = fc(c+d) к f (c) + f (d), что по определению Fab и в силу произвольности выбора (c,d) равносильно условию fc (a + b) к inf Fab = ^ (a + b). Следовательно, fc к ^. Теорема доказана.
Таким образом, установлено, что задача реализации функции на полурешётках функциональноустойчивой схемой есть задача реализации надлежащего расширения исходной функции. К сожалению, реально используемые при проектировании современных схем базисы не обладают полнотой в классе функций на полурешётках. В следующем разделе доказываются конструктивные (в отличие от теоремы 1) условия реализуемости функций на полурешётках функционально устойчивыми схемами для некоторых реальных базисов.
3. УСЛОВИЯ РЕАЛИЗУЕМОСТИ ФУНКЦИЙ НА ПОЛУРЕШЁТКАХ ФУНКЦИОНАЛЬНО-УСТОЙЧИВЫМИ СХЕМАМИ В RS-БАЗИСЕ
При проектировании реальных схем чаще всего используется элементный RS-базис, состоящий из элементов двух типов — резистора, представляющего собой двухполюсник с постоянной конечной проводимостью (обозначаемой X) между полюсами, и переключателей, являющихся многополюсниками, в которых проводимости между полюсами принимают значения в полурешётке р2 всех непустых подмножеств множества {О, і} и являются функциями от состояний полюсов элемента. Проводимости цепей схемы в RS-базисе принимают значения в полурешётке проводимостей р3 = {О, і, X, О', і', X', E}
— верхней полурешётке всех непустых подмножеств множества P3 = {О, і, X}. Здесь О = {О}, і = {і}, X = {X} (эти значения являются точками полурешётки), О' = {і, X}, і' = {О, X}, X' = {О, і}, E = {О, і, X}. Неточечные элементы этой полурешётки можно интерпретировать двояко: как значение проводимости в процессе её изменения или как в подходящей степени неопределённое значение. Состояние узла схемы определяется парой проводимостей от этого узла до полюсов источника питания и принимает значение в полурешётке состояний (р3)2.
Информатика
57
Введём в рассмотрение бинарное отношение y на р3 как
Y = {(і, О), (і, X), (і, і'), (X,О), (О', О)}
и распространим его покомпонентно на векторы с компонентами в Pp3, в том числе на элементы полу-решётки состояний. Пусть далее для элементного базиса B через xв обозначается вектор значений функций всех элементов из B на их аргументе x.
Теорема 2. Пусть множество переходов T совместимо для функции f и RS-базис B содержит элемент, не сохраняющий отношения y. Тогда f реализуется функционально устойчивой к состязаниям на всех переходах из множества T схемой в базисе B, если и только если для любого y є M = UxeUfT m(xв) существует нижняя грань множества Ty = {fT(x) і x є UfT & y є m(xв)}.
Доказательство. По теореме 1 доказываемое утверждение равносильно реализуемости в базисе B расширения fT. В свою очередь, в условиях теоремы необходимым и достаточным условием реализуемости fT в базисе B является квазимонотонность отношения Гft,B, которое содержит пары (xв, fT(x)) для всех x є UfT [В, теорема 3]. Пусть отношение Гft,в квазимонотонно. Тогда поскольку для любого y є M существует нижняя грань множества {xв і y є m(xв)} (например, y), то по тесту квазимонотонности [1] существует и нижняя грань множества Ty. Необходимость доказана.
Достаточность. Построим функцию h і M ^ L, положив h(y) = inf Ty для каждого y є M, и ее расширение g по правилу точечного продолжения [1]: g(a) = J2tem(a) g(t). Согласно [1, теорема 3.2], функция g является монотонной. Рассмотрим произвольное значение x є UfT. Имеем:
g(xB) = £yem(xB) g(y) = £yem(xB) h(V) к fT (x) , что означает g к Г ft ,в . СлеДовательно, °тн°шение Гft,в квазимонотонно, и fT реализуется в базисе B. Теорема доказана.
Библиографический список
1. Агибалов Г.П. Дискретные автоматы на полурешет-ках. Томск: Изд-во Томск. ун-та, 1993.
2. Eichelberger E.B. Hazard Detection in Combinational and Sequential Switching Circuits // IBM Journal of Research and Development. 1965. V. 9, № 2. P. 90-99.
3. Миллер Р. Теория переключательных схем. М.: Наука, 1971. Т. 2.
4. Яблонский С.В. Основные понятия кибернетики//
Проблемы кибернетики. М.: Наука, 1959. Вып.2.
С. 7-38.
5. Рогинский В.Н. Основы дискретной автоматики. М.: Связь, 1975.
6. Чеботарев А.Н. Риск в асинхронных логических схемах // Кибернетика. 1976. № 4. С. 8-11.
7. Агибалов Т.П., Комаров Ю.М., Липский В.Б. Синтез комбинационных схем, свободных от статических состязаний // Автоматика и вычислительная техника. 1979. № 1. С. 1-6.
8. Панкратова И.А. Условия реализуемости функций на полурешётке в реальных базисах переключательных элементов // Дискретный анализ и исследование операций. Сер. 1. 2006. Т. 13, № 3. С. 40-61.
УДК 681.5:51-74
МЕТОДЫ И АЛГОРИТМЫ ИДЕНТИФИКАЦИИ ПАРАМЕТРОВ ВНЕШНЕГО ТЕПЛООБМЕНА ПРОЦЕССОВ ТЕПЛОМАССОПЕРЕНОСА
В.Н. Ткаченко, А.А. Иванова, О.В. Шуба
Институт прикладной математики и механики НАНУ, Украина E-mail: tkachenko@iamm.ac.donetsk.ua, ivanova@iamm.ac.donetsk.ua
Предложены методы и алгоритмы идентификации параметров внешнего теплообмена на основе метода наименьших квадратов. Проведён сравнительный анализ методов идентификации распределенных параметров.
Methods and Algorithms of Identification of External Heat Exchange Parameters for Heat and Mass Tranfer Processes
V.N. Tkachenko, A.A. Ivanova, O.V. Shuba
The methods and algorithms of identification of external heat exchange parameters based on least square method are proposed. The comparative analysis of distributerd parameters identification methods is performed.
© В.Н. Ткаченко, А.А. Иванова, О.В. Шуба, 2008
