Программа пролог логика инструкция

Непосредственно для снятия показаний с приборов будет использоваться программное обеспечение «ПРОЛОГ».

Программа «ПРОЛОГ» — это программный продукт, предназначенный для хранения данных, полученных непосредственно от приборов учета или перенесенных посредством накопителя АДС90 и их вывода в виде таблиц необходимого формата.

Основные функции программы «ПРОЛОГ»

Программа «ПРОЛОГ» характеризуется следующими основными функциями:

— поддержка приборов СПТ941, СПТ942, СПТ943, СПТ961, СПТ961 (мод 961.1 и 961.2), СПТ961М, СПГ741, СПГ761, СПГ761 (мод 761.1 и 761.2), СПГ762, СПГ762 (мод 762.1 и 762.2), СПГ763, СПГ763 (мод 763.1 и 763.2);

— загрузка данных из накопителя АДС90;

— загрузка данных из приборов учета при непосредственном подключении;

— загрузка данных из приборов учета при соединении по телефонной линии посредством модема в ручном режиме или по расписанию;

— загрузка данных из приборов учета при соединении через сеть Интернет;

Работа с программой ПРОЛОГ

— загрузка данных из приборов, находящихся в сети;

— ведение архива абонентов, узлов и данных учета;

— получение текущих данных с приборов и вывод их на экран компьютера в режиме реального времени;

— вывод отчетов о потреблении энергоносителей на печать по шаблонам;

— экспорт данных учета.

Установка и настройка

Программное обеспечение «ПРОЛОГ» устанавливается как обычное Windows-приложение. Компоненты программы «ПРОЛОГ» образуют одноименную группу в меню панели задач. Ярлык для запуска программы также создается на рабочем столе.

После установки программы на жестком диске находятся собственно программа «ПРОЛОГ», файлы справки, утилита деинсталляции, набор шаблонов и программа обновления программного обеспечения АДС90.

После запуска программы на экране появляется окно, в котором можно выделить несколько основных областей (рисунок 3).

Рисунок 3 — Программа «ПРОЛОГ»

Структура архива

В качестве основных элементов архива, являющегося хранилищем для всех данных программы, выступают абоненты и узлы учета, которые содержат таблицы данных. На рисунке раскрыта таблица «Месячный архив» узла учета «Пример СПТ942 ТВ1», принадлежащего абоненту «Примеры узлов».

При выделении в панели базы данных пункта «Архив» выводится таблица, с информацией обо всех зарегистрированных узлах.

Абоненты

Доступны три основных действия с абонентами: создание, удаление и изменение свойств. Эти действия выполняются по командам из раздела меню «Узел». Команда «свойства» также доступна из контекстного меню, вызываемого правой клавишей мыши.

По команде «Создать абонента» на экране появляется окно «Учетная запись абонента», куда пользователь вносит информацию об абоненте.

СПТ961. Как разобраться в инструкции. Как писать программы

Обязательно для заполнения одно свойство (поле) абонента — его наименование. Остальные поля могут заполняться только при необходимости.

Просмотр или изменение информации об абоненте доступны по команде «Свойства» из контекстного меню.

Команда «Удалить» может быть выполнена только для абонентов, не имеющих узлов учета. Перед выполнением команды программа выдаст дополнительное предупреждение.

Источник: studentopedia.ru

Настройка программы «Пролог», Логика

⎋ Инструкция по настройке программы ПРОЛОГ для опроса тепловычислителей СПТ 940, СПТ 941, СПТ 943, СПТ 944, СПТ 961, СПТ 962, СПТ 963. Видео инструкция по настройке и эксплуатации программы Пролог.

Программа Пролог ЛОГИКА применяется для чтения данных приборов учета при выполнении работ по техническому обслуживанию узлов учета энергоносителей. Настройка программы ПРОЛОГ для опроса тепловычислителей СПТ 940, СПТ 941, СПТ 943, СПТ 944, СПТ 961, СПТ 962, СПТ 963 описана в настоящем руководстве пользователя.

