Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
A selective testing method for reactive systems is presented.
提出了一种反应式系统选择性测试方法。
The structure and protonation level of conductive polyaniline (PANI) chemically synthesized in different reactive systems have been investigated using X-ray photoelectron spectroscopy (XPS).
采用X射线光电子能谱(XPS)方法对不同反应体系下化学合成的聚苯胺(PANI)的结构和掺杂状况进行了研究。
Experimental results showed that the compatibility between flame retardant and polypropylene could be greatly improved using this method, but the effect changed with different reactive systems.
实验结果表明，采用此法制得的非卤阻燃聚丙烯均可显著提高阻燃剂与聚丙烯树脂的相容性，但不同的反应体系增容效果不同。
Experimental results showed that the compatibility between flame retardant and polypropylene could be greatly improved using this method, but the effect changed with different reactive systems.
实验结果表明，采用此法制得的非卤阻燃聚丙烯均可显著提高阻燃剂与聚丙烯树脂的相容性，但不同的反应体系增容效果不同。
应用推荐