一种适用于RFID协议安全性评估的方案

基于对RFID系统安全模型,对可能存在的安全隐患进行详细地分析,针对各种安全隐患提出可行的对策,从中总结出安全协议最重要的两个特性,即双向认证以及数据和密钥的隐私性。然后基于CSP模型提出一套简单、行之有效的自动化安全性评估方案,从而避免了传统的依靠自我论述证明的方法说服力不高的问题。     

合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

基于三维图像处理的心肌细胞中Ca2+浓度研究

心肌细胞中Ca2+浓度的空间和时间分布,对于建立心肌细胞节律运动电路模型提供离子特性参数有很大帮助。提出了一种幼鼠心肌细胞中Ca2+浓度分布分析的新方法。对激光共聚焦显微镜（LSCM）采集的幼鼠心肌细胞序列图像进行图像处理、三维重建、细胞分割、距离变换,从细胞膜向内进行分层剥离,得到心肌细胞中Ca2+浓度的空间和时间分布。该方法极大地方便生物研究和医学诊断,基于三维距离变换研究Ca2+浓度时间空间分布的方法也可运用于类似的生物医学研究。     

地震断层危害场的有限差分三维数值模拟

采用显式拉格朗日有限差分法,通过对所建立的张店-仁河断裂的地质构造三维结构模型施加不同的地震波荷载,得到了地震活断层危害场的数值模拟结果,包括各种情况下的变形场、应力场和位移场.数值模拟结果均以图形化的方式显示出来,最后对模拟计算结果进行了分析.     

泛型Web服务组合规范和验证

面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。     

"安全第一"的C语言编程规范

C语言是开发嵌入式应用的主要工具，然而C语言并非是专门为嵌入式系统设计，相当多的嵌入式系统较一般计算机系统对软件安全性有更苛刻的要求。1998年，MISRA指出，一些在C看来可以接受，却存在安全隐患的地方有127处之多。2004年．MISRA对C的限制增加到141条。嵌入式系统应用工程师借用计算机专家创建的C语言．使嵌入或乐统应用得以飞速发展．而MISRA—C是嵌入式系统应用工程师对C语言嵌入式应用做出的贡献。如今MISRAC已经被越来越多的企业接受．成为用于嵌入武系境的C语言标准，特别是时安全性要求极高的嵌入式系统，软件应符合MISRA标准。从本期开始，本刊将分6期，与读者共同学习MISRA—C，第一讲：“安全第一”的C语言编程规范”，简述MISRA—C的概况。第二讲：“跨越数据类型的重要陷阱”，介绍规范的数据定义和操作方式，重点在隐式数据类型转换中的问题。第三讲：“指针，结构体，联合体的安全规范”，解析如何安全而高效地应用指针，结构体和联合体。第四讲：“防范表达式的失控”，剖析MISRA-C中关于表达式，函数声明和定义等的不良使用习惯，最大限度地减小各类潜在错误。第五讲：“准确的程序流控制”，表述C语言中控制表达式和程序流控制的规范做法。第六讲：“构建安全的编译环境”，讲解与编译器相关的规范编写方式，避免来自编译器的隐患。[编者按]     

基于单调链的简单多边形距离算法

简单多边形的距离问题是计算机图形学中的一个研究难点,为了能快速地获得距离信息,提出一种基于单调链的简单多边形距离算法.算法先对多边形边界进行关于坐标轴的单调链分割,然后根据可见性原则确定候选链对,再结合层次树理论和分支限界策略计算链对距离以求解多边形的最近距离.试验结果表明,该算法性能优于其他同类算法.     

基于动态ε支配的多目标遗传算法

基于Pareto支配的MOEA存在着一些缺陷,如容易出现退化现象等。而基于ε支配的MOEA可以比较好地解决这些问题,并具有比较理想的收敛性和分布性。但是采用传统的ε-MOEA时,最大的困难就是ε的值的设定,并且传统的MOEA得出的解在边界部分个体的丢失现象也比较严重。针对这种情况提出了一种新的基于动态ε支配的多目标遗传算法（DEMOEA）,它不需要手动设定ε的值,并且引入了动态网格概念来改善边界解丢失的现象。通过与其他两个经典的多目标进化算法的NSAGA-II和SPEA-2的对比实验,表明提出的DEMOEA能在收敛性、分布性有较好的改进。     

基于SAML的图书资源联合身份访问控制机制

针对目前图书馆电子资源传统访问控制机制存在的缺陷，本文提出一种基于SAML规范的联合身份访问控制机制。该机制能够实现单点登录、保障身份认证的强度和保护用户的隐私，从而能够满足用户、管理员、分布资源和服务提供者的要求。     

结合双向相似性变换的重定向图像质量评价

目的 显示设备的多样化使得图像重定向的作用日益凸显。不同的重定向方法产生不同视觉感受的重定向图像,而如何评价重定向图像的质量,优化重定向算法是当前研究的热点与难点,为此,提出一种结合双向相似性变换的重定向图像质量评价方法。方法 首先对原始图像和重定向图像进行像素点双向匹配,利用网格顶点坐标对计算前向变换矩阵和后向变换矩阵。然后由相似性变换矩阵与标准变换矩阵间的距离得到重定向图像的几何失真。由网格面积缺失得到重定向图像的信息损失。最后结合网格的显著性,融合前向匹配与后向匹配的几何失真和信息损失得到重定向图像的质量。结果 该方法在RetargetMe和CUHK数据库上的KRCC（Kendall rank correlation coefficient）和SROCC（Spearman rank-order correlation coefficient）性能分别达到了0.46和0.71,较现有方法有较大提升。在前向匹配与后向匹配测试中,双向匹配的测试结果优于单向匹配。结论 本文方法将图像的重定向处理看做相似性变换过程。实验结果表明,从相似性变换矩阵中提取的相关特征能够较精确度量重定向图像的几何失真,而由此引发的网格面积缺失也能准确反映出重定向图像的信息损失。另外,采用双向匹配机制一定程度上减少了像素匹配误差对实验结果的影响,有效提升了重定向图像质量预测的准确性。该方法对重定向图像的质量评价效果好,适用于重定向图像的质量预测及算法优化。