软件开发系统六元结构模型及其复杂性研究

在信息资源的开发中,软件是最重要的基础设施,软件开发是最重要的组成部分.文章总结了软件开发的三种认知观点,在此基础上提出了软件开发系统的概念及其六元结构模型和开发过程模型,并从复杂性科学的角度剖析了软件开发系统及其开发过程复杂性产生的原因、本质特征,对于正确认识和理解软件开发这一复杂系统工程的艰巨性,探索软件开发新方法具有重要的启示作用.     

面向机载软件适航验证的灰盒测试方法

针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。     

基于演化博弈理论的软件隐形需求开发研究

软件需求开发本质上是知识转移的过程,然而由于对隐性知识进行需求开发存在编码困难、不易表述以及难以交流,使之成为软件需求开发过程中的主要症结。隐性知识要形成明确的软件需求,必须以知识融合为前提,通过用户与软件开发人员共同努力才能实现。在此背景下,通过构建激励下的演化博弈模型,研究用户与软件开发人员在对隐性知识进行需求开发时的努力投入演化情况,并对结果进行了相应的分析和讨论。     

通用分布式虚拟现实软件开发平台的研究

为了适应分布式虚拟现实应用系统的开发需要,在通用虚拟现实软件开发平台VRMagic的基础上,结合高层体系结构(HLA),研发出通用分布式虚拟现实软件开发平台D-VRMagic.详细介绍了D-VRMagic的网络架构和对象模型的构建过程,并在此基础上提出了管理者设计规范和通用客户端模型.最后以网络五子棋的实现为例,对D-VRMagic进行了验证.结果表明该平台具有较高的开发效率、可扩展性和通用性.     

嵌入式系统应用软件PC模拟器设计与实现

随着手机、PDA等数字产品的广泛使用，嵌入式系统应用也越来越广泛。嵌入式软件开发与通常的基于PC平台的软件开发有很大差别。应用模拟器来调试基于嵌入式系统的软件，可以大大加快系统开发速度。以开发手机应用软件模拟器为例，详细论述了基于嵌入式系统的PC模拟器的设计思想、系统结构和模块设计方案，及最终软件的实现与应用。在AetoneC88手机软件开发过程中使用PC模拟器，加快了软件的调试进度，缩短了开发周期。     

软件失信的根源因素:失信因子

如何保证软件可信性是目前软件工程研究领域的热点话题之一. 从逆向思维的角度围绕软件失信展开三方面的研究.基于软件可信性的概念,分析软件失信及失效、故障、缺陷、错误之间的关系, 进而提出“失信因子"这一新的概念;通过分析失信因子与软件风险因素内涵的差异,指出了失信因子概念提出的基础性和重要性, 并给出软件失信链,延伸了传统的失效链;通过构建一种基于WBS-RBS的识别框架探讨了对失信因子收集、识别和分类的方法.结合示例,验证了所提概念的合理性.特别强调,在软件开发过程中,软件可信性的保障应着眼于控制、 改善失信因子这一根源性的因素,而非缺陷和故障等表征现象.     

机载导弹弹射式发射建模与仿真

对机载导弹采用气压传动系统进行弹射式发射进行动力学建模与仿真。通过建立气压传动各元件的数学方程,在MATLAB/Simulink软件中建立气压传动系统仿真模型。同时在多体系统动力学仿真分析软件ADAMS中建立机载导弹动力学模型,并在Simulink中对弹射发射过程中作动筒与弹体分离过程进行控制。采用Simulink与ADAMS开展联合仿真,研究机载导弹弹射式发射动力学行为。     

基于COTS的军用软件保障问题研究

商用货架产品在军事领域的应用趋势将给传统军用软件的保障模式带来冲击。对此,在研究基于商用货架产品的军用软件(CBMS)开发过程的基础上,讨论了CBMS的保障组织形式和实施方案,构建了CBMS保障过程模型用以描述军方软件保障机构在整个保障过程中的工作,并就CBMS开发过程中与保障密切相关的商用货架产品选择和风险评估等问题进行了讨论。     

基于HLA的机载PD雷达系统仿真

目前机载PD雷达的仿真研究主要集中在对其部分模块的原理验证型研究,不能实时检测和跟踪目标,而且很难集成在大型仿真系统中。针对以上问题,以实现仿真系统通用性、可重用性和实时性为目标,对机载PD雷达实时检测和跟踪目标展开了研究。首先简要介绍了机载PD雷达系统的构成原理,然后根据仿真任务需求设计了机载PD雷达仿真系统体系架构,接着对构成仿真系统各联邦成员的设计作了介绍,最后以某型号机载PD雷达为仿真实例,仿真其某个典型的工作状态,并给出部分成员的仿真结果。该仿真平台的构建对机载PD雷达研制、开发和验证有深远的意义。     

软件总线研究及其在水电仿真系统中的应用

