Program for quantum wave-packet dynamics with time-dependent potentials

We present a program to simulate the dynamics of a wave packet interacting with a time-dependent potential. The time-dependent Schrödinger equation is solved on a one-, two-, or three-dimensional spatial grid using the split operator method. The program can be compiled for execution either on a single processor or on a distributed-memory parallel computer.     

ANALYSIS: Software for Graphical Analysis of Multidimensional Flow Cytometric List Mode Data

A computer program for graphical analysis of multidimensional flow cytometric list mode data is described. The program offers one-, two-, and three-dimensional inspection of an amount of data that is only limited by disk space. Subpopulations within the original data set can be identified by setting one or more two-dimensional AND gates around them. The order of measurement can be used as a parameter for evaluation of time-dependent processes. Other new parameters can be made by zooming in on a parameter, logarithmic transformation, or division of two parameters. The program is written in Turbo Pascal and it can run on any MS-DOC PC with an EGA/VGA resolution screen.     

Reflection and time-dependent computing: Experiences with the R2 architecture

In this paper we present an application of computational reflection in the programming oftime-dependent systems. A time-dependent system performs its tasks according to timing specifications specified within the system or imposed from outside the system. Reflective techniques can be applied to programming time-dependent systems because (1) some application programs require the introduction of a new language construct for specifying timing requirements and (2) different applications may require domain-specific scheduling algorithms. To allow a programmer to add or modify language constructs or scheduling algorithms, however, a clear reflective architecture and program interfaces must be provided. This paper proposes a concurrent object-based reflective architecture (R ² architecture) for time-dependent computing. This architecture is based on anindividual reflection scheme and introduces new meta-level objects (real-time meta objects) that are responsible for time-dependent capabilities. An alarm-clock object and a scheduler object are introduced, and message protocols between them and real-time meta objects are defined. We implemented this architecture on ABCL/R2 and created the Sampled Sound Player program as an application. With this application we provided three different scheduler objects and measured the impact of different scheduling algorithms on sound playback. The measured results show that a scheduler with more complex computations at the meta level exhibited less scheduling overhead, thus was capable of better sound playback. The other example, Time-dependent Graceful Degradation Scheme, demonstrates the programming of functionality degradation triggered by failure to satisfy timing specifications.     

A computer program for an illness-death process with time-dependent covariates

This paper presents a computer program for estimating transition probabilities between states in a stochastic model for an illness-death process which incorporates time-dependent covariates. Parameters are estimated by the method of maximum likelihood using the Newton-Raphson iterative procedure. The program provides the standard normal deviate statistics as well as the value of the maximum of the likelihood function which can be used on repeated applications to test hypotheses concerning coefficients associated with covariates. Although this program is demonstrated by using a model with two ‘illness’ states and two ‘death’ states, it is also suitable for analyzing data with models involving fewer states, such as the analysis of survival time with covariates assuming a proportional hazard model.     

A wave-packet technique to simulate resonant X-ray scattering cross sections

This article describes algorithms and a program implementation for wave packet calculations of resonant X-ray scattering cross sections of molecules with one active internal degree of freedom. The program uses a time-dependent formalism and a grid representation of the wave packets. The potentials of ground, core-excited and final states can be specified by analytical expressions or by discrete sets of energies on arbitrary grids allowing for interfacing with electronic structure packages. The theory on which the program is founded is briefly reviewed. The implemented numerical algorithm is described in detail together with usage instructions and a sample application.     

Ion trajectory modelling in time-dependent potential fields: Applicaion to RF-only quadrupoles

IONISM, a program to model ion trajectories in time-dependent potential fields, is described. The program uses the standard over-relaxation to create a     

A generalized effective exposure modeling program for assessing dose-response in epidemiologic investigations

The computer program OCMAP (occupational cohort mortality analysis program) has been extended to allow exposure indices for person-years to be calculated as time-dependent covariates rather than as the usual cumulative indices. The article develops a general formula for weighting exposures and describes the cumulative index, the lag, partial weight, and the lognormal models as specific examples. The implementation in OCMAP is flexible in that it permits these specific models or any other user-specified weighting scheme to be used. Several example schemes are applied to a cohort of workers exposed to arsenic.     

A FORTRAN program for multivariate survival analysis on the personal computer

