公共文化服务平台

张振领: 作品数：18 被引量：43H指数：4; 供职机构：聊城大学计算机学院更多>>; 发文基金：国家自然科学基金山东省自然科学基金山东省软科学研究计划更多>>; 相关领域：自动化与计算机技术医药卫生电子电信更多>>

合作作者

一种基于离散蛙跳算法的旅行商问题求解方法被引量：7: 2009年; 针对旅行商问题,提出了一种新的离散化蛙跳求解算法.新算法借助蛙跳算法优化机理,采用基于城市序列的编码方式和新的个体产生方法扩展了传统蛙跳算法的求解模型,并结合简化邻域搜索算法给出了改进策略.仿真实验表明了所提算法及策略的有效性.; 王亚敏潘全科张振领; 关键词：组合优化问题旅行商问题

时间行为协议状态空间约减算法: 2012年; 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。; 张振领贾仰理李舟军

TCBV:一种构件时序行为建模与相容性验证工具: 2012年; 利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。; 张振领贾仰理周恩光李舟军; 关键词：形式化方法

基于数据挖掘技术探析隐白穴主治优势病症和配伍规律被引量：7: 2022年; 目的:运用现代统计学和数据挖掘技术,探析隐白穴主治优势病症和配伍规律。方法:以中华人民共和国成立为时间节点,通过检索隐白穴主治病症及腧穴配伍等相关文献资料,建立SQL Server数据库,运用Gephi可视化软件、SPSS Statistics 25.0及SPSS Modeler统计软件对数据进行频次分析、聚类分析和关联规则分析。结果:中华人民共和国成立前,隐白穴的单穴优势病症12种,分别为气喘满、腹胀满、呕吐、血证、泄泻、崩漏、足胫寒热、不欲食饮、尸厥、腹中寒热、太阴经中风无汗身凉、消渴;配伍主治优势病症20种,分别为失眠多梦、血证、状如尸厥、尸厥、神志类、消渴、癫狂、呕吐、疔证、腹胀满、泄泻、烦闷、中风后遗症、足胫寒热、心胸痞、不欲食饮、水郁不降、气逆、黄疸、痢疾;其配伍腧穴归经前3位分别为足阳明胃经、足太阳膀胱经、足太阴脾经。中华人民共和国成立后,隐白穴的单穴主治优势病症2种,分别为崩漏、月经过多;配伍主治优势病症10种,分别为崩漏、中风后遗症、失眠多梦、痹症、癔症、中风、癫狂、月经过多、郁证、痛经;配伍腧穴归经前3位分别为足太阴脾经、任脉、足阳明胃经。中华人民共和国成立前后配伍腧穴以厉兑、少商、足三里、三阴交、关元关联程度最高,并通过聚类分析得出9个有效聚类群用作隐白穴潜在处方。结论:中华人民共和国成立前,隐白单穴和配伍处方均多用于治疗内科疾病;中华人民共和国成立后隐白单穴多用于治疗妇科疾病,而配伍处方多用于妇科疾病和精神疾病。隐白常用的配伍腧穴有厉兑、少商、足三里、三阴交和关元。; 李梦玲张振领贾红玲张永臣; 关键词：隐白穴腧穴配伍

基于支持向量机和小波分析的说话人识别研究: 2007年; 说话人识别技术目前已经成为身份认证及人工智能领域研究的一个热点,解决噪声环境下的说话人识别问题具有重要的理论价值和深远的实用意义.针对这一问题,提出了一种基于支持向量机和小波分析的识别方法及其框架模型,并且设计与实现了一个识别系统,即利用小波阈值去噪法将语音信号和噪声分离,实现语音增强,最终采用SVM分类器基于样本进行训练和测试,实现说话人的分类识别.; 张振领贾仰理; 关键词：说话人识别小波分析支持向量机

基于支持向量机的说话人识别研究被引量：3: 2007年; 解决说话人识别问题具有重要的理论价值和深远的实用意义，本文在研究支持向量机理论的基础上，采用支持向量机的分类算法实现说话人识别系统的训练和测试，并将小波去噪技术应用于说话人识别的预处理过程中，改善进入说话人识别系统的语音质量。实验表明，在说话人识别系统中，支持向量机结合小波去噪可以获得较好的识别率。; 张振领徐东平贾仰理; 关键词：说话人识别支持向量机小波去噪

一种新的Savant中间件信息过滤方法: 2012年; 物联网中存在大量的EPC信息,这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序,因此如何提高Savant的处理效率成为了研究者关注的重心.本文简述了Savant中间件的体系结构和工作原理,分析了Savant系统处理EPC信息的过程,在对处理过程进行形式化建模与分析的基础上,提出了一种新的Savant过滤海量EPC信息的方法,并分析了这种处理方法的优势.最后用LTSA工具验证了该方法的安全性和有效性.; 李春菊谢圣献贾仰理张振领; 关键词：物联网 SAVANT中间件 EPC

基于协议的实时构件行为一致性验证被引量：2: 2012年; 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。; 张振领贾仰理谢圣献李舟军; 关键词：形式化描述

构件行为协议实时性扩展及相容性验证被引量：4: 2010年; 对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Ti med Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。; 贾仰理张振领李舟军; 关键词：形式化描述

AOSD方法及其在分布式系统开发中的应用被引量：1: 2006年; 在包含诸多横切关注点的复杂软件系统开发中,面向对象软件开发方法(OOSD)存在无法克服的缺陷。在分析面向对象软件开发方法对横切关注点处理的缺陷的基础上,讨论了面向方面软件开发(aspect-orientedsoftwaredevelopment,AOSD)方法及其在复杂系统开发中的优越性,提出了一种面向方面软件开发方法的过程模型,介绍了面向方面软件开发方法在分布式系统开发中的应用。; 顾治华贾仰理张振领黄德启; 关键词：面向方面软件开发横切关注点分布式系统 ASPECTJ

张振领

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

张振领

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