摘要：Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通过把网中所有的状态观测器设计为一个库所不变式,可把一个局部公平网设计为一个公平网.最后给出了状态观测器初始标志的确定方法,来最大限度地保证网系统的行为不受观测器的约束.

摘要：魏碑起源于魏晋南北朝时期,是中国古代碑刻艺术的重要流派之一。初学魏碑最容易被它的“意趣”所吸引,相对唐楷,魏碑的笔法变化多端,字体空间对比夸张,字形往往出人意料。在众多的魏碑作品中,《司马景和妻墓志》俊整清劲,体势奇逸,用笔变化多姿。费西蠡评价:“司马四志中此为第一。”

摘要：写字教学是语文教学重要的一部分,它与其他教学内容一样,需要教师认真思考、精心设计、运用恰当的方法促进学生学习能力的提高与学术素养的提升。本文通过五年级和六年级两次书写提示的比较和设计,与大家交流如何细化写字内容的教学设计。

摘要：冲击式水轮机尾水噪声超标是人们普遍关注的问题，国内从事水电站设计、制造及运行单位均没有较好的解决方案。经过一系列研究、咨询，设计了一套由底部过流隔声挡墙、吸隔声罩和通风式消声器组合的全封闭式噪声治理方案，在斜卡水电站中的应用取得了较好的效果，介绍了研究过程。

摘要：研究了制造过程共享资源引起的死锁问题 ,提出了并行资源死锁结构的概念。对于包含该结构的系统 ,给出了 Petri网模型具有可能死锁的充要条件。基于资源向量的概念 ,提出了一个简单方法 ,用于判断系统是否具有可能的死锁。针对包含死锁结构的系统 ,提出了系统 Petri网无死锁的设计方法。举例说明了这种方法的应用。

摘要：分析了铁路信号工程设计中从电缆径路图到室外电缆配线图的生成原理和电缆径路图中电缆连接结构,给出了与该结构对应的树型定义和数据结构的列表定义,提出一种基于该数据结构的电缆连接自动识别算法和室外电缆配线图自动生成算法。

摘要：讨论了CAD技术在铁路预叠加ZPW-2000A站内电码化工程设计中的应用,对系统基本结构、系统功能和实现技术进行了阐述。只简单通过对轨道继电器类型、电码化进路及其轨道区段的基本定义,即可通过系统分析与软件逻辑推理自动生成所有工程设计图。

摘要：建立了空间位阻胺脱碳的传质数学模型。开发的流程模拟系统可计算气体、液体的组成和工艺参数，以及设备和结构的尺寸、其计算值与生产实际值最大偏差约１０％。设计软件包的计算快速而简便，能优化设计，降低工程投资。开发的气体净化计算机辅助系统可作为生产操作者常规使用的辅助工具。该技术已在安阳化肥厂取得了显著的经济效益。

摘要：教学目标。1、学习革命者崇高的精神境界和革命生死观。2．理解诗句，体会情感。教学重点。通过读，体会革命者崇高的精神境界和革命的生死观。教学难点。结合背景，读懂诗句中包含的意思：