一种可用于军事电子信息系统的业务描述语言

准确、全面地获取系统需求是信息系统开发的关键问题之一。在需求获取过程中，面临的最大问题是用户和开发人员之间没有共同语言。为了解决这一问题，根据领域工程的思想，提出了一种系统需求的业务框架描述语言，该语言侧重于业务的概念，采用一些UML的方法描述业务的动态行为，从而在用户和开发人员之间建立起沟通的桥梁，使得开发人员易于得到系统的概念模型。     

一种基于元模型和多视图的企业目标建模方法

信息系统的成功研发很大程度上依赖于高质量的系统需求.企业建模可以析出目标模型,为系统需求提供依据.给出了反映企业本质属性的,具有严格语义的企业元模型.在元模型驱动下,用组织视图和业务视图对企业的组织结构和动态行为进行建模,并通过组织和业务视图建模间接地构建目标模型.这种方法使分析人员在实际建模时,能够有效地理解企业,构建目标模型.     

利用微波炉和煮沸法快速制备大肠杆菌基因组DNA PCR模板

利用微波炉和煮沸法可以简单、快速、有效地制备大肠杆菌基因组DNA PCR模板.用该模板做PCR具有很高的效率和良好的特异性.     

基于能力的C~4ISR通信领域上下文本体建模方法

上下文信息建模及推理是业务智能化的关键.针对C~4ISR通信领域的智能化,研究了军事通信领域上下文本体建模及推理问题.在基于C~4ISR能力需求分析的基础上提出了一种通信领域上下文本体构建方法.该方法首先给出C~4ISR通信领域元本体的概念、关联、规则等,然后通过对完成使命任务相关的活动分析来驱动C~4ISR通信领域上下文本体的建模,并利用本体自动推理工具完成了上下文推理,最后以一个案例说明该方法的可行性.     

面向目标的C4ISR系统效能概念建模与一致性分析方法

为了解决C4ISR系统效能需求的获取与验证问题, 从C4ISR系统的软目标分析出发, 构造了C4ISR系统能力元本体, 提出了 一种本体引导的C4ISR系统效能需求获取算法; 利用UML Profile扩展机制, 设计了效能概念的对象建模方法; 探讨了基于本体概念推理的效能概念模型一致性检验算法, 研究了从UML模型到描述逻辑本体的映射算法; 最后以一个防空系统效能分析案例, 说明方法的理论可行性.     

基于模糊推理的C4ISR系统服务发现方法

针对领域模糊信息对C4 ISR体系结构分析中服务建模和发现所带来的不利影响,提出了基于模糊推理的C4ISR系统服务发现方法.从体系结构服务相关概念出发,构建C4ISR特定领域的服务模糊本体,在模糊本体的引导下,获取现实系统面向服务的体系结构需求.在此基础上,借助模糊描述逻辑的本体形式化和推理技术发现满足用户要求的系统服...     

SysML对C4ISR系统建模的支持研究

为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法.通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势.以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行.     

基于目标的C4ISR系统需求行为建模

获取C4ISR系统需求非常困难,为了准确获取系统需求,尤其是动态行为需求,需要对系统行为进行建模。为此借鉴面向目标的需求分析方法,在C4ISR系统需求描述语言MEISRDL的基础上,提出了基于目标的行为建模方法。首先分析作战任务以识别作战目标,通过精化目标构造目标模型,然后将目标作为职责分配于作战实体,最后重点分析作战实体要实现作战目标应具备的内部和外部行为。状态模型、交互模型和行为关系模型提供了多种行为描述和分析方法。通过一个实例介绍了建模的过程,验证了该方法的可行性。     

一株嗜水气单胞菌Aeromonas hydrophila的16S-23S rDNA间区序列分析及应用

根据细菌的16S rDNA 3'端和23S rDNA 5'端的高度保守区设计引物,扩增了一株中华鳖Trionyx sinensis"红板病"病原菌--嗜水气单胞菌的16S-23S rDNA间区,克隆到pGEM-T载体上,测序.用BLAST和DNAstar软件对16S-23S rDNA间区序列以及其内tRNA基因与已发表的嗜水气单胞菌和近缘种的IGSG序列进行比较分析,设计出对嗜水气单胞菌特异的PCR引物,建立了检测嗜水气单胞菌的PCR方法,进行了特异性、灵敏性检测,并用此方法检测了不同的水样.     

复杂系统能力需求模型的仿真技术与实现

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。