移动云计算环境中基于代理的可验证数据存储方案

现有云计算可验证数据存储协议无法直接应用于终端存储和计算能力有限的移动计算环境。针对该问题,提出移动计算环境下基于代理的可验证云存储协议,在终端和云服务器之间引入一个半可信的安全计算代理,利用代理来帮助移动终端用户完成计算密集的操作,从而使得可验证数据存储方案可用于移动计算环境。提出一个具体的可验证数据存储协议,形式化证明了所提协议满足随机预言机模型下的选择明文攻击(CPA)安全,量化分析结果表明协议设计适用于移动计算环境,符合设计目标。     

基于案例的解释研究

解释是专家系统中一个重要环节,优秀的解释技术可以帮助用户增强使用系统的信心,帮助用户进一步理解系统的推理过程和结果.介绍基于案例解释的相关概念,然后从不同角度对近年来国内外研究进展做出综述与评价,并对基于案例的解释技术做出总结与展望.     

Crystal structure and microwave dielectric properties of (Ba1−αSrα)6−3xSm8+2xTi18O54 solid solutions

The tungstenbronze-type-like (Ba_1−αSr_α)_6−3xR_8+2xTi₁₈O₅₄ (R = rare earth) solid solutions have been studied. Microwave dielectric properties of these solid solutions link to the substitution of large cations such as Ba ions by small Sr ions. In these solid solutions for x = 0, the quality factor (Q·f) exibits extremely low due to the inner strain resulting by the occupation of large Ba ions at relatively small A1-sites. However, dielectric constant (ɛ_r) of this composition show a high value. In this paper, improvement of quality factor (Q·f) by substituting small Sr ions for Ba ions in (Ba_1−αSr_α)_6−3xSm_8+2xTi₁₈O₅₄ solid solutions, where x = 0, is reported. In addition, the relationship between crystal structure and microwave dielectric properties is discussed from the viewpoint of structural formula and occupational state of large cations such as Ba, Sr and Sm in A1-sites.     

大功率晶闸管热阻抗分析方法的研究

随着柔性交流输电和高压直流输电设备在我国电力系统中应用越来越广泛,以晶闸管为主组成的高电压大电流电子阀等核心技术已成为研究焦点。晶闸管的结温及其变化影响晶闸管的电学特性及其使用寿命,而晶闸管的热阻抗直接影响晶闸管的结温,因此,晶闸管的传热特性及其建模方法的研究对于晶闸管及其阀的研制具有很重要的现实意义。论述了现有热阻抗分析及其建模的方法,即试验方法和数学物理方法,分别讨论了它们的建模过程及建模结果－等效热阻抗网络。提出了Foster热阻抗网络转换成Cauer热阻抗网络的"直接恒等法"以及一种通过有限元数字仿真分析晶闸管内部温度场以及求解晶闸管结壳热阻抗的方法,该方法的有效性通过了实测数据的验证。     

人际协同视角下CEO包容型领导与创业绩效的关系研究

采用194份合伙人-CEO配对数据,探讨了新创企业CEO包容型领导风格对创业绩效的影响,尤其是考察了地位冲突的中介作用以及目标一致性的调节作用。结果发现:(1)CEO包容型领导对创业绩效具有显著正向影响;(2)创业团队内部地位冲突在CEO包容型领导与创业绩效之间起部分中介作用;(3)合伙人-CEO目标一致性调节了地位冲突对创业绩效的负面影响;(4)合伙人-CEO目标一致性对地位冲突在CEO包容型领导与企业绩效之间的中介作用具有显著调节作用。合伙人-CEO目标一致性越弱,以地位冲突为中介的CEO包容型领导对创业绩效的影响越强,反之亦然。     

基于文本案例的推理技术综述

首先介绍了CBR(Case-based reasoning)推理中一个重要分支--基于文本案例的推理技术TCBR(Textual CBR)的产生背景.然后详细介绍了TCBR推理时采用的结构--实例提取网CRN(Case Retrieval Nets),描述案例的知识单元--信息实体的概念和特性,以及TCBR中如何进行实例提取、改编和学习.最后,对TCBR的改进研究、代表项目以及未来的发展方向作了概括性说明.     

高阶贝塞尔-高斯光束通过圆孔硬边光阑的传输特性

文章通过把圆孔光阑函数展开为有限复高斯函数和的方法,用惠更斯-菲涅尔衍射积分,推导出了高阶贝塞尔高斯光束通过具有圆孔光阑的近轴ABCD光学系统的传输近似解析公式,并对高阶贝塞尔-高斯光束通过圆孔硬边光阑的传输特性进行了研究.分析结果表明,衍射特性与截断参数、贝塞尔函数的阶数以及光束的菲涅尔数等因素有关.     

高校图书馆网站的安全策略

高校图书馆网站是校园网的信息中心,文章通过分析图书馆网站面临的网络风险,提出了高校图书馆网站保护的安全策略。     

符号模式矩阵的幂等性质

通过对符号模式矩阵的研究,给出了具有frobenius型的符号模式矩阵中上三角块的形式,及一种构造幂等的方法,研究符号模式矩阵的符号幂等与允许幂等的关系.