Boundary control of two PDE’s separated by interface conditions

<正> This paper discusses the null boundary controllability of two PDE's,modeling a compositesolid with different physical properties in each layer.Interface conditions are imposed.     

A line search filter secant method for nonlinear equality constrained optimization

<正> This paper formulates and analyzes a line search method for general nonlinear equalityconstrained optimization based on filter methods for step acceptance and secant methods for searchdirection.The feature of the new algorithm is that the secant algorithm is used to produce a searchdirection,a backtracking line search procedure is used to generate step size,some filtered rules areused to determine step acceptance,second order correction technique is used to reduce infeasibility andovercome the Maratos effect.Global convergence properties of this method are analyzed:under mildassumptions it is showed that every limit point of the sequence of iterates generated by the algorithmis feasible,and that there exists at least one limit point that is a stationary point for the problem.Moreover,it is also established that the Maratos effect can be overcome in our new approach by addingsecond order correction steps so that fast local superlinear convergence to a second order sufficient localsolution is achieved.Finally,the results of numerical experiments are reported to show the effectivenessof the line search filter secant method.     

Process capability analysis and estimation scheme for autocorrelated data

<正>Autocorrelation is prevalent in continuous production processes,such as the processes in the chemical and pharmaceutical industries.With the development of measurement technology and data acquisition technology,sampling frequency is getting higher and the existence of autocorrelation cannot be ignored.This paper analyzes five estimation schemes of process capability for autocorrelated data.Comparisons among these schemes are discussed for small sample and large sample.In conclusion,this paper gives a procedure of process capability analysis for autocorrelated data.     

Clustering patents using non-exhaustive overlaps

Patent documents are unique external sources of information that reveal the core technology underlying new inventions.Patents also serve as a strategic data source that can be mined to discover state-of-the-art technical development and subsequently help guide R&D investments.This research incorporates an ontology schema to extract and represent patent concepts.A clustering algorithm with non-exhaustive overlaps is proposed to overcome deficiencies with exhaustive clustering methods used in patent mining and technology discovery.The non-exhaustive clustering approach allows for the clustering of patent documents with overlapping technical findings and claims,a feature that enables the grouping of patents that define related key innovations.Legal advisors can use this approach to study potential cases of patent infringement or devise strategies to avoid litigation.The case study demonstrates the use of non-exhaustive overlaps algorithm by clustering US and Japan radio frequency identification (RFID) patents and by analyzing the legal implications of automated discovery of patent infringement.     

Connecting informal networks to management of tacit knowledge

The relationship between tacit knowledge and informal networks has not been fully explored.Tacit knowledge cannot be well managed directly,because it is deeply embedded in individual actions and experiences.This study proposes an approach to managing informal networks as a new middle way to facilitate the sharing and transferring of tacit knowledge,owing to the fact that tacit knowledge is mostly shared and transferred through informal networks.To support the idea of the approach,an empirical case study of applying the approach to management of a large scientific project is also included.Our findings suggest that informal networks play essential roles for management of tacit knowledge,and thus good management of informal networks can lead to efficient sharing and transferring of tacit knowledge.     

温室热平衡计算及经济性分析

以保证作物适宜生长温度为前提,以温室最不利传热为基础,提出了温室热平衡简易计算模型。在此模型的基础上进行了理论分析和数学计算。结果表明,温室供热在经济方面具有可行性。表4,图2,参2。     

AGENT-BASED SIMULATION FOR KANSEI ENGINEERING： TESTING A FUZZY LINEAR QUANTIFICATION METHOD IN AN ARTIFICIAL WORLD

This paper argues that agent-based simulation can be used as a way for testing Kansei Engineering methods which deal with the human reaction from sensory to mental state, that is, sensitivity, sense, sensibility, feeling, esthetics, emotion affection and intuition. A new fuzzy linear quantification method is tested in an artificial world by agent-based modeling and simulations, and the performance of the fuzzy linear method is compared with that of a genetic algorithm. The simulations can expand people＇s imagination and enhance people＇s intuition that the new fuzzy linear quantification method is effective.     

A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.     

Conflict analysis approaches for investigating attitudes and misperceptions in the War of 1812

Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United States of America and Great Britain in order to provide enhanced insights into the causes of the war. More specifically, relational definitions for preferences, movements and stability concepts are defined for describing the attitudes and associated behavior of decision makers involved in a conflict. To capture misperceptions of decision makers in the War of 1812, attitudes are studied within the structure of a hypergame. Combining attitudes and misperceptions within the paradigm of the graph model furnishes the flexible analytical tool which demonstrates that misunderstanding of attitudes by Great Britain and the United States may have contributed to the outbreak of this nasty war.     

THE λ-GROBNER BASES UNDER POLYNOMIAL COMPOSITION

Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. λ-Grgbner basis is an especial Grobner basis. The main problem in the paper is： when does composition commute with λ-Grobner basis computation？ We shall answer better the above question. This has a natural application in the computation of λ-Grobner bases.