采用同调约束快速识别的有功校正控制计算

本文发展了文(5)提出的同调约束概念,将同调约束进一步分为正同调约束和反同调约束两组。文中提出了一种新的同调约束识别方法,不必增加任何计算便可快速识别出正反同调约束,显著地降低了解题规模。IEEE30节点样本网络的计算实例证实了本文方法的有效性。     

Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning

Optimal solutions of several variants of the probabilistic reasoning problem were found by a new technique that integrates integer programming and probabilistic deduction graphs (PDG). PDGs are extended from deduction graphs of the and-type via normal deduction graphs. The foregoing variants to be solved can involve multiple hypotheses and multiple evidences where the former is given and the latter is unknown and being found or vice versa. The relationship among these hypotheses and evidences with possible intermediaries is represented by a causal graph. The proposed method can handle a large causal graph of any type and find an optimal solution by invoking a linear integer programming package. In addition, formulating the reasoning problem to fit integer programming takes a polynomial time. H.-L. Li was visiting the Department of Computer Sciences, University of North Texas in 1988–1989. He is with the Institute of Information Management, National Chiao Tung University, Hsinchu, Taiwan, R.O.C.     

An integrated automatic test data generation system

The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method—constraint-based testing—that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system and the engineering problems that were solved during the implementation.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology.     

关于正整数的k次根的整部

对于给定的自然数m，令口α（m)为m的是的次根的整部。即：α(m)=[m^1/k]。研究了α(m)的渐近性质，并给出了一个有趣的渐近公式。     

C60高性能预拌混凝土的生产及应用

介绍了C60高性能预拌混凝土的研制及生产应用的过程与方法 ,对材料的性能、搅拌工艺进行了深入分析 ,为生产高强高性能混凝土提供了详细的思路     

A new efficient numerical method and the dynamic analysis of composite laminates with piezoelectric layers

Firstly, a numerical method for the inversion of Laplace transform is developed and its accuracy is shown through examples. Then, a state-vector equation for the dynamic problems of piezoelectric plates is deduced directly from a modified mixed variational principle for piezoelectric bodies and its exact solution for the dynamic problems of simply supported rectangle piezoelectric plate is simply given. For multilayered hybrid plates, we derive the solution in terms of the propagator matrices. The techniques accounts for the compatibility of generalized displacements and generalized stresses on the interface both the elastic layers and piezoelectric layers, and the transverse shear deformation and the rotary inertia of laminate are also considered in the global algebraic equation of structure. Meanwhile, there is no restriction on the thickness and the number of layers. As an application of the numerical inversion of Laplace transform presented in this paper, typical numerical examples of the harmonic vibration and transient response are proposed and discussed. Since the highly accurate numerical results, they can serve as benchmarks to test various thick plate theories and various numerical methods, such as the finite and boundary element methods for transient response problems.     

辽宁省大石桥市后仙峪硼矿区成矿特征

后仙峪硼矿区地表大多为混合花岗岩覆盖。从前人们认为该岩石为岩浆岩，其下不可能存在硼矿床。通过近年对该岩石的研究分析，以及野外工作我门认为该岩石为正常地层，并经钻探验证在该岩层下发现了隐伏硼矿体。     

Stokes问题一个矩形非协调元逼近

提出了一个新的矩形非协调混合元格式,把它应用于Stokes问题的数值逼近,得到了最优的误差估计.     

New multiresolution modeling techniques in CAD

To apply wavelet transformation to CAD surface model composed of multiple surface patches, an algorithm called wavelet signal separation to preserve geometric constraints during wavelet transformation is proposed. The algorithm divides the B-spline control points into those associated and those unassociated with the geometric constraints. Through preserving the signal information associated with the constraint control points, the geometric constraints can be automatically preserved after wavelet transformation. This paper also briefly investigates two types of the detail feature propagation technique in wavelet-based multiresolution CAD system. One is detail feature motion. The other is detail feature repetition. Finally, a comprehensive example is presented to illustrate the effects of the combination of those techniques.