Semi-supervised model adaptation for statistical machine translation

Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in the target language (used to train a language model). In this article we explore the use of semi-supervised model adaptation methods for the effective use of monolingual data from the source language in order to improve translation quality. We propose several algorithms with this aim, and present the strengths and weaknesses of each one. We present detailed experimental evaluations on the French–English EuroParl data set and on data from the NIST Chinese–English large-data track. We show a significant improvement in translation quality on both tasks.     

虚拟企业模型并行仿真研究

随着各种全新的制造理念,特别是虚拟企业的出现,企业模型的规模不断扩大,使目前存在的大多数企业模型仿真系统的效率大大下降。该文针对此问题,通过深入分析虚拟企业模型结构,并在已有的构件化企业建模体系CEMS及其仿真系统的基础上,结合异步仿真技术和多线程技术提出了一种分层式企业模型仿真体系结构,为虚拟企业模型的快速高效的仿真提供了一种有效的方法。     

基于XML的构件化企业模型描述及应用

当今世界Internet/Intranet技术的迅速发展，对企业建模也提出了网络化的要求。而当前众多的建模工具都还没能适应这一要求，或是才开始起步。鉴于这种状况，提出了基于XML技术的描述构件化模型的思想，以对当前已经比较成熟的建模技术进行XML的改造，讲述如何实现基于XML的构件化企业模型描述及应用。     

涡轮增压柴油机模拟计算等压法的探讨

针对有些模拟计算可以忽略排气压力波的影响，提出了等压法计算的设想，这是一种每一工作循环缸外热力过程只计算一次的简化方法。分析结果表明，这种计算可以满足零维模型必须满足的所有制约方程，能真实地模拟涡轮增压柴油机的实际工作过程，适用于各种增压系统，但仍有待于进一步的研究与改进。根据等压法，建立了一种适用于定压涡轮系统的计算模型--“定压涡轮”模型，用于MPC增压系统的计算，计算结果与试验结果基本吻合，与容积法计算结果趋于一致，从而验证了模型的正确性，同时也表明这种缸外计算法是有效的。     

An engineering process for the verification of real-time systems

The complete verification of the timing properties of a large critical system cannot be undertaken in a single step or with a single method. In this paper we present a process that links together a number of techniques and approaches that cover all stages of development from requirements analysis to code testing. The key elements of the process are: a constrained form of timed automata that uses delay and deadline to define temporal behaviour, notions of rely and guarantee to cover temporal dependencies, model checking for design verification, SPARK and Ravenscar restrictions for programming, and scheduling and response time analysis for asserting implementation compliance. Extended examples of the use of the process are given.     

Step response classification for model-based autotuning via polygonal curve approximation

A model-based autotuning method consists of an identification and a regulator tuning phase. To achieve satisfactory performance and robustness, it is advisable that both phases be tailored a priori to the characteristics of the observed process dynamics. Such characteristics include, but are not limited to, the model structure. For example, overdamped and underdamped models with the same pole-zero structure are parametrised and controlled in different ways. Step response data, that are typically used for the identification phase in the autotuning context, can also be pre-processed to reveal those characteristics. This paper presents a step response classification method suitable for the above purpose. The method is based on a polygonal curve approximation technique for data pre-processing, followed by a neural network classifier. Only normalised I/O data are employed, so that the neural network can be trained off-line with simulated data. Simulation results are reported to show the effectiveness of the proposed classification method in terms of the achievable tuning results.     

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk     

根据概率分布建立有源器件的统计模型

给出一种新的统计模型的建立方法。在有源器件物理模型的基础上，通过优化物理模型参数的均值和均方根，使所建立统计模型的Ｓ参数在各个频率上的概率分布逼近测量数据的概率分布。从建立微波ＭＥＳＦＥＴ统计模型的算例结果看出，本方法不仅能比较好地拟合样本Ｓ参数的概率分布，而且提高了计算效率。     

数字分量电视图像的光纤传输实验

介绍了光纤传输数字电视的意义，电视信号分量数字化的标准和优点。利用自行研制的２７０Ｍｂ／ｓ光发射机和光接收机，建立了分量数字电视信号的光纤传输系统，直接传输了１００ｋｍ光纤，系统传输无误码，传输后图像质量不变。光接收机灵敏度达－２９．２４ｄＢｍ，动态范围为１３．５ｄＢ。无压缩电视图像的传输对于远程医疗和演播室间转输节目等有非常实际的意义。