等价标识在谓词／变迁网系统可达树规模缩减中的应用

本通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树、规模大幅度减小。     

湖南300MW火电机组仿真机技术研究

论述了仿真技术的发展，仿真机的主要功能和湖南首台３００ＭＷ火电机组仿真机的基本组成及技术特点。     

格子模型的快速序列搜索算法

一种快速序列穷举搜索蛋白质构像空间的算法。该算法利用二分技术将HP序列逐次分解,保存分解过程的中间结果,使搜索算法中所需的计算量大大减少。     

基于虚拟DCS技术的电站密封油系统仿真建模

1前言 新华控制工程有限公司新型分散式电站仿真系统SIMPANEL是该公司开发的第三代仿真平台，为基于微机系统的电站仿真支撑系统，其功能主要包括：系统建模与组态；模型编辑与调试功能；DCS管理与机组运行；事故模拟与分析处理；工况保存与回退；历史回放与重演；组态式评分管理；机组状态分析与运行优化分析等。     

节能减排凸现“科技牌”

今年年初召开的中央经济工作会议指出,2008年是我国完成“十一五”节能减排约束性目标关键的一年,必须把节能减排作为促进科学发展的重要抓手,打好节能减排攻坚战、持久战。在过去的一年里,节能减排得到有力的法律和政策支撑。我国政府在健全法制、完善政策、推动改革等许多方面都采取了一系列的措施,比如去年上半年,高耗能产品的出口取消了2000多个品种的退税政策,一些产品还开征了出口税;     

NURBS体参数化模型的无支撑打印算法

处理大角度悬垂结构的打印问题是无支撑打印的主要挑战。针对NURBS（non-uniform rational Bspline）体参数化模型的多自由度无支撑三维打印技术,提出一种锥形切片算法。通过对模型的三维文件进行几何映射,利用水平切片算法对其进行切片,得到模型变形后的连续打印路径G-code;然后对得到的G-code进行逆映射,生成适用于六轴机械臂的多自由度连续打印路径。利用锥形切片算法规划打印路径,可以在无须支撑的情况下,依靠自支撑结构实现对悬空结构部分的打印。最后,通过仿真实验和对比实验,验证了锥形切片算法的准确性、可行性和有效性。锥形切片算法的引入为NURBS体参数化模型的无支撑三维打印提供了一种更加高效、经济和环保的解决方案。     

攀钢建成国内唯一的沸腾氯化实验室

近日,攀钢建成的沸腾氯化实验室通过专家鉴定验收,其功能和工艺水平均达到预期建设目标。该实验室是目前国内唯一的沸腾氯化实验室,它的建成不仅为攀钢做强做大钛产业提供了技术支撑,而且对我国钛工业发展具有十分重要的意义。     

LNG领域中ORV支撑结构分析设计

ORV支撑结构是LNG领域的一种特殊重要结构,目前缺少相应设计规范和标准,本文以实际项目中ORV支撑结构为例,对该结构的受力体系、设计依据和设计构件进行分析论述,为其他LNG项目中该设备支撑结构的设计和进一步研究提供参考.     

减隔震系统在建筑工程中的应用——以广东省应急指挥中心建设工程为例

采用消能减震措施可以有效地吸收地震能量,提高建筑物的抗震能力,在工程中得到广泛应用。论文结合广东省应急指挥中心项目,介绍结构设计中的屈曲约束支撑（BRB）的布置方式和摩擦-屈曲约束支撑（FBRB）布置方式,通过有限元验算分析,确定减震器性能参数和数量。     

轻钢泡沫混凝土组合剪力墙承载力的有限元分析

通过ABAQUS有限元模拟分析,研究双X型支撑下轻钢泡沫混凝土组合剪力墙的承载力以及泡沫混凝土的破坏状态。由有限元应力云图可知,型钢和泡沫混凝土应力最大处主要集中于组合墙体下部两侧墙脚处,由滞回曲线可知,试件滞回曲线较为饱满,基本呈梭形,大致无捏缩现象,耗能能力较好。试件峰值荷载为196.65kN,承载力较高。