针对复杂系统仿真软件开发中柔性设计和软件复用等问题,提出了基于软件总线体系结构的系统集成方案.并以此为基础,在水电仿真系统的设计实现中应用了该方案.在复杂仿真软件系统设计与实现中采用软件总线体系结构,有利于应对系统扩展和变化,同时也通过松耦合连接使得系统中组件的重用性得到加强.基于软件总线的仿真系统开发体系,易于实现复杂系统的仿真建模与定制实现,直接提高了生产效率和软件质量.     

分工模型的改进

本文对新兴古典经济学的分工模型进行了改进,把传统的“     

某反坦克导弹视场交叉判据建模与仿真

在建立了某反坦克导弹目标瞄准线数学模型，红外视场锥面数学模型和红外视场重合长度数学模型的基础上，实现了对瞄准线高低角，方向夹角，瞄准线公垂线长度和交叉火力射击条件下视场重合长度的数学解析计算，从而确定了视场在空间的相互位置关系，为进行合理的阵地配置提供了科学的理论依据，最后进行了仿真验证。     

仿生机器鱼尾鳍的动力学研究

高的稳定性是仿生机器鱼高效推进的前提，而对尾鳍的稳定性控制是实现仿生机器鱼稳定性的主要方法。通过“二维波动板”理论，建立了三节仿生机器鱼的动力学模型，并对模型进行了实验验证，由该模型出发，分别计算出水动力和惯性力引起的尾鳍驱动力矩的值，分析了该值与仿生机器鱼各个运动参数的联系。为仿生机器鱼的稳定性控制建立了理论基础。     

四类拍卖的收益等价性研究

在收益等价性及应用的完整框架下对四类拍卖的收益等价性问题进行了总结、研究和探讨.在对收益等价定理进行推论和应用的基础上,确认了SIPV(对称、独立、私人价值)假设下四种拍卖期望收益与期望支付的等价性,推导了二价全支付拍卖的均衡竞价策略.在此基础上比较并解释了SIPV假设下四种拍卖均衡报价的排序关系.总结,比较并解释了关联价值假设下四种拍卖的期望收益的排序关系.指出不同的信息结构设定是影响不同假设下拍卖收益等价性和不同假设拍卖模型对经济现象解释能力的关键因素.最后,展望了拍卖收益等价问题的新的发展方向.     

风险概念分析

分析了风险的概念,介绍了不确定性经济学、保险和金融三个领域中与风险有关的概念（效用函数,风险厌恶,保险,金融风险）和各自关心的主要问题（如风险的衡量,保费的确定,资产价格波动）,以及一些重要结论（Pratt定理等）。     

移动视频直播的互动性对持续使用意愿的影响

移动视频直播指用户通过移动设备实时制作或观看视频的服务。近年来,移动直播APP快速发展,吸引了大量的用户,然而平台的最终成功取决于用户持续使用。本文聚焦于移动视频直播的互动性,以流体验理论、社会临场感理论和认同理论为基础,从心理认知视角探讨了互动性对用户持续使用意愿的作用机理。通过问卷调查,共收集346份有效问卷,采用SPSS和PLS软件对假设模型进行验证。结果显示,移动视频直播的互动性通过提高用户观看体验（流体验、社会临场感）和主播认同进而影响满意度和持续使用意愿。同时互动性的各个维度对用户体验和认同感的影响程度存在显著差异。据此,为移动视频直播运营商的长期发展提供了理论指导。     

油田压裂井增油量的预测及其生产规划的优化设计

利用现有压裂井产油观测数据，采用动态数据处理方法，建立了月增油量的预测模型；依据预测结果，利用整数规划的方法，规划设计未来年度油田的压裂井数及压裂方式。     

线性调频-二相编码雷达信号分析

报道了一类由二相编码信号与线性调频信号组合而成的新的脉冲压缩信号。导出了这类信号的表达式。通过理论分析和计算机模拟,给出了该类信号的模糊函数(图),幅度谱特性,匹配滤波器输出波形,多普勒频移特性,有加权时的压缩脉冲时间旁瓣波形和低截获概率等方面的性能。分析证明,该类信号与线性调频信号或二相编码信号相比具有更好的低截获概率特性,其多普勒性能优于二相编码信号。     

线性多目标规划有效解的有效率

给出了线性多目标规划 (LinearMultiobjectiveProgramming,LVP)有效解的有效率的定义。指出LVP决策可只考虑非劣极点的理论依据 ,并讨论了这些非劣极点的排序。     

卫星导航的相对精度衰减因子单调性分析

相对精度衰减因子(RDOP)是衡量全球卫星导航系统相对定位性能的几何强度指标.简要给出了两种类型RDOP的描述,并分别给出了单调性证明.相对于同一参考卫星或是不同参考卫星进行双差观测,均有其RDOP随着可见导航卫星数目增加而单调递减的性质.结合编队卫星的星间相对定位背景,仿真计算了全球卫星导航系统的RDOP,给出了某时刻每颗可见卫星对RDOP的贡献,证实了RDOP的单调性;而卫星数目增加到一定程度时,RDOP的降低已不明显,因此应综合考虑可见卫星的数目和相对定位的精度需求等方面因素进行选星.