用Z语言形式化扩展事件踪迹图

软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子     

小信号检测中的自适应随机共振技术

就双稳态非线性系统的结构参数和弱信号及噪声之间的关系进行了仿真，对随机共振技术运用于强噪声背景下的弱信号检测进行了研究。首先研究了双稳态非线性系统的方程式，并指出影响随机共振的三个要素是：系统两稳态之间存在势垒(阈值)；低于势垒的小信号和噪声。提出了一种随机共振自适应算法，并运用于中频电源故障信号检测，取得了较好的效果。     

增加转炉蒸汽回收的难题及对策

对武钢第一炼钢厂100t转炉汽化冷却系统蒸汽回收过程中存在的难题进行了分析,结合实际进行了解决对策的探讨.     

钢厂改造实施清洁生产的难题及对策

钢厂改造过程中的环保难题是决定钢厂可持续发展,实现清洁生产的关键所在,对武钢第一炼钢厂改造所面临的环保难题进行了分析,并结合实践制定了相应的解决对策.     

LD抽运高重复频率四通放大MOPA系统中的光纤相位共轭研究

报道了利用多模光纤作为相位共轭镜应用于重复频率100Hz。脉宽20ns的电光调Q四通放大LD抽运激光器的实验研究。由于光纤受激布里渊散射(SBS)存在的阈值效应，可以抑止使用平面全反镜的四通放大系统中难以克服的放大级自振荡(SO)和放大自发辐射(ASE)效应．以获得高能量高光束质量的激光输出。实验中在20ns．100Hz和注入光纤能量4．6mJ的情况下获得了4．1mJ的1064nm的基模激光输出。激光光束模式接近TEMoo模．且脉宽被压缩至4．7ns。在使用了光纤相位共轭镜的四通放大技术后，很好地补偿了由板条放大器热效应造成的光斑畸变。输出光斑很好地复原了振荡级输出光斑的光强空间分布。     

轧机液压位置控制系统

从机械和控制的角度介绍了某厂液压位置控制系统的功能、结构和特点。建立了完善的系统数学模型 ,研究和仿真了控制系统的动态性能 ,系统仿真结果与实际动态性能测试结果一致 ,得出的结论对现场技术改造有指导意义。     

2004年我国涂料产量将达到2600 kt

2003年的我国涂料市场总体上保持了良好的上升态势，各类涂料总产量大约在2400 kt左右。2004年我国涂料产量将达到2600 kt，除产量增长迅猛外，产品结构将有质的改观，品质要求进一步与国际接轨，品种变化将适应市场多样化、人文化、个性化的需要，研发能力和水平会明显提高。据记者了解，水     

Effects of RE on Microstructures and Mechanical Properties of Hot-Extruded AZ31 Magnesium Alloy

Effects of rare earth (RE) additions on microstructure and mechanical properties of the wrought AZ31 magnesium alloy were investigated. The results show that, by adding 0.3%, 0.6% and 1.0% RE elements, the as-cast microstructure can be refined, and the as-cast alloys‘ elongation and tensile strength can be improved. After extrusion, the alloy with 0.3 % and 0.6% RE additions obtain a finer microstructure and the best mechanical properties, but the alloy with 1.0% RE addition has the coarse A1-RE compound particles in grain boundaries which decreased elongation and tensile properties. Usually, Rare earth (RE) elements were used to improve the creep properties of aluminium-containing magnesium pressure die cast alloys at elevated temperatures. In this paper, it is also found that the high temperature strength of extruded materials can be increased by RE elements additions.     

C8051F系列单片机开发与C语言编程（含光盘）

在介绍C8051Fxxx单片机工作原理的基础上,对单片机外设ADC、DAC、比较器、定时器、方波输出和定时器捕捉、PWM等均给出了调试代码。在总线方面,对CAN、SMBUS(I2C)、SPI、UART均给出了双机调试代码和一些高层应用,以帮助读者更好地理解单片机工作原理。书中还包括LCD、红外编码解码、步进电机、直流电机、舵机、超声测距、I2C ROM、串行时钟等方面的应用,以提高实用性。本书特点是实例较多,而且采用C语言编程,程序代码可读性和移植性强,大部分代码稍加修改即可成为其它型号单片机子程序。书中附光盘一张,包含书中所有例程的源…     

基于CSCW的协同办公系统的设计与实现

文章简要阐述了将CSCW应用于办公系统的必要性，分析了协同办公系统的应用需求和工作流程，重点围绕协同办公系统的设计与实现，提出了系统的总体结构，并详细分析了系统中各个模块的功能。