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.     

有梭织机光电探纬系统的改进

依据红外反射式光电探纬的组成和工作原理，对有梭织机光电探纬系统进行了改进。将反光装置（膜）固定在梭芯上，减少了反光装置的数量，无需改动梭子和纬管，系统探纬准确，减少了换梭时纡脚回丝。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

New quadratic models for the maximum weighted cut problem

New quadratic models are proposed to improve the upper-bound estimates in the maximum weighted cut problem. They are found by two original methods for deriving redundant quadratic constraints. A well-known linear model is shown to follow from the models proposed. Recommendations on how to develop its strengthened analogs are given. This study is partially sponsored from the grant UM2-2574-KV-03 (CRDF Cooperative Grants Program). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 63—75, January–February 2006.     

原位TiCp/Fe复合材料的切削力及切屑形状

从退火态原位TiCp／Fe复合材料的切削力和切屑形状方面分析了其切削性能。研究结果表明其切削力及切削力的波动范围都小于铸态45钢，其切削性能比45钢好。TiCp／Fe复合材料的切屑为C形屑、长紧卷屑和发条状卷屑，在机加工中，产生这几种切屑是比较理想的。从切屑方面看，TiCp／Fe复合材料的切削性能较好。     

激光切割工艺参数优化数据库系统

用Visual Basic 6.0和用SQL server 7.0设计了激光切割工艺参数数据查询系统.能实现对常用材料的激光切割工艺参数进行查询.同时,提供了方便的数据库维护方法,提出用户基于Web技术的数据库更新方法.     

Necessary optimality conditions in a nonsmooth control problem with variable structure

An optimal control problem with nonsmooth performance criterion described by a system of ordinary differential equations is considered. Necessary first-order optimality conditions are obtained.     

二次盐水及离子膜电解工序常见问题简析

介绍了二次盐水及离子膜电解工序的主要设备和流程,对二次盐水及离子膜电解工序运行中出现的问题进行了分析,并提出了解决措施。     

A theory of reservation-dwelling American Indian alcohol use risk.

The authors present a theory for understanding risk for problem drinking among reservation-dwelling American Indians. The theory offers an overall framework for understanding the risk process for this group. It considers the distinction between factors that influence mean levels of American Indian problem drinking and factors that influence individual differences in American Indian drinking. It proposes important contextual differences between reservation-dwelling American Indians and Caucasians that may help explain the higher mean levels of American Indian problem drinking. The theory further holds that, within the high mean level of problem drinking characteristic of many American Indian reservations, individual differences in problem drinking can be explained by very similar personality and learning factors as those that influence problem-drinking levels for other ethnic groups. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Symmetric BEM formulations for 2-D steady-state and transit potential problems

This paper presents a new concept for symmetric boundary element method (SBEM) applicable to 2-D steady-state and transit potential problems. Two kinds of SBEM formulations are derived. Symmetry is obtained simply through matrix manipulation, and no hypersingularity appears. Therefore, SBEM is much easier than the traditional symmetric Galerkin BEM. Compared with the traditional asymmetric BEM, the present SBEM can reduce the computational cost for time domain problems only. However, when applied to BEM/FEM coupling procedure, SBEM can reduce the computational cost for both steady-state and time domain problems. Three numerical examples are included to illustrate the effectiveness and accuracy of the present formulations.