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

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

高校科技人才培养环境设计的原则

高校科技人才现状不容乐观,优化高校科技人才培养环境应遵循三个基本原则:平等竞争激励原则、团体文化原则和能级原则.     

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

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

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

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

基于邻接矩阵的软件测试环境规划设计方法

在分析软件测试环境的基础上,研究了软件试验中测试用例设计面临的突出问题,从软件测试环境的规划出发,基于有向图的邻接矩阵,设计满足一定覆盖度标准的软件测试环境规划方法,可为软件试验提供技术参考和研究方向。     

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

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

贴合面及其判断

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

关于分布式开发环境

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

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

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

Network reliability assessment in a random environment

In this paper we consider networks that consist of components operating under a randomly changing common environment. Our work is motivated by power system networks that are subject to fluctuating weather conditions over time that affect the performance of the network. We develop a general setup for any network that is subject to such environment and present results for network reliability assessment under two repair scenarios. We also present Bayesian analysis of network failure data and illustrate how reliability predictions can be obtained for the network. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 574–591, 2003