军用软件开发过程的质量管理体系研究

军用软件系统的开发在我军信息化建设中占据至关重要的地位。大型武器装备系统的军用软件开发,成本高、风险大、周期长,参与单位及人员众多,如何能够确保大型军用软件的质量,增强武器装备性能,成为亟待解决的课题。本文将质量管理体系引入军用软件开发过程之中,通过强化过程控制,来确保大型军用软件的开发质量,对军队信息化建设,特别是软件系统的开发起到指导和借鉴作用。     

数字虚拟图像与实拍影像的整合

数字虚拟图像与实拍影像的整合是现阶段动态影像创作的一种趋势,它突破了单一的影像形式,融会了两种不同形态的影像语言,不仅为创作者提供了无限的创作空间,并且开拓了新的审美情趣,使影像在创作观念与形式语言表现上发生了许多变化,值得我们思考与研究。本文通过对数字虚拟图像与实拍影像整合的含义、目的与价值三个方面的论述,希望可以引起对新的影像形式语言理论研究的思考,开拓影像形式语言的多元化。     

模拟化学实验软件——Medel Chemlab

本文简单介绍了模拟化学实验软件Medel Chemlab的内容,功能和特点。     

基于水管理对象的数字流域顶层设计技术方法研究

水利信息化是实现水利现代化的基础和重要标志。以水管理对象为基础,利用现代信息技术构造数字流域,集中管理流域内的水事问题,是实现流域现代化管理的有效途径。从数字流域体系架构、水管理对象构造及全息化描述、基础平台构建、业务系统的构件化开发、数字功能流域等方面详细介绍了基于水管理对象的数字流域构造技术方法。     

Extending UML to model Web 2.0‐based context‐aware applications

Web 2.0 Mashups offer entirely new opportunities for context‐aware application (CAA) developers by integrating Web 2.0 technologies to facilitate interoperability among heterogeneous context‐aware systems. From a software engineering perspective, a visualized approach for Web 2.0‐based CAA modeling is crucial. Current CAA development, however, cannot provide a conceptual model for Web 2.0‐based CAA. Therefore, the development efficiency and potential for reuse are decreased. The UML is a general purpose modeling language with potential for use in many application domains. However, UML often lacks elements needed to model concepts in specific domains, such as Web 2.0‐based CAA modeling. To address the above issues, this study presents the Web 2.0‐based CAA UML profile, a UML profile for modeling Web 2.0‐based CAA. Copyright © 2011 John Wiley & Sons, Ltd.     

一种针对PT2262编码芯片的编码软件设计

PT2262编码芯片常用于无线遥控器中,为了避免相互干扰,一般要求在一定范围内多个发射器的地址编码不同,若对PT2262的地址码进行手工编码,则很费时且易出现重复的现象。本文通过分析基于PT2262的遥控发射器发射出的码特征,提出了一种针对PT2262编码芯片的编码软件设计。     

选举投票系统中主机软件的设计与实现

为了提高基于OCR技术的选举投票系统效率,提出了系统主机端软件的设计方法.该方法将主机端软件和票箱端软件统一起来考虑,充分考虑选举信息,利用选票中相关对象的位置数据设计选票,将选票格式数据发送到票箱,实现一系列选举投票系统功能,从而开发出一套主机端软件.该方法使得选票版面可以更复杂、基于选票格式数据而设计的票箱端识别软件定位速度更快,有效提高了系统效率,选举投票系统更加完善.     

多重中断程序测试框架

为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架.该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境.实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析.     

言语行为理论与虚构话语研究

在奥斯汀和塞尔的言语行为理论中,虚构的文学话语被认为是“不严肃”的。通过可以引入文学规约作为制度性语境,将所谓的“非正常”话语或虚构话语再语境化,从而使之正常化,解决虚构话语的本体问题。     

集散控制系统在甲醇生产中的应用

本文重点介绍了我厂扩建的4#甲醇仪表控制系统如何在原有的DCS系统上进行扩展，大大节省了仪表系统的投资。