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.     

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.     

Personality and the predisposition to engage in risky or problem behaviors during adolescence.

Longitudinal data from a representative sample of 1,978 Black and White adolescents were used to examine the role of personality in multiple risk or problem behaviors. Results indicate that covariation among diverse behaviors (educational underachievement, delinquent behavior, substance use, sexual behavior) can be adequately modeled by a single higher order factor, and that impulsivity and avoidance coping serve as generalized risk factors for involvement in these behaviors. Whereas none of the personality variables examined explained change in problem behaviors once established, avoidance coping prospectively predicted involvement among a subgroup of adolescents with little or no prior involvement. Results suggest that dysfunctional styles of regulating emotions and emotionally driven behaviors are core features of risky or problem behaviors during adolescence. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

关于建立纺织用染化料生态安全性评价体系的设想

从可持续发展战略和“绿色”、环保、生态等方面的需要提出关于建立纺织用染化料生态安全性评价体系的意义，并建议了列入安全性评价体系的项目及实施办法，同时也提出了需要解决的问题。     

国有施工企业走向市场应关注的几个问题

从辩证关系角度详细阐述了类似于北京燕化建筑工程公司这样的国有施工企业走向市场过程中应关注的企业定位、利益相关性、竞争策略与公平性、自我保护与內涵发展等问题,以促进国有施工企业的改革与发展。