Windows平台下的汉字输入法机制及应用

作者在Windows平台下，通过对E码汉字输入法系统实现的软件研发过程，本质地认识了Windows平台下的汉字输入法系统的实现原理及其基本方法；本文对Windows IME系统的两个主要组成部分：转换引擎和界面模块以及二者之间的交互关系进行了深入的分析，并揭示了Windows平台下整个汉字输入法系统的底层运转机制。     

DCOP FOR SMART HOMES: A CASE STUDY

The aim of this article is to bring forth the issue of integrating the services provided by intelligent artifacts in Ambient Intelligence applications. Specifically, we propose a Distributed Constraint Optimization procedure for achieving a functional integration of intelligent artifacts in a smart home. To this end, we employ Adopt-N , a state-of-the-art algorithm for solving Distributed Constraint Optimization Problems (DCOP). This article attempts to state the smart home coordination problem in general terms, and provides the details of a DCOP-based approach by describing a case study taken from the RoboCare project. More specifically, we show how (1) DCOP is a convenient metaphor for casting smart home coordination problems, and (2) the specific features which distinguish Adopt-N from other algorithms for DCOP represent a strong asset in the smart home domain.     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

太原市城南地区汾河与东岸防洪隐患与出路

本文对当前城南地区汾河以东防洪存在的诸多隐患进行了阐述，并提出了相应的见解与措施。     

New Tractable Classes From Old

The constraint satisfaction problem is known to be NP-hard in general, but a number of restrictions of the problem have been identified over the years which ensure tractability. This paper introduces two simple methods of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We demonstrate that the classes so obtained are genuinely novel, and have not been previously identified. In addition, we use algebraic techniques to extend the tractable classes which we identify, and to show that the algorithms for solving these extended classes can be less than obvious.     

几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

ATM交换结构的成组输入排队模型

本文提出一种新的ATM交换排队结构——成组输入排队结构(GIQ),其基本思想是将输入端分组,同一组的输入端共享排队缓存。GIQ不仅能提高缓存的利用率和系统的吞吐率(达到96.2％),而且还能大大改善交换结构的抗突发能力。采用计算机仿真模拟的方法,分析了GIQ在均匀连续业务流和突发业务流下的性能,并与其它输入排队结构的性能进行了比较。     

Constraint Databases: Promising Technology or Just Intellectual Exercise?

This paper describes the state of Constraint Databases (CDBs), a young discipline at the intersection of Database Management, Constraint Programming, Computational Geometry and Operations Research. As in Constraint Logic Programming, constraints in CDBs are a first class data type, and can play many modeling roles including spatial and temporal behavior, complex design requirements, and partial and incomplete information, for which existing databases have proven inadequate. We motivate the importance of CDBs, outline the work in the area that has been done, the current trends, and future directions and challenges. We briefly discuss (1) constraint modeling, canonical forms and algebras, (2) data models and query languages, (3) indexing and approximation-based filtering, (4) constraint algebra algorithms and global optimization, and (5) systems and case studies. We argue that CDBs are a promising technology that will impact many important application realms, and furthermore have the potential to be integrated into future database systems, and operations research and constraint programming tools.     

Effects of crack size and weld metal mismatch on the has cleavage toughness of wide plates

The heat affect zone (HAZ) is in many cases considered to be the most critical part of a weldment. In this paper, the effect of crack size and weld metal mismatch on the HAZ cleavage toughness of wide plate specimens with X-groove has been investigated by the J-Q-M theories and a simple micromechanism for cleavage fracture. Two crack sizes have been studied (a/w = 0.1 and 0.3). In the analyses, the HAZ yield strength is assumed to be higher than the base metal. For each crack size, weld metal local overmatch and local evenmatch with respect to the HAZ are considered. For a given global strain, the results indicate that weld metal overmatch and evenmatch yield the same crack tip loading in terms of J-integral for a/w = 0.3. For a/w = 0.1, overmatch gives lower crack tip loading than evenmatch. For a given crack tip loading, weld metal local evenmatch in general results in less effective crack tip loading than the overmatch. Overmatch is detrimental to HAZ toughness, but this detrimental effect becomes less significant when the crack size decreases.