吴定豪

作品数：2被引量：29H指数：1
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：计算机系统软件开发软件互操作混成系统控制系统更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《南京大学学报（自然科学版）》《计算机研究与发展》更多>>
所获基金：国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于状态空间的混成系统设计方法的理论基础研究
《南京大学学报（自然科学版）》1999年第5期564-572,共9页吴定豪 吕建 
国家杰出青年科学基金
主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先，在引入相关的ＣＯＮＴＲＯＬ语言的基础上，给出了其用“演化机”定义的操作语义和用扩展的Ｈｏａｒｅ 逻辑形式系统Ｈ′定义的公理语义．然后证明了Ｈ′是以演化机为...
关键词：混成系统 状态空间 可靠性 控制系统 系统集成 
软件互操作研究与进展被引量：29
《计算机研究与发展》1998年第7期577-583,共7页丁俊华 董桓 吴定豪 吕建 
国家杰出青年科学基金
软件互操作是开放分布式处理中的一个重要目标．文中首先讨论了软件互操作的基本原理，并重点介绍了当前具有代表性的互操作方法，评述了它们的优缺点．在此基础上，提出并简单介绍了面向应用框架的互操作方法．
关键词：软件互操作 软件开发 计算机系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部