您的位置： 专家智库 > >

贾仰理

作品数：22 被引量：58H指数：4
供职机构：聊城大学计算机学院更多>>
发文基金：山东省自然科学基金国家自然科学基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术医药卫生更多>>

合作作者

文献类型

  • 21篇期刊文章
  • 1篇学位论文

领域

  • 21篇自动化与计算...
  • 1篇医药卫生

主题

  • 5篇形式化
  • 4篇形式化描述
  • 4篇说话人识别
  • 3篇支持向量
  • 3篇支持向量机
  • 3篇软件开发
  • 3篇说话人
  • 3篇向量
  • 3篇向量机
  • 3篇小波
  • 3篇基于支持向量...
  • 2篇软件开发方法
  • 2篇去噪
  • 2篇物联网
  • 2篇相容性
  • 2篇小波分析
  • 2篇联网
  • 2篇面向方面软件
  • 2篇面向方面软件...
  • 2篇开发方法

机构

  • 19篇聊城大学
  • 11篇北京航空航天...
  • 5篇武汉理工大学
  • 1篇国防科学技术...
  • 1篇北京中医药大...
  • 1篇山东中医药大...
  • 1篇山东中医药大...
  • 1篇中国科学院

作者

  • 22篇贾仰理
  • 14篇张振领
  • 7篇李舟军
  • 5篇谢圣献
  • 2篇贾保先
  • 2篇徐东平
  • 2篇顾治华
  • 2篇周恩光
  • 1篇邢建英
  • 1篇李春菊
  • 1篇郭华
  • 1篇张永臣
  • 1篇黄德启
  • 1篇贾红玲
  • 1篇赵海勇
  • 1篇陈石坤
  • 1篇李俊青
  • 1篇张玲玲
  • 1篇朱永政
  • 1篇吴庆震

传媒

  • 6篇计算机科学
  • 4篇聊城大学学报...
  • 3篇计算机工程与...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机时代
  • 1篇自动化仪表
  • 1篇世界科学技术...
  • 1篇电脑知识与技...
  • 1篇科技信息
  • 1篇中国科技期刊...

年份

  • 1篇2023
  • 3篇2015
  • 1篇2014
  • 1篇2013
  • 6篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2008
  • 3篇2007
  • 2篇2006
  • 1篇2005
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Tor系统的改进方案被引量：4
2012年
本文提出一种新的Tor匿名系统,能够使Tor系统发送者和接受者的身份得到更高的保护。引入了Crowds系统群组的概念,通过在群组中匿名提高发送者的匿名性。同时引入了组播的方法,通过向一个群组发送消息提高接受者的匿名性。这种方法能够有效的抵抗流量分析,使得本地监听者和组播监听者无法得知发送者和接受者的身份信息,提高了Tor系统的安全性。
吴庆震谢圣献贾仰理
关键词：双向匿名TORCROWDS组播
TCBV:一种构件时序行为建模与相容性验证工具
2012年
利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。
张振领贾仰理周恩光李舟军
关键词：形式化方法
基于协议的实时构件行为一致性验证被引量：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组腧穴处方。结论陷谷穴主治以内科、外科病症为主,水肿为核心优势病症,关联规则与聚类新方的辨证组合,有助于为教学、临床和科研提供借鉴。
宋全枚朱永政向玉元张学成贾仰理张永臣贾红玲
关键词：隐结构模型
构件行为协议实时性扩展及相容性验证被引量：4
2010年
对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Ti med Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。
贾仰理张振领李舟军
关键词：形式化描述
全选 清除 导出
共3页<123>
聚类工具0