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

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

山西省农业结构调整的宏观分析

加入WTO，省城产业参与国际性劳动地城分工、产品走向国际市场成为必然。山西农业也属弱质、弱势产业。不可避免地要面临挑战。以生态建设为目标，以变竞争和挑战为发展机遇为内容的农业结构调整已十分迫切。为此，我们必须加快政府职能转变、发展特色农业和生态农业、实施农业产业化。     

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

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

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

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

"陕派"风味电视剧初探

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

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

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

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

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

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

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

最短路树的计数、产生和优化问题

首先给出了在非负网络中构造最短路网络的算法，然后将树形图的计数算法到最短路网络中，设计出了最短路树计数问题的算法，将Gabow算法应用到最短路网络中，设计出了产生全部最短路树的算法，最后研究了最短路树的优化问题。