软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

论表面工程及其发展

本文阐述了表面工程的内容、形成及其作用,并探讨了表面工程学科体系和今后的发展方向.     

电渗透防水防潮技术的工程应用

地下工程防水防潮一直是工程界的难题,传统技术存在难根治、易反复的缺点。选择某一洞库进行电渗透技术工程试点研究:先详细介绍电渗透技术和施工工艺情况;再采用在工程内布置电极并施加脉冲电压的方法,利用电场力迫使水分向工程外岩体移动,达到降低工程内部湿度、防水防潮的目的。工程应用表明,电渗透防水防潮技术拥有效果明显、运行费用低等突出优点,具有推广前景。     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

地下工程火灾环境对无线信号传输的影响

通过全尺寸实火试验和计算机模拟,分析和研究了地下工程火灾环境对无线信号传输效果的影响,并基于无线信号传输常规模型,假设地下工程火灾条件下的无线信号传输的数学模型,得出接受信号强度RSSI值的衰减与温度变化、烟气浓度变化的关系,通过分析数据之间的关系,得出地下工程中火灾环境下的无线信号传输损耗指数的值,最终建立起地下工程火灾环境下的无线信号传输模型.为复杂环境消防通信问题的研究奠定基础.     

Analysis of workload of tank crew under the conditions of informatization

A consensus has been reached that the tanks need to be integrated into the informatization battlefield. With the development of technology, the tank crew has being gradually decreased, so the research on two-soldier crew tank has become a hotspot. The workload of tank crew under the conditions of informatization is analyzed based on the combat mission of tank and the typical combat scenarios, and the impact of new technologies on workload is evaluated. The crew members in tank can be reduced from three to two, but it is necessary to substantially improve the automation of target search and the reliability of each subsystem and component.     

单点系泊船舶Hopf分岔的试验研究

对单点系泊船舶的Hopf分岔现象进行了试验研究.给出了试验方法和过程;探讨了不同来流速度和系缆长度对于船舶动力学响应的影响.试验表明,船模运动呈现出典型的非线性特征,观察到了吸引子的共存,平衡点稳定性丧失和Hopf分岔现象.利用振动衰减系数计算了Hopf分岔值,与试验结果相比较,具有良好的一致性.得到了试验条件下的Hopf分岔集,指出其对于系泊系统的设计是有指导意义的.     

基于工程设计法的射程优化

射程是弹道导弹的重要性能指标,飞行程序选择对充分发挥导弹运载能力,提高射程具有重要影响。针对此问题,利用工程设计法的实现容易、计算量少的优点,将以飞行程序为设计对象的最优控制泛函问题转化为参数优化问题。在此基础上,建立弹道运动模型和优化模型,并应用粒子群算法进行参数优化,求解最大射程弹道。结果表明,基于工程设计法的射程优化简单可行,利用粒子群算法得到的优化参数对改善射程有显著效果,充分发挥了导弹的运载能力。而运载能力的提高对提高导弹武器的目标覆盖范围起到重要作用。     

舰艇编队保障性指标的分解方法

针对目前保障性分配仅限于单船的问题,借鉴基本可靠度的分配思想,通过对舰艇编队使用可用度与单船使用可用度关系的分析,建立了舰艇编队保障性指标分解模型,并采用多因子评分系数分配法来确定舰艇编队保障性指标的权重。最后,通过实例给出了具体分解操作步骤,证明了该模型的正确性和有效性。分解结果可优化舰艇编队的编成,为编队里同型单船保障性指标的确定提供修正,同时为完善舰艇编队的综合保障工程提供参考。     

曲面重构误差的单纯形匹配检验方法

针对反求工程中的曲面重构误差检验问题,提出了一种点云数据和重构曲面的匹配检验方法.首先,通过包围盒刚体变换求取了匹配初值,再基于单纯形优化方法求取最佳变换矩阵完成了精确匹配.以匹配后的模型为基础,设定误差检验包络面,分析了测量点与重构曲面的偏差和均方根误差.实践证明:该方法具有高效、精确等特点,有效地解决了曲面重构误差分析和质量评估问题.