Интерфейс программы

После запуска программы на экране появляется окно, в котором можно выделить несколько основных областей.

1. Панель меню.
2. Панель инструментов.
3. Навигатор.
4. Структура базы данных.
5. Окно просмотра данных.

Структура архива

В качестве основных элементов архива, являющегося хранилищем для всех данных программы, выступают абоненты и узлы учета, которые содержат таблицы данных.

Абоненты

Доступны три основных действия с абонентами: создание, удаление и изменение свойств. Эти действия выполняются по командам из раздела меню «Узел». Команда «Свойства» также доступна из контекстного меню, вызываемого правой клавишей мыши.

По команде «Создать абонента» на экране появляется окно «Учетная запись абонента». В данном окне пользователь вносит информацию об абоненте. Обязательно для заполнения одно свойство (поле) абонента – его наименование. Остальные поля могут заполняться по желанию пользователя.

Просмотр или изменение информации об абоненте доступны по команде «Свойства» из контекстного меню. Команда «Удалить» может быть выполнена только для абонентов, не имеющих узлов учета. Перед выполнением команды программа выдаст дополнительное предупреждение.

В панели базы данных абоненты могут быть отсортированы по алфавиту. Порядок сортировки можно изменить щелкнув мышью по планке в верхней части панели.

Узлы учета

Через пункт меню «Узлы» доступны три команды, применяемые к узлам учета:

• «Создать узел»
• «Удалить»
• «Свойства»

По команде «Создать узел» вызывается окно «Учетная запись узла», в котором пользователь может внести информацию об узле учета. Обязательные для заполнения поля выделяются светло-желтым цветом.

Создание узла таким способом обязательно в двух случаях:

• если прибор будет опрашиваться через Интернет
• если прибор находится в составе сети приборов.

Для других вариантов подключения узел может быть создан автоматически, после первой успешной попытки чтения данных с прибора, не зарегистрированного в архиве. В этом случае программа Пролог сама предложит создать новый узел учета.

Наименование узла будет содержать тип и идентификатор (номер) прибора. Сам узел будет приписан абоненту «Новые». Опцию автоматического создания новых узлов можно отключить в настройках программы.

Выполнение команды «Удалить» приводит к уничтожению учетной записи и всех данных учета энергопотребления этого узла. Для предупреждения потери этой информации программа запросит подтверждения перед выполнением операции удаления.

При выборе команды «Свойства» появляется окно «Учетная запись узла», в котором можно просмотреть или изменить информацию об узле учета.

Узлы можно перемещать от одного абонента к другому, для чего предусмотрены команды «Вырезать» и «Вставить», из контекстного меню.

Таблицы данных

Вся информация, полученная с приборов учета посредством накопителя, сохраняется в архиве программы в табличном виде. Эти таблицы недоступны для редактирования.

Перечень таблиц определяется прибором учета, установленном на узле. Узел учета характеризуется следующим набором таблиц:

• часовой
• суточный
• месячный архивы
• настроечные параметры (база данных) прибора
• тотальные счетчики
• контрольный архив.

Перемещение в окне данных осуществляется с помощью линеек прокрутки, клавиш управления курсором или панели НАВИГАТОР. При выделении в панели базы данных пункта «Архив» выводится таблица с информацией о всех зарегистрированных узлах.

Данные в этой таблице можно отсортировать, щелкнув мышкой по заголовку любого из столбцов. Данные таблицы можно сгруппировать, перетащив название колонки, по которой будет произведена группировка в область сверху таблицы.

Быстрый переход поможет при поиске нужной строки, когда в архиве содержится большое количество узлов и абонентов. Для быстрого перехода следует щелкнуть левой клавишей мыши в той колонке, где нужно провести поиск. Далее на клавиатуре набирается искомое выражение. По мере набора фокус перемещается все ближе к искомой строке, так что в большинстве случаев полностью набирать выражение не придется.

