摘要：本文继[1]的工作之后,在泛函编程体裁,逻辑编程体裁与集合论编程体裁的基础上,再融入一种编程体裁——状态转移体裁。设计了状态转移编程体裁语法的基本部分;讨论了具此四种体裁(泛函,逻辑,集合论,状态转移)的语言(Lyusia的主体)的操作语义学。并且,阐明了状态转移编程体裁与基于法则(rule-based)编程体裁的关系,状态转移编程体裁与(面向对象编程语言中的)“属性/性能(attributes contained in behavior)”格律的关系。

摘要：本文探讨在运用ML语言中体现面向对象的程序设计风格。更有意义的是,利用ML语言的“隐式类型化及同式多型自动类型检验系统”,赋予面向对象程序设计风格以同式多型的类型化,从而,达到类型化的面向对象程序设计风格。

摘要：为了对带背压式给泵汽轮机循环机组进行热力性能分析,本文基于模块化建模技术分别建立了汽轮机、锅炉、回热器等部件模块库,形成相应热力系统的仿真模型。通过仿真试验,比较带背压式给泵汽轮机循环机组与相同回热级数与压力参数的常规超超临界机组在设计工况的主要热力参数,从而分析两种机组的性能差异。分析的结果表明,带背压式给泵汽轮机的循环机组由于更加有效的对能量进行梯级利用,从而使其拥有更高的性能参数。

摘要：在调查研究的基础上,分析了嘉兴市供水现状和存在的主要问题,以及造成水环境恶化的原因,并提出了改善嘉兴水环境的几点对策措施。

摘要：海上目标种类繁多,单体结构复杂,目标特性动态范围较大,具有较强的时变性。从目标特性出发,特征化表征海面与目标的物理差异是解决海上目标检测的有效途径。本文以此为背景,利用X波段雷达开展海上多姿态目标数据采集试验,在低海况下,分析多种姿态目标的时空相关性以及时域、频域、时频域上的统计特征,并定义差异系数对统计特征进行差异性分析。经大量实测数据验证表明,在低海况下,目标与海杂波的时空相关性、统计特征差异较大,具有较强的可分性;不同姿态目标之间同一种统计特征差异系数均在0~0.1之间,具有较小差异性,并无可分性。这些结论对于海上目标特性数据采集试验以及目标识别方法优化设计具有重要意义。

摘要：目的:构建三级公立医院日间医疗质量评价指标体系,为客观评价日间医疗质量提供科学依据。方法:采用文献检索和半结构化访谈法确定初始指标,设计专家函询问卷,采用德尔菲法和层次分析法构建基于Donabedian模型的三级公立医院日间医疗质量评价指标体系并确定各指标权重。结果:两轮专家函询的问卷有效回收率分别为90.91%和100%,专家权威系数为0.892,专家协调系数为0.137~0.246(P<0.05),各级指标判断矩阵均通过一致性检验(CR<0.1),最终构建的日间医疗质量评价指标体系包含3个一级指标、11个二级指标和38个三级指标。结论:本研究构建的三级公立医院日间医疗质量评价体系具有较高的科学性和可靠性,能够客观、全面地评价日间医疗质量,促进日间医疗质量规范化管理和持续改进。

摘要：介绍了挤吹机型坯壁厚控制系统的原理,并对系统总体结构和控制方案进行了研究,设计了系统各部分之间的通信关系,并阐述了该系统的特点和优势。

摘要：公伯峡水电站枢纽建筑物地段工程地质条件复杂 ,存在三大不同成因岩石 ,河西系与祁吕系新、老两期构造相互复合 ,古风化岩与现代风化岩工程地质特性差异明显。经勘察评价 ,公伯峡工程区域稳定条件好 ,地震活动较弱 ,工程地质条件良好 ,无重大地质问题 。

摘要：垃圾压缩装置可以将垃圾压缩后再进行运输,减少占用空间,提高运输效率,液压式垃圾压缩装置因其输出力大被普遍应用于垃圾处理中。将地埋式垃圾压缩装置设计成PLC控制是当前控制的趋势。本论述对地埋式垃圾压缩装置的结构和液压系统进行了介绍,对其PLC控制进行了设计,包括对PLC控制的硬件系统及控制程序进行了设计,同时用MCGS软件进行组态模拟的设计以便于进行现场运行的监控,提高设计的可靠性。

摘要：安全阀是导弹发射筒装置上的一个重要元件,用于导弹发射后发射筒的安全卸压,从而对导弹发射筒及空气压缩机起到保护作用。针对某型导弹发射筒超压泄放的特定需求,设计出一种新型发射筒安全阀,并在此基础上建立其AMESim仿真模型,对其动态特性进行仿真分析,得到安全阀流道直径、容积腔体积、阀芯质量和弹簧刚度对该安全阀入口压力、流量、阀芯速度及阀芯振幅的影响规律。结果表明:在满足压力和流量要求的前提下,流道直径、容积腔体积和阀芯质量越小,弹簧刚度越大,阀芯振幅和速度波动越小,安全阀动态稳定性越好。