多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。     

连铸新工艺、新技术在CSP生产线的优化与应用

涟钢CSP连铸设备和技术是从SMS-DEMAG引进的，其主要工艺技术有MLC(结晶器液面自动控制)、LCR(液芯压下)、液压振动、在线调宽(调锥)、BPS(漏钢预报)、EMBr(电磁制动)、板坯清洗、SEN的在线升降等。由于各种原因，除了在线调宽(调锥)都进行了某种程度的优化和改进，到目前为止以上功能都投入正常使用，为涟钢CSP生产线生产稳顺、产品质量改善发挥了作用。     

基于BIM技术和全过程工程咨询模式下数字化项目管理平台建设研究

全过程工程咨询模式下,咨询企业对集成化和协同化管理的需求增大,利用BIM技术实现项目全生命周期的信息化模拟,与全过程咨询企业需求相契合.在BIM技术和全过程咨询模式下探讨建立数字化项目管理平台对业务实施和管理、数据分析和应用、投资决策等方面都有重要意义.本文在探索建立数字化项目管理平台实践经验基础上,对平台功能目标和需...     

微波辐射计对月面特征参数的遥感理论模拟

根据现有的多通道被动辐射计技术，讨论微波辐射遥感月壤月岩特征参数的几个问题。由半空间非均匀温度、介电廓线分布的耗散介质的月壤模型与WKB方法，计算了月壤的多通道微波辐射传输的权重函数与相应的穿透深度。提出模拟多层月壤月岩的多层密集粒子介质辐射传输的一种建模，在各有关参数条件下计算了各通道的多层月壤月岩辐射亮度温度。并以此结果为理论观测，讨论了月壤厚度等参数反演可予以实施的方法。     

武汉火车站空间多平面圆钢管相贯节点承载力计算

对空间多平面圆钢管相贯节点承载力进行了研究,包括复杂多平面相贯节点的拆分原则、中外规范公式对比、多平面相贯节点承载力折减系数取值等,最后得出文中提出的复杂多平面相贯节点的拆分原则是合理的;采用欧洲规范对相贯节点进行校核偏安全;提出的多平面相贯节点承载力折减系数对武汉火车站工程是适用的。     

岩体化学加固材料优选决策支持系统研究

破碎岩体加速加固是矿山和岩土工程中抢险救灾常用的技术。针对工程中经常出现因化学加固材料选择不当而诱发二次事故的现状,在对化学加固材料属性分类研究的基础上,建立了加固材料数据库;针对岩体快速加固的工程要求,提出了岩体完整性的分级方法;在此基础上,根据具体加固工程要求的加固速度、加固强度和成本以及加固工程的地质环境,研制了岩体化学加固材料快速优选的决策支持系统;通过在对山东某煤矿1409工作面快速加固时应用该系统,验证了化学加固材料分类方法和针对化学加固的岩体完整性分级方法的合理性。本文的研究结果可以作为岩体加速加固设计的理论依据和辅助工具。     

工程项目管理软件P3在我国的应用策略

对目前我国工程类企业普遍使用的项目管理软件P3e/c在中国企业的实施中出现种种"水土不服"现象分析的基础上,结合项目管理及IT技术发展趋势从宏观角度提出了解决问题的方法和途径.     

武汉火车站高速列车对建筑结构的振动影响研究

武汉火车站的列车将从站房中高速穿过,通过车辆-等效桥梁耦合系统以及桥梁-站房系统的分步求解,确定了车辆-桥梁-站房结构系统动力学计算的求解策略与方法,研究了列车高速通过站房所引起的建筑结构动力响应以及相应的理论和方法。并针对所得结果选择了合适的评判标准,解决了在高速列车穿越引起的振动下建筑结构的安全、经济及使用性能的问题。     

某石化公司聚合物框架振动实测与计算

某石化公司的多区循环反应装置框架在投产后上部结构受到明显振动.为保证结构与设备的安全性和正常使用,对结构的自振特性和振动响应进行了现场实测,实测加速度极值达277 mm/s2.采用逆向工程的方法构造出结构的振动激励源,将激励施加到结构上进行时程计算,所得振动响应与实测结果基本吻合.采用在上部适当位置增设交叉斜撑的方法,可提高结构的自振频率以避开激励频率带,减小结构的振动响应.经计算,南北向加速度幅值可减少76％,东西向加速度幅值减少28％,减振效果明显.