Узел учета «Текст»

Все текстовые файлы данных (документов), считанные из приборов с помощью накопителя АДС90 в режиме Прием, приписываются особому узлу – «Текст», не имеющему учетной записи.

Этот узел содержит только одну таблицу – «Текстовые документы». В окне данных доступны для просмотра заголовки хранящихся в таблице документов, датированные временем их загрузки в компьютер, и содержимое самих документов. К текстовым документам применимы операции «Удалить» и «Экспортировать».

Основные настройки (Сервис)

Инструменты, собранные в этот пункт меню, позволяют изменять общие установки программы, производить очистку памяти накопителя, а также удалять устаревшие записи из архива.

По команде «Настройки» откроется одноименное окно с тремя вкладками – «Общие», «Связь» и «Модемы».

Вкладка — ОБЩИЕ

Программа Пролог версии 3.0 и выше позволяет пользователю управлять появлением заставки при старте программы. Если пункт «Отображать заставку при запуске программы» отмечен галочкой, то заставка будет появляться, в противном случае будет сразу загружаться основное окно программы.

Накопители АДС90, АДС91 и приложение НАКОПИТЕЛЬ позволяют считывать информацию с приборов с любыми идентификаторами. После переноса данных на компьютер расшифровывает идентификатор прибора. Если прибор с таким идентификатором уже зарегистрирован в архиве, то все данные будут записаны в соответствующие таблицы. Если идентификатор прибора программе не известен, то тут возможны два пути дальнейшей работы.

Первое – это игнорирование всех полученных от прибора данных. Такой вариант работает, если пункт «Автоматически создавать узлы для новых приборов» не помечен.

Другой вариант – когда пункт «Автоматически создавать узлы для новых приборов» помечен. При этом данные от незарегистрированных приборов будут попадать в автоматически создаваемые узлы у абонента «Новые». Они будут иметь название, включающее тип и идентификатор прибора. Перед занесением данных с таких приборов программа запросит подтверждение на создание узла.

Вкладка — СВЯЗЬ

Значение в поле «Максимальный размер журнала связи, кб» ограничивает предельный объем файла, в который записывается история соединений с узлами.

Номер СОМ-порта обязателен для назначения, если планируется получение данных при прямом подключении. Указанный в настройках порт будет использоваться для подключения накопителя АДС90.

Количество попыток связи — общее значение для всех узлов, оснащенных модемами, в том числе и GPRS-модемами.

Тайм аут чтения. Этот параметр отвечает за время ожидания ответа от приборов СПТ961, СПТ961 (мод 961.1 и 961.2), СПТ962, СПТ963, СПТ961М, СПГ761, СПГ761 (мод 761.1 и 761.2), СПГ762, СПГ762 (мод 762.1 и 762.2), СПГ763, СПГ763 (мод 763.1 и 763.2).

Значение по умолчанию – 15 секунд, минимально допустимое – 3с. Основной фактор, влияющий на назначение этого параметра – скорость на шине. При скорости 1200 бит/с время отклика прибора может достигать 30 секунд. Тайм аут следует увеличить при одновременных запросах от нескольких абонентов сети приборов.

Вкладка — МОДЕМЫ

Если для получения данных планируется использование модема (или нескольких модемов), то они должны быть предварительно установлен средствами операционной системы или с использованием драйверов фирмы-изготовителя.

Доступ к индивидуальным настройкам установленных модемов можно получить из программы, после нажатия кнопок «Телефония», «Свойства модема», «Правила набора номера».

В программе ПРОЛОГ предусмотрена возможность работы с несколькими модемами одновременно, для чего введено понятие «групп модемов».

Пользователь создает (кнопка «+») одну или несколько групп модемов с произвольными названиями. Для примера на рис.4.7 показаны две группы – группа «PTN» и группа «GSM». Далее необходимо назначить установленные в системе модемы, с использованием которых предполагается проводить опрос, членами какой-либо группы. В каждой группе может быть любое количество модемов.

