魏定国

作品数：25被引量：25H指数：2
导出分析报告
供职机构：广东财经大学更多>>
发文主题：PETRI网系统开发UML数据库智能代理更多>>
发文领域：自动化与计算机技术经济管理电子电信文化科学更多>>
发文期刊：《通信学报》《会计之友》《小型微型计算机系统》《黑龙江财会》更多>>
所获基金：广东省科技攻关计划广东省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
会计教育中知识结构评估的研究被引量：1
《会计之友》2009年第16期93-95,共3页魏定国 田瑞英 
广东自然科学基金项目(06300970)资助
众所周知,知识结构是各个专业领域的专业技能的决定因素。知识结构评估是教师了解学生的知识结构是否朝着合适的方向发展、鉴别学习或培训是否有效的方法。然而这种评估很少被应用到会计教学之中。本文探索了一种评估技术,即路径查找技...
关键词：知识结构 课堂评估技术 结构化评估 
Petri网中子网的分类与规范化研究
《计算机科学》2008年第6期131-134,167,共5页王志坚 魏定国 吴时霖 
国家自然科学基金(60503007);广东省自然科学基金(06300970)资助
研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题,给出了相关的定义;通过分析不同子网的特点,将子网分为T子网、P子网、TP子网和PT子网等不同类型;提出了接口标准化和子网规范化的思想。研究成果有助于基于子网的结构化...
关键词：子网 接口 标准化 规范子网 
基于Petri网统一模型的系统开发方法研究
《系统仿真学报》2007年第A01期175-178,共4页王志坚 魏定国 吴时霖 
国家自然科学基金(60503007);广东省自然科学基金(06300970)。
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri...
关键词：PETRI网 系统建模 系统分析 IDEF0 
用UML与Petri网为智能代理建模被引量：1
《小型微型计算机系统》2006年第12期2286-2289,共4页魏定国 彭宏 
广东省科技攻关项目(2004A10202001)资助;广州市科攻关项目(2004Z2-D0091)资助.
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性...
关键词：PETRI网 AUML 智能代理 系统开发 
基于知识网格的数据挖掘被引量：9
《计算机科学》2006年第6期210-213,共4页魏定国 彭宏 
广东科技攻关项目(2004A10202001);广州市科攻关项目(2004Z2-D0091)的资助。
工业、科学、商务等领域的数据通常分布在不同的地方,需要在不同的地点对其进行分布式维护,只有使用计算功能超强的分布式、并行处理系统才能分析这些领域所产生的超大规模数据集。网格为分布式知识发现应用中的计算提供了有效支持。为...
关键词：数据挖掘 知识网格 网格计算 网格调度 
AUML与PETRI网结合使用的研究被引量：1
《系统仿真学报》2005年第z1期193-196,共4页魏定国 吴时霖 
广东省科技攻关项目(2004A10202001);广州市科攻关项目(2004Z2-D0091)
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性...
关键词：PETRI网 AUML 智能代理 系统开发 
电子谈判媒体的设计与实施的研究
《计算机科学》2004年第9期82-86,共5页魏定国 吴时霖 
在网上电子市场要对电子谈判提供有效支持是非常重要的需求,然而目前对电子谈判媒体设计的研究很少。本文构建了电子谈判媒体进行设计与实施模型。在此模型下,能够在概念级上对谈判方案进行设计,能对电子谈判的过程和特性进行形式化描述...
关键词：谈判方案 电子市场 支持 需求 媒体设计 伙伴 模型 网上 构建 理解 
基于Petri网的RBAC策略验证的研究被引量：5
《小型微型计算机系统》2004年第5期827-832,共6页魏定国 吴时霖 
本文为 RBAC模型提出了一个基于着色 Petri网的策略规格说明和分析的架构 .Petri网能够捕获基数、责任分离等约束 ,而且能对优先和依赖约束进行说明 .使用 Petri网的可达到性分析技术对 RBAC策略进行正确性验证 .
关键词：PETRI网 RBAC 策略 验证 
谈判代理开发典型案例的研究
《现代计算机》2004年第12期6-11,共6页魏定国 
本文通过两个典型案例说明一个灵活有效的谈判代理开发方法。使用状态图和可废止逻辑规则说明谈判策略,将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理。由于状态图和可废止逻...
关键词：代理 状态图 解释器 插入 开发方法 引擎 逻辑规则 谈判策略 废止 应用环境 
一个高效的电子商务谈判支持架构被引量：1
《计算机科学》2004年第3期61-66,共6页魏定国 吴时霖 
本文提供了一个通信管理与文档管理相结合的全新架构,能对谈判的各方面提供有效的支持。虽然模型主要强调对谈判的有效“支持”,但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了思想基础。
关键词：电子商务 电子谈判 文档管理系统 通信管理 谈判支持架构 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部