战茅
- 作品数：31 被引量：3H指数：1
- 供职机构：北京系统工程研究所更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向CBS的可测试性评估方法研究
- 2010年
- 本文主要研究了基于构件的软件(Component-based Software,CBS)可测试性的验证方法,并以此为基础分析了评估CBS可测试性的策略,包括可测试性评估的等级、可测试性评估的方法,力图对CBS的可测试性做出一个合理的评估结果。
- 宗建建战茅李冬红
- 关键词：CBS可测试性
- 高可信通用信息处理环境中负载平衡模型
- 讨论高可信分布式信息系统中的负载平衡策略,结合应用介绍了一种高可信通用信息处理环境中的负载平衡模型.
- 赵燕君佟金荣战茅
- 关键词：任务调度负载平衡
- 文献传递
- 面向对象的分布式工程数据管理
- 1996年
- 本文提出了以Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ和ＯＯＤＢ支持分布式工程数据管理的一种实现方案。着重介绍了系统中工程数据对象的组织管理，面向对象数据库中的事务处理与分布访问的关系，以及分布计算环境对异地访问的支持。
- 战茅王怀民阳国贵吴泉源
- 关键词：面向对象工程数据管理分布式CAD
- 基于代码的软件可靠性技术研究
- 本文在介绍软件可靠性概念的基础上,介绍基于代码的软件可靠性的技术研究,同时介绍Ada语言的基于代码的软件可靠性分析工具Adawise.
- 李冬红佟金荣战茅赵燕君
- 关键词：代码可靠性软件开发编程语言
- 文献传递
- 基于SWIFI的操作系统容错性测试框架研究
- 操作系统容错性测试框架是在对国外相关可信基准(如DBench项目)进行充分研究的基础上,根据操作系统的具体特征确定操作系统容错基准的度量元、工作负载、故障负载等方面的研究内容,最终将基于软件实现的故障注入技术结合操作系统...
- 战茅唐乐乐李冬红
- 关键词：度量元
- 文献传递
- 一种基于CLM矩阵的服务按需动态组合方法
- 本发明提供一种基于CLM矩阵的服务按需动态组合方法，该方法构建基于目标系统中全部服务的CLM矩阵；其中，CLM矩阵的行代表服务的各个输入参数；CLM矩阵的列代表服务的输出结果；根据用户需求及用户引导，得到满足用户需求的服...
- 邓波齐超袁志坚林旺群苏晓艳战茅刘志忠彭甫阳唐乐乐许帅隋然
- 文献传递
- 嵌入式软件POSIX.1标准符合性测试
- 本文是由863操作系统测试项目支持的,重点针对<手机软件平台API标准>中RTL函数中和操作系统函数中POSIX.1标准覆盖的函数进行标准符合性测试,详细介绍测试RTL函数C语言编程接口的NIST-PCTS测试集和测试操...
- 李冬红战茅马泽原
- 关键词：嵌入式软件操作系统
- 文献传递
- 基于SWIFI的操作系统容错性测试框架研究
- 操作系统容错性测试框架是在对国外相关可信基准(如DBench项目)进行充分研究的基础上，根据操作系统的具体特征确定操作系统容错基准的度量元、工作负载、故障负载等方面的研究内容，最终将基于软件实现的故障注入技术结合操作系统...
- 战茅赵燕君齐超苏晓艳
- 关键词：FAULT度量元
- 基于本体的语义Web元数据模型研究
- 现有的语义Web元数据在等多域信息资源描述、丰富资源内涵等问题上存在较大的问题,因此,本文提出一种基于本体元数据模型的设计思路,详细介绍了本体语言在元数据方面的一些描述实例,最后说明了基于本体的元数据模型实现方法。
- 战茅房友园
- 关键词：本体元数据语义WEB
- 文献传递
- 一个面向对象的数据库ONTOS被引量：1
- 1996年
- ONTOS是一个基于CLIENT/SERVER结构的面向对象数据库管理系统,文章从主要特点和功能,体系结构,编程等方面对这一先进数据库系统做了综述介绍。
- 阳国贵战茅
- 关键词：面向对象数据库
