论“宇宙情怀”

人类跨入二十一世纪,精神蚀化,"心"灾丛生,很有必要在文学创作中树立一种神圣的"宇宙情怀"精神,借以慰藉人类躁郁的灵魂。宇宙情怀包涵文学境界精神、诗意超验品度、深在人文向度三个层面的文化内容,其终极关怀指向一种纯精神的诗性坚守。     

关于函数芽的相对通用形变与通用形变

用奇点理论的方法对函数芽的相对通用形变进行了研究,定义了函数芽的相对余维数和相对通用形变,给出了相对函数芽的相对通用形变定理及相对通用形变与通用形变之间的关系,并给出一个具体的例子.     

Multi-linear variable separation approach to nonlinear systems

The multi-linear variable separation approach is reviewed in this article. The method has been recently established and successfully solved a large number of nonlinear systems. One of the most exciting findings is that the basic multi-linear variable separation solution can be expressed by a universal formula including two (1+1)-dimensional functions, and at least one is arbitrary for integrable systems. Furthermore, the method has been extended in two different ways so as to enroll more low dimensional functions in the solution.      

Kripke submodels and universal sentences

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with (homo)morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms (including ? and ⊥) using ∧, ∨, ?, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model‐consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

李超代数与Frobenius代数

利用限制李超代数的新定义,给出了李超代数的p-包络的一些相关结果,并将李代数中表示理论的一些结果推广到李超代数上,进而研究了限制李超代数与Frobenius代数的关系．     

基于USB的鼠标扫描系统设计与实现

提出了一种基于USB总线的光电鼠标电路和扫描电路相结合的新的设计思想，并介绍了具体的实现方法以及各个部分的电路和芯片选型，该系统通过USB总线和PC机相连，扫描和鼠标的结合也增加了该系统成为PC机标准配置设备的可能。     

Using Fox Derivatives in Treating Groups of the Form F/[R′, F]

For a factor group with respect to periodic part of a group of the form F/[R′, F], an embedding in the matrix group is defined. The criteria for a matrix to belong to an image of this group and for elements to be conjugate are specified. Some statements having a direct bearing on groups of the form in question are proved. Application of the results obtained allows us to refine the answer in [7] to a question by O. Chapuis concerning the universal classification of ∀-free soluble groups with two generators. Supported by RFBR grant No. 02-01-00293 and by FP “Universities of Russia” grant No. UR.04.01.227. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 114–125, January–February, 2006.     

球共振声学法测量普适气体常数

设计和建立了高精度的球共振声学法气体音速测量装置,分析了实际的球共鸣器的结构对共振频率的影响,并给予了相应的修正.测量了温度为29315K,压力在02MPa—08MPa范围内氩气的音速,并根据音速数据确定了普适气体常数.实验温度、压力和普适气体常数的不确定度分别为±14mK,±2kPa和±00036%.最终确定的普适气体常数R为831439±000030J·mol-1·K-1. 关键词： 普适气体常数 音速 球共振器 声学法     

Frames with Transitive Structures

A classical result in the theory of uniform spaces is that any topological space with a base of clopen sets admits a uniformity with a transitive base and the uniform topology of such a space has a base of clopen sets. This paper presents a pointfree generalization of this, both to uniform and quasi-uniform frames, together with various properties concerning total boundedness, compactifications and completions.