NFZ-10辐照用电子直线加速器束流性能测试

辐照加工是一种新兴的高技术加工方法,广泛应用于改善材料性能、生成新材料、消毒灭菌、食品保鲜等领域,其应用前景十分诱人.介绍了NFZ＿10辐照用电子直线加速器的主要束流性能指标和这些指标的测试方法及测量结果.结果表明,主要束流性能指标均达到和超过设计指标要求,优于国家行业标准指标要求.其中:能量不稳定度≤±1.8%,优于设计指标≤±3%;束流不稳定度≤±0.9%,优于设计指标≤±5%;扫描不均匀度≤±3.2%,优于设计指标≤±5%的要求.     

Parlay／OSA网关协议映射的一种实现模式

Parlay／OSA（Open service access）网关的主要功能之一是实现各种电信协议到Parlay／OSA API的映射。OMG的CORBA／TC Interworking规范给出了使用TC／SS7的通信实体与基于CORBA的实体交互的建议，因为大部分的Parlay／OSA网关是基于CORBA实现的，因此该规范对协议映射的实现具有重要的参考价值。在深入理解TC—CORBA规范的基础上，提出了一种Parlay／OSA网关中协议映射实现的一种模式。重点描述了模式的主要体系结构和工作流程，分析了其特点。此模式对Parlay／OSA网关产品中协议映射的实现具有重要的参考价值。     

基于Web服务的空间信息共享与互操作模型研究

分析了传统的解决空间信息共享与互操作方法存在的不足，提出从数据共享、功能互操作系统集成等多面考虑实现空间信息共享与互操作的设计思想，建立基于Web服务的分布式空间信息共享与互操作模型，对模型的功能及空间数据共享与互操作的工作过程进行阐述，并给出对比评价。此模型对有效构建Web空间信息服务具有参考价值。     

Superpave技术现状及对我国沥青路面技术的启示

高性能沥青路面技术 ( Superpave)是美国公路战略研究计划 ( SH RP)的沥青课题研究成果。文章介绍了 Superpave技术的现状 ,着重从胶结料和集料规范、混合料体积设计、混合料施工及性能预测等方面分析了这一成果与传统规范的不同 ,对解决我国现行规范中存在的一些问题具有一定的借鉴价值     

Refinement and Transformation from Z Specification to C + +

As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software. With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.     

Specifying requirements of real-time system with rules and templates

This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end. Foundation item: Supported by the National Natural Science Foundation of China (69873035) and the Research Fund for the Doctoral Program of Higher Education(RFDP) Biography: Wu Guo-qing(1954-), male, Professor, research interest: software formal theory, requirement engineering.     

第三代移动通信IMT-2000的ITU-R推荐标准概述

介绍了ＩＴＵ－Ｒ关于ＩＭＴ－２０００的最新推荐标准,分析了ｃｄｍａ２０００、ＷＣＤＭＡ以及ＣＤＭＡ ＴＤＤ这三种主流第三代系统无线接口技术特点,并了ＣＤＭＡ ＴＤＤ标准的进一步融合问题。     

逐点回归映射与弱Specification(英文)

重点证明了紧致度量空间上的逐点回归映射不满足弱Specification性质。     

多传感器数据融合系统结构设计规范研究

为了提高多传感器数据融合系统的重用性,从软件开发系统工程的观点出发,提出一个数据融合系统结构设计的标准方法与步骤,采用UML对数据融合系统体系结构设计进行描述,并用着色Petri网对融合系统的信息流进行动态分析.以此为基础的结构设计,大大提高了系统的通用性,增强了系统设计人员之间以及设计人员与用户之间理解的一致性,达到充分利用系统资源和发挥系统性能的目的,为多传感器数据融合系统的设计提供了一个具有参考价值的设计框架.     

Reusing Test Cases Based on the Function Point

Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.