A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.     

钻井井架力学性能分析

钻井井架作为钻机系统设备中的关键部分,其力学性能直接关系到整套钻机系统的安全生产。文章推导了常用于分析钻井井架力学性能的理论,即线性屈曲、几何非线性和双重非线性理论。提出同时用这三种理论对钻井井架进行综合比较分析,从而合理地预见井架力学性能的方法。以A形钻井井架为例,进行了详细的分析,得到了井架的失稳形式、极限承载、破坏特征及薄弱部位,为钻井井架的设计、优化与评定提供了参考。     

Combustion of bulk density powder mixtures in a coflow of nitrogen gas: 3. The Ti-(Ti + 0.5C) layered system

Explored is the filtration combustion in Ti-(Ti + 0.5C) layered powder systems in a coflow of nitrogen gas. The presence/absence of nitrogen coflow through the layered system was found to drastically affect the character of wave propagation and structure/properties of product. The obtained data can be regarded as a basis for fabrication of new layered and composite materials in the mode of dynamic filtration combustion.      

The deposition morphology of Brownian/non-Brownian particles within a constricted tube

The deposition morphology of Brownian/non-Brownian particles within a constricted tube is investigated by applying the Brownian dynamics simulation method in the present paper. Two different geometric structures, the parabolic constricted tube (PCT) and the sinusoidal constricted tube (SCT), are adopted. The effect of various types of the total interaction energy curves of the Derjaguin-Landau-Verwey-Overbeek (DLVO) theory, and of the shadow area cast by those deposited particles, on the particles’ collection efficiencies are also examined. For the PCT structure, under the same interaction energy curve, it is found that the non-Brownian particles always own a higher collection efficiency than that of the Brownian particles. Since the deposition location moves closer to the constriction part of the tube, the collection efficiencies of the Brownian/non-Brownian particles increase with the decrease of flow velocity. The SCT behaves differently, it is found that the collection efficiencies of non-Brownian particles are only slightly higher than those of Brownian particles when SCT is adopted. The steep slope of the tube wall near the constriction part of SCT dominates the whole deposition process of Brownian/non-Brownian particles. In comparison with the available experimental data, it is found that the present method can give a good simulation result.     

The timing of appraisals.

The appraisal process consists of the subjective evaluation that occurs during an individual's encounter with significant events in the environment, determining the nature of the emotional reaction and experience. Placed in the context of appraisal theories of emotion-elicitation and differentiation, the aim of the present research was to test empirically the hypothesis that the intrinsic pleasantness evaluation occurs before the goal conduciveness evaluation. In two studies, intrinsically pleasant and unpleasant images were used to manipulate pleasantness, and a specific event in a Pacman-type videogame was used to manipulate goal conduciveness. Facial EMG was used to measure facial reactions to each evaluation. As predicted, facial reactions to the intrinsic pleasantness manipulation were faster than facial reactions to the goal conduciveness manipulation. These results provide good empirical support for the sequential nature of the appraisal process. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A connectionist implementation of the theory of planned behavior: Association of beliefs with exercise intention.

The theory of planned behavior suggests attitudes are a product of salient beliefs. This study examined whether aggregating salient beliefs was plausible within a more biologically centered information-processing environment. A neural network was used to examine associations among beliefs relating to exercise intention. Data on intentions and behavioral, normative, and control beliefs from 114 respondents were used to train (by error backpropagation) a neural network to associate beliefs with intention. The R2 between the network's estimated and self-reported intention was .66. The network's representation comprised 6 belief profiles associated with high, moderate, or low behavioral intention. The neural network accommodated complex relationships among beliefs and belief-intention associations and indicated how high-level constructs such as attitudes may be viewed as the best fit (compromise state) between aroused beliefs. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

谈谈职业教育的大众性

对职业教育的大众性问题进行了论述、实证分析和理论、政策、改革等思考。     

A self-organizing fuzzy control of weld pool size in GMA welding processes

In arc welding processes, because of the complexity and nonlinearity of heat transfer phenomena, it is often difficult to design an effective control system based upon an exact mathematical model. In this paper, a self-organizing fuzzy control method is proposed to obtain a uniform weld quality by regulation of the surface temperature at a desired level. The proposed control system is designed to comprise a combined structure of the fuzzy SOC with conventional PD control for improving the system's stability. The control experiments show that the proposed controller guarantees a uniform weld quality for various welding conditions.     

Density functional theory studies of Cu-zeolite de-NOx catalysts

Summary Recent progress in the modelling of exchanged Cu sites and their interactions with small molecules, based on DFT cluster calculations, is briefly reviewed.     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.