公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

面向航天器测试领域的可定制数据查询分析方法: 2009年; 基于当前航天器测试领域数据查询分析需求及应用系统的现状,提出了一种基于服务组合技术的可定制数据查询分析方法。给出了由数据查询分析基本服务生成组合服务的算法,解决了多变数据查询分析需求的动态满足的问题。实验表明,该方法可以动态生成数据查询处理逻辑,并正确可行。; 王叶李先军余丹马世龙; 关键词：可定制航天器测试数据查询

Ambient演算的一种分层语义: 2009年; 网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.; 吕江花马世龙; 关键词：语义 AMBIENT 基调论域

航天器自动化测试中一种数据持久化方法的实现: 2009年; 在航天器自动化测试中,数据量大,数据种类众多,数据模型复杂,数据访问模式需具备较高的自适应性,因此数据资源的访问与管理是其中的基础与关键。根据航天器自动化测试中数据组织和管理的要求,提出了一种基于反射和"惯例优先配置"思想的数据持久化方法,分析并应用到航天器自动化测试系统中。; 徐帆李先军; 关键词：数据持久化

航天器自动化测试与航天器测试语言被引量：5: 2009年; 通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.; 孙波马世龙余丹; 关键词：航天器自动化测试测试语言

航天器自动化测试语言研究被引量：2: 2010年; 航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。; 余丹马世龙李先军孙波叶钢; 关键词：航天器自动化测试

全选清除导出

共1页<1>

国家重点基础研究发展计划(G2005CB321902)