新型电感储能脉冲功率驱动源

提出了将传统单个储能电感利用传输线分隔成两部分的新型电感储能脉冲功率驱动源技术方案。理论分析表明,利用传输线电容的耦合延时作用,可有效对调制器输出脉冲波形进行整形,并且可以进一步提高能量转换效率,从而克服传统电感储能脉冲功率源输出波形质量差(类三角波波形)的缺点。基于该思想开展了实验研究,获得了电压约300 kV,电流约20 kA的电子束,并成功驱动S波段磁绝缘线振荡器获得了百MW量级的微波输出。     

Inductive Construction of Repletion

The aim of this paper is to give a purely logical construction of repletion, i.e. the reflection of an arbitrary set to a replete one. Replete sets within constructive logic were introduced independently by M. Hyland and P. Taylor as the most restrictive but sufficiently general notion of predomain suitable for the purposes of denotational semantics à la Scott.For any set A its repletion R(A) appears as an inductively defined subset of S²(A) (A S) S which can be expressed within the internal language of a model of type theory. More explicitly, R(A) is the least subset of S²(A) containing all point filters and closed under a class of generalised limit processes. Improvements of our construction arise from several results saying that it suffices for the purpose of repletion to consider more restrictive classes of generalised limit processes.     

Fourier Invariant Partially Approximating Subalgebras of the Irrational Rotation C*-Algebra

For a dense G-set of parameters, the irrational rotation algebrais shown to contain infinitely many C*-subalgebras satisfyingthe following properties. Each subalgebra is isomorphic to adirect sum of two matrix algebras of the same (perfect square)dimension; the Fourier transform maps each summand onto theother; the corresponding unit projection is approximately central;the compressions of the canonical generators of the irrationalrotation algebra are approximately contained in the subalgebra.2000 Mathematics Subject Classification 46L80, 46L40, 46L35.     

Overtone spectroscopy of some benzaldehyde derivatives

Overtone spectrum of o, m and p-nitrobenzaldehydes and p-chlorobenzaldehyde has been studied in 2000–12000 cm⁻¹ region. Vibrational frequencies and anharmonicity constants for aryl as well as alkyl CH stretch vibrations have been determined. We have also determined the internuclear distances for the aryl CH bond in the different molecules. The small variation observed in these distances is an indication of the substitution effect. It is observed that in the case of p-disubstituted benzens, the shift in aryl CH bond is proportional to sum of the Hammet σ of the substituents. However in the case of o-disubstituted benzenes it is only 80% of the para-substituted shift.     

Sequential Completeness of LF-Spaces

Any LF-space is sequentially complete iff it is regular.     

A Traditional Scientific Perspective on the Integrated Information Theory of Consciousness

This paper assesses two different theories for explaining consciousness, a phenomenon that is widely considered amenable to scientific investigation despite its puzzling subjective aspects. I focus on Integrated Information Theory (IIT), which says that consciousness is integrated information (as ϕ^Max) and says even simple systems with interacting parts possess some consciousness. First, I evaluate IIT on its own merits. Second, I compare it to a more traditionally derived theory called Neurobiological Naturalism (NN), which says consciousness is an evolved, emergent feature of complex brains. Comparing these theories is informative because it reveals strengths and weaknesses of each, thereby suggesting better ways to study consciousness in the future. IIT’s strengths are the reasonable axioms at its core; its strong logic and mathematical formalism; its creative “experience-first” approach to studying consciousness; the way it avoids the mind-body (“hard”) problem; its consistency with evolutionary theory; and its many scientifically testable predictions. The potential weakness of IIT is that it contains stretches of logic-based reasoning that were not checked against hard evidence when the theory was being constructed, whereas scientific arguments require such supporting evidence to keep the reasoning on course. This is less of a concern for the other theory, NN, because it incorporated evidence much earlier in its construction process. NN is a less mature theory than IIT, less formalized and quantitative, and less well tested. However, it has identified its own neural correlates of consciousness (NCC) and offers a roadmap through which these NNCs may answer the questions of consciousness using the hypothesize-test-hypothesize-test steps of the scientific method.     

n-Butyllithium-promoted regioselective elimination of vicinal bis-triflate having an adjacent ether oxygen

Regioselective elimination of a vicinal bis-triflate having an adjacent ether oxygen functional group has been developed. Considered in the context of our studies of the regioselective elimination of vicinal dibromide, the key to the mechanism involves the electron-withdrawing inductive effect of the neighboring oxygen functional group. Aliphatic vinyl triflate was shown to be effective in Suzuki–Miyaura cross coupling compared with corresponding aliphatic vinyl bromide.     

Non-conflicting ordering cones and vector optimization in inductive limits

Let (E, ξ)= ind (E_n, ξ_n) be an inductive limit of a sequence (E_n, ξ_n)_{n∈ N} of locally convex spaces and let every step (E_n, ξ_n) be endowed with a partial order by a pointed convex (solid) cone S_n. In the framework of inductive limits of partially ordered locally convex spaces, the notions of lastingly efficient points, lastingly weakly efficient points and lastingly globally properly efficient points are introduced. For several ordering cones, the notion of non-conflict is introduced. Under the requirement that the sequence (S_n)_{n∈ N} of ordering cones is non-conflicting, an existence theorem on lastingly weakly efficient points is presented. From this, an existence theorem on lastingly globally properly efficient points is deduced.     

Validity and Accuracy of Equivalent Circuit Models of Passive Inductive Meshes. Definition of a Novel Model for 2D Grids

Accuracy of equivalent circuit models of periodic grids is investigated in amplitude and phase in the visible region. The grids studied here are one-dimensional (1D) and two-dimensional (2D) inductive thin metal meshes. They are located in free space and are illuminated by a plane wave under normal incidence. The range of validity and the accuracy of conventional circuit models are defined by comparison with rigorous results obtained with the Finite-Difference Time-Domain (FDTD) method. In particular, it is shown that electrical models of 1D grids are accurate, whereas equivalent circuits of 2D grids should be used very cautiously. Then, a new formulation is proposed to overcome this major drawback. In the non-diffraction region, the agreement between our model and the FDTD results is within 2% for the power reflectivity and 1° for the phase over a very wide range of strip widths.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.