时间自动机的自动抽象算法

为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。     

Improved Space-Time Selective Interference Cancellation Scheme for CDMA Systems

IntroductionAdaptiveantennaarrayscanreduceco channelinterference (CCI)fromotherusersaswellasmitigatetheeffectofmultipathfadinginwirelessenvironments .SinceCDMAsystemsareinterferencelimitedinnature ,smartantennahasbeenregardedasoneofthecoresystemcomponents…     

AK、SMA、0GFC、SAC型沥青混合料路用性能的研密

笔者选用AK-16B、SMA-16、OGFC-16及SAC—16型等4种我国常用的抗滑级配沥青混合科，比较系统地分桥对比了高温稳定性、低温抗裂性、抗疲劳性、水稳性等力学性能，以及表面的抗滑性及透水性，为我国在抗滑沥青混合科的应用和推广上提供参考。     

我国城市轨道列车工业设计研究综述

从工业设计视角对城市轨道列车进行研究，有助于提高列车的安全性、舒适宜人性、美学和文化特性，使其成为提升城市形象的一张靓丽名片. 首先，结合相关标准，阐述了我国6类城市轨道列车的主要外形特征；然后，概括提出了城市轨道列车端车和中车车体造型设计、车体涂装设计时应重点考虑的共性约束因素和关键参数取值范围，总结给出了城市轨道列车外观设计的相关要点；接着，围绕司机室驾驶界面和客室旅客界面，对我国城市轨道列车车内环境设计研究进行了综述，明确了这两大界面设计各自研究的现状及侧重点；最后，对我国城市轨道列车工业设计领域的研究进行了总结和展望，指出应进一步加强列车-线路-人文多要素耦合理论与设计方法、列车车内空间及界面系统优化设计与综合评价技术和列车车内视觉环境评价与优化设计的研究.      

采用悬臂浇注法变截面连续梁桥的施工监测与控制

文章简要阐述了桥梁施工监控的目的、理论及方法,并以建湖黄沙港大桥为例,具体探讨采用悬臂浇注法预应力混凝土变截面连续箱梁的施工监测与控制。介绍了该桥施工监控工作的内容,其中,详细说明了立模标高的计算、扰度检测、应变测试以及挂篮静载测试等重要环节。给出了监控结果,实测数据表明全桥合龙顺利、成桥的线性符合设计要求、内力符合规范要求。文章可供施工与监理人员参考。     

汽车：召回诚可贵 三包价更高

每年的“3．15”都是全社会提倡维护消费者权益的最高潮,消协、消费者、媒体一起向假冒伪劣宣战。而“汽车消费”也一次次地成为人们维护自己权益的焦点。汽车作为家庭消费最大支出之一,牵动着全家人的心。能否买到称心如意的汽车,并享受长久的、优质的售后服务,这是每个消费者都非常期待的结果。但事实远非如此,因汽车本身结构的复杂性,造成汽车消费的具有一定的盲区,使得维权路上充满艰辛。汽车消费并不是一次性的消费,它是一个长期的消费过程。故我们不仅要享受汽车带来的便捷,更期待消费的透明度与维权的一路畅通。     

混凝土中钢筋锈蚀的预防措施研究

钢筋锈蚀是影响混凝土结构耐久性重要因素之一,采取适当措施预防钢筋锈蚀有很大的经济意义,因此有必要探讨钢筋锈蚀的原因、影响因素,以及预防钢筋锈蚀的措施。     

"习惯"的区尴尬

我们常说:习惯决定命运,细节决定成败。一次偶尔的经历让我却觉得作为教育工作者,人类灵魂的工程师,我们千万不能习惯着曾经的习惯,应该让细心耐心常伴左右!     

钢淬火十种裂纹分析及对策

本文就钢淬火出现的纵向裂纹、横向裂纹、弧长裂纹、剥离裂纹、网状裂纹、冷处理裂纹、磨削裂纹、线切割裂纹、疲劳断裂、应力腐蚀裂纹等十种裂纹进行了分析并给出了相应的对策。