ISSN 2304-6600 (Online)
ISSN 1997-0935 (Print)



ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ЛОГИСТИКА В СТРОИТЕЛЬСТВЕ

Применение логики при решении задач энергообеспечения зданий: некоторые аспекты использования логики релейно-контактных схем в сфере строительства

  • Прядко Игорь Петрович - ФГБОУ ВПО «Московский государственный строительный университет» (ФГБОУ ВПО «МГСУ»)
DOI: 10.22227/1997-0935.2013.11.248-255
Страницы: 248-255
Рассмотрена проблема применения логики релейно-контактных схем, предложенной физиком и математиком В.И. Шестаковым, в сфере проектирования систем жизнеобеспечения зданий и сооружений. Показан способ оптимизации электрических схем. Посредством решений, опирающихся на законы логики, продолжено исследование проблемы применения логики в сфере проектирования, начатое в предшествующих публикациях о работах Н. Герсеванова.
  • В.И. Шестаков;
  • логическая формализация;
  • булева алгебра;
  • техническая модель логики;
  • релейно-контактные схемы класса А;
  • интерпретация булевой алгебры;
  • контактные схемы;
  • Н. Герсеванов;
Литература
  1. Шестаков В.И. Алгебра двупольных схем, построенных исключительно из двухполюсников (Алгебра А-схем) // Журнал технической физики. 1941. Т. 11. Вып. 6. С. 532—549.
  2. Шестаков В.И. Представление характеристических функций предложений посредством выражений, реализуемых релейно-контактными схемами // Известия АН СССР. Серия «Математика». 1946. Вып. 10. С. 25—43.
  3. Shannon C. Symbolic Analysis of relay and Switching Circuits. Trans of Amer. Institute of Electr. Engineers. 1938, vol. 57, pp. 713—723.
  4. Бирюков Б.В., Верстин И.С., Левин В.И. Жизненный и научный путь Виктора Иванович Шестакова — создателя логической теории релейно-контактных схем // Логические исследования. Вып. 14 / ред. А.С. Карпенко. М. : Наука, 2007. С. 25—72.
  5. Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. 2-е изд. перераб. и доп. М. : Знание, 1985. 192 с.
  6. Левин В.И. Акира Накашима и логическое моделирование дискретных схем // Смирновские чтения по логике. 5-я конференция, 20—22 июня 2007 / общ. ред. А.С. Карпенко. М. : ИФРАН, 2007. С. 150—153.
  7. Карлик Л.Н. Франсуа Мажанди // Клиническая медицина. 1959. Т. 37. № 2. С. 142.
  8. Мотрошилова Н.В. Зенон Элейский: апории в свете проблем бытия // История философии. Запад — Россия — Восток. Т. 1. М. : Греко-латинский кабинет, 1995. С. 75—77.
  9. Прокл. Первоосновы теологии / пер. А.Ф. Лосева. М., 1993.
  10. Рогинский В.Н. Релейно-контактных схем теория // Энциклопедия кибернетики / отв. ред. В.М. Глушков. Киев, 1947. Т. 2. С. 293—295.
  11. Бирюков Б.В. Логико-математические аспекты теории автоматов // Научные доклады высшей школы. Философские науки. 1964. № 5. С. 44—52.
  12. Тете Филлис, Слесарев М.Ю. Применение нечетких множеств в экспертных системах оценки воздействия строительства инженерных сооружений на шельфе Ганы
СКАЧАТЬ (RUS)