In this paper a FORTRAN program is presented for multivariate survival or life table regression analysis in a competing risks' situation. The relevant failure rate (for example, a particular disease or mortality rate) is modelled as a log-linear function of a vector of (possibly time-dependent) explanatory variables. The explanatory variables may also include the variable time itself, which is useful for parameterizing piecewise exponential time-to-failure distributions in a Gompertz-like or Weibull-like way as a more efficient alternative to Cox's proportional hazards model. Maximum likelihood estimates of the coefficients of the log-linear relationship are obtained from the iterative Newton-Raphson method. The program runs on a personal computer under DOS; running time is quite acceptable, even for large samples.     

A renewable, modular, and time-responsive DNA circuit

In this article, we introduce a new design for DNA logic gates based on enzymatic restriction of DNA strands. We present a construction for a set of one and two-input logic gates and argue that our construction can be generalized to implement any Boolean operation. A key feature of our design is its time-responsiveness, in the presence of appropriate fuels our circuit can operate continuously and generate a time-dependent output in response to a time-dependent input. Moreover, modulo connectivity information, the strand design and circuit design phases are decoupled.     

MASAS—A user-friendly simulation tool for modeling the fate of anthropogenic substances in lakes

MASAS is a computer simulation tool to investigate anthropogenic organic compounds in lakes. Models included are based on a dynamic one-dimensional vertical lake model describing the time-dependent concentration of a compound in the water column and in the sediment. Provision of data is ensured by library files. Interactive specification of transport and transformation processes yields models of different complexity, suitable for the initial assessment of chemicals and for chemodynamic studies. A hypothetical spill of an insecticide (disulfoton) serves as an illustration. Aspects relevant to the development of user-friendly software in the environmental sciences are discussed. User-friendliness is found to depend more on program concepts than on a particular user interface. The management of data sets on lakes and compounds, and the implementation of transport and transformation processes in MASAS exemplify the significance of modularization, program data structures, the use of metaphors, and the distinction between automatic and user-controlled program functions.     

Time-dependent service-load behavior of wood floors: analytical model

A preceding companion paper[1] examined the experimental time-dependent service-load response of wood joist floor systems, including an assessment of time-dependent deflections and load distribution. The results of the experimental program are used herein to develop an analytical model for the time-dependent response of wood joist floors. Time-dependent component (i.e. joist, sheathing and connection) models are developed from component tests. These component models are then integrated into a system model. The focus of this paper is to present the theoretical basis for the time-dependent system model, and illustrate its predictive capabilities. The system model approximates the time-dependent system creep of parallel-member wood systems to an acceptable degree of accuracy. Moreover, the model requires relatively little computer time, thus making it suitable for use in a Monte Carlo simulation     

Principles to Support Modular Software Construction

The construction of large software systems is always achieved through assembly of independently written components — program modules. For these software components to work together, they must share a common set of data types and principles for representing structured data such as arrays of values and files. This common set of tools for creating and operating on data objects is provided by the infrastructure of the computer system: the hardware, operating system and runtime code. Because the nature and properties of these tools are crucial for correct operation of software components and their inter-operation, it is essential to have a precise specification that may be used for verifying correctness of application software on one hand, and to verify correctness of system behavior on the other. We call such a specification a program execution model (PXM). It is evident that the properties of the PXM implemented by a computer system can have serious impact on the ability of application programmers to practice modular software construction. This paper discusses the concept of program execution models and presents a set of principles that a PXM must satisfy to provide a sound basis for modular software construction. Because parallel program execution on computer systems with many processing units is an essential part of contemporary computing environments, the expression of parallelism and modular software construction using components involving parallel operations is included in this treatment. The conclusion is that it is possible to build computer systems that implement a PXM within which any parallel program may be used, unmodified, as a component for building more substantial parallel programs.     

MKVPCI: a computer program for Markov models with piecewise constant intensities and covariates

We present a computer program for fitting Markov models with piecewise constant intensities and for estimating the effect of covariates on transition intensities. The basic idea of the proposed approach is to introduce artificial time-dependent covariates in the data to represent the time dependence of the transition intensities, and to use a modified time-homogeneous Markov model to estimate the baseline transition intensities and the regression coefficients. The program provides the maximum likelihood estimates of the parameters together with their estimated standard errors, and allows testing various statistical hypotheses. To illustrate the use of the program, we present a three-state model for analyzing the smoking habits of school children.     

A Metric for the Temporal Characterization of Parallel Programs

