夏传良 作品数:69 被引量:149 H指数:8 供职机构: 山东建筑大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 山东省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 机械工程 理学 更多>>
Petri网的T型子网精细化操作性质分析及应用 针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种T-型子网,给出这种精细化操作保持活性、有界性和可回复性的充要条件;本文的结果可为Petri网系统静态和动态... 夏传良关键词:PETRI网 活性 有界性 文献传递 对UNIX系统中B-shell的功能扩展 2005年 UNIX系统是当代著名的操作系统之一,B-shell是UNIX系统不同版本的shell中最重要的一种。针对B-shell作为独立程序设计语言与一般高级程序设计语言相比所存在的一些缺欠,如B-shell不提供集成数据类型、没有格式化输出手段、计算能力不强和串处理能力较弱等,将对B-shell在计算能力、字符串处理、集成数据类型和格式化输出等方面进行功能扩充,可大大提高编程的效率,并使B-shell具有与其它高级语言类似的功能。论文的结果有助于相关软件的开发和应用。 夏传良关键词:UNIX 面向物联网网关的云服务资源调度方法 本发明公开了面向物联网网关的云服务资源调度方法,物联网网关向资源调度服务器申请通信服务,获取并计算其与每个通信服务器之间的数据包往返时间平均值,将归一化处理后的往返时间发送给资源调度服务器;各通信服务器采集CPU利用率和... 申斌 夏传良 汪明 李成栋 王少林文献传递 对一种前馈控制算法的性能分析 2002年 介绍了基于CARIMA模型的前馈控制算法 ,该算法将自校正控制策略和极点配置策略有机地结合起来 ,能够在线选择加权项 ,并在非最小相位的特定情况下 ,具有一定的稳定性和收敛性。在此基础上证明了在建模误差满足一定条件的情况下 ,该前馈控制算法具有一定的鲁棒性。理论分析表明了该算法的有效性 ,从而证明该算法具有较好的控制性能。 夏传良关键词:前馈控制 鲁棒性 极点配置 自校正算法 论Petri网链路合成 被引量:7 2005年 提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径. 夏传良 陆维明关键词:PETRI网 非对称选择网 Petri网共享T型子网合成活性分析 被引量:1 2007年 为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。 夏传良关键词:PETRI网 活性 有界性 系统设计 用于多机器人制造系统的嵌入式系统仿真方法及系统 本公开提供了一种用于多机器人制造系统的嵌入式系统仿真方法及系统,所述方案包括:基于制造系统中加工和装配系统的功能和模块划分,分别构建加工控制系统PRES+网模型和装配控制系统PRES+网模型;基于共享库所型子网集组合方法... 夏传良Petri网的PP型子网精细化操作性质分析及应用 被引量:2 2006年 针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用 Petri 网精细化操作解决问题的方案。定义了一种 PP-型子网,用这种子网分别对 Petri 网系统中的某些库所进行细化,得到更细致、更精确的Petri 网系统。研究了 Petri 网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。 夏传良关键词:PETRI网 有界性 Petri网共享P型子网合成及其在系统设计中的应用 被引量:9 2007年 针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。 夏传良 鞠彦兵 李盛恩关键词:PETRI网 系统设计 有界性 活性 对一种计算机集成管理系统的应用研究 2005年 针对企业现存对外交流的信息平台所存在的不足,提出了将计算机电话集成技术系统与客户关系管理系统进行集成的方案,阐述了计算机电话集成技术系统与客户关系管理系统原理及其相关技术,给出了集成间的数据接口的定义,阐述了计算机电话集成系统智能路由的数据传输协议。利用该集成技术,可为企业改善服务,提高用户的满意度,促进企业经济效益的提高; 夏传良关键词:计算机电话集成 客户关系管理 数据接口