В примере на рисунке и в группу «PTN» и в группу «GSM» включены по два модема. Таким образом, опрос возможно осуществлять параллельно по четырем модемам.

Группы можно удалять и редактировать. Установка нового модема не потребует внесения изменений в свойства каждого узла. Потребуется только одно переназначение в группе модемов. Опрос узла учета будет производиться посредством модемов (модема) той группы, которая назначена в свойствах этого узла.

Возможности по экспорту текстовых документов ограничены только сохранением текстового файла.

Источник: kipkatalog.ru

Логическое программирование. Основы языка Пролог

Логическое программирование базируется на убеждении, что не человека следует обучать мышлению в терминах операций компьютера, а компьютер должен выполнять инструкции, свойственные человеку. В чистом виде логическое программирование предполагает, что инструкции даже не задаются, а сведения о задаче формулируются в виде логических аксиом. Такое множество аксиом является альтернативой обычной программе. Подобная программа может выполняться при постановке задачи, формализованной в виде логического утверждения, подлежащего доказательству (целевого утверждения).

Идея использования логики исчисления предикатов I порядка в качестве основы языка программирования возникла в 60-е годы, когда создавались многочисленные системы автоматического доказательства теорем и вопросно-ответные системы. В 1965 г. Робинсон предложил принцип резолюции, который в настоящее время лежит в основе большинства систем поиска логического вывода. Метод резолюций был использован в системе GPS (general problem solver). В нашей стране была разработана система ПРИЗ, которая может доказать любую теорему из школьного учебника геометрии.

Язык программирования PROLOG (programming in logic) был разработан и впервые реализован в 1972 г. группой сотрудников Марсельского университета во главе с Колмероэ. Группа занималась проблемой автоматического перевода с одного языка на другой. Основа этого языка — исчисления предикатов I порядка и метод резолюций.

При программировании на Прологе усилия программиста должны быть направлены на описание логической модели фрагмента предметной области решаемой задачи в терминах объектов предметной области, их свойств и отношений между собой, а не деталей программной реализации. Фактически Пролог представляет собой не столько язык для программирования, сколько язык для описания данных и логики их обработки. Программа на Прологе не является таковой в классическом понимании, поскольку не содержит явных управляющих конструкций типа условных операторов, операторов цикла и т. д. Она представляет собой модель фрагмента предметной области, о котором идет речь в задаче. И решение задачи записывается не в терминах компьютера, а в терминах предметной области решаемой задачи, в духе модного сейчас объектно-ориентированного программирования.

Суть Пролога – программирование в терминах целей. Программист описывает условие задачи, пользуясь понятиями объектов различных типов и отношений между ними, и формулирует вопрос. PROLOG-система обеспечивает ответ на вопрос, находя автоматически последовательность вычисления решения, используя встроенную процедуру поиска.

До 1981 г. число исследователей, занимавшихся логическим программированием, составляло около сотни во всем мире. В 1981 году PROLOG был выбран в качестве базового языка компьютеров пятого поколения, и количество исследователей логического программирования резко возросло. Одной из наиболее интересных тем исследований является связь логического программирования с параллелизмом.

Где же используется Пролог в настоящее время? Это область автоматического доказательства теорем, построение экспертных систем, машинные игры с эвристиками (например, шахматы), автоматический перевод с одного языка на другой.

В настоящее время создано достаточно много реализаций языка Пролог: Wisdom Prolog, SWI Prolog, Turbo Prolog, Visual Prolog, Arity Prolog и т.д.

В нашем курсе будем использовать SWI Prolog. SWI-Prolog развивается с 1987 года. Его создателем и основным разработчиком является Ян Вьелемакер (Jan Wielemaker). Название SWI происходит от Sociaal-Wetenschappelijke Informatica (гол. социально-научная информатика), первоначального названия группы в Амстердамском университете, где работает Вьелемакер.

