一种新型燃烧时序控制

本文提出一种新型燃烧时序控制系统，它改变传统控制方法中对燃料与空气进给量的连续控制方式为分时开关控制方式，避免了执行机构在小范围里调节的“非线性”和“死区”特性，从而可以克服以往燃油炉中低温控制效果差的缺点，保证系统能够运行在一种最优状态。     

深亚微米数字集成电路的自动化设计方法学

介绍了基于标准单元库的数字集成电路设计流程和方法学。数字集成电路设计流程从行为级的HDL描述开始，依次进行系统行为级仿真，行为级综合，RTL仿真，逻辑综合，综合后仿真，自动化布局布线，版图后仿真等步骤。讨论了如何把物理设计环境和逻辑设计环境联系起来，以解决物理设计和逻辑设计相脱节的问题。     

多媒体数字处理芯片W99711的静态验证

本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。     

我院大学生吸烟调查分析

不良的生活方式和个人行为对健康是一种“自我制造的危害”。吸烟有害世人皆知,然而,近年来吸烟大军更表现为年青化、女性化的特点,青年大学生们吸烟也较普遍,烟草危害在吸烟者身上表现也很明显,已给国家造成极大的疾病负担;青年大学生吸烟还有漫延之势,必须积极开设健康教育,传授保健知识,让他们自己起来同不良的生活习惯作斗争,同时,还必须制定有效的行政干预措施,才能把吸烟带来的毒害控制在最小范围。     

中国联通社会合作渠道建设的思考

1引言消费调查显示,消费品的品牌和客户服务与渠道是最关键的要素,相反,价格的重要性降低。消费者的消费路径依赖特性决定渠道的重要性,消费的惰性思维使接触客户的渠道成为抢占客户的第一要素。品牌是最核心的竞争力,但强势的品牌需要和渠道相互推动,并通过持久的渠道优势来支持。当前移动运营商的渠道职能正在由原有的以“销售”为主转向以“销售 服务”为主的渠道模式,并且形成了以自有营业厅、客服中心、大客户部为核心,以合作营业厅、特许经营连锁店为紧密层,以普通代理为松散层的渠道体系。其渠道特点就业务销售而言是以手机终端为核…     

不编程顺序控制器（续）

介绍用移位寄存器实现不编程项序控制器的设计方案和一种时序控制的方法，两者结合后可制成一种简便实用的不编程顺序核制器。     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

塔式烘干中心干燥控制系统采样数据的实时性

传统的干燥控制系统思维方式是把干燥流程看成是一个大的惯性场，以惯性的形态看待与过程相关的数据，对输入参数的过程实时性很少研究，这样的结果就是控制准确性、精确度与实际过程的吻合程度较差。拟从干燥系统输入体系的结构入手，采用时序分析的手法对入粮到干燥的传输时序进行解析，推理出动态实时数据模型。