您的位置： 专家智库 > >

马炳先

作品数：35 被引量：210H指数：7
供职机构：济南大学信息科学与工程学院更多>>
发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金山东省高等学校科技计划项目更多>>
相关领域：自动化与计算机技术经济管理哲学宗教文化科学更多>>

合作作者

文献类型

  • 25篇期刊文章
  • 7篇会议论文
  • 2篇学位论文
  • 1篇专利

领域

  • 31篇自动化与计算...
  • 2篇经济管理
  • 1篇哲学宗教
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇文化科学

主题

  • 23篇PETRI网
  • 10篇WEB服务
  • 5篇动态描述逻辑
  • 5篇智能主体
  • 5篇描述逻辑
  • 4篇语义WEB服...
  • 4篇自动生成
  • 4篇自动生成方法
  • 4篇服务质量
  • 4篇本体
  • 4篇OWL-S
  • 4篇PNML
  • 3篇多主体
  • 3篇多主体系统
  • 3篇OWL
  • 3篇WEB服务组...
  • 2篇遗传算法
  • 2篇用户
  • 2篇语义WEB
  • 2篇面向用户

机构

  • 25篇济南大学
  • 10篇山东科技大学
  • 7篇中国科学院
  • 5篇山东财政学院
  • 2篇北京科技大学
  • 2篇曲阜师范大学
  • 2篇中国科学院软...
  • 1篇山东大学
  • 1篇山东财经大学

作者

  • 35篇马炳先
  • 7篇吴哲辉
  • 5篇徐颖蕾
  • 5篇张正明
  • 4篇相东明
  • 4篇于代荣
  • 2篇杨扬
  • 2篇崔纪鹏
  • 2篇杜玉越
  • 2篇禹继国
  • 2篇陈宇
  • 2篇曾庆田
  • 1篇曲守宁
  • 1篇曾明
  • 1篇蔺永政
  • 1篇谢能付
  • 1篇李念强
  • 1篇朱连江
  • 1篇陈月辉
  • 1篇曹宝香

传媒

  • 6篇系统仿真学报
  • 5篇计算机工程
  • 3篇计算机科学
  • 2篇小型微型计算...
  • 2篇计算机技术与...
  • 2篇2012年第...
  • 1篇自动化学报
  • 1篇电信科学
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇山东科技大学...
  • 1篇济南大学学报...
  • 1篇中国科技经济...
  • 1篇第九届全国P...
  • 1篇第十二届全国...
  • 1篇第十一届全国...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2016
  • 1篇2014
  • 3篇2013
  • 5篇2012
  • 4篇2011
  • 2篇2010
  • 2篇2009
  • 2篇2008
  • 3篇2007
  • 4篇2006
  • 1篇2005
  • 1篇2004
  • 3篇2003
  • 1篇2002
共 35 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
多主体行为模拟的层次Petri网方法被引量：10
2006年
对多主体系统中主体行为间关系进行准确的描述和分析是保证多主体系统顺利运行的关键因素之一。与已有的基于Petri网的方法不同,该文将主体的动作分类为内部和外部动作,利用Petri网系统描述单个主体的内部结构,进而得到多主体系统的层次Petri网系统模型,每个主体的内部结构在系统网系统中表现为一个替代变迁元素,如此可以从两个层次(系统层和主体层)上对多主体系统的各种动态行为间的关系,特别是并发关系进行描述和分析。
禹继国马炳先曹宝香刘桂真
关键词：智能主体多主体系统PETRI网
一个完善的基于判定链表的DFA最小化算法
2013年
应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基于判定链表的DFA最小化算法。该算法涵盖所有等价状态的链表处理,与传统的分割或合并算法的最小化结果一致,保证了基于判定链表的最小化结果的正确性。
陈矗任平红禹继国马炳先
关键词：最小化
基于Petri网的Web服务注册方法的研究与实现被引量：3
2012年
为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法。首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明。
张正明马炳先相东明
关键词：WEB服务本体PETRI网
OWL-S服务操作语义的Petri网描述新方法被引量：4
2007年
提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。
马炳先杜玉越
关键词：OWL-S操作语义动态描述逻辑PETRI网
多主体行为冲突的Petri网方法研究被引量：6
2006年
将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petri网系统运行时的一个死标识对应多主体系统的一个冲突,特别是资源冲突。
马炳先吴哲辉徐颖蕾
关键词：智能主体多主体系统PETRI网
Petri网的进程表达式与语言表达式被引量：11
2004年
Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )
曾庆田吴哲辉马炳先
关键词：PETRI网语言
动态描述逻辑动作间关系的Petri网分析方法研究被引量：6
2007年
针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
马炳先徐颖蕾
关键词：描述逻辑动态描述逻辑PETRI网
Web服务组合的Petri网自动生成方法
本文针对Petri网理论与方法在服务计算中的应用，从Web服务执行的角度，在定义Web服务组合的Petri网的基础上，给出Web服务组合的Petri网的自动生成方法。首先对Web服务的Petri网描述，通过利用Web服务...
马炳先相东明张正明
关键词：计算机网络网络服务程序设计
利用进化模糊K近邻及其集成预测蛋白质亚核定位
2010年
针对从蛋白质原始序列中预测蛋白质定位及功能信息这个生物信息学中研究的热点问题,提出进化模糊K近邻算法(Evolutionary Fuzzy K-Nearest Neighbor,EFKNN)直接处理多分类问题的预测模型,用EFKNN及其集成直接从蛋白质序列中预测蛋白质亚核定位。采用5种特征提取算法从蛋白质序列中提取特征,训练了5个基于EFKNN的基分类器,并根据得票量大小原则集成每个基分类器的分类结果作为待测样本的输出。将蛋白质亚核定位预测中常用的数据集SNL9作为训练集,利用jackknife测试方法预测了数据集中每条单定位亚核蛋白,正确率为70.0%,表明该模型可以作为蛋白质亚核定位预测的工具或对现有预测模型和方法的补充。
刘立元陈月辉马炳先曹毅
关键词：粒子群优化算法
结构活网的活标识
该文讨论了一个结构活网的活标识的配置问题,通过对网中所含有的冲突结构的分析,首先详细讨论了不含冲突结构的结构活网的活标识别的配置和标识的单调性研究,并得到该类Petri网活标识的一个充分必要条件,然后对含有冲突的结构活网...
马炳先
文献传递
全选 清除 导出
共4页<1234>
聚类工具0