基于多UIO序列的协议一至致性测试生成

本基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生成叠加转换序列所需要的计算时间大大减少了。     

Borland C 中保存图形到文件的一种方法

这种方法速度较快也比较方便,但需要占用一定的内存。在应用程序中,提供较大的内存来保存图形也是较困难的。本文给出的函数fgetimage可以代替getimage函数而保存图形到文件,它几乎不占用内存,并且文件的结构同getimage得到的缓冲区的结构完全相同。函数的源程序段如下,其中(x1,y1)为所保存的矩形图形左上角的坐标,而(x2,y2)为右下角的坐标,name为保存后文件的名字。     

COBOL报表程序自动生成系统

本文叙述一个在IBM/PC机上用PASCAL语言实现的VAX/COBOL报表程序自动生成系统,该系统具有比较强的表格绘制功能,同时生成COBOL报表程序中嵌套有对关系数据库RDB操纵语言RDO语句,能够实现对数据库中多个关系,多个字段同时交叉提取数据的操作。     

兴修水平梯田是山丘区改造坡耕地的有效途径

水平梯田是水土流失地区,通过改变坡耕地的微地形,达到保水、保土、保肥,实现农业增产和相对稳产的目的一种农业工程措施。喀喇泌旗地处燕山山系中段七老图山的东麓、属中低山丘陵区,全旗有农业人口32万人。有坡耕地52.5万亩,占总耕地面积的2/3。为了改造这些中低产田,多年来,旗各级政府广泛发动群众兴修水平梯田,到1989     

故障树求解中前处理技术的算法

核电厂概率安全评价(PSA)技术已引起核电业主和核安全当局的广泛重视,随着PSA应用的广泛开展和深入,对分析软件的计算速度提出了更高的要求。核电厂系统复杂庞大,其完整的PSA模型十分巨大,随着工作的进一步细致,其规模仍在增加,这给计算机的运算带来一定压力。为解决这一问题,在自主开发的PSA软件NFRisk中,采用了两种故障树求解的前处理技术:故障树结构简化方法和故障树模块化方法。实践证明:该技术的应用能明显加快故障树计算速度,缩短故障树求解时间。     

土壤样品γ谱分析自吸收校正技术研究

用点源实验方法,表征了探测器晶体的结构参数,以此为基础利用蒙卡模拟计算了不同质量样品对各种能量γ射线的线衰减系数和探测效率,进而建立了75 mm×25 mm样品自吸收校正因子F(μ)的关系式;使用标准面源模拟体源不同高度的薄层,通过γ能谱测量得到体源不同高度薄层的探测效率与其高度的函数关系式ε(h),积分获得体源探测效率,进而建立75 mm×25 mm样品自吸收校正因子随γ射线线衰减系数的变化关系F(μ),面源实验建立的F(μ)关系式与蒙卡计算得到的F(μ)关系式趋于一致。以蒙卡计算模型为依据,拓展计算了75 mm×75 mm盒装土壤样品的F(μ)函数关系,并实验验证了计算结果的有效性。利用建立的F(μ)函数关系对取自某污染场址的多个土壤样品进行测量结果自吸收校正,建立了样品质量和自吸收校正因子的函数关系F(m),并给出土壤样品自吸收校正的技术方法。     

某型导弹折叠弹翼的结构可靠性分析

推导了材料，几何形状，载荷均为随机变量时Ｎｅｕｍａｎｎ随机有限元法的基本方程，提出以其计算得到的结构响应的各阶矩为基础，用级数来拟合结构响应的概率密度函数，并通过数值积分计算结构的可靠度。对折叠弹翼的结构可靠度分析表明，本文方法可利用较小的样本容量获得较高的计算精度，并具有较高的计算效率。     

光纤无线电系统中的新型探测法研究

光纤无线电系统利用光载波携带毫米波信号在中心站和基站之间构成上行和下行传输链路,能够满足宽带无线接入系统的需求.利用光外差的方法产生毫米波信号是光载毫米波最简单和直接的方式.分析了在光纤无线电系统中利用光纤布拉格光栅从可调谐激光器中反射出两束相位近似相等的相干光,采用平衡探测产生了毫米波信号,降低了相位噪声和强度噪声对产生的毫米波信号的影响.