阴离子表面活性剂化学传感器聚合物敏感膜的研制

对阴离子表面活性剂化学传感器敏感膜的种类组成及其比例进行了筛选,确定了增塑剂为磷酸三甲酚酯,其质量分数为55%~75%;电活性物质为十六烷基三甲基溴化铵,其质量分数为0.6%~1%;聚合物基体为聚氯乙烯(PVC),其质量分数为24%~44.4%。实验结果表明,敏感膜机械强度好,其对阴离子表面活性剂的线性响应范围为1×10-7~1×10-3mol/L,阴离子表面活性剂浓度为1×10-3mol/L时,其响应时间为30 s。     

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

基于情景驱动的军事概念模型的开发

针对当前军事仿真系统开发的复杂性和应用的广泛性,研究了军事概念模型的开发方法。在确定概念模型的评价指标的基础上,提出了基于情景驱动（scenario-driven, SD）的仿真概念模型开发方法,给出了概念模型的格式化描述方法,并利用一般概念模型中语法和语义提取的方法开发出水下对抗仿真系统的概念模型,为后续的可组合仿真研究提供了技术支持。