On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.This author was supported by NSF Grants DCR-8503498 and CCR-8702108.     

论Oxymoron 及其翻译法

英语的Oxymoron和Paradox都属于矛盾修辞的范畴,两者与汉语的反衬辞格颇为相似.通过大量的实例对英语语言中矛盾修辞的结构形式、语用功能分析与探讨后,揭示了矛盾修辞手段所表现的字面上似乎矛盾、互相排斥、互相对立的概念,发现其实际中所蕴含着令人深省的深刻哲理的一些语言现象,并对这一辞格的翻译方法进行了探讨.     

A new approach to the decomposition of Boolean functions by the method of <Emphasis Type="Italic">q</Emphasis>-partitions. III. Joint decomposition of a function system

The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated by examples. Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007.     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

Thermodynamic Assessment of DyCl3-MCl （M= Na, K, Rb, Cs） Systems

Using the CALPHAD （Calculation of Phase Diagram） technique, the DyCl3-MCl （M = Na, K, Rb, Cs） systems were optimized and calculated. The modified quasi-chemical model in the pair approximation for short-range ordering was used to describe the Gibbs energies of the liquid phase in these systems. From the measured phase diagram data and experimental thermodynamic properties, a series of thermodynamic functions were optimized base on an interactive computer-assisted analysis. The optimized parameters and the experimental data were thermodynamically self-consistent. The optimized results were discussed.     

IT for niche companies: is an ERP system the solution?

Abstract.  Niche companies are per definition idiosyncratic. They survive in a competitive world by mastering a small market niche, providing what their customers need. This often requires a flexible organization, and the ability to customize products. To be more efficient, many of these companies rely on extensive use of IT, often by installing general Enterprise Resource Planning (ERP) systems. These systems have grown from isolated systems that handle planning based on incoming orders and the component structure of the various products, to systems with ambitions to embrace the total functioning of the company including vendor and customer relation management. In this paper, we present four case studies. One company is a part of a large enterprise, but performs niche functions within this enterprise. The other three are small- or medium-sized enterprises. Each of these performs in small niche markets. Common to all is the fact that they encounter problems with the utilization of their ERP systems. The major problem seems to be that the ERP system has an inherent business model that may not conform to the needs of the company. Without a good understanding of the underlying models and the constraints under which the fundamental algorithms operate, it is difficult to use these systems correctly. Even excellent systems may give bad results if they are applied to situations where they are not suited. Further, the monolithic structure of an ERP system, with a rather complicated parameter setting, is often insufficient to mould the system to the needs of a niche company. We discuss these problems based on our four case studies, and offer alternative approaches that may be considered.     

Metaheuristic downhill simplex method in combinatorial optimization

The concept of combinatorial objects is formalized. It allows strict definition of a combinatorial optimization problem (COP). An efficient metaheuristic method to solve COPs (H-method) is considered. It includes stochastic local search algorithms as a built-in procedure. A parallel implementation of the H-method is set forth and analyzed. The results from a numerical experiment and solution of some well-known COPs on personal computers and on the SKIT cluster supercomputer are presented. The study was supported by INTAS (Project 06-1000017-8909). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 70–79, November–December 2007.     

Arithmetic operations inGF(2 m )

This article is concerned with various arithmetic operations inGF(2 ^m ). In particular we discuss techniques for computing multiplicative inverses and doing exponentiation. The method used for exponentiation is highly suited to parallel computation. All methods achieve much of their efficiency from exploiting a normal basis representation in the field.     

浅谈如何生产质量稳定的乳化炸药

通过大量的试验及理论分析 ,总结出影响乳化炸药质量稳定的原因 ,并制定了提高质量稳定的措施