Интеллектуализация процессов в САПР

Соснин Петр Иванович является руководителем такого направления научной деятельности, как Интеллектуализация процессов в системах автоматизированного проектирования (САПР).

 

     В качестве научного консультанта Соснин П.И. выступил при написании следующих докторских диссертаций:

 

  • Негода В. Н.   "Средства автоматизации структурно-функционального проектирования микропроцессорных систем с развитой поддержкой обучения " Специальность  – 05.13.12 (Системы автоматизации проектирования). 2002 г.
  • Афанасьев А.Н.   "Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем" Специальность - 05.13.12 (Системы автоматизации проектирования). 2011 г.

 

     Под его руководством были написаны кандидатские диссертации:

  • Ярушкина Н.Г   " Исследование инструментальных средств организации и встраивания диалога в проблемно-ориентированных системах". Специальность  –  05.13.12 (Системы автоматизации проектирования). 1990г.
  • Карпова И.Р.   "Исследование средств и методов продукционно-предикатного моделирования в процессах принятий решения". Специальность  – 05.13.12 (Системы автоматизации проектирования). 1993 г.
  • Евсеева О.Н.   "Исследование инструментальных средств формирования классификационной схемы баз данных САПР". Специальность  – 05.13.12 (Системы автоматизации проектирования). 1993г.
  • Кальянов А.К.    "Исследование и разработка  методов  и средств   предикативной  обработки  проектной документации   САПР".      Специальность  –  05.13.12 (Системы автоматизации проектирования).    1997г.
  • Соснина Е.П.   "Разработка динамического процессора мониторинга проектной деятельности в САПР".  Специальность  – 05.13.12 (Системы автоматизации проектирования).      1997г.
  • Антонов Ю.Н.       "Автоматизация проектирования подгоночных траекторий коррекции резисторов гибридных интегральных схем". Специальность – 05.13.12 (Системы автоматизации проектирования). 1999г.
  • Вербиченко Д.С.  "Управляемая визуализация понятийно-образной поддержки проектных решений". Специальность – 05.13.12 (Системы автоматизации проектирования). 2000г.
  • Семенов В.Г.   "Сетевые модели оперативного управления процессом принятия решений в САПР".Специальность – 05.13.12 (Системы автоматизации проектирования). 2001г.
  • Ямпольский Л.С.   "Имитационное моделирование при проведении компьютерных командно-штабных военных игр". Специальность  –  05.13.18  (Математическое моделирование, численные методы и комплексы программ). 2003г.
  • Карпушин А.Н.   "Средства мотивационно-целевого и причинно-следственного сопровождения процесса принятия проектных решений". Специальность  – 05.13.12 (Системы автоматизации проектирования). 2005г.
  • Негода Д.В.   "Автоматизация проектирования симуляторов микропроцессоров и микроконтроллеров". Специальность  – 05.13.12 (Системы автоматизации проектирования). 2005г.
  • Панова В.М.  "Модели массового обслуживания В программных комплексах управленияуниверситетскими процессами " Специальность  –  05.13.18.  (Математическое моделирование, численные методы и комплексы программ). 2006г.
  • Маклаев В.А.   "Средства вопросно-ответной коммуникации в корпоративных средах автоматизированного проектирования " Специальность  – 05.13.12 (Системы автоматизации проектирования). 2007г.
  • Типикин В.В.   "Вопросно-ответные инструментально-технологические средства в концептуальном проектировании автоматизированных систем".  Специальность  – 05.13.12. 2007г.
  • Валюх В.В. "Средства оперативной формализации проектных решений в концептуальном проектировании автоматизированных систем".Специальность - 05.13.12 (Системы автоматизации проектирования). 2008г.
  • Красовский С.П.   "Средства вопросно-ответного документирования в проектировании автоматизированных систем".Специальность  – 05.13.12 (Системы автоматизации проектирования). 2008г.
  • Касапенко Д.В.   "Моделирование в экспертном мониторинге надводной обстановки судна". Специальность  – 05.13.18 (Математическое моделирование, численные методы и комплексы программ). 2009 г.
  • Шамшев А.Б.   "Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений". Специальность  – 05.13.12 (Системы автоматизации проектирования). 2010г.
  • Павлыгин Э.Д.   "Многоагентное моделирование окружающей обстановки морского судна". Специальность  – 05.13.18 (Математическое моделирование, численные методы и комплексы программ). 2011г.
  • Святов К.В.   "Методы и средства псевдокодового интерфейсного прототипирования проектных решений". Специальность  – 05.13.12 (Системы автоматизации проектирования). 2011г.

 

     На счету Соснина П.И. следующие публикации:

  1. P. Sosnin, Motive-object model of the task into decision making. In Proc. of the 2nd International Conference on Mathematical Modelling (MathMod), Vienne Austria, 1997, pp. 999-1003.
  2. P.I. Sosnin, Question-answer analysis in concurrent engineering. In Proc. of the 10th ISPE International Conference on Concurrent Engineering, Research and Applications: The Vision for the Future Generation in Research and Applications, Madeira, Portugal, 2003, pp. 961-964.
  3. P.Sosnin, Question-Answer Processor for Cooperative Work in Human-Computer Environment. In Proc. of the 2d International IEEE conference Intelligent System, Varna, Bulgaria, 2004, pp. 452-456.
  4. P.I. Sosnin and Sosnina E.P, Question-Answer System for Object-Oriented Analysis and Design. In Proc. of the 22nd Conference on Information Technology in Construction, Dresden, Germany, CIB W78, 2005, pp.199-204.
  5. P. Sosnin, Question-Answer Modeling in Conceptual Design of Automated Systems. In Proc. of The 13th IEEE Mediterranean Electrotechnical Conference (MELECON 2006), Malaga, Spain, 2006, pp.121-124.
  6. P.I. Sosnin Question-Answer Means for Collaborative Development of Software Intensive Systems. In Proc. of 14 ISPE International Conference in Concurrent Engineering: Complex Systems Concurrent Engineering, Springer London, 2007, pp. 151-158.
  7. P.I.Sosnin Conceptual Solution of the Tasks in Designing the Software Intensive Systems. In Proc. of the 14th IEEE Mediterranean Electrotechnical Conference (MELECON 2008), Ajaccio, France, 2008, pp. 293 - 298.
  8. P.I.Sosnin Question-Answer Models of Decision-Making Tasks in Automated Designing. In Proc. of the 22nd European Conference on Modelling and Simulation (ECMS’2008), Nicosia, Cyprus, 2008, pp. 173-180.
  9. P. Sosnin, Question-answer programming and modeling in expert systems. In Proc. of Artificial Intelligence and Applications (AIA’2009), Vienne, Austria, 2009, pp. 208-213. 
  10. P. Sosnin, Means of question-answer interaction for collaborative development activity. Hindawi Publishing Corporation, Advances in Human-Computer Interaction, Volume 2009, Article ID 619405, 2009, pages18. 
  11. P.I. Sosnin Question-Answer Expert System for Ship Collision Avoidance. In Proc. of 51st International Symposium ELMAR-2009, Zadar, Croatia, 2009, pp.185-188.
  12. P. Sosnin, Creation and Usage of Project Ontology in Development of Software Intensive Systems. Polibits. #2, Mexico, 2010, pp. 132-146.
  13.  P. Sosnin, Question-Answer Approach to Human-Computer Interaction in Collaborative Designing. In Proc. of IADIS: Human Computer Interactions, Freiburg, Germany, 2010, pp.  219-226.
  14. P. Sosnin Question-Answer Programming in Collaborative Development Environment. In Proc. of The third IEEE conference Cybernetics and Intelligent Systems (CIS-RUM’2010), Singapore, Singapore, 2010, pp. 273-278.
  15. P. Sosnin, Multi-Agent System For Simulation Of Surrounding The Sea Vessel. In Proc. of 25th European Conference on Modelling and Simulation (ECMS 2011), Krakow, Poland, 2011, pp. 20-27.
  16. P. Sosnin, Programming of Human-Computer Interactions in Development of Software Intensive Systems , International Journal of Computer Information Systems and Industrial Management Applications ISSN 2150-7988 Volume 3, 2011, pp. 444-452.
  17. P. Sosnin, Pseudocode programming of human-computer interaction in collaborative designing. In Proc. of International conf. Electrical, Control and Computer Engineering (INECCE), Kuantan, Pahang, Malaysia, 2011, pp. 317 – 322.
  18.  P. Sosnin, V. Maklaev Pseudocode Programming of Precedents in Conceptual Designing of Automated Systems. In Proc. of 5th International conf. Application of Information and Communication Technologies (AICT’11), Baku, Azerbaijan, 2011, pp. 766-770.
  19.  P. Sosnin, Question-Answer Shell for Personal Expert System. Chapter in the book “Expert Systems for Human, Materials and Automation.” Published by Intech, 2011, pp. 51-74.
  20. P. Sosnin, Question-Answer Approach to Human-Computer Interaction in Collaborative Designing. Chapter in the book “Cognitively Informed Intelligent Interfaces: Systems Design and Development” Published IGI Global, 2012, pp. 157-176.
  21. P. Sosnin, Pseudo-code Programming of Designer Activity in Development of Software Intensive Systems. In Proc. of the 25-th International conference on Industrial Engineering and other Applications of Applied Intelligent Systems (IEA/AIE 2012), Dalian, Chine,  2012, pp. 457-466.
  22. P. Sosnin, Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems. In Proc. of the 11-th International conference on Software Methodology and Technics (SoMeT’2012), Genua, Italy,  2012, pp. 180-197.
  23. P. Sosnin, V. Makllaev, S. Zhukov, Labeled Protection of Project Tasks in Collaborative Designing of Software Intensive Systems. In Proc. of 6th International Conference on Application of Information and Communication Technologies (AICT), Tbilisy, Georgia, 2012,  pp. 64-68.

 

     Монографии:

  1. Идентификация магнитных элементов автоматики и вычислительной техники / Е. П. Балашов [и др.] ; под. ред. Е. П. Балашова. – Л. : Энер- гия, 1980. – 124 с. – Библиогр.: с. 120-122 (55 назв.). – Авт.: Е. П. Балашов, А. А. Воевода, А. А. Смагин, П. И. Соснин.
  2. Контроль информации в системах автоматизации проектирования / А.А. Гужавин [и др.]. – Саратов : Изд-во Сарат. ун-та, 1985. – 134 с. – Биб- лиогр.: с. 129-132 (55 назв.). – Авт.: А. Н. Афанасьев, А. А. Гужа- вин, О. Г. Кокаев, П. И. Соснин, В. Ю. Лидак.
  3. Соснин П. И. Автоматизация проектирования средств контроля и диа- гностики / П. И. Соснин, В. Ю. Лидак, С. С. Полосин ; науч. ред. К. К. Васильев. – Саратов : СГУ, 1985. – 87 с. – Библиогр.: с. 85-86 (20 назв.).
  4. Соснин П. И. Иерархические, ассоциативные запоминающие структу- ры / П. И. Соснин. – Саратов : Изд-во Сарат. ун-та, 1985. – 97 с. – Библиогр.: с. 94-95 (38 назв.).
  5. Соснин П. И. Логика понятий / П. И. Соснин. – Саратов : Изд-во Са- рат. ун-та, 1986. – 88 с. – Библиогр.: с. 84-87 (74 назв.).
  6. САПР тестов микропроцессорных схем / О. Н. Евсеева [и др.]. – Улья- новск : УлПИ, 1988. – 51 с. – Библиогр.: с. 51 (5 назв.). – Авт.: О. Н. Ев- сеева, А. Ю. Левицкий, П. И. Соснин, В. В. Шишкин, Н. Г. Ярушкина.
  7. Соснин П. И. Процессоры обработки нечеткой информации/ П. И. Соснин, О. Г. Кокаев, А. Н. Афанасьев ; под ред. П. И. Соснина. – Са- ратов : Изд-во Сарат. ун-та, 1988. – 124 с. – Библиогр.: с. 121-122 (30 назв.).
  8. Проблемно-ориентированные диалоговые среды / П. И. Соснин [и др.] ; под ред. П. И. Соснина. – Саратов : Изд-во Сарат. ун-та, 1995. – 99 с. – Библиогр.: с. 95-97 ( 51 назв.). – Авт.: П. И. Соснин, Н. Г. Ярушкина, О. Н. Евсеева, А. Ю. Левицкий.
  9. Соснин П. И. Человеко-компьютерная диалогика / П. И. Соснин. – Ульяновск : УлГТУ, 2001. – 285 с. – Библиогр.: с. 278-281 (64 назв.).
  10. Sosnin P. I. Artificial Intelligence and Logic of questions/ P. I. Sosnin. – Darmstadt, DHD : [б. и.], 2003. – 78 с.
  11. Соснин П.И. Вопросно-ответное моделирование в разработке автоматизированных систем / П.И.Соснин. - Ульяновск: УлГТУ, 2007. – 333 с.
  12. Соснин П.И. Вопросно-ответное программирование человеко-компьютерной деятельности / П.И.Соснин. - Ульяновск: УлГТУ, 2010. – 240 с.
  13. Соснин П.И. Программирование человеко-компьютерной деятельности. /П.И.Соснин. – Saarbruken: Lambert Academic Publishing, 2012. ‒ 343 c.

 

     Методические пособия

  1. Соснин П. И. Методология программирования : учеб. пособие / П. И. Соснин. – Ульяновск : УлПИ, 1988. – 96 с. – Библиогр.: с. 95 (13 назв.).
  2. Соснин П. И. Информационно-лингвистическое обеспечение вычис- лительных процессов : учеб. пособие / П. И. Соснин. – Ульяновск : УлПИ, 1992. – 88 с. – Библиогр.: с. 84-86 (47 назв.).
  3. Соснин П. И. Содержательно-эволюционный подход к искусственно- му интеллекту : учеб. пособие / П. И. Соснин. – Ульяновск : УлГТУ, 1995. – 75 с. – Библиогр.: с. 73-74 (26 назв.)
  4. Соснин П. И. Моделирование рассуждений : конспект лекций для студ. направл. “Информатика и вычислит. техника” / П. И. Соснин. – Улья- новск : УлГТУ, 2000. – 74 с. – Библиогр.: с. 72 ( 25 назв.).
  5. Соснин П.И. Архитектурное моделирование автоматизированных систем: учебное пособие / П.И.Соснин. - Ульяновск: УлГТУ, 2007. – 146 с.
  6. Соснин П.И. Компьютерное моделирование компьютеризованных систем: учебное пособие / П.И.Соснин. - Ульяновск: УлГТУ, 2009. – 198 с.