检索结果-南通市图书馆

《离散数学》课程过程化考核评价体系的研究与实践

在线全文

学校读者我要写书评

暂无评论

中国科技经济新闻数据库教育 2023年第11期 46-49页

作者：赵慧马炳先蔺永政济南大学信息科学与工程学院山东济南250022

本文以通过《离散数学》课程激发学生计算思维,培养学生分析问题、解决问题的能力为目标,对现有课程存在的考核评价体系进行剖析和研究,完善和构建全面闭环式的过程化考核评价体系,能够更好的调整教与学中存在的不足,服务于师生。构建... 详细信息

本文以通过《离散数学》课程激发学生计算思维,培养学生分析问题、解决问题的能力为目标,对现有课程存在的考核评价体系进行剖析和研究,完善和构建全面闭环式的过程化考核评价体系,能够更好的调整教与学中存在的不足,服务于师生。构建全面的过程化考核评价体系并不是重点在一个环节的设计,而是教学、考核、评价等多个环节的环环相扣。充分的课程内容是基础,丰富的课程资源是后盾,多元性的过程化考核设置是途径,有效的教学评价(师生,生生互动与反馈)是目的,师生之间的评价反馈又促进授课内容的改进。一个循环良好的过程化考核评价体系不仅增加了师生之间的关系,而且使得学生能够换角度去思考学习问题。

关键词：离散数学过程化考核评价体系

基于语义的Petri网自动共享合成方法研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

系统仿真学报 2012年第11期24卷 2237-2242页

作者：相东明马炳先张正明山东省网络环境智能计算技术重点实验室济南250022 济南大学信息科学与工程学院济南250022

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则... 详细信息

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。

关键词： Petri网共享合成语义标记本体

在线全文

学校读者我要写书评

暂无评论

多主体行为冲突的Petri网方法研究

计算机工程 2006年第9期32卷 13-15,18页

作者：马炳先吴哲辉徐颖蕾中国科学院计算技术研究所智能信息处理重点实验室山东科技大学信息科学与工程学院泰安271019 山东财政学院计算机学院济南250014

将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petri网系统运行时... 详细信息

将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petri网系统运行时的一个死标识对应多主体系统的一个冲突,特别是资源冲突。

关键词：智能主体多主体系统冲突 Petri网

在线全文

学校读者我要写书评

暂无评论

无冲突Petri网的结构活性判定研究

计算机工程 2021年第7期47卷 296-300页

作者：徐颖蕾马炳先山东财经大学计算机科学与技术学院济南250014 山东省数字媒体技术重点实验室济南250014 济南大学信息科学与工程学院济南250022

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,... 详细信息

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。

关键词： Petri网无冲突结构结构活性有向回路 T-外延子网

在线全文

学校读者我要写书评

暂无评论

多主体计划的Petri网方法及其研究

计算机工程 2006年第14期32卷 4-6,19页

作者：马炳先吴哲辉徐颖蕾中国科学院计算技术研究所智能信息处理重点实验室山东科技大学信息科学与工程学院泰安271019 山东财政学院计算机学院济南250064

利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Pefir网系统进行描述,进而得到多主体系统相应的有界层次Petr... 详细信息

利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Pefir网系统进行描述,进而得到多主体系统相应的有界层次Petri网系统。利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合,对可行可达动作序列及其中动作间关系确定得到多主体系统的计划。

关键词：主体多主体系统计划 Petri网

基于主体的语义Web服务的Petri网模拟方法(英文)

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2005年第1期17卷 120-123页

作者：马炳先吴哲辉谢能付中科院计算所智能信息处理重点实验室山东科技大学信息学院山东泰安2710109

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这... 详细信息

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题,利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。

关键词：语义web 语义web服务智能主体 Petri网

OWL-S服务操作语义的Petri网描述新方法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2007年第A1期19卷 69-74,128页

作者：马炳先杜玉越济南大学信息科学与工程学院山东科技大学信息科学与工程学院中国科学院软件研究所计算机科学重点实验室北京100080

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件... 详细信息

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。

关键词： owl-s 操作语义动态描述逻辑 Petri网

在线全文

学校读者我要写书评

暂无评论

基于Petri网的Web服务的创建与描述

系统仿真学报 2011年第B7期23卷 19-25页

作者：张正明马炳先相东明山东省网络环境智能计算技术重点实验室济南250022 济南大学信息科学与工程学院济南250022

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Pe... 详细信息

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。

关键词： Web服务 Petri网本体 PNML OWL-S

在线全文

学校读者我要写书评

暂无评论

基于轮廓系数的聚类有效性分析

计算机应用 2010年第12期30卷 139-141,198页

作者：朱连江马炳先赵学泉济南大学信息科学与工程学院济南250022 联通系统集成有限公司山东省分公司济南250100

针对聚类结果进行有效性研究的方法有多种。通过对多种不同聚类有效性分析方法的比较,提出了一种新的基于轮廓系数的聚类有效性分析方法,并将其应用于K-m eans算法的评测中。与其他有效性分析方法相比,该方法可以更好实现对于聚类效果... 详细信息

针对聚类结果进行有效性研究的方法有多种。通过对多种不同聚类有效性分析方法的比较,提出了一种新的基于轮廓系数的聚类有效性分析方法,并将其应用于K-m eans算法的评测中。与其他有效性分析方法相比,该方法可以更好实现对于聚类效果的判断,在标准数据集上的实验结果有效地验证了这点。并进一步将此有效性分析方法应用于文本聚类。

关键词：聚类 K均值算法轮廓系数有效性分析无监督