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.     

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.     

Finite-Dimensional Approximations for Scattering Theory Operators in the Wave-Packet Representation

We consider some types of packet discretization for continuous spectra in quantum scattering problems. As we previously showed, this discretization leads to a convenient finite-dimensional (i.e., matrix) approximation for integral operators in the scattering theory and allows reducing the solution of singular integral equations connected with the scattering theory to some suitable purely algebraic equations on an analytic basis. All singularities are explicitly singled out. Our primary emphasis is on realizing the method practically.     

Boundary value problems for first order impulsive delay differential equations with a parameter

In this paper, by means of the method of upper and lower solutions and monotone iterative technique, the existence of maximal and minimal solutions of the boundary value problems for first order impulsive delay differential equations is established.     

Global Solution of Optimization Problems with Parameter-Embedded Linear Dynamic Systems

This paper develops a theory for the global solution of nonconvex optimization problems with parameter-embedded linear dynamic systems. A quite general problem formulation is introduced and a solution is shown to exists. A convexity theory for integrals is then developed to construct convex relaxations for utilization in a branch-and-bound framework to calculate a global minimum. Interval analysis is employed to generate bounds on the state variables implied by the bounds on the embedded parameters. These bounds, along with basic integration theory, are used to prove convergence of the branch-and-bound algorithm to the global minimum of the optimization problem. The implementation of the algorithm is then considered and several numerical case studies are examined thoroughly     

小型企业规模的有效性分析

在当代企业纷纷追求规模的不断扩大的同时，统计数据却显示企业平均规模不断下降的事实趋势。论根据数学、经济学与博弈论的有关理论对企业规模小型化的内在要求进行了探讨，分析的结论一致证明：粘型化规模在当代经济环境中是充分有效的。