基于可信平台模块的外包数据安全访问方案

为了提高云计算中外包数据访问机制的安全性,该文完善了一种基于树的密钥管理方案,原方案适用于数据拥有者-写-用户-读/写的应用场景。针对场景中的恶意用户,新机制引入了可信平台模块(Trusted Platform Module, TPM),主要解决了原方案在数据访问过程中由会话密钥、数据加/解密密钥以及用户权限的变更产生的问题。此外,也考虑了如何确保用户的真实性和用户计算环境的安全性问题。同时,发现了原方案中的重放攻击和类型缺陷攻击,并提出了修正方案。最后,应用演算建模并利用验证工具ProVerif分析了新机制的安全性。结果表明,新机制增强了原方案的实用性和安全性。     

移动式量子级联激光器太赫兹全息成像仪光路结构设计

为了满足移动式量子级联激光器太赫兹（QCL-THz）全息成像仪大视场高空间分辨率的技术需求,设计了预放大同轴数字全息光路结构,显微物镜数值孔径为0.707或0.8,放大倍数为6倍,最佳工作距离为15 mm。采用波长为96.8 m的QCL光源,该光路结构能实现10 mm的视场,优于100 m的空间分辨率。     

具有线性扰动的线性脉冲微分系统的有界增长

本文介绍了脉冲微分系统的有界增长的概念，并进一步讨论了具有线性扰动的线性脉冲微分系统的有界增长问题，得到了反映无扰和扰动两种情形下脉冲微分系统有界增长关系的定理。     

星形函数族的一个子族的极值点与支撑点

设T={f(z):f(z)在单位圆盘|z|<1上解析,f(z)=z ,an是实数, |an|≥|an 1|且|an|≤1}．该文找出了解析函数族T的极值点与支撑点.     

一般嵌入优化问题

70年代,大规模集成电路的设计研究中,所提出的中心设计问题是在一定范数意义下寻求嵌入某个可行域中的最大球,因此也称为 C_m-嵌入优化问题,其形式为(?)(1.1)s.t.B(x,r)(?)Y.式中 Y(?)R~m,x∈R~m,r∈R~ ,B(x,r)是以 x 为球心,r 为半径在某种范数下的球.当前价格改革的重要问题之一是制定产品价格的浮动幅度.设有 m 种产品,它们的     

422.7nm法拉第反常色散滤光特性

对工作在第ｇ条夫朗和费暗线（４２２．６７４ｎｍ）的法拉第反常色散滤光器的滤光特性进行了理论分析和讨论。     

用Ti（OC3H7）4制备Ti（CN）涂层研究

文章叙述了采用金属有机物四异丙基钛（Ｔｉ［ＯＣ３Ｈ７］４］为钛温，在外加热ＰＣＶＤ设备上沉积Ｔｉ（ＣＮ）涂层。并对涂层进行了其显微硬度测量，扫描电镜（ＳＥＭ）观察和Ｘ射线衍射（ＸＲＤ）分析。结果表明，此法制备的Ｔｉ（ＣＮ）涂层其显微硬度可达标１５６００Ｎ／ｍｍ２，膜层结构仍为在状晶，Ｔｉ（ＣＮ）晶体的ｄ（２００）随着炉温的升高和Ｈ２．Ｎ２比的增大在逐渐变化。     

《超级画板》帮你教算法(2)

上一节我们主要介绍了超级画板中赋值语句的用法.本节我们将通过更多实例来介绍条件语句,循环语句和输出语句.在超级画板的编程环境中,条件语句的一般格式是:if(A){B}else{C}.这里A是条件,B是A成立时要执行的一些语句,C是A不成立时要执行的一些语句.在花括弧内的B和C,也可以是条件语句,这也就是我们常说的嵌套.比起一般的伪代码,超级画板省略了(A)和{B}之间的“then”.例1编写求一元二次方程ax2 bx c=0(a≠0)的实根的函数程序.解先判断是否有实根,有实根时再用公式求根.函数定义如下:root(a,b,c,i){d=b^2-4*a*c;if(d<0){No;}else{if(I…     

对称锯齿形天线的背向辐射特性

当对称锯齿形天线带有小接地板时，呈现一种背向辐射的特性。文中给出了实测的背向辐射方向图。这种天线可能发展成为一种新的反射面天线的线极化馈源。