Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

落脚河水电站引水发电系统的调节保证计算分析

水轮发电机组在运行中遇到启动、正常停机、增减负荷、事故甩负荷等工况变化时，经常会引起引水发电系统的水力过渡过程，所以在设计中必须通过调节保证计算以选择合适的导叶调节规律及其调节时间，从而优化压力引水系统的运行工况，使水电站的水工建筑物布置既经济合理又安全可靠。     

石油钻机提升系统穿绳方法研究

目前国内外钻机大绳一般采用顺穿法或花穿法。分析了2种穿绳方法的受力特点,大绳顺穿时游车的受力不平衡,会发生倾斜和摆动;采用大绳花穿方法,避免了游车的倾斜和摆动,但造成大绳入轮槽的倾角大,大绳易脱槽。顺穿法一般在电动钻机上采用,主要考虑到电控操作提升系统比较平稳;花穿法一般在机械钻机上使用,以受力平衡来缓解气控操作带来的冲击载荷的影响。为了克服这2种穿绳方法的不足,提出了两行双联滑轮组顺穿法和双联滑轮组顺穿法,可以提高安全性,减少磨损。     

G.652光纤长途传输系统的色散补偿

针对当前国内长途传输光缆系统在扩容过程中，因光信号色散而影响传输质量的现象，结合实际工程建设，分析了光信号色散的危害及其成因，并提出了相应的解决办法及建议。     

基于局部差别的形态学边缘检测方法研究

图像边缘特征是图像最基本也是最重要的特征之一.图像边缘特征的提取一直是计算机视觉和图像处理领域的经典研究课题,在精确制导武器的制导图预处理中有着广泛地应用.针对经典的边缘检测算子不能很好地提取噪声图像边缘这一问题,在数学形态学的基础上,提出了一种边缘提取方法.利用局部差别准则确定图像中受噪声影响的像素点,并对其进行形态学操作,滤除噪声,保存边缘.实验表明,该算法不仅具有很好的边缘提取能力,还具有很强的抗噪能力.说明了该算法的有效性和实用性.     

论解放战争时期中间路线的兴衰及成因

抗日战争胜利初期,国共内战迫在眉睫。为挽救危局,强国富民,中间人士提出所谓中间路线,企图走“第三条道路”实现和平建国。在反动政府的强力弹压和中共的教育帮助下,中间路线退出历史舞台。民主党派的转型历程充分昭示了中国人民在中共领导下走上新民主主义道路的必然性。     

高频脉冲电铸Ni-Co纳米复合块体微观结构分析

采用高频脉冲电铸工艺制备出了镍钴纳米复合块体材料，利用场发射扫描电镜、能谱和X射线衍射的方法，重点研究了复合块体沉积层的表面形貌、相结构和结晶取向。结果表明．高频率和润湿剂的添加对沉积层的细化有重要影响，高频脉冲电铸能够获得微观组织致密、均匀的复合块体材料。     

海河流域防汛会商系统的开发与应用

结合海河流域防汛会商系统的开发情况,对防汛会商系统的功能、技术进行了详细的说明,对今后防汛会商系统开发及改进具有借鉴意义.     

世界汽车及其润滑油的发展与排放的相关性分析

介绍了美国，欧洲，日本，中国汽油机油与柴油机油的发展过程，现状，趋势及其与排放的相关性，指出：90年代美国环保要求与节能变得更加严格，美国内燃机油规格进展充分反映了这一变化；欧洲，日本进入21世纪总的方向也是如此；中国的轿车工业主要是世界知名汽车厂商合资生产，其内燃机油规格遵守世界汽车厂商的要求，基本上跟随欧洲规格。