SDL抽象数据类型的测试和实现

SDL是CCITT推荐的标准化语言,抽象数据类型是SDL的一个重要部分。 本文提出了一种新的测试方法,用基本项来测试抽象数据类型定义的完备性和矛盾性;这与传统的用逻辑证明的方法不同。文中首先形式化定义了基本项和次,然后提出一次基本项测试方法;在引入等价类概念之后,把测试推广到k次基本项。     

特种铝合金精密成形技术及其在国防科技领域中的应用

针对国防科技工业对材料高性能、高可靠性和低成本这一要求,采用特种合金颗粒作为铝合金的强化相,利用半固态触变成形及热挤压技术完成一种高性能铝合金棒材的制备。获得材料的抗拉强度达600MPa,硬度达160 HB。利用精密锻造及超塑性变形技术,可实现部件的批量制备,同时可保持材料高性能。生产的铝合金材料及其制品将凭借质量轻、力学性能高的优点,在航空航天及国防装备上有着广泛的应用前景。     

正在兴起的分布式控制工业以太网

▲以太网从办公自动化走向工业控制自动化▼ Ethernet技术和应用的发展,使其从办公自动化走向工业自动化。首先是通信速率的提高,Ethernet从10M、100M到现在的1000M、10G,速率提高意味着网络负荷减轻和传输延时减少,网络碰撞几率下降;其次采用双工星型网络拓扑结构和Ethernet交换技术,使以太网交换机的各端口之间数据帧的输入和输出不再受CSMA/CD机制的制约,避免了冲突;再加上全双工通信方式使端口间两对双绞线(或两根光纤)上分别同时接收和发送数据,而不发生冲突。这样,全双工交换式Ethernet能避免因碰撞而引起的通信响应不确定性,保…     

SDL语言的测试数据选择标准

本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.     

超合金K60与不锈钢的焊接

超合金K60以其良好的高温强度、高温刚性、高温耐磨性能、抗高温氧化性能被推荐为平拉玻璃的关键设备-转向辊的试用材料，但其碳含量高达1％-2％，可焊性极差，对K60与1Cr18N9Ti的焊接做了些探索性的研究。     

IT外援业务的兴起

主要外援服务业务及外援业务的实例,给出了对外援业务的几点建议及发展展望。     

新型泡沫隔热材料与电冰箱节能

随着电冰箱的普及，能源消耗问题日益突出，因此，节能电冰箱的研究与开发已成为热点。电冰箱节能是一个复杂的系统工程，涉及到原理、设计、结构、材料、控制等方方面面，同时，还要考虑到环保和不降低使用性能。本文仅从泡沫隔热材料在电冰箱中的使用，结合电冰箱的基本构造和制冷原理，探讨新型泡沫隔热材料实现电冰箱节能的可行性。１泡沫隔热材料与电冰箱节能的相关性１．１实现电冰箱节能的几个主要途径根据电冰箱的基本构造和制冷的基本原理，电冰箱节能的基本途径可归纳为：①提高压缩机的制冷效率；②降低辅助系统的电损耗；③选择…     

计算机管理信息系统项目监理的作用分析

论述了计算机管理信息系统项目监理的必要性，对监理的条件和作用进行了分析，并指出当前在我国推行监理制所面临的问题。