A Raster Display Graphics Package for Education

We discuss in this article the need for a minimum suite of raster display routines, the design requirments for such a suite of routines, and the specifications for a package satisfying these design requirements. Finally, we outline our experience with the implementation and use of the resulting package in an educational environment. In the Appendix we give a detailed specification of the actual package we have developed and the user manual for that package.     

Towards systematic grammar profiling.Test suite technology 10 years after

An experiment with recent test suite and grammar (engineering) resources is outlined: a criticial assessment of the EU-fundedtsnlp(Test Suites for Natural Language Processing) package as a diagnostic and benchmarking facility for a distributed (multi-site) large-scalehpsggrammar engineering effort. This paper argues for a generalized, systematic, and fully automated testing and diagnosis facility as an integral part of the linguistic engineering cycle and gives a practical assessment of existing resources; both a flexible methodology and tools for competence and performance profiling are presented. By comparison to earlier evaluation work as reflected in the Hewlett-Packard test suite data, released exactly 10 years beforetsnlp, it is judged where test-suite-based evaluation has improved (and where not) over time.     

POTLIB 2001: A potential energy surface library for chemical systems

POTLIB 2001 is a computer program library of global chemical potential energy surface (PES) functions (91 functions in version 1.0) along with test data, a suite of utility programs, and a convenient user interface. The PES programs are written in ANSI standard FORTRAN77 and can be used to determine the Born-Oppenheimer potential energy of chemical systems as a function of the internal coordinates. The accompanying test data allow users to verify local implementations of this library. Finally, the utility programs permit use of this library in conjunction with a variety of chemical dynamics and chemical kinetics computer codes. Interface routines are provided for the POLYRATE and ABCRATE program packages of Truhlar and co-workers, the VENUS96 program package of Hase and co-workers, and the VARIFLEX program package of Klippenstein and co-workers; the routines in this library can also be used in conjunction with the DYNASOL program package of Zhang and co-workers. This article describes the library and the utility programs and outlines the systematic conventions used for interfaces in the computer programs contained in the library. Adherence to these conventions will allow future PESs to be compatible with this library.     

J2ME时钟动画屏保的设计与实现

给出了采用JDK和J2ME Wireless Toolkit编程设计手机动画屏幕保护程序的方法、步骤,包括PNG动画的制作、Timer类和TimerTask类设计定时器,以及对MIDlet套件进行打包和安装。     

Nt_STM: A step forward in Scanning Tunneling Microscopy (STM) simulations

We present the Nt_STM software suite designed to help analysis and interpretation of Scanning Tunneling Microscope (STM) images, via the simulation of STM data under different tip and bias conditions and facilitating their comparison against the experimental ones. The Nt_STM package includes two components: (i) an intuitive and directive Graphical User Interface (GUI) designed to build a precise model of the STM set-up and analyze the simulation results and, (ii) a powerful simulation engine (GREEN) allowing an efficient, yet accurate, calculation of the tunneling current necessary to generate current or topographic images, I(V) spectra as well as various properties such as band structures, Local Density Of State (LDOS), etc. The Nt_STM package, at its current version 2.0, gives the opportunity to access parallel computation, a new collection of objects and new Extended Hückel parameters.     

Development of a test suite for the verification of implementations of the IPsec v2 security protocol

The paper is devoted to the design of a test suite for testing the conformance of implementations of Internet nodes to the specifications of the new security protocol IPsec v2 [1–7]. The test suite is generated using the automated testing technology UniTESK [8] and the package CTesK [9], which implements this technology. The work was performed in the Institute for System Programming of the Russian Academy of Sciences within the project “Verification of security functions for the new generation protocol IPsec v2.” Requirements for the implementations of IPsec v2 were systemized, and formal specifications and a prototype of the test suite for the verification of implementations of IPsec v2, including implementations of the automatic generation of security associations of IKEv2, were developed. A method used to formalize the requirements for IPsec v2, a procedure for generating the test suite, and testing results for some available implementations are described. The results show that the verification method proposed in this paper effectively automates the testing of such complex protocols as security protocols.     

基于DSP的ARINC429 16通道数据总线接口卡设计

针对目前ARINC429航空总线的应用研究现状,分析了常用ARINC429协议芯片的特点,选择HOLT INTEGRATED CIR- CUITS公司HI-8582芯片基于TMS320LF2812 DSP芯片开发了一种具有16个接收通道/2个发送通道的ARINC429总线接口卡;采用CPLD和多路选择开关协同工作来扩展接收通道,节约了电路板空间、降低了开发成本和提高了系统可靠性,并且可以严格保证系统通信的实时性;电气测试结果和逻辑分析结果表明,系统扩展后,接收器接收的信号符合ARINC429协议标准,系统工作稳定;所提出的设计方法对串行通信总线通道扩展有一定的借鉴意义,所设计的ARINC429总线接口卡具有一定的工程应用价值。     

CAL in nuclear engineering: A personal case study

Computer Assisted Learning (CAL) plays an important role in the teaching of nuclear engineering at Queen Mary College. This role is illustrated by reference to examples taken from a suite of nuclear engineering packages in current use. The various features used in the design of a package are described. The author has had experience of these packages as an undergraduate and now as a member of the College staff. This unique position enables him to carry out a critical review of the packages used throughout the nuclear engineering course.     

Parallel algorithms for moving Lagrangian data on block structured Eulerian meshes

