贾仰理
- 作品数：23 被引量：58H指数：4
- 供职机构：聊城大学计算机学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- Tor系统的改进方案被引量：4
- 2012年
- 本文提出一种新的Tor匿名系统,能够使Tor系统发送者和接受者的身份得到更高的保护。引入了Crowds系统群组的概念,通过在群组中匿名提高发送者的匿名性。同时引入了组播的方法,通过向一个群组发送消息提高接受者的匿名性。这种方法能够有效的抵抗流量分析,使得本地监听者和组播监听者无法得知发送者和接受者的身份信息,提高了Tor系统的安全性。
- 吴庆震谢圣献贾仰理
- 关键词：双向匿名TORCROWDS组播
- TCBV:一种构件时序行为建模与相容性验证工具
- 2012年
- 利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。
- 张振领贾仰理周恩光李舟军
- 关键词：形式化方法
- 基于本体的软件属性可信性研究
- 2015年
- 随着软件产业的不断进步,软件可信问题日益成为研究重点,软件可信性问题范围也在不断扩展,由原来的安全性,扩展到可靠性,可用性,实时性,可维护性,可生存性,防卫性等,但是对于软件可信属性的研究仅仅局限于某一方面,或者考虑局部可信,但是若干属性加在一起,构成的软件不一定可信,同时属性与属性之间存在继承,传递,排斥等关系,常规的方法很难表示。因此本文利用本体能够对概念进行明确的表示与推理的特性,提出了基于本体的可信软件属性模型,对软件可信属性及属性间的关系进行形式化的描述,以期提高软件的自适应性,提高软件的可信性。
- 位通贾仰理张振领贾保先
- 关键词：本体
- 基于协议的实时构件行为一致性验证被引量：2
- 2012年
- 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。
- 张振领贾仰理谢圣献李舟军
- 关键词：形式化描述
- 一种新的Savant中间件信息过滤方法
- 2012年
- 物联网中存在大量的EPC信息,这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序,因此如何提高Savant的处理效率成为了研究者关注的重心.本文简述了Savant中间件的体系结构和工作原理,分析了Savant系统处理EPC信息的过程,在对处理过程进行形式化建模与分析的基础上,提出了一种新的Savant过滤海量EPC信息的方法,并分析了这种处理方法的优势.最后用LTSA工具验证了该方法的安全性和有效性.
- 李春菊谢圣献贾仰理张振领
- 关键词：物联网SAVANT中间件EPC
- 一种改进的各向异性扩散去噪模型被引量：3
- 2013年
- 为了既能有效地去除噪声,又能够较好地保持图像的边缘以及重要的细节信息,在Perona和Malik提出的各向异性扩散模型(P-M模型)的基础上,通过对扩散方程中扩散函数的改进,提出了一种具备自适应性的去噪扩散模型,该模型对图像去噪处理更加高效。改进的扩散函数在梯度较小时为一个常数,大于某个阈值后变为单调递减函数,直至某个梯度时递减为零。以上扩散函数特性使各向异性扩散模型能够达到在同质区加速平滑、在边缘区停止平滑的目的。实验结果表明,改进的扩散模型是一种更为理想的保边缘平滑模型。
- 赵海勇贾仰理
- 关键词：图像处理图像平滑
- 时间行为协议状态空间约减算法
- 2012年
- 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。
- 张振领贾仰理李舟军
- 一个改进的云存储数据完整性验证方案被引量：16
- 2014年
- 在云计算环境中,客户将数据存储在不可信的云存储服务器上.如何在本地没有数据副本的情况下,高效地对客户存储的远程数据进行完整性验证是一个亟待解决的问题,针对此问题已相继提出一系列解决方案.提出已知证据伪造攻击的概念,即拥有一定数量证据的敌手可以伪造新的合法证据.指出已有的一些数据完整性验证方案无法抵抗已知证据伪造攻击.利用基于等级的认证跳表提出一个改进方案,该方案支持完全数据更新和公开审计.
- 周恩光李舟军郭华贾仰理
- 关键词：数据更新
- 基于支持向量机和小波分析的说话人识别研究
- 2007年
- 说话人识别技术目前已经成为身份认证及人工智能领域研究的一个热点,解决噪声环境下的说话人识别问题具有重要的理论价值和深远的实用意义.针对这一问题,提出了一种基于支持向量机和小波分析的识别方法及其框架模型,并且设计与实现了一个识别系统,即利用小波阈值去噪法将语音信号和噪声分离,实现语音增强,最终采用SVM分类器基于样本进行训练和测试,实现说话人的分类识别.
- 张振领贾仰理
- 关键词：说话人识别小波分析支持向量机
- 基于复合关联与隐结构模型探析陷谷穴优势病症与配伍规律被引量：1
- 2023年
- 目的分析新中国成立前陷谷穴的优势病症与主治特色,探讨其优势病症与高频配伍腧穴的对应规律。方法以《中华医典》(第五版)为检索源,建立陷谷穴单穴、配伍主治病症和配伍腧穴等数据库,运用数据挖掘技术进行复合关联分析和隐结构聚类分析。结果陷谷穴单穴主治病症18种,优势病症为水肿、疟疾、肠鸣、热症、痈疽和汗不出等6种;配伍主治病症22种,优势病症为水肿、肠鸣、疟疾、热症、气乱臂胫和痈疽等6种。高频腧穴包括足三里、太白、厉兑与内庭等33穴。复合关联分析筛选出54条高频腧穴与优势病症的关联规则。隐结构聚类分析获取了5组腧穴处方。结论陷谷穴主治以内科、外科病症为主,水肿为核心优势病症,关联规则与聚类新方的辨证组合,有助于为教学、临床和科研提供借鉴。
- 宋全枚朱永政向玉元张学成贾仰理张永臣贾红玲
- 关键词：隐结构模型
