公共文化服务平台

国家自然科学基金(60273056): 作品数：38 被引量：275H指数：8; 相关作者：董金祥尹建伟陈刚冯志林吴健更多>>; 相关机构：浙江大学北京神舟航天软件技术有限公司华南农业大学更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划广东省科技攻关计划更多>>; 相关领域：自动化与计算机技术机械工程电气工程一般工业技术更多>>

基于语义网的产品配置知识表达及检索被引量：13: 2005年; 基于语义网的产品配置知识表达 ,通过产品配置本体为产品配置领域知识建模 ,有效地描述产品配置知识库 ,解决信息检索和信息集成在语义模糊、语义异构等难点上的困扰 ;强调配置知识的共享和重用 ;提供异构系统间数据共享和数据交换的途径从知识本体的角度出发 ,详述构成产品配置本体的部件集、部件属性集、配置关系、评价规则集合文中介绍了一个基于语义网的产品配置知识的原型系统SWB及其检索部分的体系结构 ,并给出其查询语言的巴克斯范式 (BNF)描述; 吴健陈珂董金祥; 关键词：语义网本体产品配置知识表达

支持自组织长事务模型的EAI引擎并发调度研究及实现: 2005年; 针对传统长事务处理过程中所表现出的效率低下,操作步骤烦琐复杂且不易实现的不足,提出了一种自组织长事务并发控制模型。该模型允许事务内部结构和同步关系的自主建模,并通过EAI引擎运行期自行解析事务内部结构,以提高EAI引擎的执行并发度,保证事务执行遵循正确时序,并减少了冲突和回滚。最后给出了一个利用该模型实现的企业应用集成原型系统。; 黄成尹建伟董金祥; 关键词：自组织长事务

增强权限约束支持的基于任务访问控制模型被引量：25: 2006年; 针对基于任务访问控制模型的权限管理与实现机制的不足,在任务规则的基础上,提出一种增强权限约束支持的基于任务访问控制模型.该模型通过任务型权限集合的定义,把任务与权限融合在一起研究权限产生的约束机制,同时给出模型形式化定义以及权限关联的各种约束规则,并介绍了该模型在AVIDM中的应用.实践表明,该模型提供了更灵活的授权机制,增强了任务模型的实用性,方便了权限管理工作,适合事务管理系统与工作流环境下的访问控制建模.; 尹建伟徐争前冯志林陈刚董金祥; 关键词：访问控制角色

基于多库的协同文档管理系统的研究被引量：4: 2006年; 复杂产品的研制和开发通常需要经过若干个阶段,每个阶段对文档数据的管理要求各不相同,传统的协同文档管理系统忽略了这个事实。针对上述问题,提出了库的概念,作为存储和管理文档数据的基本逻辑单位。基于工作流给出库迁移模型,实现文档数据在库之间的自动流转,解决文档跨域协同设计问题。提出了基于项目和库的逻辑和物理全分布数据存储方案,可满足海量数据存储和不同设计阶段的数据安全管控要求。这些方法适用于支持复杂产品的协同设计的文档管理系统的研制与开发。; 朱理尹建伟陈刚董金祥王冰冰; 关键词：工作流协同设计

基于本体的功能建模框架及协同设计环境研究被引量：22: 2007年; 为解决异种功能模型间知识共享与交换的难题,提出了一种基于本体的功能建模框架。该框架分为功能设计知识本体表示模型、语义约束规则和功能建模推理规则3部分。通过离心通风机本体库的设计及网络本体语言的实现,验证了该本体功能建模框架的有效性。在本体功能建模框架的基础上,提出了一种多智能体协同功能设计环境的系统设计方案,利用网络本体语言作为FIPA的智能体通信语言的内容语言,以实现基于多智能体的功能设计本体传递与交换,满足更具意义的协同功能设计要求。; 张立陈刚王玉柱董金祥; 关键词：本体知识表示多智能体

分布式遗传退火算法求解分布式配置问题被引量：2: 2005年; 利用分布式约束满足的方法求解分布式配置问题时,在过约束和欠约束条件下都不能得到令人满意的结果.文中将分布式配置问题抽象为分布式组合最优化问题,把遗传退火算法扩展到分布式计算环境以求解分布式配置问题.以SOAP为基础搭建实验平台,在各种约束情况下,文中算法都给出了令人满意的实验结果.可见分布式遗传退火算法可以求解各种约束条件下的分布式配置问题.; 杨晗尹建伟董金祥罗尚虎; 关键词：遗传退火算法 SOAP

基于超图的软件产品线形式化模型: 2007年; 特征建模通过领域分析确定共同特征和可变特征,为软件产品开发参与人员提供了领域内唯一可确定的抽象。特征地图及其元模型对特征模型进行扩展,支持特征选取确定可复用框架之上的资产制品快速定位和组装,生成满足依赖关系和约束条件的软件产品家族。通过为特征地图及其元模型分别建立语义超图形式化模型,并提供语义跳转机制实现语义层次之间语义信息的关联,构成纵横交错的语义结构,可满足软件产品线语义多样性表达和一致性验证的需求。; 李弈远尹建伟高鹏董金祥; 关键词：元模型超图语义层次

基于Pi-Calculus的跨组织工作流建模方法被引量：4: 2006年; 针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W fMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义。此外,利用Pi-Calculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。; 潘晓华冯志林尹建伟郑正平董金祥; 关键词：工作流建模跨组织流程

结合区间算术和退火遗传算法的曲面求交被引量：2: 2004年; In this paper, a robust surface intersection algorithm is constructed using interval arithmetic and annealing genetic algorithm. By using interval arithmetic to analyse error boundary, to divide three ill-conditioned cases in surface intersection, and improve the robustness of the algorithm. By utilizing the global searching ability and instinct attribute for parallel computation of annealing genetic algorithm, to realize stable and efficient surface intersection. The algorithm is descripted in detail and has been implemented in C++ based on Windows NT platform. Instances and test datum are given also.; 王华董金祥; 关键词：曲面求交 C++NT 退火遗传算法

应用组态软件的超声电机运动参数测试系统被引量：4: 2010年; 将组态软件、数据采集控制模块与超声电机驱动系统相结合,构建了基于组态软件的超声电机测试系统。该系统能稳定实现超声电机运动参数的测试和计算机定位控制。测试结果表明,该系统操作简单,测试的数据可靠,定位控制准确。; 许利霞张铁民刘潇建; 关键词：组态软件控制模块超声电机

国家自然科学基金(60273056)