On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

Forming the optimal union of multiple databases

Many organizations, best illustrated by libraries, have access to hundreds of databases possessing varying degrees of complimentary and overlapping records. While users may receive positive marginal benefits from data duplications, all databases and their services cannot be supported because of resource limitations. This paper attempts to conceptualize the problem of database collection in an environment of multiple databases, with differential content and performance characteristics, diverse users, and limited resources. It defines the database collection problem as a constrained zero-one integer programming problem and solves for the optimal combination or union of databases. Several extensions are shown, where special conditions are imposed on the relationships between databases and/or their availability.     

轮式工程机械轮边减速器优化模型与方法

论述了重构轮式工程机械轮边减速器优化设计数学模型的必要性,给出了精确化的目标函数,全面化和准确化的设计变量、基于并行设计的约束条件;介绍了对优化解适用性评价的方法和手段。巧妙地解决了优化解中离散变量的圆整问题,提供了基于MATLAB的求解反渐开线函数的M文件。     

热焊弯管用钢板工艺探讨

在统计分析、正交多项式回归和模拟试验的基础上，建立了高精度的屈强比预报模型，并运用多元函数极值原理，求导极值点及相应的工艺参数，为优化工艺制度，提高热焊弯管用钢(L360-WG系列)性能合格率提供了定量依据。     

Optimal biocompatible solvent design for a two-stage extractive fermentation process with cell recycling

In this study, crisp and fuzzy multiple-goal optimization approaches are respectively introduced to design an optimal biocompatible solvent to a two-stage extractive fermentation with cell recycling for ethanol production. When designing a biocompatible solvent for the extractive fermentation process, many issues, such as extractive efficiency, conversion, amount of solvent utilized and so on, have to be considered. An interactive multiple-goal design procedure is introduced to determine a trade-off result in order to satisfy such contradicted goals. Both approaches could be iterated to solve the interactive multiple-goal design problem in order to yield a trade-off result. However, the crisp optimization design is a tedious task that requires the designer to provide various pairs of the upper bounds for the design problem to obtain the corresponding solution. The fuzzy optimization approach is able to be trade-off several goals simultaneously and to yield the overall satisfactory grade for the product/process design problem.     

Effect of Hydrogen Heat Treatment on the Chemical Composition of Aluminum Nitride Powder

The effect of hydrogen heat treatment on impurity contents in aluminum nitride powder of different fineness is studied. Thermodynamic calculations are provided pointing to the possibility of forming gaseous hydrogen compounds with impurity elements. It is established that as a result of treatment the contents of impurity elements, i.e. oxygen, carbon, sulfur, are reduced by a factor of 3-13. The optimum hydrogen heat treatment regime is determined: a temperature of 1323 K and an exposure time of 30 min.     

Response surface methodology applied for Orange II photocatalytic degradation in TiO2 aqueous suspensions

BACKGROUND: Heterogeneous photocatalysis is influenced by a number of parameters involving synergistic effects; hence, an experimental strategy design that considers interactions between the main variables is needed. The response surface methodology was applied for the investigation of photodegradation of 20 mg L^?1 Orange II in aqueous solutions and for optimization of color removal efficiency. Preliminary studies were performed to identify the parameters to be selected for optimization. RESULTS: The input variables considered for experimental design were: solution initial pH, oxidizing agent (H₂O₂) initial concentration and UV‐A irradiation time. The multivariate experimental design allowed the development of a quadratic response surface model to be used for the prediction of color removal efficiency over the full range of the experimental region. Under the optimum conditions established in the region of experimentation (pH = 6.9, [H₂O₂]₀ = 183 mg L^?1 and t = 32 min), a 100% color removal efficiency was obtained in experiments. CONCLUSIONS: It was found that the variables considered have important effects on color removal efficiency. The results demonstrate that the use of experimental design strategy is indispensable for successful investigation and adequate modeling of the process because the interdependence of the reaction parameters cannot be neglected. Copyright © 2008 Society of Chemical Industry     

化学模式识别法在钢铁工业中的若干应用

本文涉及一种崭新的非函数数据处理法及其在工业诊断和优化中的应用。并对其进行要因分析和优化决策的原理作了介绍。结合钢铁工业生产中的实例进行了分析。还探讨了该方法在钢铁工业中应用的意义。     

Delivering Improvement from Truth — the Fragile Link Between Analysis and Effective Change

In the history of operations research in industry there has been an abundance of analyses and recommendations produced in millions of man hours by dedicated OR specialists. And yet the net improvement is significantly lower than expected. There are numerous reasons for this shortfall: incomplete analysis, too much theory, incomplete implementation, unreliable recommendations, or a combination of some of these reasons.
By describing several examples, the major reasons for the fragility of the link between recommendation and implementation will be reviewed. What has to be done today to increase the likelihood of implementing an OR recommendation and thus improve the performance of an industrial entity by using the power of OR tools will then be described.     

改进的GMDH方法及其在参数预报中的应用

本文在综合了ＧＭＤＨ方法中几种有效的改进算法的基础上，进一步研究了变量预选及部分表达式的构成问题，采用最优化方法确定变量最佳组成式并进行变量筛选，由此得到精度更高、稳定性较好的模型，将其应用于聚丙烯熔指数的预报，仿真结果令人满意。