预制RC构件可靠度分析与验证荷载法

提出将预制ＲＣ构件在施工中所受的荷载视为验证荷载，用验证荷载法计算其可靠度的新方法。该方法既能提高构件的可靠度，又可避免对构件进行专门的验证荷载试验，计算结果更符合实际，而且经济、简便。     

智力测验结构研究的认知成分分析技术

以分析瑞文标准推理测验的因子结构为例,介绍了智力因子结构研究的新方法——认知成分分析技术。     

永磁磁悬浮列车驶上自主创新高速路

2004年．我国首辆拥有完全自主知识产权的暗轨磁悬浮技术验证车“中华01号”，载着32人，在大连磁谷科技研究所内成功地行驶了56米。这短短56米的行程，宣告我国在磁悬浮技术研究上已经跻身世界领先水平。     

混气电火花加工机理的分析及验证

介绍了混气电火花加工机理及介质混入气泡的作用,详细分析了混气电火花加工机理,并进行了实验论证·     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.     

一种CDMA2000 1xEV-DO终端物理层软件验证方法

提出了一种可以在计算机上验证CDMA2000 1x EV-DO(EVDO)终端物理层软件的仿真系统.该系统可以模拟实际硬件电路板各个软硬件模块的行为,以及模拟和终端物理层软件相关网络侧的行为,基于此对EVDO终端物理层软件进行仿真验证,提高了新项目的开发效率.     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.     

采用不同方法验证靖东油田储层水敏特征

储层的水敏特征评价对于注水开发至关重要，是保护油藏，防止油藏污染的重要参数，从岩矿资料及黏土矿物成分看，长2储层水敏矿物含量很少，从岩矿角度分析应该无水敏或弱水敏，但试验结果表明长2储层为中等水敏，显然两者是矛盾的，利用试验方法来验证长2储层存在的水敏特征，其伤害油藏水的主要原因是外来低矿化度流体的介入破坏了储层黏土矿物与地层水的原始平衡状态，引起黏土矿物品格膨胀分散运移，堵塞喉道造成的，搞清这一点很重要。     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

工艺参数对楔横轧多楔轧制成形机理影响分析

针对楔横轧多楔精密轧制长轴类零件中工艺参数的确定主要依靠经验、轧件缺陷频繁发生的难题,采用自主开发的多楔命令流有限元程序对多楔轧制过程进行有限元数值模拟,从理论上较详细分析成形角、展宽角和断面收缩率三个主要工艺参数对轧件内部等效应力、应变和轴向位移的影响,得到其相应的变化规律,并对断面收缩率对轴向位移的影响规律进行实验验证.