军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

SDL系统与VxWorks集成中的关键技术

SDL是一种规格与描述性语言,非常适合信令与协议软件开发。VxWorks作为一个具有较高性能的、标准的嵌入式系统,在世界各地受到广泛应用。论文对在两者结合过程中所涉及的一些关键技术,如代码生成、集成方式选择、与操作系统接口以及与环境接口等进行了研究。     

野战环境下弹药贮存寿命评估

简述了进行弹药野战环境贮存可靠性试验的试验场地、试验样本量确定方法和试验结果,分析探讨了弹药野战环境贮存可靠性试验数据处理方法,给出了在一定置信度下弹药贮存寿命。     

水库区的风景开发建设与生态环境保护研究

随着社会经济的发展,水库这一人工湖泊不仅只发挥传统的灌溉、供水、防洪、发电和养殖等作用,作为风景旅游和度假地开发建设越来越受到重视,文章从对库区风景开发建设必要性、条件和原则进行分析,提出库区开发建设必须兼顾生态环境,确保水库的可持续发展。     

虚拟再制造研究的体系框架

再制造工程是人类社会可持续发展战略的重要保证,虚拟再制造是提高再制造工程效益的重要内容。为了进一步开展广泛而深入地研究,首先需要明确其主要基础理论及重要研究内容。现根据虚拟再制造的显著特点,参考虚拟制造的研究内容,探讨建立了虚拟再制造研究的体系框架。     

试论高校和谐学术生态环境体系建设

高校建设和谐学术生态环境就是要构建一个民主自由、宽容开放、公平诚信、充满活力和创造力,学术人员之间、学术人员与非学术人员之间、学术活动与其他活动之间等和谐相处的学术环境系统。该文从学术生态环境的内涵入手,分析了和谐学术生态环境建设对高校发展的作用。提出高校要通过建设宽松的学术研究环境、激励创新的政策环境、和谐共进的人际环境,构建出和谐的学术生态环境。     

贴合面及其判断

本文给出了单自由度情况下,自动机基础构件和工作构件运动支承反力的形式及其求法,以根据运动支承反力,判断构件的贴合面,并给出了贴合面换向后自动机运动方程中各影响系数的求解方法。     

关于分布式开发环境

从分布式Ｃ￣３Ｉ系统体制的需求出发,分析分布式开发环境的技术背景与发展。通过讨论分布式开发环境的优缺点,从硬件平台、基础软件和开发支持软件三个层次分析建立分布式开发环境的基础技术。进而从结构模型、处理模型和开发模型三方面,着眼于软件技术,提出一种分布式开发环境的通用构造模型,最后讨论了该模型对未来研究工作的意义。     

正规战中作战效率变化初探

本文以描述常规战最基本的模型——Lanchester方程为基础,就影响作战效率的一些因素进行了分析并定量化地表现在作战模型中,然后运用有关系统学理论讨论了作战效率变化对战斗进程的影响程度。     

多功能小区工程建设及其环境保护

研究表明,永川市某多功能小区目前环境质量良好,可满足永川新城建设需要。原渝西学院红河校区工程建设环境后评价发现,尽管对小区新建工程进行了科学决策与管理,但新建工程仍然对环境质量有轻微的不利影响,其积累效应值得有关方面关注。该结论对多功能小区环境规划、管理与保护具有一定意义。