Guidance for accredited laboratories on the use of computers

 We review the draft international standard ISO/IEC 17025 and the EA guidelines; and present the existing National Physical Laboratory publication “Software in scientific instruments” and the new Measurement System Validation Best Practice guide. Received: 2 November 1999 / Accepted: 29 January 2000     

A discrete event simulation model in the case of managing a software project

The design and development of large-scale software projects is a complex endeavor, often facing problems like cost and schedule overruns as well as low quality. Over the last years the management of software development projects has been recognized as the cornerstone point of seeking improvement and solutions. Simulation modeling of the software project process is gaining interest among academics and practitioners, as a method to tackle the complex questions with which relevant enterprises are confronted. It offers support on several issues, such as defining software product development strategies, decision-making regarding process improvement and training, in a time span ranging from a short portion of the life cycle to long term product evolution, with organization-wide implications. The aim of this work is to implement a model simulating a core part of a software project process, enabling the estimation of several project development details such as delivery times and quality metrics. The purpose of the model is to assist project managers in control and monitoring, but also in identifying the best planning alternatives. The model scope covers a portion of the life cycle of an incremental software development venture.     

层次分析法在软件系统设计质量评价中的应用

本文提出了一个运用层次分析法对软件系统设计的质量进行评价的方法。该方法提高了对软件系统设计质量评价的有效性、科学性和可操作     

New tools and resources in metabolomics: 2016–2017

Rapid advances in mass spectrometry (MS) and nuclear magnetic resonance (NMR)‐based platforms for metabolomics have led to an upsurge of data every single year. Newer high‐throughput platforms, hyphenated technologies, miniaturization, and tool kits in data acquisition efforts in metabolomics have led to additional challenges in metabolomics data pre‐processing, analysis, interpretation, and integration. Thanks to the informatics, statistics, and computational community, new resources continue to develop for metabolomics researchers. The purpose of this review is to provide a summary of the metabolomics tools, software, and databases that were developed or improved during 2016–2017, thus, enabling readers, developers, and researchers access to a succinct but thorough list of resources for further improvisation, implementation, and application in due course of time.     

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

The integration of two important categorical frameworks – namely adhesive High-Level Replacement (HLR) systems and the generic component concept– yields a categorical approach to component transformation and refinement. The generic component concept is shown to be an adhesive HLR category, so rules and transformations as well as the corresponding results are available. Moreover, the compatibility with the hierarchical component composition is provided. The extension to rule-based refinement requires additional property-preserving morphisms and yields property-preserving rules and transformations, i.e. refinements where compatibility with the hierarchical component composition again is achieved. The categorical framework is instantiated to typed algebraic high-level (AHL) nets and illustrated with an example of AHL net components.      

Design and analysis of planar shape deformation

Shape deformation refers to the continuous change of one geometric object to another. We develop a software tool for planning, analyzing and visualizing deformations between two shapes in . The deformation is generated automatically without any user intervention or specification of feature correspondences. A unique property of the tool is the explicit availability of a two-dimensional shape space, which can be used for designing the deformation either automatically by following constraints and objectives or manually by drawing deformation paths.     

ATE软件系统研究与设计

针对自动测试软件平台的通用化和智能化,把软件测试中的模型驱动思想应用于硬件自动化测试系统中,提出了通用测试集成环境(GTIE)的概念,并进行了详细研究与设计,包括软件分析、软件设计以及软件实现过程。充分利用了UML思想对整个软件系统进行建模,其中包括软件的功能、静态结构、动态行为等,使软件的开发标准化。所实现的GTIE可有效提高测试程序的开发效率,降低开发成本,并使测试程序具有非常好的通用性。     

Excel在最小二乘法不确定度评定中的应用

对测量不确定度的评定,采用最小二乘法的计算非常复杂而繁琐,即使用计算器计算,也很费时且易出差错。但应用Excel软件,特别是充分发挥其函数功能,进行不确定度评定,不仅明显加快了计算速度,且大大减少了错误的发生,实践表明,用Excel计算所得结果与文献报道的结果一致。