椭圆曲线密码算法的边信道攻击研究

边信道攻击是一种对密码算法实现的有效的攻击.针对椭圆曲线密码的实现,简单边信道攻击可以逐步确定私钥.文中讨论了通过模糊私钥的标量表示和椭圆曲线计算序列的关系来抵抗简单边信道攻击.为了分析这些算法,文中提出了一种新的方法,即把椭圆曲线标量乘运算看作马尔可夫链.理论证明,这种方法比标准的简单边信道攻击更有效.     

基于SOA的分布式并行协同设计架构

在分析国内外并行工程和协同设计发展情况的基础上,结合多学科协同设计优化理论,定义了分布式并行协同设计的概念;通过对面向服务架构体系本质的分析,并综合考虑了分布式的智力资源环境,提出了一个全新的基于SOA的分布式并行协同设计平台架构．该架构集成了大型的商业化软件（如Pro／E、HyperMesh和ANSYS等）和专家系统,以完成复杂成品如转向架的设计和分析．依据顾客的需求,对该架构进行了一些关键服务的提取和定义;利用Java编程语言,对该平台架构中的服务接口进行描述．通过一个具体的实例,说明了该架构的各个部分,与现有的协同设计平台相比,该平台能够有效缩短服务交换周期,更好的支持复杂产品的异地并行协同设计．     

某地铁工程长距离联络通道水平冻结法加固设计与有限元分析

以武汉轨道交通机场线盘龙城站—宏图大道站区间的长距离联络通道为工程背景,采用水平冻结法加固地层的施工方法,对其进行冻结设计。采用COMSOL Multiphysics有限元软件对联络通道进行温度场分析,得到控制截面冻结壁的有效厚度及有效温度,均满足设计要求。分别采用结构力学方法和有限元方法对冻结壁厚度、强度及稳定性进行分析计算,结果表明,上述指标均满足设计要求,证明了冻结工艺设计的合理性。水平冻结法施工时,机场线联络通道采用双侧布置冻结孔和防偏技术,并严格控制温度变化,有效保证了工程安全顺利进行。     

面向可重构机床配置合成的装夹规划方法

基于加工特征的定义与分类,将零件分解为一系列加工特征集合,在嵌入式特征模型的基础上,对加工特征的信息进行扩展,建立了基于富集加工特征的可拓基元模型及基于XML的描述方法,提出了基于拓展混合图论与启发式算法相结合的装夹规划方法,并通过标准实例验证了该方法的可行性与有效性.     

基于设计要素的设计活动建模语言及支持环境

为了对不同的设计活动进行综合分析,需要一种可以对它们进行统一描述的建模语言．基于面向设计要素的设计活动建模思想,提出一种可以对不同的设计活动进行统一描述的建模语言DAML（Design Activities Modeling Language）．给出了DAML的概念结构,定义了DAML的语法结构,设计并实现了DAML的支持环境DAMLER（DAML EnviRonment）．通过对国家自然科学基金近20年来在机械设计学方面资助项目的调研,整理出204个设计活动,在DAMLER中对其进行建模及分析,得出有意义的分析结果,验证了DAML的有效性和实用性．