Правообладатель РИД: Хорошилов Алексей Владимирович

Изобретение может быть использовано в химической технологии. Разделение стабильных изотопов кремния методом химического изотопного обмена между газообразными галогенсодержащими соединениями кремния с общей формулой SiHX, где X - атом галогена, и их жидкими молекулярными комплексными...

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

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