首页>
根据【检索词:计算流体动力学 航空航天 湍流模型 高阶格式】搜索到相关结果 5 条
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2019
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
-
基于云计算的民航公共信息服务平台
-
作者:
彭明田
杨健
胡刚
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
旅客
民航
服务
资源
传统大型机
云计算
-
描述:
随着社会经济的迅速发展和民航信息服务市场容量的扩大,民航服务产业不断拓展,民航信息服务业的竞争日趋激烈。云计算是分布式处理、并行处理和网格计算的发展。通过云技术,网络服务提供者可以在数秒之内,达成
-
民航云计算环境下的SLA保证策略研究
-
作者:
沈强
杨健
王家亮
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
负载均衡
民航
服务
服务等级协议
资源
动态迁移
云计算
-
描述:
为了营造民航业应用云计算的环境,让航空公司、机场等用户将关键的业务迁移到云计算平台,细化服务品质,实现服务协议的精细化愈加重要。云计算资源的池化对信息系统底层资源的管理提出了更高要求,基于云计算
-
民航云计算环境下的SLA保证策略研究
-
作者:
沈强
杨健
王家亮
来源:
计算机技术与发展
年份:
2019
文献类型 :
期刊
关键词:
负载均衡
民航
服务
服务等级协议
资源
动态迁移
云计算
-
描述:
为了营造民航业应用云计算的环境,让航空公司、机场等用户将关键的业务迁移到云计算平台,细化服务品质,实现服务协议的精细化愈加重要。云计算资源的池化对信息系统底层资源的管理提出了更高要求,基于云计算