SWI-Prolog позволяет разрабатывать приложения любой направленности, включая Web-приложения и параллельные вычисления, но основным направлением использования является разработка экспертных систем, программ обработки естественного языка, обучающих программ, интеллектуальных игр и т.п. Это интерпретатор. Файлы, содержащие программы, написанные на языке SWI Prolog, имеют расширение pl.

SWI-Prolog-Editor является средой программирования для языка SWI-Prolog, включающую редактор программ с подсветкой синтаксиса, интерпретатор и отладчик программ. Основным назначением среды является обучение логическому программированию на языке Prolog.

Сначала устанавливаем SWI Prolog, затем — SWI Prolog Editor. Для запуска редактора SWI Prolog Editor необходимо запустить файл SwiplEdit.exe. Для настройки работы интерпретатора в специальном окне редактора, следует установить путь к интерпретатору, выполнив в редакторе команду Окно-Конфигурация на закладке Программы установить в строке Папка Пролога путь к интерпретатору.

Там же, на закладке Настройки необходимо установить поле Codepage равным cp1251. Настройка кодовой страницы необходима для правильного сопоставления строковых констант, набранных русским алфавитом, между текстом программы в среде SWI-Prolog-Editor и языком SWI-Prolog. Для запуска программы из панели редактирования программ ее следует сохранить и нажать функциональную клавишу F9 или соответствующий значок на панели инструментов. В случае успешной загрузки на панели запросов появится:

Загрузить файл можно так же с помощью команды: [].

После любой модификации программу требуется заново загрузить в память. Перезапуск интерпретатора Пролога осуществляется нажатием Ctrl+F9 или соответствующего значка на панели инструментов.

Для выхода из интерпретатора Пролога используется команда: halt.

Факты и правила

Как уже отмечалось Пролог использует исчисление предикатов первого порядка. Предикаты определяют отношения между объектами. Рассмотрим дерево родственных отношений:

Рисунок 10 — Дерево родственных отношений

Пример 1: Это дерево можно описать следующей Пролог-программой.

У нас имеется отношение родитель между двумя объектами. Описаны 6 фактов наличия отношений между конкретными объектами. Имена объектов начинаются с маленьких букв (они являются константами). В Прологе принято соглашение, что константы начинаются с маленькой буквы, а переменные – с большой. После набора такой Пролог-программы в редакторе можно загрузить программу в Пролог и задавать вопросы, касающиеся отношения родитель.

Запрос к программе набирается после приглашения ?- и должен заканчиваться точкой. Для выполнения набранного запроса необходимо нажать Enter. Ответ будет выдан под запросом. Запрос может быть набран в несколько строк — для перехода на новую строку используется клавиша Enter. В том случае, если строка будет заканчиваться точкой и будет нажата клавиша Enter SWI-Prolog начнет выполнение запроса.

Если возможны несколько вариантов ответа на запрос, то для получения каждого следующего используется клавиша Enter. Варианты ответов SWI-Prolog отделяет друг от друга точкой с запятой. Прекратить выполнение программы (выдачу альтернативных ответов) можно нажав клавишу «a».

Вопросы могут быть простые и сложные (в качестве связки «и» при составлении сложного вопроса используется запятая). Ответы Пролог-системы выводятся сразу после вопроса. Могут быть следующие варианты ответов:

• Yes (да);
• No (соответствует нет или не найдены значения переменных в вопросе);
• Перечисляются возможные значения переменных в вопросе. При этом при нажатии клавиши «a» поиск решений прекращается, а при нажатии клавиши Enter, продолжается поиск новых решений до тех пор, пока не будут найдены все. Альтернативные решения разделяются точкой с запятой. Вывод завершается словом Yes, если не все решения были найдены и No, если других решений не осталось.

Источник: studfile.net