基于事件和信息的应用系统的开发方法学

本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网。它允许直接去对进程及其协同操作进行规范，同时回避了使用Ｐｅｔｒｉ网规范简单机理时产生时的复杂性。所述技术中已注意到对许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性，并把这些开发、设计如规范技术用来扩充Ｊａｃｋｓｏｎ法和ＳＡＤＴ法，使具具有规范进程和事件消息的能力。     

激光辐射烧结法制备铁/铜梯度复合材料

以CO_2激光束为热源对粉末冶金压坯进行整体烧结是最近几年出现的一种新技术。该项新技术具有烧结速度快、无污染、组织与性能好等突出优点。电力机车受电弓滑板对导电性、耐磨性、固态润滑性和强度都有较高的要求。目前应用的铁基滑板强度较高;     

中老年人身心健康与体育锻炼

研究体育运动对中老年人身心健康的作用，认为中老年人通过经常参加体育锻炼，可提高呼吸系统、血液循环系统及神经系统的机能，增强体质，提高健康水平及新陈代谢能力，延续衰老过程，延长寿命。     

加入WTO对临汾农业的影响及对策研究

从临汾市农业生产现状和主要农产品的国际比较出发,论述了WTO对该市农业的主要影响,提出了该市全面提高农产品竞争力的具体措施,以及如何使政策环境与社会氛围与WTO相适应的对策。     

"陕派"风味电视剧初探

“陕派”电视剧是一种具有厚重的黄土地气息、古朴的城市风韵、粗犷的关中风情为主要美学特征的电视剧艺术流派;它既是陕西影视文化发展的亮点,又是面向国内外推广陕西和宣传陕西的一个有效载体;只有创作出一大批“陕西制造”的具有“陕派”风味的电视剧,“影视陕军”才会真正得以崛起,“陕派”风味电视剧才会在国内外产生更广泛的影响。     

粘性土固结不排水剪切应力—应变关系的归一化及其弹性模量的研究

本文讨论了饱和粘性土等向固结不排水剪切试验应力——应变关系的归一化性状。(1)在试验的基础上提出一个新的归一化变数;(2)应用归一化成果研究粘土地基的弹性模量;(3)地基变形较小时,外载引起的不同应力水平下建议采用割线弹性模量,并导出其计算公式;(4)对南京汽车厂、宝钢二地区粘土的弹性模量做了初步探讨。     

冷连轧机板形控制因素的实测及计算

带钢板形质量的提高,已成为当前生产中的重要问题。本文通过现场实测及理论计算,分析了原始板形,工作辊、支承辊型,弯辊力配置及热凸度等影响板形控制的主要因素,以寻求最佳板形的确定方法。     

有限富里埃变换特征值的新的论证方法

关于有限富里埃变换的特征值,1972年J.H.McClellan等已经进行了详细的讨论,得出了结果。但是他们论证的方法比较复杂。本文运用矩阵的性质和数论中Causs和的结果,比较直接而简短地论证了这个结果。     

算子矩阵理论与常系数线性微分方程组求解（Ⅰ）

讨论了常系数性微分方程组的算子方法。阐述了算子矩阵理论的有关概念和结果。给出求解常系数性微分方程组的初等行变换法，对非齐次线性方程（组）的常数变易法作了评注。