370 m跨径X形提篮拱结构有限元模拟研究

渝黔铁路是国家“八纵八横铁路网”中“包柳铁路大通道”的重要组成部分.以渝黔铁路线中X形提篮拱桥为依托工程,为确保施工工程质量与安全,采用Midas/Civil2010有限元软件对该拱桥成桥后主拱圈应力、运营阶段稳定性与位移验算等进行了计算和分析,结果表明该提篮拱桥拱脚处最大压应力为14 MPa满足混凝土规范要求设计值,结构运营阶段稳定系数为32.2,满足现行规范限值,结构在横纵向自振周期分别为1.473 s与1.389 s均满足规范限值.     

基于失效数据统计方式的软件可靠性增长模型框架

为了更真实地描述软件失效过程,针对软件故障一旦检测出就立即排除掉这一不符合真实情况的假设条件,考虑到检错过程和排错过程的异步性,提出了计入重复故障的可靠性增长模型框架（RFM）和不计重复故障的可靠性增长模型框架（NRFM）,并指出了每个框架的适用范围．最后以NRFM为例,给出一个新的可靠性增长模型．通过公开发表的一组数据集上的拟合实验和预测实验表明,与其他模型相比,该模型具有很好的拟合能力和预测能力．     

基于混合加密算法与FUK技术的SMIS数据安全设计与实现

以大型销售MIS的数据安全问题为例,提出以终端ID号、钥匙盘ID号和终端用户样本指纹绑定为一体的身份认证方案。该方案采用软硬件协同工作方式,克服了传统身份认证模式或安全性能低,或运算成本高等缺陷,提高了认证效率,并保证了合法用户操作的唯一性和认证过程的不可抵赖性。提出的基于ECC与一维混沌加密算法优点相结合的混合加密方案,使基于互联网传送的数据安全性有了实质性提高。基于分治叠加法的大整数计算成果运用,克服了计算机精度域的限制,使密钥空间从理论上趋向于无穷大。试验结果表明,基于混合加密算法的数据安全方案具有良好的抗穷举攻击和抗差分攻击能力。该项研究为解决各类MIS的数据安全问题提供了重要策略,意义重大。     

一种带有无效缓存路访问过滤机制的低功耗高速缓存

功耗是当今处理器设计领域的重要问题之一.随着多核处理器的普及,片上缓存占有了越来越多的芯片面积和功耗.提出一种带有无效缓存路访问过滤机制的低功耗高速缓存结构来降低CPU的动态功耗,具体为,通过无效缓存块的预先检查(Pre-Invalid Way Checking,PIWC)消除对无效缓存路的访问,及通过不匹配缓存路的预先检测(Pre-Mismatch Way Detecting,PMWD)消除对tag低位不匹配缓存路的访问.对实际程序的测试表明,65.2%-88.9%缓存路的无效访问可以通过以上方法被消除,约60.9%-85.6%由缓存访问带来的动态能耗从而被降低.同时,跟tag-data顺序访问方法相比,对于大多数程序,我们的方法可以获得5.1%-13.8%的节能效果提升.     

A Spatialization-based Method for Checking and Updating Metadata

1 IntroductionWith the wide application of geographical in-formation, spatial data sharing becomes more andmore prevalent. The complexity of management andaccess of huge dataset is recognized to be a criticalproblem faced by data producers and users. Dataproducers need efficient method of geographical spa-tial data management and maintenance, and usersneed find, access, acquire and use changing spatialdata more quickly and completely. Therefore, it iscrucial for people to master in time the co…     

基于概率模型检测的合同签订协议分析

概率合同签订协议的公平性具有典型的概率性质。概率模型检测是一种验证存在随机行为系统的分析技术。基于概率模型检测技术，在原协议的基础上建立了离散马尔可夫链和有限状态机模型，用概率模型检测工具——PRISM验证了它的公平性，发现其公平性不满足时，在此基础上对原协议从双方交换信息的策略上进行了扩充改进，使协议更为公平，满足了合同签订的基本要求。     

谈谈确定"停工检测点" "质量见证点"的方法

通过制造4台我国特大型非标冶炼回转炉的实践,以详实的实例,总结性地介绍了在特大型非标设备的制造中,怎样运用技术确定“停工检测点”、“质量见证点”,完成设备制造的成功经验。     

模型检验中迁移关系的分组策略

迁移关系的构建是基于BDD模型检验中的一个重要环节，而建立占内存尽可能小且运算高效的迁移关系一直是难点，通常做法是对迁移关系进行分割．提出一种的对按位分割后的迁移关系进行分组的方法．通过对ISCAS-89中时序电路的试验表明，该方法对其中部分电路是有效可行的．