We present a suite of algorithms for migrating Lagrangian data between processors in a parallel environment when the underlying mesh is Eulerian. The collection of algorithms applies to both uniform and adaptive meshes. The algorithms are implemented in, and distributed with, FLASH, a publicly available multiphysics simulation code. Migrating Lagrangian data on an Eulerian mesh is non-trivial because the Eulerian grid points are spatially fixed whereas Lagrangian entities move with the flow of a simulation. Thus, the movement of Lagrangian data cannot use the data migration methods associated with the Eulerian mesh. Additionally, when the mesh is adaptive, as the simulation progresses the grid resolution changes. The resulting regridding process can cause complex Lagrangian data migration.The algorithms presented in this paper describe Lagrangian data movement on a static uniform mesh and on an adaptive octree based block-structured mesh. Some of the algorithms are general enough to be applicable to any block structured mesh, while some others exploit the meta-data and structure of PARAMESH, the adaptive mesh refinement (AMR) package used in FLASH. We also present an analysis of the algorithms’ comparative performances in different parallel environments, and different flow characteristics.     

Computer simulation of production systems for woven fabric manufacture

This paper reports a research and development of a suite of generic software program entitled TEXSIM (TEXtile SIMulator). The software is mainly intended to create simulation models of weaving of production systems without any programming and automatically performs the simulation study and produces results to understand the stochastic behaviour of the system as well as to analyze the system performances to solve the real life weaving production management problems. The ’TEXSIM’ reads the input parameters from the user in an on-line session through its user-interface, written in FORTRAN’77, and interactively uses WITNESS, a manufacturing simulation package containing the basic simulation model building blocks, and creates the simulation model in accordance with the user’s specifications and conducts the simulation experiments and produces results. The objective is to focus on the practicality and simplicity of simulation model building of a weaving production system with a readily available suite of user-friendly program TEXSIM within few minutes without expertise and back ground of simulation technique and the knowledge of computer simulation programming as well as the skill of handling of commercial simulation package. It also highlights the importance of use of computer simulation technique as a modern, powerful and flexible management analysis tool in weaving factories. Textile engineers and technologists, particularly the managers who have no background of simulation can take full advantages of the use of simulation technique to analyze their present complex weaving production systems, rather than using the conventional analytical rule of thumb methods, to help the management to plan, design and operate their systems in an efficient manner to improve the manufacturing productivity. TEXSIM also facilitates the scheduling of production within the factory through simulation.     

Software design for analysis of multichannel intracardial and body surface electrocardiograms

Analysis of multichannel ECG recordings (body surface maps (BSMs) and intracardial maps) requires special software. We created a software package and a user interface on top of a commercial data analysis package (MATLAB) by a combination of high-level and low-level programming. Our software was created to satisfy the needs of a diverse group of researchers. It can handle a large variety of recording configurations. It allows for interactive usage through a fast and robust user interface, and batch processing for the analysis of large amounts of data. The package is user-extensible, includes routines for both common and experimental data processing tasks, and works on several computer platforms. The source code is made intelligible using software for structured documentation and is available to the users. The package is currently used by more than ten research groups analysing ECG data worldwide.     

分布式内存管理系统的研究与设计

针对中小型企业数据处理的特点，提出了一种基于局域网的分布式内存管理系统，介绍了系统的数据组织方式、设计原理和各功能实体的具体实现。系统利用局域网内存资源存储数据，解决了磁盘输入/输出的性能瓶颈问题。把数据分成包，通过包管理实体对内存资源进行管理，利用同步协议机制保持主包和备包的同步。测试结果表明，利用系统对数据进行处理的效率是本机硬盘的5到7倍。     

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

An R implementation for generalized Birnbaum-Saunders distributions

The Birnbaum-Saunders (BS) model is a positively skewed statistical distribution that has received great attention in recent decades. A generalized version of this model was derived based on symmetrical distributions in the real line named the generalized BS (GBS) distribution. The R package named gbs was developed to analyze data from GBS models. This package contains probabilistic and reliability indicators and random number generators from GBS distributions. Parameter estimates for censored and uncensored data can also be obtained by means of likelihood methods from the gbs package. Goodness-of-fit and diagnostic methods were also implemented in this package in order to check the suitability of the GBS models. In this article, the capabilities and features of the gbs package are illustrated by using simulated and real data sets. Shape and reliability analyses for GBS models are presented. A simulation study for evaluating the quality and sensitivity of the estimation method developed in the package is provided and discussed.     

Non-linear mixed-effects pharmacokinetic/pharmacodynamic modelling in NLME using differential equations

The standard software for non-linear mixed-effect analysis of pharmacokinetic/pharmacodynamic (PK/PD) data is NONMEM while the non-linear mixed-effects package NLME is an alternative as long as the models are fairly simple. We present the nlmeODE package which combines the ordinary differential equation (ODE) solver package odesolve and the non-linear mixed effects package NLME thereby enabling the analysis of complicated systems of ODEs by non-linear mixed-effects modelling. The pharmacokinetics of the anti-asthmatic drug theophylline is used to illustrate the applicability of the nlmeODE package for population PK/PD analysis using the available data analysis tools in R for model inspection and validation. The nlmeODE package is numerically stable and provides accurate parameter estimates which are consistent with NONMEM estimates.     

多维标度法选择回归测试子集

在软件改动较大且资源限制严格时,回归测试目前的方法难以满足实际需要。因此,提出利用多维标度法选择回归测试子集的方法。该方法使用测试执行剖面表示测试集,通过计算剖面数据,将测试集合按照测试效果可视化分类,综合考虑了软件变更及测试用例的典型性,适用于大规模软件更改较多时获取有代表性的测试子集。实验表明,多维标度法能够全面反映原测试集对变更的测试程度,从而使得回归子集的获取及测试实施更有针对性,能够满足限制严格的回归测试要求。     

基于事件处理函数的GUI测试用例集约简技术

GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.