Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Operations in A-theory

A construction for Segal operations for K-theory of categories with cofibrations, weak equivalences and a biexact pairing is given and coherence properties of the operations are studied. The model for K-theory, which is used, allows coherence to be studied by means of (symmetric) monoidal functors. In the case of Waldhausen A-theory it is shown how to recover the operations used in Waldhausen (Lecture Notes in Mathematics, Vol. 967, Springer, Berlin, 1982, pp. 390-409) for the A-theory Kahn-Priddy theorem. The total Segal operation for A-theory, which assembles exterior power operations, is shown to carry a natural infinite loop map structure. The basic input is the un-delooped model for K-theory, which has been developed from a construction by Grayson and Gillet for exact categories in Gunnarsson et al. (J. Pure Appl. Algebra 79 (1992) 255), and Grayson's setup for operations in Grayson (K-theory (1989) 247). The relevant material from these sources is recollected followed by observations on equivariant objects and pairings. Grayson's conditions are then translated to the context of categories with cofibrations and weak equivalences. The power operations are shown to be well behaved w.r.t. suspension and are extended to algebraic K-theory of spaces. Staying close with the philosophy of Waldhausen (1982) Waldhausen's maps are found. The Kahn-Priddy theorem follows from splitting the “free part” off the equivariant theory. The treatment of coherence of the total operation in A-theory involves results from Laplaza (Lecture Notes in Mathematics, Vol. 281, Springer, Berlin, 1972, pp. 29-65) and restriction to spherical objects in the source of the operation.     

一种新型彩色三维光学成像系统

提出一种新型三维彩色光学数字成像系统。此系统利用投影结构光对现实世界中的物体进行数字化，同时得到对应的彩色纹理。详细介绍了系统的硬件设计和软件体系结构设计，得到物体彩色纹理的两种不同方法；直接获取和从编码条纹中提取，给出了用该系统得到的实验结果并简单评价了系统的性能。此系统在反求工程、影视制作、三维游戏制作、医学应用等方面有远大的应用前景。     

Magnetic properties of oxygenated carbon nitride films from RF-discharge in an acetylene, nitrogen, and oxygen mixture environments

Properties of oxygenated carbon nitride films have attracted the attention of physics researchers due to their magnetic and physical properties, as well as for their usefulness in the industry. The free radicals were investigated using electron paramagnetic resonance applied in the study of spin concentration due to the different mechanism of preparation of carbon nitride films by RF-discharge with different kinds of plasma. Unpaired spin concentrations, in the order of 10²⁰ per cm³, were measured and their time recombination dependency was important in those films. The films were grown by plasma enhanced chemical vapor deposition using mixtures of hydrocarbons, N₂ and O₂ in different proportions.     

Rehabilitation of the Gauss-Jordan algorithm

Summary In this paper a Gauss-Jordan algorithm with column interchanges is presented and analysed. We show that, in contrast with Gaussian elimination, the Gauss-Jordan algorithm has essentially differing properties when using column interchanges instead of row interchanges for improving the numerical stability. For solutions obtained by Gauss-Jordan with column interchanges, a more satisfactory bound for the residual norm can be given. The analysis gives theoretical evidence that the algorithm yields numerical solutions as good as those obtained by Gaussian elimination and that, in most practical situations, the residuals are equally small. This is confirmed by numerical experiments. Moreover, timing experiments on a Cyber 205 vector computer show that the algorithm presented has good vectorisation properties.     

Fibrations of bigroupoids

Using Brown's construction (J. Algebra 15 (1970) 103) of an exact 6-term sequence for a fibration of groupoids we show how an exact 9-term sequence can be associated to a fibration of bigroupoids. Applications to topology and algebra are given.     

Temperature and junction-type dependency of Andreev reflection in MgB2

We studied the voltage and temperature dependency of the dynamic conductance of normal metal-MgB₂ junctions obtained either with the point-contact technique (with Au and Pt tips) or by making Ag-paint spots on the surface of MgB₂ samples. The fit of the conductance curves with the generalized BTK model gives evidence of pure s-wave gap symmetry. The temperature dependency of the gap, measured in Ag-paint junctions (dirty limit), follows the standard BCS curve with 2Δ/k_BT_c=3.3. In out-of-plane, high-pressure point-contacts we obtained almost ideal Andreev reflection characteristics showing a single small s-wave gap Δ=2.6±0.2 meV (clean limit).     

Defect operators, defect functions and defect indices for analytic submodules

This paper mainly concerns defect operators and defect functions of Hardy submodules, Bergman submodules over the unit ball, and Hardy submodules over the polydisk. The defect operator (function) carries key information about operator theory (function theory) and structure of analytic submodules. The problem when a submodule has finite defect is attacked for both Hardy submodules and Bergman submodules. Our interest will be in submodules generated by polynomials. The reason for choosing such submodules is to understand the interaction of operator theory, function theory and algebraic geometry.     

Positions of convex bodies associated to extremal problems and isotropic measures

We show that there are close relations between extremal problems in dual Brunn-Minkowski theory and isotropic-type properties for some Borel measures on the sphere. The methods we use allow us to obtain similar results in the context of Firey-Brunn-Minkowski theory. We also study reverse inequalities for dual mixed volumes which are related with classical positions, such as ?-position or isotropic position.     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.