Изобретение относится к области устройств для научного и математического имитационного моделирования в математике значений функции выхода автоматизированной ФИПС (АФИПС) криминалистического назначения (ФИПС - это фактографическая информационно-поисковая система [20 с.136]), содержащую в своем составе фактографическую базу данных (ФБД) с фактографической информацией [21 с. 195], в записях которой имеются ошибки. Записями ФБД служат описания объектов криминалистического назначения в виде поисковых образов документов (ПОД). Запросом в АФИПС на поиск записей в ФБД является описание объекта криминалистического назначения в виде поискового образа запроса (ПОЗ). В результате поиска (из-за наличия ошибок в записях ФБД) АФИПС может правильно или неправильно выдать регистрационный номер объекта в рекомендательный список человеку - оператору (эксперту криминалисту). Под длиной рекомендательного списка понимается общее число регистрационных номеров документов, выданных АФИПС человеку - оператору в ответ на его запрос. Под длиной области поиска понимается число просмотренных при поиске документов и участвующих в формировании рекомендательного списка (PC) при ответе АФИПС на запрос. При поиске в АФИПС запрос в виде ПОЗ и документ в виде ПОД подвергаются сравнению и принимается решение о совпадении ПОЗ с ПОД. Если ПОЗ и ПОД совпадают, то номер ПОД заносится в рекомендательный список. В общем случае полагают, что АФИПС криминалистического назначения реализует функцию выхода, где аргументами этой функции являются: запрос в виде ПОЗ, документы ФБД в виде ПОД, длина области поиска, а выходом является значение функции выхода в виде рекомендательного списка.
Известна полезная модель [1] "Информационная система, моделирующая алгоритм возникновения и развития болезней неинфекционной природы", представляющее собой устройство, содержащее блок управления, блок отображения, блоки обработки и хранения данных на основе ЭВМ: блок состояния нормы организма, блок условия формирования усвоения и поддержания информационной сущности болезни, блок информационной стадии (сущности) болезни, три блока факторов болезни, блок стадии предболезни и блок сформировавшейся болезни.
Это устройство позволяет решать только одну очень незначительную часть поставленной задачи, а именно - провести моделирование возникновения и развития болезней неинфекционной природы, по своей сути близкое к имитационному моделированию. Это устройство не позволяет осуществлять ввод исходных данных (их передачу в устройство) для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка, и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Известен также демонстрационный прибор по статистике [2], содержащий корпус, выполненный в виде прозрачной коробки, внутри которой находится набор объемных элементов одинаковой массы и размера в форме дисков. Диски имеют контакты, а внутри диска размещены резисторы. Прозрачная коробка закрывает камеру с ячейками для размещения дисков. В каждой ячейки размещены контактные клеммы, которые образуют последовательный электрический контур, подсоединенные к измерительному прибору. Вероятность Т того, что после перемешивания дисков в F ячейках окажется Е элементов первого вида, определяется формулой
T=(1-P)F-E•РE•F!/{E!•(F-E)!}
P=n1/(n1+n2);
• - знак арифметической операции умножения;
+ - знак арифметической операции сложения;
- - знак арифметической операции вычетания;
/ - знак арифметической операции деления;
РE- обозначения функции возведения в степень (Р в степени Е);
! - знак обозначения функции факториал;
n1 - число дисков первого вида;
n2 - число дисков второго вида;
и характеризуется Биномиальным распределением, которое проверяется экспериментально при многократном встряхивании и регистрации числа случаев, для которых в кассете накопителя оказывается Е элементов первого вида.
Это устройство позволяет решать только часть поставленной задачи, а именно смоделировать только одно Биномиальное распределение (для имитационного моделирования АФИПС криминалистического назначения) и с помощью измерительного прибора вывести результаты самого моделирования. Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Известен также другой [3] учебный прибор, позволяющий демонстрировать Биномиальное распределение, содержащий рассеиватель в виде шестигранных призм, расположенных в шахматном порядке, выходной канал бункера с имитатором в виде гранулированных частиц, регистратор в виде сборника с ячейками и отклоняющее устройство.
Это устройство позволяет решать только одну часть поставленной задачи, а именно смоделировать только одно Биномиальное распределение для имитационного моделирования АФИПС криминалистического назначения.
Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Известно также устройство [4] для моделирования отбора частот радиопередающих станций, содержащее сумматор, вычислительные блоки, модели передатчиков и приемников, блоки управления, синхронизации и сигнализации, а также элемент ИЛИ.
Это устройство позволяет решать только одну часть поставленной задачи, а именно с помощью элемента ИЛИ реализовать фрагмент блока решающего элемента.
Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка, и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Известна также полезная модель [5] "Экспертная система", содержащая блок ввода экспертных оценок, блок суммирования оценок, блок определения рейтинга, блок ввода данных соискателя и блок вывода информации.
Это устройство позволяет решать только часть поставленной задачи, а именно в блоке вывода информации осуществлять вывод результатов имитационного моделирования.
Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Известна также еще одна полезная модель [6] - устройство для моделирования двумерных векторов зависимых случайных величин с произвольным коэффициентом корреляции, содержащее 17 штук блоков умножения, семь блоков суммирования, семь блоков вычитания, шесть блоков деления, два блока вычисления квадратного корня, четыре блока вычисления экспоненты и четыре блока вычисления натурального логарифма, блок управления, четыре датчика имитации равномерного распределения и два датчика имитации нормального распределения.
Это устройство позволяет решать только часть поставленной задачи, а именно с помощью блоков имитации равномерного и нормального распределения при некоторых ограничениях имитировать распределение, близкое к тому, что используется в АФИПС криминалистического назначения.
Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка, и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
Наиболее близким к предлагаемому устройству является полезная модель [7] ("прототип") "Устройство для моделирования значений функции принадлежности ", содержащее четыре элемента НЕ, три элемента И, один элемент ИЛИ.
Это устройство позволяет решать только часть поставленной задачи, а именно с помощью элементов НЕ, элементов И, элемента ИЛИ реализовать фрагмент блока решающего элемента и фрагмент блока селекции.
Это устройство не позволяет осуществлять ввод исходных данных для моделирования: ввод запроса, ввод длины области поиска и ввод документов и выполнять проверку на совпадение запроса и документа, выполнять селекцию рекомендательного списка, и как следствие этого не позволяет провести имитационное моделирование значений функции выхода АФИПС криминалистического назначения при формировании PC в результате ответа на запрос.
При разработке АФИПС криминалистического назначения иногда проводят имитационное моделирование с целью оценки будущих характеристик системы до ее построения и, в частности, показателя средней длины рекомендательного списка при ответе на запрос АФИПС криминалистического назначения.
Предлагаемым изобретением решается задача имитационного моделирования значений функции выхода АФИПС криминалистического назначения. И как следствие этого расширяется класс решаемых задач.
В результате математического, имитационного моделирования имитируются значения функции выхода АФИПС криминалистического назначения при формировании рекомендательного списка (PC) в результате ответа АФИПС на запрос.
В математике [19 с.29-30, с.135-136, с.206-208] принято выделять среди моделей аналитические модели и так называемые имитационные модели, например, устройств или целых систем. Работу (поведение) АФИПС криминалистического назначения (в виде значения функции выхода) можно моделировать разными способами (алгоритмами) или аналитически вычислять с помощью разных формул и, в частности, по следующей экспериментально проверенной и полученной автором имитационной модели:
Х=Im(Z, Y1,...,Yi,...,YN, L),
где Im() - имитационная модель АФИПС криминалистического назначения, которая может быть на практике реализована разными способами, например программно (язык программирования GPSS, СИМУЛА и др.) или аппаратно в виде комбинационного цифрового устройства;
L - вход длины области поиска имитационной модели (регулируемый параметр в виде максимально возможной длины области поиска в модели АФИПС криминалистического назначения), причем L=1, 2, 3,., N;
Yi (i=1, 2, 3,..., N) - входы документов имитационной модели (регулируемый параметр для имитации ФБД с N штук записями ПОД в модели АФИПС криминалистического назначения), где Yi - это i-ый ПОД из ФБД в АФИПС (i-1, 2, 3,..., N);
Z - вход запроса имитационной модели (регулируемый параметр в виде ПОЗ в модели АФИПС криминалистического назначения);
Х - выход имитационной модели (результат имитационного моделирования в виде рекомендательного списка Х=(х1,...,хi,...,хN)), являющийся значением функции выхода АФИПС криминалистического назначения, где Х=(х1,...,хi,..., хN) - упорядоченный набор хi такой, что для i=1, 2, 3,..., L значение хi=1, если Yi (ПОД) соответствует Z (ПОЗ) и значение хi=0, если Yi (ПОД) не соответствует Z (ПОЗ), а остальные хi=0 (для i=L+1, L+2, L+3,...,N);
N - число записей ПОД (Yi, где i=1, 2, 3,..., N) у ФБД в АФИПС;
На фиг. 4 приведена блок-схема последовательного алгоритма работы имитационной модели - Im(). На фиг.5 приведена блок-схема параллельного алгоритма работы имитационной модели - Im().
Отметим, что модель Im() основана на Биномиальном распределении. На практике получить исходные данные для модели Im(), как правило, не вызывает проблем. Так, в качестве документов Y i (i=1, 2, 3,..., N) используют ПОД из реального потока документов, а в качестве запросов Z используют ПОЗ, поступившие в реальную систему, например, вручную неавтоматизированную пока еще систему. Параметр L=1, 2, 3,..., N заранее выбирается экспериментатором перед началом имитационного моделирования. В результате имитационного моделирования АФИПС моделируется значение функции выхода АФИПС (выход системы АФИПС) в виде рекомендательного списка X=(xi,...,хi,...,хN), где значение хi (i= 1, 2, 3,..., N) показывает попал ли i-ый ПОД в PC или нет. Отметим что i-ый Yi (ПОД) может не попасть в PC либо в результате сравнения ПОЗ и ПОД (когда Z и Yi не совпадают), либо в результате того, что есть ограничения на длину области поиска (из-за параметра L). Подавая разные запросы в виде ПОЗ (Z) на вход запроса имитационной модели, получают соответствующие (запросу Z) выходы (результаты - значения функции выхода) имитационной модели в виде рекомендательного списка X=(x1,...,xi,...,xN), где i=1, 2, 3,..., N. В дальнейшем по этим результатам можно определять разные параметра АФИПС криминалистического назначения. Например, подсчитав затем число не нулевых значений хi, можно определить длину рекомендательного списка. В итоге, можно набрать достаточную выборку для оценки (как это принято в теории вероятностей и математической статистике [16, 17, 18]), например, такого важного параметра АФИПС криминалистического назначения, как Q - значение средней длины рекомендательного списка и ряда других не менее важных параметров. Среднее значение для Q, как правило, в реальных условиях получают с помощью контрольной выборки и обычно это не вызывает проблем.
Для достижения названного технического результата предлагаемым устройством в него введены блок селекции, N блоков решающих элементов, вход запроса, вход длины области поиска и N входов документов, при этом первый вход i-го блока решающего элемента (i=1, 2, 3,..., N) соединен со входом запроса, второй вход i-го блока решающего элемента соединен с i-ым входом документов (i=1, 2, 3,..., N), выход i-го блока решающего элемента соединен с i-ым входом блока селекции (i=1, 2, 3,..., N), вход длины области поиска соединен с (N+1)-ым входом блока селекции, выход которого является выходом устройства, а i-ый блок решающего элемента (i=1, 2, 3,..., N) содержит два входа на 3 разряда и один выход на один разряд, 6 штук элементов НЕ, 10 штук элементов И, 4 штуки элементов ИЛИ, при этом:
1-ый разряд второго входа i-го блока решающего элемента соединен с первым входом 1-го элемента И (i-го блока решающего элемента) и со входом 1-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 2-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 1-го элемента ИЛИ (i-го блока решающего элемента), выход 2-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 2-го элемента И (i-го блока решающего элемента),
2-ой разряд второго входа i-го блока решающего элемента соединен с первым входом 3-го элемента И (i-го блока решающего элемента) и со входом 3-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 4-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 2-го элемента ИЛИ (i-го блока решающего элемента), выход 4-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 4-го элемента И (i-го блока решающего элемента),
3-ий разряд второго входа i-го блока решающего элемента соединен с первым входом 5-го элемента И (i-го блока решающего элемента) и со входом 5-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 6-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 3-го элемента ИЛИ (i-го блока решающего элемента), выход 6-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 6-го элемента И (i-го блока решающего элемента),
1-ый разряд первого входа i-го блока решающего элемента соединен со входом 2-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 1-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 1-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен с первым входом 7-го элемента И (i-го блока решающего элемента), с первым входом 8-го элемента И (i-го блока решающего элемента) и с третьим входом 10-го элемента И (i-го блока решающего элемента), выход которого соединен с четвертым входом 4-го элемента ИЛИ (i-го блока решающего элемента),
2-ой разряд первого входа i-го блока решающего элемента соединен со входом 4-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 3-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 2-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен со вторым входом 7-го элемента И (i-го блока решающего элемента), со вторым входом 10-го элемента И (i-го блока решающего элемента) и с первым входом 9-го элемента И (i-го блока решающего элемента), выход которого соединен с третьим входом 4-го элемента ИЛИ (i-го блока решающего элемента),
3-ий разряд первого входа i-го блока решающего элемента соединен со входом 6-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 5-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 3-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен с первым входом 10-го элемента И (i-го блока решающего элемента), со вторым входом 9-го элемента И (i-го блока решающего элемента) и со вторым входом 8-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 4-го элемента ИЛИ (i-го блока решающего элемента), выход 7-го элемента И (i-го блока решающего элемента) соединен с первым входом 4-го элемента ИЛИ (i-го блока решающего элемента), выход которого является выходом i-го блока решающего элемента, что позволяет проводить имитационное моделирование значений функции выхода автоматизированной фактографической информационно-поисковой системы криминалистического назначения.
Признаки, отличающие предлагаемое устройство от наиболее близкого к нему известного по свидетельству Российской Федерации 8145, МПК6 G 09 В 23/02 [7] , характеризуют наличие блока селекции, N блоков решающих элементов, входа запроса, вход длины области поиска и N входов документов, при этом первый вход i-го блока решающего элемента (i=1, 2, 3,..., N) соединен со входом запроса, второй вход i-го блока решающего элемента соединен с i-ым входом документов (i=1, 2, 3,..., N), выход i-го блока решающего элемента соединен с i-ым входом блока селекции (i=1, 2, 3,..., N), вход длины области поиска соединен с (N+1)-ым входом блока селекции, выход которого является выходом устройства, а i-ый блок решающего элемента (i=1, 2, 3,..., N) содержит два входа на 3 разряда и один выход на один разряд, 6 штук элементов НЕ, 10 штук элементов И, 4 штуки элементов ИЛИ, при этом:
1-ый разряд второго входа i-го блока решающего элемента соединен с первым входом 1-го элемента И (i-го блока решающего элемента) и со входом 1-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 2-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 1-го элемента ИЛИ (i-го блока решающего элемента), выход 2-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 2-го элемента И (i-го блока решающего элемента),
2-ой разряд второго входа i-го блока решающего элемента соединен с первым входом 3-го элемента И (i-го блока решающего элемента) и со входом 3-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 4-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 2-го элемента ИЛИ (i-го блока решающего элемента), выход 4-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 4-го элемента И (i-го блока решающего элемента),
3-ий разряд второго входа i-го блока решающего элемента соединен с первым входом 5-го элемента И (i-го блока решающего элемента) и со входом 5-го элемента НЕ (i-го блока решающего элемента), выход которого соединен с первым входом 6-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 3-го элемента ИЛИ (i-го блока решающего элемента), выход 6-го элемента НЕ (i-го блока решающего элемента) соединен со вторым входом 6-го элемента И (i-го блока решающего элемента),
1-ый разряд первого входа i-го блока решающего элемента соединен со входом 2-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 1-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 1-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен с первым входом 7-го элемента И (i-го блока решающего элемента), с первым входом 8-го элемента И (i-го блока решающего элемента) и с третьим входом 10-го элемента И (i-го блока решающего элемента), выход которого соединен с четвертым входом 4-го элемента ИЛИ (i-го блока решающего элемента),
2-ой разряд первого входа i-го блока решающего элемента соединен со входом 4-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 3-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 2-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен со вторым входом 7-го элемента И (i-го блока решающего элемента), со вторым входом 10-го элемента И (i-го блока решающего элемента) и с первым входом 9-го элемента И (i-го блока решающего элемента), выход которого соединен с третьим входом 4-го элемента ИЛИ (i-го блока решающего элемента),
3-ий разряд первого входа i-го блока решающего элемента соединен со входом 6-го элемента НЕ (i-го блока решающего элемента) и со вторым входом 5-го элемента И (i-го блока решающего элемента), выход которого соединен с первым входом 3-го элемента ИЛИ (i-го блока решающего элемента), выход которого соединен с первым входом 10-го элемента И (i-го блока решающего элемента), со вторым входом 9-го элемента И (i-го блока решающего элемента) и со вторым входом 8-го элемента И (i-го блока решающего элемента), выход которого соединен со вторым входом 4-го элемента ИЛИ (i-го блока решающего элемента), выход 7-го элемента И (i-го блока решающего элемента) соединен с первым входом 4-го элемента ИЛИ (i-го блока решающего элемента), выход которого является выходом i-го блока решающего элемента, что позволяет проводить имитационное моделирование значений функции выхода АФИПС криминалистического назначения.
Предлагаемое изобретение иллюстрируется чертежами, представленными на фиг.1-8.
На фиг. 1 приведена блок-схема предлагаемого устройства (изобретения). Приведенная блок-схема отражает набор необходимых блоков для имитационного моделирования и связи между блоками. На блок-схеме показаны: блок селекции, N блоков решающих элементов (РЭ), Z - вход запроса, L - вход длины области поиска и N входов документов, где Yi - это i-ый вход документов (i=1, 2, 3,. .., N), Х - выход блока селекции, являющейся выходом устройства.
На фиг. 2 приведена блок-схема i-го блока решающего элемента (РЭ) предлагаемого устройства (изобретения), где i=1, 2, 3,..., N для осуществления его в виде комбинационного цифрового устройства на логических элементах.
Для удобства дальнейшего изложения введем следующие обозначения (номера):
1-ый элемент ИЛИ (i-го блока решающего элемента) имеет номер 1-i;
2-ой элемент ИЛИ (i-го блока решающего элемента) имеет номер 2-i;
3-ий элемент ИЛИ (i-го блока решающего элемента) имеет номер 3-i;
4-ый элемент ИЛИ (i-го блока решающего элемента) имеет номер 4-i;
1-ый элемент НЕ (i-го блока решающего элемента) имеет номер 1-i;
2-ой элемент НЕ (i-го блока решающего элемента) имеет номер 2-i;
3-ий элемент НЕ (i-го блока решающего элемента) имеет номер 3-i;
4-ый элемент НЕ (i-го блока решающего элемента) имеет номер 4-i;
5-ый элемент НЕ (i-го блока решающего элемента) имеет номер 5-i;
6-ой элемент НЕ (i-го блока решающего элемента) имеет номер 6-i;
1-ый элемент И (i-го блока решающего элемента) имеет номер 1-i;
2-ой элемент И (i-го блока решающего элемента) имеет номер 2-i;
3-ий элемент И (i-го блока решающего элемента) имеет номер 3-i;
4-ый элемент И (i-го блока решающего элемента) имеет номер 4-i;
5-ый элемент И (i-го блока решающего элемента) имеет номер 5-i;
6-ой элемент И (i-го блока решающего элемента) имеет номер 6-i
7-ой элемент И (i-го блока решающего элемента) имеет номер 7-i;
8-ой элемент И (i-го блока решающего элемента) имеет номер 8-i;
9-ый элемент И (i-го блока решающего элемента) имеет номер 9-i;
10-ый элемент И (i-го блока решающего элемента) имеет номер 10-i.
На блок-схеме показаны: Z=(zi, z2, z3) - вход запроса на 3 разряда, Yi= (yil, yi2, yi3) - i-ый вход документов на 3 разряда, 6 штук элементов НЕ (обозначенных номерами: 1-i, 2-i, 3-i, 4-i, 5-i, 6-i), 10 штук элементов И (обозначенных номерами: 1-i, 2-i, 3-i, 4-i, 5-i, 6-i, 7-i, 8-i, 9-i, 10-i), из которых один на три входа (обозначенный номером: 10-i), а остальные - на два входа, 4 штуки элементов ИЛИ (обозначенных номерами: 1-i, 2-i, 3-i, 4-i), из которых один на четыре входа (обозначенный номером: 4-i), a остальные - на два входа, внутренние связи для передачи промежуточных результатов w1i; w2i; w3i с соответствующих наборов логических элементов и выход i-го блока РЭ для вывода Ri - результата проверки совпадения Z и Yi (и передачи его затем на i-ый вход блока селекции), а также показаны связи между элементами. Пунктирными рамками выделены четыре набора элементов, для которых на фиг.6 приведены таблицы истинности, представляющие логические функции, реализованные с помощью этих наборов логических элементов и соответствующих связей между ними.
На фиг. 3 приведена блок-схема блока селекции предлагаемого устройства (изобретения) для осуществления его в виде комбинационного цифрового устройства на логических элементах. На блок-схеме показаны: первые N штук входов блока селекции, где на i-ый вход поступает Ri (результат проверки совпадения Z и Y), переданный с выхода i-го блока РЭ (i=1, 2, 3,..., N), последний (N+1)-ый вход блока селекции, который является входом длины области поиска устройства и на который поступает N-разрядная величина L=(Li,...,Li,...,LN), а также показаны N штук элементов И (обозначенных номерами: 1, 2,...,i,..., N) на два входа. Показаны также внутренние связи для передачи промежуточных результатов x1, . . . ,хi,...,хN с соответствующих элементов И, выход блока селекции, являющийся выходом устройства на который поступает X=(x1,...,хi,.. .,хN) - результат имитационного моделирования значений функции выхода.
На фиг. 4 приведена блок-схема последовательного алгоритма работы имитационной модели.
На фиг. 5 приведена блок-схема параллельного алгоритма работы имитационной модели.
На фиг. 6 для предлагаемого устройства (изобретения) приведены четыре таблицы истинности, каждая из которых (как это принято в теории проектирования ЭВМ [12 с.5]) представляет логическую функцию, реализованную с помощью соответствующих наборов логических элементов i-го блока РЭ (i=1, 2, 3,..., N).
Три первых таблицы истинности представляют одну и ту же логическую функцию, реализованную три раза с помощью соответствующих трех наборов элементов i-го блока РЭ при формированиия промежуточных данных wi1, wi2, wi3.
Другая (последняя, четвертая) таблица истинности представляет логическую функцию, реализованную с помощью соответствующего набора элементов i-го блока РЭ (расположенных на выходе РЭ) и формирующих Ri - окончательный выход i-го блока РЭ.
На фиг. 7 для предлагаемого устройства (изобретения) приведена таблица истинности (первая половина таблицы когда на выход РЭ поступает логическая единица (Ri= 1)), представляющая логическую функцию, которую реализует i-ый блок РЭ (i=1, 2, 3,..., N).
На фиг.8 приведена таблица истинности для элемента ИЛИ на четыре входа и один из возможных вариантов промышленной реализации этого элемента ИЛИ на четыре входа с помощью трех элементов ИЛИ на два входа каждый.
Предлагаемое устройство работает следующим образом. Рассмотрим его работу на примере имитационного моделирования в математике значений функции выхода АФИПС криминалистического назначения, в результате которого формируется Х - выход имитационной модели (результат имитационного моделирования в виде значений функции выхода - рекомендательного списка) при ответе на запрос АФИПС криминалистического назначения по выше приведенной для нее имитационной модели.
На входы устройства (фиг.1) поступают все исходные данные для имитационного моделирования: Z, Y, (i=1, 2, 3,..., N), L. Запрос Z через вход запроса поступает на первый вход каждого i-го блока решающего элемента (i=1, 2, 3,.. ., N). Далее через N входов документов, N штук ПОД (документов) каждый через свой вход в виде Yi (i=1, 2, 3,..., N) поступают на вторые входы каждого i-го блока решающего элемента (i=1, 2, 3,..., N) таким образом, что i-ый ПОД (Yi) поступает только на второй вход именно i-го блока решающего элемента (i= 1, 2, 3,..., N). В i-ом блоке решающего элемента (i=1, 2, 3,..., N) проводится сравнение запроса Z и i-го документа Yi (i=1, 2, 3,..., N). Результат такого сравнения i-ым блоком решающего элемента (i=1, 2, 3,..., N) передается в виде логического нуля (если Z и Yi не совпадают) или в виде логической единицы (если Z и Yi совпадают) на i-ый вход блока селекции (i=1, 2, 3, . . . , N). Параметр L через вход длины области поиска, являющейся (N+1)-ым входом блока селекции, поступает в устройство. Блок селекции формирует в виде рекомендательного списка Х=(х1,...,хi,...,хN), где i=1, 2, 3,. . ., N окончательный выход устройства - значение функции выхода. Для этого в блоке селекции тем хi, у которых номер i>L присваивается логический ноль, т. е. хi=0, где i=L+1, L+2, L+3,...,N (в дальнейшем после серии экспериментов с помощью имитационной модели можно получить в итоге представительную выборку из рекомендательных списков Х и оценить по этой выборке параметры АФИПС криминалистического назначения).
Таким образом, предлагаемое устройство позволяет решить поставленную задачу - имитационного моделирования значений функции выхода АФИПС криминалистического назначения. С помощью математического, имитационного моделирования, реализованного в предлагаемом устройстве, возможно смоделировать значения функции выхода АФИПС криминалистического назначения.
Предлагаемое устройство может быть промышленно применимо (осуществимо) следующим образом. Имитационную модель: X=Im(Z, Y1,...,Yi,...,YN, L) можно реализовать с помощью разных алгоритмов и, в частности, по следующим экспериментально проверенным и полученным автором алгоритмам, представленными на фиг.4-5. На фиг.4 приведена блок-схема последовательного алгоритма работы имитационной модели, на фиг.5 приведена блок-схема параллельного алгоритма работы имитационной модели. На фиг.4 приведен последовательный алгоритм работы имитационной модели, который может быть реализован программно с использованием одного стандартного программируемого вычислителя (например, персонального компьютера). В этом случае работа всех блоков РЭ (проверка на совпадение Z и Yi) выполняется последовательно одним за одним, а в конце затем выполняется селекция PC: обнуление хs=0, где s=L+1, L+2, L+3,...,N. В итоге формируется (значение функции выхода) окончательный рекомендательный список X=(x1,...,хn,....xn), где n=1, 2, 3,..., N.
На фиг.5 приведен параллельный алгоритм работы имитационной модели, который может быть реализован аппаратно в виде комбинационного цифрового устройства, построенного с помощью, например, известных стандартных микросхем логических элементов, инверторов (элементов НЕ), элементов ИЛИ, элементов И и т.п. В этом случае работа всех РЭ (проверка на совпадение Z и Yi) выполняется параллельно и только после окончания всех сравнений Z и Yi (i=1, 2, 3,..., N) выполняется селекция PC: обнуление хs=0, где s=L+1, L+2, L+3,.. . , N. В итоге формируется (значение функции выхода) окончательный рекомендательный список X=(x1,...,хn,...,хN), где n=1, 2, 3,..., N.
Теоретические исследования, проведенные автором, показывают, что оценка такого параметра АФИПС, как средняя длина рекомендательного списка и ряда других параметров, основывается на известных в математике теории вероятностей и математической статистике испытаниях Бернулли:
b(k; N, g) - обозначение из работы [8 с.165] вероятности того, что N испытаний Бернулли с вероятностью успеха g и неудачи (1-g) закончились k успехами и (N -k) неудачами;
b(k; L, 1-G)= C(L, k)•(1-G)k•Gk; C(L, k) -число сочетаний из L по k;
L - длина области поиска в АФИПС, причем L=1, 2, 3,..., N;
N - число записей в ФБД;
G - вероятность правильного сравнения ПОЗ и ПОД двух нетождественных объектов в АФИПС по их описаниям, где величина (1-G) определяет вероятность ложной тревоги.
На практике исходные данные (см. фиг.1, 2, 3): Z и Y; (i=1, 2, 3,..., N) для модели Im() получают с помощью контрольной выборки (как это принято в теории вероятностей и математической статистике [16, 17, 18]) из реального потока документов (ПОД) и запросов (ПОЗ), поступивших в реальную систему, например, вручную неавтоматизированную пока еще систему. Экспериментатор для модели Im() заранее выбирает параметр L=1, 2, 3,..., N перед началом имитационного моделирования.
На фиг. 1, 2, 3 представлено предлагаемое устройство для моделирования, когда на соответствующие входы предлагаемого устройства поступают 3-х разрядные двоичные коды для Z=(z1, z2, z3) и Yi=(yi1, yi2, уi3), где i=1, 2, 3, ..., N и N-разрядный двоичный код для числа L=(L1,...,Li,...,LN).
Параметр L поступает на (N+1)-ый вход блока селекции, являющейся входом длины области поиска в виде двоичного N-разрядного числа в непозиционной, адитивной [14 с.315] системе счисления на подобии аттической нумерации [15 с. 57], используемой для малых чисел таким образом, что N-разрядный двоичный код для L= (L1,...,Li,...,LN) представляется в следующем виде. Если требуется, например, ограничить длину области поиска до первых D=100 документов, то первые 100 разрядов L будут в виде логической единицы, а остальные в виде логического нуля или другими словами Li=1 для i=1, 2, 3,...,D и Li=0 для i= D+1, D+2, D+3,..., N.
Каждый блок предлагаемого устройства (фиг.1) является комбинационным цифровым устройством (фиг.2, 3), построенный с помощью, например, известных стандартных микросхем логических элементов, инверторов (элементов НЕ), элементов ИЛИ, элементов И и т.п., которые приведены в работах [9-13, 22]. Таблицы истинности для этих логических элементов-инверторов, элементов ИЛИ, элементов И приведены, например, в работе [10 с.36, с.41, с.42]. Все блоки соединены в одну комбинационную цифровую схему.
Так, i-ый блок РЭ (i=1, 2, 3,..., N) может быть выполнен в виде комбинационной цифровой схемы на логических элементах инверторах (элементах НЕ), элементах ИЛИ, элементах И для реализации проверки на совпадение разрядов у Z и Yi [9, 10, 11, 12, 13, 22] с использованием известных микросхем, например К155 серии или им подобным [11, 22]. Так, например, элемент ИЛИ на четыре входа, используемый в i-ом блоке РЭ (фиг.2) может быть осуществлен с помощью трех элементов ИЛИ на два входа каждый (фиг.8) с применением, например, одной микросхемы 155ЛЛ1, содержащей четыре элемента ИЛИ на два входа [11 с.60, с.74].
А, например, элемент И на три входа, используемый в i-ом блоке РЭ (фиг. 2) может быть осуществлен с помощью двух элементов: одного элемента И на три входа и одним инверсным выходом и одного элемента НЕ, соединенных последовательно так (см. рис.3-3а из работы [12 с.73]), что выход элемента И на три входа инвертируется элементом НЕ с применением, например, одной микросхемы 155ЛА4, содержащей три элемента И на три входа и инверсным выходом и одной микросхемы 155ЛН1, содержащей шесть элементов НЕ [11 с.59, с.67].
А, например, элемент И на два входа, используемый в i-ом блоке РЭ (фиг. 2) может быть осуществлен с помощью, например, одной микросхемы 155ЛИ1, содержащей четыре элемента И на два входа [11 с.59, с.67].
Блок селекции PC может быть выполнен в виде комбинационной схемы на логических элементах - элементах И [9, 10, 11, 12, 13, 22] с использованием известных микросхем, например К155 серии или им подобным [11, 22], аналогично тому как было описано выше для i-го блока РЭ.
В i-ом блоке РЭ, реализована проверка на совпадение с порогом М=2, когда h-число совпавших разрядов у Z и Yi меньше М (т.е. h<M), то считается что Z и Yi НЕ совпадают, а на выход i-го блока РЭ (i=1, 2, 3,..., N) поступает Ri в виде логического нуля. Если h-число совпавших разрядов у Z и Yi больше или равно М (т.е. h>=M), то считается что Z и Y совпадают, а на выход i-го блока РЭ (i=1, 2, 3,..., N) поступает Ri в виде логической единицы. Результат сравнения i-го блока РЭ (i=1, 2, 3,..., N) в виде Ri (двоичного одноразрядного кода) поступает на i-ый вход блока селекции (i=1, 2, 3,..., N), на (N+1)-ый вход которого поступает L=(Li,...,Li,...,LN).
На входы предлагаемого устройства (фиг.1, 2, 3) поступают 3-х разрядные двоичные коды для Z=(z1, z2, z3) и Yi=(yi1, yi2, уi3), где i=1, 2, 3,..., N и N-разрядный двоичный код для L=(L1,...,Li,...,LN) соответственно: запрос Z поступает на вход запроса, N штук ПОД (документов) в виде Yi (i=1, 2, 3,..., N) поступают каждый на свой i-ый вход документов (Y1 на 1-ый вход документов, Y2 на 2-ой вход документов и т.д.).
Запрос Z=(z1, z2, z3) поступает (фиг.1) на первый вход каждого i-го блока решающего элемента (i=1, 2, 3,..., N), где разряд z1 (фиг.2) поступает на вход (2-i)-гo элемента НЕ и на второй вход (1-i)-гo элемента И, разряд z2 поступает на вход (4-i)-гo элемента НЕ и на второй вход (3-i)-гo элемента И, разряд z3 поступает на вход (6-i)-гo элемента НЕ и на второй вход (5-i)-гo элемента И (фиг.2).
Документ Yi= (уi1, уi2, уi3), где i=1, 2, 3,..., N поступает (фиг.1) на второй вход каждого i-го блока решающего элемента (i=l,2,3,...,N), где разряд yi1 (фиг.2) поступает на вход (1-i)-гo элемента НЕ и на первый вход (1-i)-гo элемента И, разряд уi2 поступает на вход (3-i)-гo элемента НЕ и на первый вход (3-i)-гo элемента И, разряд уi3 поступает на вход (5-i)-гo элемента НЕ и на первый вход (5-i)-гo элемента И (фиг.2).
В i-ом блоке решающего элемента (i=1, 2, 3,..., N) реализована (с помощью логической функции с таблицей истинности, фрагмент которой (первая половина когда Ri=1) представлен на фиг.7) проверка на совпадение с порогом М= 2. Если h-число совпавших разрядов у Z и Yi меньше М (т.е. h<M), то считается что Z и Yi НЕ совпадают, а на выход i-гo блока РЭ (i=1, 2, 3,..., N) поступает Ri в виде логического нуля. Если h-число совпавших разрядов у Z и Yi больше или равно М (т.е. h>=M), то считается что Z и Yi совпадают, а на выход i-гo блока РЭ (i=1, 2, 3,..., N) поступает Ri в виде логической единицы.
Работа трех наборов элементов i-гo блока РЭ, выделенных в верхней части фиг.2 тремя одинаковыми пунктирными рамками однотипна и описывается соответствующими таблицами истинности (фиг. 6), поэтому рассмотрим их работу на примере комбинационной схемы для следующего набора элементов i-гo блока РЭ: (1-i)-ый элемент НЕ, (2-i)-ый элемент НЕ, (1-i)-ый элемент И, (2-i)-ый элемент И, (1-i)-ый элемент ИЛИ, которые выделены на фиг.2 пунктирной рамкой. Эта комбинационная схема реализует вточности логическую функцию в соответствии с таблицей истинности (первая таблица, приведенная на фиг.6) для набора элементов i-гo блока РЭ: (1-i)-ый элемент НЕ, (2-i)-ый элемент НЕ, (1-i)-ый элемент И, (2-i)-ый элемент И, (1-i)-ый элемент ИЛИ. В соответствии с этой таблицей истинности (фиг.6) промежуточные данные wi1 на выходе (1-i)-го элемента ИЛИ в виде логической единицы формируются только при совпадении разрядов z1 и Yi1, а при не совпадении этих разрядов - в виде логической нуля.
Работа другого набора элементов i-го блока РЭ, выделенного в нижней части фиг.2 пунктирной рамкой, описывается соответствующей таблицей истинности (четвертая таблица, приведенная на фиг.6). Рассмотрим их работу на примере комбинационной схемы для следующего набора элементов i-го блока РЭ: (7-i)-ый элемент И, (8-i)-ый элемент И, (9-i)-ый элемент И, (10-i)-ый элемент И, (4-i)-ый элемент ИЛИ, которые выделены на (фиг.2) пунктирной рамкой. Эта комбинационная схема реализует в точности логическую функцию в соответствии с таблицей истинности (четвертая таблица, приведенная на фиг.6) для набора выше перечисленных элементов. В соответствии с этой таблицей истинности данные Ri на выходе (4-i)-гo элемента ИЛИ в виде логической единицы формируются только при совпадении 2-х или 3-х разрядов у запроса и документа.
На фиг.7 приведена таблица истинности (первая половина таблицы когда на выходе i-го блока РЭ формируется логическая единица (Ri=1)), представляющая логическую функцию, которую реализует i-ый блок РЭ (i=1, 2, 3,..., N). Для комбинации кодов, которые не приведены в этой таблице, следует полагать: Ri= 0.
Далее (фиг. 1) Ri - результат сравнения i-ым блоком решающего элемента (i=1, 2, 3,..., N) передается в виде логического нуля (если Z и Yi не совпадают), или в виде логической единицы (если Z и Yi совпадают) на i-ый вход блока селекции (i=1, 2, 3,..., N), который является первым входом i-го элемента И (фиг.3), где i=1, 2, 3,..., N.
Параметр L через вход длины области поиска, являющейся (N+1)-ым входом блока селекции (фиг.1,3) поступает в устройство, при этом Li - i-ый разряд L (i= 1, 2, 3,..., N) поступает на второй вход i-го элемента И (фиг.3), где i= 1, 2, 3,..., N. Вторые входы всех N штук элементов И блока селекции (фиг.3) поразрядно соединены (объединены) и образуют (N+1)-ый вход блока селекции, являющейся входом длины области поиска всего устройства.
Отметим еще раз, что N-разрядный двоичный код для L=(L1,...,Li,...,LN) представляется в следующем виде. Если требуется, например, ограничить длину области поиска до первых D=100 документов, то первые 100 разрядов L будут в виде логической единицы, а остальные в виде логического нуля или другими словами Li=1 для i=1, 2, 3,..., D и Li=0 для i=D+1, D+2, D+3,...,N.
В блоке селекции выход i-го элемента И (фиг.3), где i=1, 2, 3,..., N в виде хi -фрагмента рекомендательного списка поступает на выход устройства, где окончательно формируется весь PC в виде Х=(х1,...,хi,...,хN). Для этого в блоке селекции для тех хi у которых номер i>D формируется логический ноль, т.е. хi=0, где i=D+1, D+2, D+3,...,N. Выходы всех N штук элементов И в блоке селекции (фиг. 3) поразрядно соединены (объединены) и образуют выход устройства.
Время j - задержки [9 с.65, с.82] всего предлагаемого устройства (фиг.1) будет определятся по следующей формуле:
t=max{t(1),t(2),....t(N)}+t(N+1),
где t(i) - время задержки j-ым блоком РЭ (j=1, 2, 3,..., N);
t(N+1) -время задержки блока селекции;
max{ a1, а2, а3, ..., av} - функция выбора максимального значения из V чисел aj, где j=1, 2, 3,..., V.
Предлагаемым устройством правильный результат имитационного моделирования значений функции выхода АФИПС криминалистического назначения будет сформирован только через время t.
На этом не исчерпывается все многообразие возможности вариантов осуществления (построения) предлагаемого устройства (изобретения).
Использованные источники
1. Свидетельство на полезную модель Российской Федерации 14305, кл. МПК7 G 09 В 23/28, опубл. 10.07.2000. Бюл. 19.
2. Авторское свидетельство СССР 1591062, кл. МПК5 G 09 В 23/02, опубл. 07.09.90. Бюл. 33.
3. Авторское свидетельство СССР 1460736, кл. МПК4 G 09 В 23/00, опубл. 23.02.89. Бюл. 7.
4. Авторское свидетельство СССР 660080, кл. МПК2 G 09 В 23/00, опубл. 30.04.79. Бюл. 16.
5. Свидетельство на полезную модель Российской Федерации 13107, кл. МПК7 G 06 F 15/00, опубл. 20.03.2000. Бюл. 8.
6. Свидетельство на полезную модель Российской Федерации 15800, кл. МПК7 G 06 F 7/58, опубл. 10.11.2000. Бюл. 31.
7. Свидетельство на полезную модель Российской Федерации 8145, кл. МПК6 G 09 В 23/02, опубл. 16.10.1998 (прототип).
8. Феллер В. Введение в теорию вероятностей и ее приложения. В 2-х томах. T.1: Пер. с англ. - М.: Мир, 1984.
9. Евреинов Э. В., Бутыльский Ю.Т., Мамзелев И.А. и др. Цифровая и вычислительная техника: Учебник для вузов. - М.: Радио и связь, 1991.
10. Хокинс Г. Цифровая электроника для начинающих: Пер. с англ.- М.: Мир, 1986.
11. Тарабрин Б.В., Лунин Л.Ф., Смирнов Ю.Н. и др. Интегральные микросхемы. - М.: Энергоатомиздат, 1985.
12. Соловьев Г.Н. Арифметические устройства ЭВМ. - М.: Энергия, 1978.
13.Буреев Л.Н., Дудко А.Л., Захаров В.Н. Простейшая микроЭВМ. - М.: Энергоатомиздат, 1989, -216с.
14. Математическая энциклопедия. Том 5.-М.: "Советская Энциклопедия", 1984.
15. Выгодский М.Я. Справочник по элементарной математике. - М.: Наука, 1974.
16. Левкович В.Л. Теория вероятностей. - Минск: АН БССР, 1952.
17. Вентцель Е. С. , Овчаров Л. А. Теория вероятностей и ее инженерные приложения. - М.: Наука, 1988.
18. Абчук В. А., Матвейчук Ф.А., Томашевский Л.П. Справочник по исследованию операций. - М.: Воениздат, 1979.
19. Лопатников Л.И. Экономико-математический словарь. - М.: Наука, 1987.
20. Терминологический словарь по научной информации (1281 термин на 8 языках).-М.: ВИНИТИ, 1966. - 507с.
21. Интеллектуальная собственность в терминах и определениях. Терминологический словарь (около 600 терминов)./ Н.М. Цехмистренко, М.А. Комаров, В. Г. Тыминский, Н.В. Милетенко, О.А. Собин, А.Н. Цехмистренко - М.: ИПКОН РАН, 1996.-206с.
22. Шило В. Л. Популярные цифровые микросхемы. - М.: Радио и связь, 1987-352с.
название | год | авторы | номер документа |
---|---|---|---|
УСТРОЙСТВО ДЛЯ СГЛАЖИВАНИЯ ИМПУЛЬСНОЙ ПОМЕХИ | 1991 |
|
RU2024056C1 |
ГЕНЕРАТОР ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ | 2010 |
|
RU2446444C1 |
Цифровой коррелятор | 2020 |
|
RU2735488C1 |
УСТРОЙСТВО ДЛЯ ПАРАЛЛЕЛЬНОЙ ОБРАБОТКИ ДАННЫХ | 1991 |
|
RU2028664C1 |
Устройство поиска информации | 2017 |
|
RU2656736C1 |
УСТРОЙСТВО ПОИСКА ИНФОРМАЦИИ | 2006 |
|
RU2313128C1 |
УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯ НЕЙРОНА | 1991 |
|
RU2029368C1 |
ПРОГРАММИРУЕМЫЙ ЦИФРОВОЙ ФИЛЬТР | 1991 |
|
RU2006936C1 |
УСТРОЙСТВО ДЛЯ СЛОЖЕНИЯ И ВЫЧИТАНИЯ ШЕСТНАДЦАТИ ЧИСЕЛ ПО МОДУЛЮ ТРИ | 1992 |
|
RU2050584C1 |
ОПТИЧЕСКИЙ Д-ДИЗЪЮНКТОР НЕЧЕТКИХ МНОЖЕСТВ | 2010 |
|
RU2451976C2 |
Изобретение относится к устройствам для научного и математического моделирования значений функции выхода автоматизированной фактографической информационно-поисковой системы криминалистического назначения. Техническим результатом является формирование рекомендательного списка по заданным документам, длине области поиска и запросу. Устройство содержит блок селекции, N блоков решающих элементов, вход запроса, вход длины области поиска, N входов документов, элементы НЕ, элементы И и элементы ИЛИ, связанные друг с другом так, чтобы осуществить поиск по запросу с принятием решения о достаточности рекомендательного списка. 1 з.п.ф-лы, 8 ил.
Крылышки боковой устойчивости самолета | 1926 |
|
SU8145A1 |
Вагонная крыша | 1927 |
|
SU13107A1 |
WO 9952057, 14.10.1999 | |||
US 5781704, 14.07.1998. |
Авторы
Даты
2003-07-20—Публикация
2001-10-30—Подача