摘要：采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.

摘要：在软件工程的需求分析阶段,带有一定交互的界面原型系统能快速直观地反映出当前设计的效果,方便软件需求的进一步沟通与确定.针对飞行器设计软件界面输入输出参数较多、参数组织复杂等特点,为了更快地实现数据到界面元素的映射,提出了基于界面表示模型的界面原型快速生成方法.所设计的窗体设计器实现了快速数据绑定、控件组织、布局管理、事件添加和生成资源文件的功能,界面生成引擎实现了由资源文件到带有交互逻辑的界面原型系统的转换.通过实例验证该方法能够快速灵活地完成数据绑定、界面的设计和生成工作,大幅度缩短了界面原型系统的开发时间.

摘要：将8-17 DNAzym e增加2个＂G-C＂碱基对进行增强热稳定性的结构修饰,并标记上1个荧光基团＂FAM＂和2个荧光猝灭基团＂Dabcyl＂,设计成双猝灭Pb2＋荧光探针。研究了该探针对Cd2＋、Zn2＋、Mg2＋、Cu2＋、Mn2＋、Pb2＋6种二价金属离子的响应,结果表明探针对Pb2＋具有很强的特异性,在探针浓度为2.5×10-7mol/L时,Pb2＋浓度在8.5×10-8~7.5×10-6mol/L范围内和探针的荧光强度呈线性关系,检出限为8.5×10-8mol/L。该探针可用于Pb2＋的定性和定量检测。