Energy of formation for and liquid binary alloys

We have investigated the free energy of formation for Ag_xIn_1-x and Ag_xSn_1-x liquid binary alloys at temperatures 1173 and 1250 K, respectively. A microscopic theory based on the first order perturbation has been applied. The interionic interaction and a reference liquid are the fundamental components of the theory. The interionic interaction is described by a local pseudopotential. A liquid of hard spheres (HS) of two different effective diametres and charges is used to describe the reference system. The results of the calculations for energy of formation agree very well with the available experimental data. Our calculations also reveal that a simple perturbative approach along with appropriate effective pair potentials can produce nearly quantitative results for the concerned alloys.     

Category with a natural cone

Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given. We point out that the main results of this paper were already stated in [3], and the purpose of this article is to give full details of the foregoing.     

Crystal dissolution kinetics and Gibbs free energy

The dependence of dissolution rates on the difference of Gibbs free energy is of critical importance for our understanding of crystal dissolution, reactive flow models and their applications to a variety of environmentally related problems. Here, we review experimental data generated with mineral powders and single crystals to develop a better understanding of apparent inconsistencies between otherwise internally consistent data sets. Additional information from direct surface observations and measurements with vertical scanning interferometry (VSI) and atomic force microscopy (AFM) of albite dissolution at 25, 150 and 185 °C may shed new light on this old but unsolved question. Our discussion is based on the importance of etch pit development, its ΔG dependence, and the pits’ role as a source for steps and step movement in the dissolution process. Results indicate that reaction history may be of critical importance in determining the overall reaction mechanism and its rate. Different rates are observed for systems having otherwise identical ΔG_r acquired from increasing versus decreasing disequilibrium positions.

In this context, we finally discuss the validity of the common application of transition state theory (TST) to elementary and overall reactions governing the dissolution process. In this discussion of crystal dissolution, we contrast TST applications with a stochastic, many-body treatment that has led to the development of a stepwave model. This discussion also focuses on the controversy caused by the rivalry between surface adsorption models and a probabilistic model that seeks to incorporate the full three-dimensional crystal structure.     

基于傅立叶变换轮廓术的物面相位提取

采用傅立叶变换轮廓术,针对基频提取的关键技术采用逐行傅立叶变换,准确提取基频信息的方法恢复相位信息.在此基础上,以未畸变条纹为基准,得出被测物体的真实位相值.该方法只需一幅条纹图,节约了测量时间.实验证明可实现无接触面型的自动传感.     

Web-Based Information Extraction Technology

Information extraction techniques on the Web are the current research hotspot. Now many information extraction techniques based on different principles have appeared and have different capabilities. We classify the existing information extraction techniques by the principle of information extraction and analyze the methods and principles of semantic information adding, schema defining,rule expression, semantic items locating and object locating in the approaches. Based on the above survey and analysis,several open problems are discussed.     

一种信息审计系统中的多关键字匹配算法

针对审计系统中搜索大量审计数据的需要,设计了一种基于哈希表机制的多关键字匹配算法.该算法把关键字集合储存到哈希表中,并为关键字集合建立了两个过滤表和一个关键字长度类型表.在查找过程中,对未经过滤表验证的字符串不再进行匹配查找,同时,关键字长度类型表的使用减少了循环的次数.测试结果表明,该算法在速度和精度上都优于BM和mgrep算法.     

Computations of critical groups and applications to asymptotically linear wave equation and beam equation

In this paper, by using the Morse index theory for strongly indefinite functionals developed in [Nonlinear Anal. TMA, in press], we compute precisely the critical groups at the origin and at infinity, respectively. The abstract theorems are used to study the existence (multiplicity) of nontrivial periodical solutions for asymptotically wave equation and beam equation with resonance both at infinity and at zero.     

Conic Formulation for l p -Norm Optimization

In this paper, we formulate the l _p -norm optimization problem as a conic optimization problem, derive its duality properties (weak duality, zero duality gap, and primal attainment) using standard conic duality and show how it can be solved in polynomial time applying the framework of interior-point algorithms based on self-concordant barriers.     

Stratifiable Families of Extremals and Sufficient Conditions for Optimality in Optimal Control Problems

It is shown that, if a parametrized fämily of extremals F can be stratified in a way compatible with the flow map generated by F, then those trajectories of the family which realize the minimal values of the cost in F are indeed optimal in comparison with all trajectories which lie in the region R covered by the trajectories of F. It is not assumed that F is a field covering the state space injectively. As illustration, an optimal synthesis is constructed for a system where the flow of extremals exhibits a simple cusp singularity.     

THEORY AND APPLICATIONS OF MONOTONE SEMIFLOWS FOR FUNCTIONAL DIFFERENTIAL EQUATIONS

The theory of monotone semiflows has been widely applied to functional differential equations (FDEs). The studies on the theory and applications of monotone semiflows for FDEs are very important and interesting. A brief des-cription of our recent works are as follows.By using general monotone semiflow theory, several results of positively invariant sets, monotone solutions and contracting rectangles of retarded functional differential equations(RFDEs) with infinite delay are gained under the assumption of quasimonotonicity; sufficient conditions for the existence, un-iqueness and global attractivity of periodic solutions are also established by combining the theory of monotone semiflows for neutral functional differential equations(NFDEs) and Krasnoselskii's fixed point theorem.