软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

极区中层惯性重力波的VHF雷达观测

本文采用ＳＯＵＳＹＶＨＦ雷达１９８７年６月在挪威Ａｎｄｏｐｖａ（６９°Ｎ，１０°Ｅ）的观测数据，研究中层惯性重力波的传播特征．几个周期为数小时的准单色波例子，在垂直方向上有确定的相位移动，表明它们是惯性内重力波．通过分析波相关的流体速度东向和北向分量的变化，获得水平传播矢量的大小和方向，它们与中层高度上典型的观测值一致．同时还观察到三个等相面上行的惯性重力波，其速度偏振椭圆是逆时针旋转的．波相关的扰动速度为１５－４０ｍ／ｓ，说明在中层存在强烈的向下的能量传输．估算出它的运动学参量，周期为数小时，垂直相速度在０．ｌ—０．６ｍ／ｓ之间，垂直波长约为６．０ｋｍ．     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

防止Ⅱ型驾驶员诱发振荡技术的研究

许多严重的飞行事故都与由速率限制引起的Ⅱ型PIO有关。针对如何预防PIO，首先介绍了自适应杆增益和软件限制环节的设计原理。然后以某带速率限制的电传飞机为例，运用同一理论，分析采用自适应杆增益和软件限制环节来改善速率限制的不利影响。仿真结果表明，自适应杆增益环节和软件限制环节都能抑制住PIO的发生，但两者组合加入抑制效果更好，飞行品质也能达到满意的程度。     

Energetic particles at high latitudes

We review work on diffusion coefficients of energetic particles with an attempt to extract implications on their behaviour at high latitudes. In the ecliptic plane results from solar energetic particle propagation between the Sun and about 5 AU can be described by an effective radial mean free path _r which is approximately constant as a function of distancer. When particle propagation in three dimensions in the heliosphere is considered it is not sufficient to consider _r only. Jovian electrons can be used as probes to determine the parameters of three-dimensional diffusion. In the polar regions diffusion is dominated by its parallel component. Some predictions how should vary with latitude are discussed. For different choices of this variation we present expectations for intensity-time profiles of solar particle events during the Ulysses polar passages.     

鱼雷发射控制系统测试设备的设计与实现

介绍了鱼雷发射控制系统测试设备的功能和工作原理,给出了测试设备的硬件构成和软件设计方法,并分析设计中所采用的关键技术,采用LabWindows/CVI作为软件开发平台,具有良好的人机界面.     

K_(Imax)<K_(Iscc)时30CrMnSiNi2A钢的腐蚀疲劳与失效机理

 应用电化学-断裂力学方法研究了30CrMnSiNi2A钢在室温模拟潮湿大气（H₂O）及海洋大气（3.5％NaCl）环境中低K范围内不同电位下的疲劳裂纹扩展特性。通过动力学及断口分析,提出在K_ImaxIscc范围内高强度钢可发生循环应力腐蚀开裂,其湿腐蚀疲劳失效机理应是裂尖局部阳极溶解与氢脆共同作用,且两者对△K_th及da/dN的意义不同,从而对以往高强度钢湿腐蚀疲劳的纯氢脆模型作出修正。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

固体推进剂裂纹对流燃烧和扩展的研究分析

评述了固体推进剂裂纹对流燃烧及扩展的研究，讨论了推进剂裂纹对流燃烧的流场与裂纹的变形、扩展及其之间存在着强耦合作用。初步揭示了在不同的燃烧室压力率下单一裂纹扩展的不同模式，指出裂纹腔内火焰的离散传播、裂纹尖端的压力突升以及对流燃烧条件下的裂纹失稳扩展极可能诱导产生DDT过程，提出了需进一步深入研究的问题。