带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一，而模型检测工具的开发是将模型检测和实际相结合的关键．为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测，总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作，特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图．同时结合实际例子说明模型检测工具的有效性．     

2004年我国玻璃工业大盘点

我国玻璃工业近几年实现了快速发展,继2003年全行业生产效益双丰收后,2004年中国玻璃工业又续写了辉煌的一页,在产量、销量和利润上再创新高．达到行业效益历史最好水平。     

数字家庭网络及其组网方式

主要从数字家庭网络的定义、应用和组成入手,介绍了家庭网络的核心设备家庭网关及其作用,最后讨论了家庭网络组网技术及其与公共网络的GPON接入技术,从宏观上把握了数字家庭网络及其接入技术的未来发展趋势.     

脊谷式索膜屋盖的风洞试验研究

脊谷式索膜结构为类似双坡屋盖的空间曲面造型,具有风敏感性。结合台州大学风雨操场屋盖的风洞试验进行研究,通过分块体型系数和局部风压体型系数分析了该类结构的表面风荷载分布特性,并与相关规范进行比较,得出一些适用于设计的建议。     

解析水泥新政策

就近一年来国家对水泥行业实施的紧缩政策进行了综述，这也是目前水泥行业的热点问题以及业内关注的焦点。     

积极参与国际市场碳交易

关于清洁发展机制 CDM是英文Clean Development Mechanism（清洁发展机制）的缩写，是《京都议定书》规定的跨界进行温室气体减排三种机制之一。     

原位合成颗粒增强钢基复合材料轧辊研究

普通合金铸铁轧辊硬度低、耐磨性差；硬质合金轧辊尽管具有优异的耐磨性，但成本高，且脆性大，使用中易开裂和剥落。采用离心铸造方法，开发了耐磨性能优良的原位合成颗粒增强钢基复合材料轧辊，并着重解决了离心铸造复合材料轧辊生产过程中易偏析和产生裂纹的难题。原位合成颗粒增强钢基复合材料轧辊硬度（HRC）达66．68，辊面硬度（HRC）差小于2，冲击韧性大于18J／cm^2。用于高速线材轧机预精轧机组，使用寿命比合金铸铁轧辊提高8～10倍，接近硬质合金轧辊水平。     

乳业营销不要忘了"沟通"

沟通，是乳业营销的一件利器，应用得当定能一箭穿心。     

微滤膜技术用于城市中水回用自控系统的特点

在应用微滤膜技术的大中型城市中水回用项目中 ,自控系统应解决资源分配 ,避免多套膜设备调用资源时发生冲突 ;在实现控制功能的基础上 ,要提高运行效率 ,并确保系统的可靠性和易于维护 ,以提高整个系统运行的效率和安全性。     

基于ARM的检漏仪主机软件设计与实现

本文详细阐述了检测密封工件是否合格的一种检漏仪主机软件部分的设计与实现。并对关键技术(泄漏率、指令协议、压力降温补修正)做了详细的说明。