再生砖骨料多孔混凝土微观结构及结构模型

为了深入研究再生砖骨料多孔混凝土的微观结构,从本质上认识其性状及规律,引入扫描电镜研究再生砖骨料多孔混凝土界面过渡区微观形貌;根据混凝土中心质假说分析概括再生砖骨料多孔混凝土结构模型,定性研究微观结构与宏观性能的关系,探索界面过渡区形貌和骨料大中心质效应对再生砖骨料多孔混凝土宏观性能的影响。结果发现再生砖骨料多孔混凝土具有较好的界面过渡区结构,结构密实,水化产物丰富,水灰比、目标孔隙率、养护龄期,矿物掺料对结构的密实程度和水化产物的类型、数量有一定影响,进而影响强度。多孔混凝土存在较多负中心质效应,大中心质只有再生砖骨料。今后应当把研究负中心质效应作为重点。     

基于代理重加密的电子病历数据共享方案

现有的电子病历大部分只能在医生与患者之间实现数据共享,数据用户难以访问患者的电子病历。针对该问题,提出一种利用代理重加密的电子病历数据共享方案。患者通过搜索陷门得到加密电子病历,数据用户要获取其电子病历,可请求患者和云服务器进行交互,云服务器生成重加密密钥,并对电子病历密文进行代理重加密,经患者授权后将重加密密文发送给数据用户,数据用户用其私钥解密密文,最终获取电子病历数据。基于随机预言机模型的实验结果表明,该方案在改进双线性Diffie-Hellman假设和q决策双线性Diffie-Hellman逆转假设下,均可实现关键字隐私安全和消息隐私安全。     

CMQV+:An authenticated key exchange protocol from CMQV

Ustaoglu presents a secure and efficient key exchange protocol named CMQV,based on the design rationales of HMQV and NAXOS.Compared with the latter two protocols,on one hand,CMQV achieves high performance of HMQV,and on the other,it is proven secure in eCK model as NAXOS is.However,CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its creators.In this paper,we propose a variant of CMQV,called CMQV+,which is proven secure under a weaker assumption (i.e.computational Diffie-Hellman assumption) in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible.     

一种基于偏微分方程的文本图像版面分割方法

文章提出了一个基于属性签密方案,相比较单纯的基于属性加密和基于属性签名方案,该方案的计算量和通信成本远远低于传统的先签名后加密,且具有抗合谋攻击性。方案的安全性依赖于计算性Diffie-Hellman假设和判定性Bilinear Diffie-Hellman假设,并且在随机预言模型下证明了该签密方案在选择属性集和选择消息攻击下是安全的。     

钢管混凝土拱肋设计若干问题研究

通过推导钢管混凝土结构构件在极限状态和正常使用状态下钢管与核心混凝土之间的本构关系,明确了两种材料之间的应力应变关系。同时,对收缩徐变的应力重分布影响、钢管混凝土结构的平截面假定探讨等方面进行了分析,提出对钢管混凝土拱肋这类压弯构件应适当增设剪力键,以保证构件的整体受力性能。     

注塑新产品开发中的设计验证

为减少新产品开发中的设计错误,针对技术不确定性假设,综合运用样品技术、实践经验、试验方法、CAD技术、CAE技术,提出了6种设计验证方法.这些方法包括：基于粗略/精确样品的设计验证、基于经验的设计验证、基于实验的设计验证、基于CAD的设计验证、基于加工仿真的设计验证以及基于集成仿真的设计验证.通过注塑制品开发实例,表明这些设计验证方法可应用于新产品开发的概念提出、设计工程、原型测试及试生产阶段.     

标准模型下可公开验证的匿名IBE方案的安全性分析

现有的可公开验证的匿名基于身份的加密（Identity-Based Encryption,IBE）机制声称解决了在静态困难性假设之上构造紧的选择密文安全的IBE机制的困难性问题.然而,本文发现,由于该机制的密文不具备防扩展性,使得任何敌手可基于已知的有效密文生成任意消息的合法加密密文,导致该机制无法满足其所声称的选择密文安全性.我们根据不同的密文相等判定条件分别提出两种方法对原始方案的安全性进行了分析,同时在分析基础上指出原始安全性证明过程中所存在的不足.     

纵向对称双硅栅薄膜MOSFET的等电位近似模型

论述了纵向对称双硅栅薄膜 MOSFET的等电位近似模型的研究 ,通过对该器件建立泊松方程 ,并利用在阈值电压附近硅膜中的等电位近似 ,得到了这种对称双硅栅 MOSFET器件的电流模型 ,并在不同参数下对该模型进行了模拟 ,最终得到 Ids-Vg 曲线     

自计时电路中握手协议与延迟假定的研究

自计时(self-timed)电路由于没有全局时钟而具有无时钟偏移、低功耗、高速度、低电磁辐射等优点,因此逐渐受到世界范围内电路设计领域的关注并成为研究热点。针对目前国内对自计时电路设计原理方面的研究才刚刚起步的现状,采用抽象和具体相结合的对比研究方法,对握手协议和延迟假定进行了深入研究,并对研究结果进行了直观的说明。     

云环境下安全的可验证多关键词搜索加密方案

云计算的高虚拟化与高可扩展性等优势,使个人和企业愿意外包加密数据到云端服务器.然而,加密后的外包数据破坏了数据间的关联性.尽管能够利用可搜索加密(SE)进行加密数据的文件检索,但不可信云服务器可能篡改、删除外包数据或利用已有搜索陷门来获取新插入文件相关信息.此外,现有单关键词搜索由于限制条件较少,导致搜索精度差,造成带...