双逻辑访问控制改进模型的研究和实现

文章提出了针对“整合分级的RBAC访问控制”系统的改进模型。新模型充分发挥了基于角色和分级两套访问控制逻辑的优点,并通过引入XACML,有效地实现了策略管理和访问判决的标准化、统一化,在角色定义的基础上实现了两种逻辑的无缝整合。     

量子隐形传态看作量子信道

非理想的纠缠资源和非标准的量子隐形传态操作导致非理想的量子态传输.本文从Nielsen-Caves理论出发,导出了非理想的量子隐形传态过程对应的量子信道的明显表达式.这给我们提供了对量子隐形传态的新认识,即量子隐形传态过程可等效地看作量子态依次通过三个量子信道的过程,这三个信道分别对应于发送者的测量、纠缠态和接收者的操作.特别地,我们建立了纠缠态与量子信道之间的一一对应关系,即一个纠缠态对应于这样一个量子信道,如果把描述该量子信道的Kraus算符用Pauli算符展开,则得到的参数矩阵就是该纠缠态的密度算符在Bell基下的矩阵.我们还导出了量子隐形传态保真度的明显表达式.我们的结果解析地揭示了输出态和保真度对纠缠资源和量子隐形传态操作的依赖关系.     

薄Si_xO_yN_z膜击穿机理的研究

本文在研究极薄Si_xO_yN_x膜击穿特性的基础上,探讨了氮化SiO_2膜的击穿机构,讨论了氮化影响击穿性能的因素。实验结果与理论分析表明,氮化后的SiO_2膜击穿性能的改善主要决定于膜中及表界面的微观结构的改善及成分的改变。虽然,氮化引起介质膜带隙宽度的变窄将导致击穿电场的下降,但致密的材料结构、变得平整的表界面及陷阱的影响将大大推迟击穿的发生。实验结果表明,氮化SiO_2膜的本征型击穿仍是由碰撞电离引起的;但是,在任何情况下,引起破坏性的永久击穿的原因仍是热传递。     

BEPCII直线加速器相控系统设计研究

为了补偿由于各种因素引起的微波相位漂移,BEPCII直线加速器需要建立微波相位反馈控制系统.能量最大法将用来确定每台功率源的最佳相位.沿直线加速器速调管长廊铺设相位稳定同轴线提供相位参考.现在已经完成了关键部件,如PAD单元、IfA 单元的开发.搭建了相控最小系统对系统进行了验证.     

利用场发射显微镜研究O2对单壁碳纳米管场发射的影响

利用场发射显微镜和四极质谱计研究了充入高纯O2的四极质谱和O2对单壁碳纳米管场发射的影响.单壁碳纳米管经过约1000℃的热处理得到清洁态场发射像后，充入O2，分别测量了O2吸附和脱附后场发射的I V特性.实验观测到在单壁碳纳米管上O2的吸附使场发射电流减小，说明逸出功增加.在10-4Pa的O2压强下对单壁碳纳米管进行约1000℃的热处理，可以产生氧化刻蚀作用，观测到场发射像的变化，并测量了氧化刻蚀产生的I V特性变化. 关键词： 单壁碳纳米管 场发射显微镜 场发射 四极质谱     

雷达信号处理中的课题 第一部分:概述和相关处理技术(续)

杂波抑制抑制杂波是许多雷达系统中主要考虑的问题。利用动目标显示(MTI)或脉冲多卜勒(PD)原理就可以实现杂波对消。MTI或PD的设计取决于雷达的特殊性能和所确定的杂波形式。特别重要的是:是否只抑制固定的(零多卜勒)杂波或者还须抑制运动的杂波(云雨、金属箔条)。为了抑制固定的地杂波,有人曾     

关于凸曲面的几个定义的关系

本文讨论了凸曲面的几种定义及其关系，发现有的定义是局部凸的定义，有的是整体凸的定义，有的则对于局部凸和整体凸都适合，最后给出了各种定义之间互推的证明，对于局部凸和整体凸定义之间不能推证的，则说明了原因．     

BEPCⅡ LINAC束流光学匹配及轨道校正计算研究

 北京正负电子对撞机直线注入器(BEPCⅡ LINAC)的升级改进要求建立束流光学匹配计算和轨道校正系统，为此对束流光学匹配计算和轨道校正计算的方法进行了研究，并采用VC++语言编写了相应的程序，利用最小二乘法原理进行了束流光学匹配计算，模拟了束流轨道校正，取得了较为理想的结果。     

符号空间的拟移位和Moebius带上的奇怪吸引子

给出了双边符号空间上的一种新的拟移位映射，得到了它与传统的移位映射拓扑共轭．类似Smale马蹄，对这种拟移位映射给出了一个模型，即在Moebius带上给出一类映射．同时刻划了这类映射的吸引子的结构及动力学行为．     

加、减、乘、除、捆、插、隔、化——解排列组合问题的“八字方针”

排列与组合，虽然是组合数学中最初步的知识，但由于其思想方法较为独特灵活，以致一些学生在学习上很容易出现“一听就懂、一过就忘、一做就错”的不良情况．因此，教师在教学中非常有必要把书本知识进行活化。引导学生通过观察、比较、联想、分析、综合、抽象、概括等思维过程去理解知识、