We consider the time-dependent demands for data movement that a parallel program makes on the architecture that executes it. The result is an architecture-independent metric that represents the temporal behavior of data-movement requirements. Programs are described as series of computations and data movements, and while message passing is not ruled out, we focus on explicit parallel programs using a fixed number of processes in a distributed shared-memory environment. Operations are assumed to be explicitly allocated to processors when the metric is applied, which might correspond to intermediate code in a parallelizing compiler. The metric is called the interprocess read (IR) temporal metric. A key to developing an architecture-independent temporal metric is modeling program execution time in an architecture-independent way. This is possible because well-synchronized parallel programs make coordinated progress above a certain level of granularity. Our execution time characterization takes into account barrier synchronization and critical sections. We illustrate the metric using instruction count on simple code fragments and then from multiprocessor program traces (Splash benchmarks). Results of running the benchmarks on simulated network architectures show that the IR metric for the time scale of network response predicts performance better than whole program measures.     

Cable stretching force optimization of concrete cable-stayed bridges including construction stages and time-dependent effects

This paper presents an optimization algorithm to compute the prestressing forces on concrete cable-stayed bridges to achieve the desired final geometry. The structural analysis includes the load history and geometry changes due to the construction sequence and the time-dependent effects due to creep, shrinkage and aging of the concrete. An entropy-based approach was used for structural optimization and discrete direct sensitivity analysis was used to evaluate the structural response to changes in the design variables. Numerical examples are presented and the results exhibit the importance of considering both the construction stages and the time-dependent effects for adequately predict the bridge behaviour and compute the cable prestressing forces.     

基于FTP自动上传技术的数据库备份仓储建设

在指出建设数据库备份仓储中心重要性前提下,浅析数据库备份仓储建设理论,提出构建FTP服务器作为数据库备份仓储中心建设的基本方案,结合SQLServer数据库分步骤介绍了实现方法,最后结合夏邑县供电局具体工作实例说明该方案可行性。     

Building program construction and verification tools from algebraic principles

We present a principled modular approach to the development of construction and verification tools for imperative programs, in which the control flow and the data flow are cleanly separated. Our simplest verification tool uses Kleene algebra with tests for the control flow of while-programs and their standard relational semantics for the data flow. It is expanded to a basic program construction tool by adding an operation for the specification statement and one single axiom. To include recursive procedures, Kleene algebras with tests are expanded further to quantales with tests. In this more expressive setting, iteration and the specification statement can be defined explicitly and stronger program transformation rules can be derived. Programming our approach in the Isabelle/HOL interactive theorem prover yields simple lightweight mathematical components as well as program construction and verification tools that are correct by construction themselves. Verification condition generation and program construction rules are based on equational reasoning and supported by powerful Isabelle tactics and automated theorem proving. A number of examples shows our tools at work.     

On the application of boundary conditions to time dependent computations for quasi one-dimensional fluid flows

A study is made of the influence of boundary and initial conditions on time-dependent finite-difference solutions of quasi-one-dimensional duct flows. Several questions are addressed: (1) Under what conditions will a time-dependent solution converge to a steady-state supersonic flow, (2) Under what conditions will it converge to subsonic flow and (3) What conditions are necessary to insure a particular unique solution for subsonic flows. The results provide an orientation, or way of thinking, about the role of such conditions in time-dependent solutions of steady-state flows. The results also show that supersonic solutions are readily obtained by holding only pressure and temperature fixed at the duct inlet, and allowing velocity to float. However, subsonic solutions require pressure, temperature and velocity to be fixed at both the duct inlet and exit. If no conditions are held fixed at the exit, the results always converge to the supersonic solution, even if the fixed inlet mass flow is less than critical. In such a case, the program appears to generate additional mass flow between the inlet and throat, sufficient to choke the flow. These results also have some impact on two- and three-dimensional time-dependent solutions where subsonic flow is present on some or all portions of the flow boundaries.     

A data-directed approach to program construction

The present paper discusses a method of program construction based on the specification of the data types. The input and output data types and the mapping between them are specified at a high level of abstraction and this non-procedural specification is used to develop a program schema. The data type and mapping specifications are modified to include a concrete representation of the data and these are used to expand the program schema into a program. A graphical representation for data and program specifications is also introduced and it is shown how this can simplify the techniques and be very useful in program construction. The method is illustrated by developing two programs—the line justifier program described by Gries and the bubblesort.     

基于状态转换的PLC程序模型构建方法

针对可编程逻辑控制器（PLC）程序在进行NuSMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本（ST）语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成NuSMV的输入模型。实验结果表明,所提方法实现了ST程序到NuSMV输入模型的自动化构建,并且构建的NuSMV输入模型既保留了ST程序的原有特性又符合NuSMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。