Linux中基于Agent的进程迁移

探讨在Linux操作系统中基于代理的进程迁移方法,包括代理的组织、代理的通讯方式、迁移进程信息的获取及进程迁移后未完成报文和打开文件的处理等.     

产品数据管理（PDM）在制造业中的应用与发展

在计算机技术快速发展的今天，许多企业的软件使用者和领导者开始体会到新技术带来的效益和进一步发展的必要性，认为到企业信息化的基础是产品数据管理（PDM）从PDM的产生、特点、结构、应用和发展等方面，详细地介绍了PDM的功能及其地位，以及在实施中要注意的事项。     

电动势的测定及其应注意的问题

本课题通过用不同的方法测定的电动势分析,经过电动势测定的误差分析,找到各种方法的利弊,并且对电极制备以及测定电动势的装置进行改进,近而对问题进行探讨。改进后找到实验和研究的捷径,从而在高等学校化学实验以及生产中节省很多的人力和财力。     

Standardization of BSE rapid test performances and experiences gathered during the implementation of large-scale testing

The accumulation of pathological prion protein is used as a diagnostic marker for transmissible spongiform encephalopathies. According to European Union (EU) regulations cattle older than 30 months of age (Germany, France, Italy, and Spain by national law >24 months) and slaughtered for human consumption must be tested by using rapid tests for bovine spongiform encephalopathy (BSE). Likewise fallen stock and clinically affected animals must be tested. This article gives a short overview of the incidence of BSE in Europe. The diagnostic hierarchy, i.e., the officially approved methodology for the confirmation of suspect rapid test cases, and the organization of the numerous laboratories involved in this large-scale testing for BSE are described. Special emphasis is given to necessary quality control measures currently in place for BSE rapid testing laboratories and to measures intended to assure a consistent performance of the commercially available rapid test kits.Presented at BERM-9—Ninth International Symposium on Biological and Environmental Reference Materials, 15–19 June 2003, Berlin, Germany.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

非网络版软件在Novell网上运行环境的设计

本文通过对非网络版软件在单机上运行环境分析，找出了一套调整此类软件使其在Ｎｏｖｅｌｌ网上运行的方法，并提出了非网络软件在Ｎｏｖｅｌｌ网上运行环境的设计的观点，具有较大的意义。     

MIS新思维软件工具的设计与实现

本文针对目前陈旧的管理软件的设计方法提出了一种新的观点,同时探讨了为实现这种新观点而研制的软件工具的设计方法和实现技巧。     

On practical metrology and chemical analysis: etalons and traceability systems

 National measurement systems are infrastructures to ensure, for each nation, a consistent and internationally recognised basis for measurement. Such complex systems have historical, technical, legal, organisational and institutional aspects to connect scientific metrology with practical measurements. Underlying any valid measurement is a chain of comparisons linking the measurement to an accepted standard. The ways the links are forged and the etalons (measurement standards) to which they connect are defining characteristics of all measurement systems. This is often referred to as traceability which aims at basing measurements in common measurement units – a key issue for the integration of quantitative chemical analysis with the evolving physical and engineering measurement systems. Adequate traceability and metrological control make possible new technical capabilities and new levels of quality assurance and confidence by users in the accuracy and integrity of quantitative analytical results. Traceability for chemical measurements is difficult to achieve and harder to demonstrate. The supply of appropriate etalons is critical to the development of metrology systems for chemical analysis. An approach is suggested that involves the development of networks of specialised reference laboratories able to make matrix-independent reference measurements on submitted samples, which may then be used as reference materials by an originating laboratory using its practical measurement procedures. Received: 31 July 1995 Accepted: 19 August 1995     

Expert systems as a tool for statistics: A review

The current state of using expert system (ES) techniques for statistics is expounded through the difficulties of defining the notion of statistical expert system (SES) and through several well-known examples. The main characteristics of statistical expertise, and particularly the important concept of strategy are emphasized. The current state of SESs is seen in the context of the global trend of the evolution of ES, i.e. within the growth of second generation expert system (SGESs). The knowledge base of these ESs represent an attempt to represent not only experts' knowledge but also the way experts acquire their expertise, thanks to the existence of an underlying model. We show through many examples how far SESs are and/or will be able to be SGESs.     

Robust Dynamics and Control of a Partially Observed Markov Chain

In a seminal paper, Martin Clark (Communications Systems and Random Process Theory, Darlington, 1977, pp. 721–734, 1978) showed how the filtered dynamics giving the optimal estimate of a Markov chain observed in Gaussian noise can be expressed using an ordinary differential equation. These results offer substantial benefits in filtering and in control, often simplifying the analysis and an in some settings providing numerical benefits, see, for example Malcolm et al. (J. Appl. Math. Stoch. Anal., 2007, to appear). Clark’s method uses a gauge transformation and, in effect, solves the Wonham-Zakai equation using variation of constants. In this article, we consider the optimal control of a partially observed Markov chain. This problem is discussed in Elliott et al. (Hidden Markov Models Estimation and Control, Applications of Mathematics Series, vol. 29, 1995). The innovation in our results is that the robust dynamics of Clark are used to compute forward in time dynamics for a simplified adjoint process. A stochastic minimum principle is established.