高等级公路沥青路面平整度探讨

立足高等级公路路面平整度的实际情况，对影响沥青路面产生不平整的主要原因进行分析，提出了提高沥青路面平整度的预防、处理措施，并从施工的多个阶段和角度进行了论证，以提高施工管理水平，提高路面平整度及其路用性能。     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.     

高层建筑施工管理应注意的事项及对策

经济发展对土地的利用率要求不断提高,高层建筑在城市建设中也越来越多,从写字间到居民住宅都可以看到高层建筑的身影。针对高层建筑的施工管理也随之成为建筑施工管理中的重点课题。本文试对高层建筑的施工管理进行分析,以资参考。     

深切悼念伟大的科学家陈省身院士

数学是科学之母。难忘的中华人民共和国南开数学研究所举行的国际微分几何与整体分析会议，陈省身院士91岁在国际数学家大会开幕式上发表重要讲话，为实现把中国建成数学大国而奋斗了二十多年。深切悼念伟大的科学家陈省身院士。     

Verilog RTL模型

VLSI集成电路芯片测试技术正在向高层次测试推进，针对Verilog硬件描述语言，提出了一种在寄存器传输级（register transfer level,RTL)上的电路模型VRM，该模型着重于实际应用，可输出文本格式文件，便于开发实用的RTL级故障模拟和RTL级测试生成等软件。基于该模型。还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。     

基于HLA的航空兵场站飞行保障视景仿真系统设计

研究了应用HLA技术开发分布式交互仿真应用系统的方法,基于HLA开发工具Lab-Works、PRTI构建了航空兵场站飞行保障仿真系统的总体框架;利用建模工具MultiGen Creator、视景仿真工具Vega和VC 开发平台构建了航空兵场站飞行保障视景仿真系统,规划了视景仿真系统的各项功能单元,详细说明了视景仿真系统的工作流程与关键技术。     

仿真评估应用模型化开发模式的研究与实践

介绍了虚拟样机协同建模仿真平台(COSIM-Platform)的体系结构、组成及主要技术特点.重点介绍COSIM中的层次化建模技术及基于COSIM模型的仿真评估应用模型化开发模式,并详细介绍了支持该开发模式的仿真评估工具的设计和实现.最后给出了基于这种开发模式开发的、使用该仿真评估工具来运行的一个仿真评估应用实例.     

面向CBR的末段高层反导 部署案例库构建与使用

为了使基于案例推理（CBR）技术在末段高层反导部署中的应用能更好地提高反导部署的效率，研究了末段高层反导部署案例库的构建与使用问题。 首先，研究了案例库的组织与构建问题，主要围绕案例的表达、案例库的组织结构和案例库的构建流程展开；其次，研究了案例库的应用，其核心内容是相似案例的检索匹配，并给出了实例分析；最后，研究了案例库的精简问题。     

透过卡尔纳普度量真正科学者思想的高度

就卡尔纳普的生平简介,论述了作者作为真正科学者思想的高度,并对其著作作了简要介绍。     

高层综合中一种新的控制/数据流图表示形式

提出了一种新的控制／数据流图（ＣＤＦＧ）的格式，这种ＣＤＦＧ与过去一般所使用的ＣＤＦＧ的最大区别在于这里的ＣＤＦＧ引入了布尔节点的概念。文中介绍该这种新格式的具体细节；并给出了该ＣＤＦＧ的实例和表示它的数据结构，然后分析了由此带来的诸如提高综合速度等优点。