您的位置： 专家智库 > >

郑红

作品数：4 被引量：9H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金香港特区政府研究资助局资助项目更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

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

领域

  • 3篇自动化与计算...
  • 1篇经济管理

主题

  • 2篇事务处理
  • 2篇分布式
  • 2篇分布式系统
  • 2篇CORBA
  • 2篇CORBA系...
  • 2篇PETRI网
  • 1篇形式化
  • 1篇形式化建模
  • 1篇时序PETR...
  • 1篇期货
  • 1篇期货交易
  • 1篇自适
  • 1篇自适应
  • 1篇面向对象
  • 1篇决策支持
  • 1篇决策支持系统
  • 1篇计算机
  • 1篇建模技术
  • 1篇交易
  • 1篇CORBA规...

机构

  • 4篇中国科学院软...
  • 2篇中山大学

作者

  • 4篇郑红
  • 2篇李师贤
  • 1篇关铨光

传媒

  • 1篇系统仿真学报
  • 1篇计算机工程与...
  • 1篇第九届全国P...

年份

  • 3篇2003
  • 1篇2002
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
分布式系统形式化建模技术研究
该文研究工作的主要贡献表现在如下几个方面:(1)从理论上研究并分析了CORBA对象服务规范与其扩展着色Petri网模型的动态行为一致性.分析表明扩展着色Petri网模型不仅能够清楚描述系统对象的静态行为,同时也能极好地模...
郑红
关键词：分布式系统CORBA规范PETRI网建模技术
文献传递
CORBA系统事务处理的模拟和分析
事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责...
郑红李师贤
关键词：CORBAPETRI网事务处理面向对象分布式系统
文献传递
CORBA系统事务处理的模拟和分析
2003年
事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则。CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责将事务处理与对象在ORB层上结合。事务成为分布式对象系统中恢复、一致性、并发的基本单位。用着色时序Petri网模拟和分析CORBA环境下的事务处理。
郑红李师贤
关键词：CORBA时序PETRI网
自适应的期货交易决策支持系统的研究与实现被引量：1
2002年
论述了自适应的期货交易决策支持系统的研究与实现，并在一般的决策支持系统的基础上提出自适应部件的概念及其在系统开发中的实施。
关铨光郑红
关键词：决策支持系统期货交易计算机
全选 清除 导出
共1页<1>
聚类工具0