摘要：为实现高效的光学隔离器,设计了两边镀金属薄膜带缺陷的一维磁光光子晶体系统,并用修正的特征矩阵法研究了它的传输特性.在磁光光子晶体微腔缺陷模式与金属等离子体产生耦合共振的条件下,该结构呈现单向传输的特征.隔离器的传输性能依赖于光的入射角度、微腔和两侧金属薄膜的厚度;在入射角为45°,微腔和金属薄膜厚度分别为449nm和150nm时光隔离器具有较好的性能.

摘要：提出了基于半马尔可夫过程(SMP)的拓扑容侵定量评估模型。因节点计算、存储能力等限制,在入侵结果统一层面上建模,简化了模型设计。利用内嵌DTMC求解出拓扑可用性、稳定性和服务率指标,提出贝叶斯网络指标推理方法,提高了容侵能力评估的准确性。分析了模型对参数的敏感性,通过实例剖析和比较,验证了拓扑容侵定量评估模型的有效性。

摘要：为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的终止判断标准;然后提出基于线性方程组求解的限界模型检测算法;最后,通过3个测试用例说明,概率计算树逻辑限界模型检测方法在反例较短的情况下能够快速完成检测过程,而且比概率计算树逻辑的无界模型检测算法所需求得的状态空间要少.

摘要：空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性.

摘要：为了满足实时协同编辑对快速响应、无约束协作的要求 ,提出了一种基于相对位置的乐观锁机制并发控制算法 该算法引入了编辑锁和读锁 ,并对加锁的起始位置和编辑操作位置用相对位置表示 ,当锁申请成功将写进锁表或者操作发送到各协作结点时 ,再把它们转换成绝对位置 ,加锁的粒度可根据编者的需要任意选择 ,编者在加锁请求获得确认前 ,可预先进行编辑操作 应用实例表明 :该算法既保证了数据维护的一致性 。

摘要：当前多数图像序列的人脸表情识别方法仅提取图像的某一类特征,导致特征参数不能全面地反映脸部情感信息.提出一种基于混合特征和多HMM融合的图像序列表情识别方法.采用Gabor小波变换、二维离散余弦变换分别提取眼睛及眉毛区域、鼻子区域的纹理变化特征,对嘴巴区域则采用主动表观模型提取形状变化特征.对待测图像序列中的每个表情特征区域采用离散隐马尔可夫模型得出6种表情概率;然后根据在训练阶段得到的每个表情特征区域对每种表情的贡献权值进行加权融合,并选择融合后的表情概率最大者作为识别结果.实验结果表明,该方法综合了表情的纹理与形状变化,能够得到很好的识别效果,且处理速度快,适合于实时图像序列的表情识别.

摘要：隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.

摘要：针对三维网格模型盲水印算法鲁棒性和透明性未很好权衡的问题,提出一种基于顶点统计特征的三维网格盲水印算法.在水印嵌入过程中,首先计算顶点到模型中心的距离作为顶点的特征值;根据该特征值对顶点进行分区,并依据特征值的分布将分区分为联合嵌入分区、恢复分区和缓冲分区;然后通过改变联合嵌入分区内归一化后的顶点特征值的分布来嵌入水印,并修改恢复分区中顶点的坐标还原模型中心.文中算法通过综合利用联合嵌入分区、恢复分区和顶点微调方法增强了水印的鲁棒性,并实现了水印的盲检测.实验结果表明,在保持较好的透明性的基础上,该算法能够有效抵抗平移、旋转、均匀缩放、顶点重排序、噪声、平滑、细分和网格重构等常见攻击.

摘要：离群点可分为全局离群点和局部离群点.在很多情况下,局部离群点的挖掘比全局离群点的挖掘更有意义.现有的基于局部离群度的离群点挖掘算法存在检测精度依赖于用户给定的参数、计算复杂度高等局限.文中提出将对象属性分为固有属性和环境属性,用环境属性确定对象邻域、固有属性计算离群度的方法克服上述局限;并以空间数据为例,将空间属性与非空间属性分开,用空间属性确定空间邻域,用非空间属性计算空间离群度,设计了空间离群点挖掘算法.实验结果表明,所提算法具有对用户依赖性少、检测精度高、可伸缩性强和运算效率高的优点.

摘要：基于分形理论设计了一种开槽的双频宽带特性的科赫(以下称Koch)雪花分形天线.天线的结构紧凑,两个工作频段宽覆盖了第二代移动通信数字蜂窝系统(Digital Cellular System,DCS)/个人通信业务(Personal Communication System,PCS)频段、第三代移动通信时分同步的码分多址技术(Time Dicision-Synchronization Code Divcision Multiple AccessTime,TD-SCDMA)频段和全球微波互联接入或无线城域网(Worldwide Interoperability for Microwave Access,WiMax)频段等无线通信频段.同时,天线在各个工作频段内有良好的方向辐射性.天线模型经过二维电磁仿真软件(High Frequency Structure Simulator,HFSS)仿真分析,并对天线的样品进行了实物测量,仿真结果与测量结果有较好的一致性.