基于ASL的模型驱动架构测试方法

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法：从UML模型出发,将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。     

Mechanical analysis of hollow fiber membrane integrity in water reuse applications

In order to gain insight into membrane fiber failure (i.e., loss of integrity), properties of five hollow fiber membranes and four hollow fiber modules were evaluated. Specifically, membrane material, membrane symmetry, fiber modulus of elasticity, fiber diameter and thickness, module potting technique, module flow pattern (inside-out or outside-in), and coliform breakthrough were investigated. The approach combined evaluation of the above properties with mathematical modeling of structure-fluid interactions to comprehensively evaluate the properties most important for maintaining hollow fiber membrane integrity. Tensile strength testing revealed that the strongest fiber was an asymmetric polyacrylonitrile membrane fiber. The weakest fiber was a symmetric polyethylene membrane fiber. Pilot plant testing on the four membrane modules revealed that membrane symmetry may be a more important factor than potting technique for hollow fiber integrity. Results from the SEM and tensile testing were used as input to a finite element analysis model used to evaluate time-dependent structure-fluid interactions. It was found that additional stresses at the juncture of the potting material and the hollow fiber membranes exist. These stresses likely lead to the formation of fractures.     

改进约束三角网在沉积相带图中的应用研究

针对在沉积相带追踪中,常规三角剖分算法构造的三角网无法自动解决河道砂体跨井排不连通问题,提出了一种相带边界线自动识别方法。该方法的关键步骤是采用逐点插入法先生成无约束三角网;再根据河道砂体连通情况插入虚拟井,并通过该虚拟井建立跨井排井的连通线,将这两条线作为约束边插入第一步生成的三角网中,将三角网部分重构,形成最终约束三角网,对该三角网进行相带边界追踪。系统前端采用。 NET网页框架和Applet网页嵌入技术,核心绘图功能采用Java 2D绘图技术,效果良好。     

嵌入式火控软件时间性能测试

嵌入式实时操作系统是能在确定的时间内执行计算或处理功能并能对外部事件做出响应的系统,由此可见时间逻辑会影响软件系统的正确性,时间指标一般指任务切换、完成时间和中断响应时间。根据这些特点,文中简要介绍了静态分析方法,着重介绍了一种利用8253可编程间隔定时器进行插装的实时动态检测时间指标的方法。此方法在嵌入式火控系统软件时间性能指标的测试中得到了充分利用,取得很好的应用效果,同时也介绍了此方法的局限性,便于在其他测试项目中更充分的运用。     

Watir自规范测试框架在一体化项目测试中的应用

广东省水利业务一体化管理系统是广东省水利数据中心工程（数据中心工程）的重要组成部分,项目具有集成度高、大型、复杂等特点。基于传统的手工测试方法在一体化系统测试工作中严重制约了测试乃至项目研发的效率,通过实践文中提出了一种基于Watir的自规范测试方法,在有效降低一体化系统测试成本、缩短项目开发周期、提高项目研发效率的基础上消除了自动化测试带来的bug重现率降低的问题。该方法具有高效、可靠、稳定、便于实现等优点。     

Research on technology of desktop virtualization based on SPICE protocol and its improvement solutions

Increasingly mature cloud computing technology promotes virtual desktop technology, which can solve many problems existing in traditional computing models. However, virtual desktop solutions introduce the thorny problem of how to deliver a real desktop experience to users, as if they are using it locally, especially when playing video. The SPICE （simple protocol for independent computing environments） virtual desktop solution provides several image compression algorithms to address this problem with the purpose of making virtual desktops as real as possible. Although different compression algorithms can contribute their own abilities to different images to a large extent, switching between them is a big problem that consumes a large amount of resources to detect the different type of image and also causes jitter of the virtual desktop. This paper proposes a new solution, called SPICEx, using the JPEG2000 compression algorithm with dynamic compression ratios to solve the problem and finally validates that the performance is better than that of SPICE. With better quality of user experience and also reducing bandwidth consumption, SPICEx solution is meaningful in virtual desktop fields and can be widely used.     

四元体系汽液平衡的热力学一致性逐点检验

1 引言 以往用于多元体系汽液平衡的热力学一致性逐点检验的算法大多是有限差分法,对三元体系变成求解10~4～10~6量级的非线性方程组,收敛速度极慢,计算不稳定,难以实际应用。以后不同作者提出不同方法使多元体系热力学一致性逐点检验得到相应的改善。本文将加权残差法的特例——最小二乘法,用于四元体系恒温及恒压的汽液平衡的热力学一致性逐点检验。     

实验室计量终端综合测试平台的开发与应用

在研究国内外计量终端测试原理的基础上,设计研发实验室计量终端综合测试平台,实现对各类终端综合检测、终端与电能表联合测试、终端现场运行环境模拟测试等功能,为计量终端的综合测试提供新的思路与方法。     

Adaptive detectors in the Krylov subspace

The validity of the application of the Krylov subspace techniques in adaptive filtering and detection is investigated. A new verification of the equivalence of two well-known methods in the Krylov subspace, namely the multistage Wiener filters （MWF） and the auxiliary-vector filtering （AVF）, is given in this paper. The MWF and AVF are incorporated into two well-known detectors, namely, the adaptive matched filter （AMF） and Kelly＇s generalized likelihood ratio test （CLRT） including their diagonally loaded versions, which form new detectors. Compared to the conventional AMF, CLRT, and their diagonally loaded versions as well as the reduced-rank AMF and GLRT, the probabilities of detection （PDs） of the new detectors are improved especially when the sample support is low. More importantly, the new detectors are robust of the rank selection of the clutter subspace compared to the reduced-rank AMF and GLRT. These new detectors all possess asymptotic constant false alarm rate （CFAR） property.     

基于无线通信方式的TV二次压降现场测试方法

针对传统的TV二次压降现场测试方法存在的问题,提出基于无线通信技术的检测方法。以提高工作效率,降低安全风险。