位置：立项数据库 > 立项详情页
集成体系结构互操作性检验
  • 项目名称：集成体系结构互操作性检验
  • 项目类别：面上项目
  • 批准号：60874068
  • 申请代码：F030202
  • 项目来源：国家自然科学基金
  • 研究期限：2009-01-01-2011-12-31
  • 项目负责人：王明哲
  • 负责人职称：教授
  • 依托单位：华中科技大学
  • 批准年度：2008
中文摘要：

互操作性是众多组件系统的涌现行为属性，是集成体系结构设计追求的核心价值。为了规避大型系统的集成风险，申请立项研究集成体系结构互操作性检验的理论与方法。通过一体化模型、数据一致性、逻辑正确性和互操作行为的模型检查、逻辑验证和综合模型仿真检测研究，提出集成体系结构互操作性检验的理论、措施和步骤，以保证集成体系结构能够有效地支撑大型集成系统实现期待的互操作水平和整体服务能力。

中文主题词： 集成系统；体系结构；互操作性；检验方法；涌现行为
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 24
  • 2
  • 0
  • 0
  • 0
期刊论文
基于Arena和Petri网的雷达系统仿真
Executable Architecture Modeling And Validation
改进粒子群算法在雷达网优化部署中的应用
诱导信息下的路径选择行为模型
Modeling of combined Bayesian networks and cognitive framework for decision-making in C2
Modeling En-route Driver Route Choice Behavior Under Real-time Traffic Information
Modeling of cognitive framework in time-stressed decision making
一种改进的Petri网S不变量计算方法
A new method for structural analysis of Petri net models based on incidence matrix
面向决策过程的动态路径选择模型
基于面向对象思想的SoS体系结构设计方法
可执行体系结构的HCPN建模方法
用影响网分析复杂系统关键事件
大型Petri网模型最小trap (siphon)集合的快速求解算法
M3 based executable architecture modeling and validation
Sensitivity analysis on causal chains of Bayesian networks
A measurement method of the interoperability of integrated systems based on process net
An appraisal method of the interoperability of architecture based on DoDAF
用关联矩阵特征值分析Petri网模型结构
着色Petri网的混杂系统仿真平台构架
着色Petri网的结构展开方法
大型Petri网模型最小trap（siphon）集合的快速求解算法
Modeling of cognitive framework in time-stressed decision making
一种战略预警系统体系结构研究的思路
会议论文
Extraction and Confirmation of Rules for Human Decision Making
New Method of Specifying and Modeling Stochastic Concurrent Systems
相关项目
面向体系结构功能验证的仿真原型构造方法研究
期刊论文 22 会议论文 3
面向网络存储的集群系统的体系结构
期刊论文 10
受SARS病毒污染废水的强化生物—光电氧化集成技术系统
期刊论文 2
基于多种传感器集成系统的表面智能化测量理论与技术研究
期刊论文 19 会议论文 3 著作 1
三维片上网络热均衡关键技术研究
期刊论文 6 会议论文 19 专利 6
基于软硬件协同优化的线程间指令重用研究
期刊论文 1 会议论文 7
面向演化的体系结构设计与优化方法研究
期刊论文 24 会议论文 8 著作 2
网络环境下自适应学习系统体系结构与关键技术研究
期刊论文 4
Web服务环境中工作流视图机制的研究与开发
期刊论文 23 会议论文 3 著作 1
王明哲的项目
决策失误和保序认知控制模型的研究
期刊论文 2
基于行为的SoS体系结构评价研究
期刊论文 3