您的位置： 专家智库 > >

刘静

作品数：3 被引量：6H指数：1
供职机构：北京广播学院理学院更多>>
发文基金：河北省自然科学基金更多>>
相关领域：自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇机械工程

主题

  • 2篇动态联盟
  • 2篇协同设计
  • 2篇联盟
  • 2篇Π-演算
  • 1篇数据查询
  • 1篇数据库
  • 1篇系统模型
  • 1篇机械产品
  • 1篇计算机
  • 1篇计算机辅助设...
  • 1篇发言权
  • 1篇辅助设计
  • 1篇查询
  • 1篇查询过程
  • 1篇PETRI网

机构

  • 3篇北京广播学院
  • 3篇河北工业大学

作者

  • 3篇刘静
  • 3篇王永滨
  • 2篇孟庆龙
  • 1篇孟跃进

传媒

  • 1篇计算机集成制...
  • 1篇计算机辅助设...
  • 1篇全国零部件设...

年份

  • 1篇2004
  • 1篇2003
  • 1篇2002
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
动态联盟中的同步协同设计系统模型被引量：1
2004年
利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态行为 ;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁 。
王永滨刘静孟跃进孟庆龙
关键词：协同设计动态联盟发言权Π-演算PETRI网
动态联盟中的协同设计系统模型
为了研究企业动态联盟中协同设计系统的特性,相关的形式化研究是非常必要的.论文给出了可体现系统配置灵敏性的π-演算模型.这将成为研究系统动态行为的基础,对实现技术的选择和系统开发策略的制定具有指导作用.
刘静王永滨
关键词：动态联盟协同设计Π-演算计算机辅助设计机械产品
文献传递
多数据源集成系统中数据查询过程的π-演算模型被引量：5
2003年
企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给出了其简化的数据查询过程的π-演算模型。利用该模型研究了系统动态行为,表现其多层结构中多代理、多对象之间的互操作性。该模型显示了HDSI的并发性、分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性。该形式化模型有利于系统的改进、维护及验证。
王永滨孟庆龙刘静
关键词：数据查询数据库
全选 清除 导出
共1页<1>
聚类工具0