山东省自然科学基金(ZR2011FL023)
- 作品数：9 被引量：11H指数：2
- 相关作者：贾仰理张振领谢圣献李舟军张晶更多>>
- 相关机构：聊城大学北京航空航天大学更多>>
- 发文基金：山东省自然科学基金山东省软科学研究计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 时间行为协议状态空间约减算法
- 2012年
- 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。
- 张振领贾仰理李舟军
- TCBV:一种构件时序行为建模与相容性验证工具
- 2012年
- 利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。
- 张振领贾仰理周恩光李舟军
- 关键词：形式化方法
- 一种改进的基于Ada-Boost的人脸检测算法
- 2012年
- 提出了一种改进的基于Ada-Boost的人脸检测算法。该算法在第一阶段使用基于Ada-Boost算法的分级分类器检测人脸,由于受到噪声与亮度的影响,一些非人脸区域可能被误判别为人脸。因此在YCbCr空间中采用肤色模型,去除非人脸区域。在第三阶段,采用SVM更精确地提取人脸区域。实验结果表明,改进的算法在实时性与误检率方面都优于Ada-Boost算法。
- 张晶
- 关键词：肤色模型SVM
- 基于协议的实时构件行为一致性验证被引量：2
- 2012年
- 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。
- 张振领贾仰理谢圣献李舟军
- 关键词：形式化描述
- 基于Andriod平台的物流系统设计研究被引量：6
- 2013年
- 随着Internet技术的不断发展和网络购物的盛行,物流行业不断发展壮大。《天空物流管家》掌上物流系统是一款运行于Android移动设备上的应用系统。该系统的后台管理,主要是通过MySQL Migration Toolkit对数据库进行可视化操作,实现对公司各种信息的管理。该系统的成功实现,将大大减少物流企业的工作强度,极大的提高了工作效率。
- 张晶
- 关键词：ANDROIDSOCKETJAVABEAN
- 一种新的Savant中间件信息过滤方法
- 2012年
- 物联网中存在大量的EPC信息,这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序,因此如何提高Savant的处理效率成为了研究者关注的重心.本文简述了Savant中间件的体系结构和工作原理,分析了Savant系统处理EPC信息的过程,在对处理过程进行形式化建模与分析的基础上,提出了一种新的Savant过滤海量EPC信息的方法,并分析了这种处理方法的优势.最后用LTSA工具验证了该方法的安全性和有效性.
- 李春菊谢圣献贾仰理张振领
- 关键词：物联网SAVANT中间件EPC
- 一种改进的各向异性扩散去噪模型被引量：3
- 2013年
- 为了既能有效地去除噪声,又能够较好地保持图像的边缘以及重要的细节信息,在Perona和Malik提出的各向异性扩散模型(P-M模型)的基础上,通过对扩散方程中扩散函数的改进,提出了一种具备自适应性的去噪扩散模型,该模型对图像去噪处理更加高效。改进的扩散函数在梯度较小时为一个常数,大于某个阈值后变为单调递减函数,直至某个梯度时递减为零。以上扩散函数特性使各向异性扩散模型能够达到在同质区加速平滑、在边缘区停止平滑的目的。实验结果表明,改进的扩散模型是一种更为理想的保边缘平滑模型。
- 赵海勇贾仰理
- 关键词：图像处理图像平滑
- 基于串空间模型的认证测试方法
- 2015年
- 串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.
- 张玲玲谢圣献贾仰理
- 关键词：安全协议串空间模型
- 一种新的语义相似度计算方法
- 2015年
- 在信息检索领域,基于不精确的语义信息进行查询,需要用户多次进行筛选,降低了查询效率,因此,语义相似度计算的精确性至关重要.目前,人们主要利用概念词的距离、内容、属性等信息进行语义相似度计算,其中综合距离,信息内容和概念词属性等因素的混合式语义相似度计算方法是比较热门的方法,但该方法进行语义相似度计算时,权值的确定是根据专家的经验,人为的进行确定,具有一定的主观性,影响了语义相似度计算的准确性和客观性.因此,本文提出了一种新的混合式语义相似度计算方法,采用模糊优化的思想确定混合式语义相似度计算方法中的权值,避免了主观性,使语义相似度的计算更准确,查询结果更符合人们的需求.
- 位通贾仰理张振领Julien
- 关键词：本体语义相似度分词技术
