命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。     

基于模糊二元运算的直觉模糊群

为了使直觉模糊群也具有经典的结构,首先给出经典集合G的一种直觉模糊二元运算,利用这种直觉模糊二元运算定义了直觉模糊群,讨论这种直觉模糊群的一些性质,并给出直觉模糊群的两种等价定义。由于直觉模糊群具有和群一样经典的结构,因此,使直觉模糊代数的深入研究有了充分的理论基础。     

D.C.隶属函数模糊集及其应用(II)——D.C.隶属函数模糊集的万能逼近性

本文是D.C.隶属函数模糊集及其应用系列研究的第二部分。指出在实际问题中普遍选用的三角形、半三角形、梯形、半梯形、高斯型、柯西型、S形、Z形、π形隶属函数模糊集等均为D.C.隶属函数模糊集,建立了D.C.隶属函数模糊集对模糊集的万有逼近性。探讨了D.C.隶属函数模糊集与模糊数之间的关系,给出了用D.C.隶属函数模糊集逼近模糊数的-εC e llina逼近形式,得到模糊数与D.C.函数之间的一个对应算子,指出了用模糊数表示D.C.函数的问题。     

Photochemistry in ordered physisorbed monolayers of dinitrogen tetroxide

The effects of physisorption and two-dimensional ordering on the photochemistry of N₂O₄ were investigated. Ordered monolayers were prepared by adsorption of NO₂ at 100 K on a water-ice surface. Irradiation with a continuous light source in the wavelength region 300–400 nm or with pulsed laser radiation at 355 nm resulted in exclusive desorption of NO₂. This desorption was induced by electronic absorption directly in the adsorbate via a transition corresponding to the ( )¹B_2u←( )¹A_g transition in N₂O₄, as in the gas phase. However, the subsequent dynamics in the excited state were markedly different from the gas-phase counterpart. Time-of-flight mass spectrometry of NO₂ photodesorbed at 355 nm revealed a most probable fragment translational energy of ca. 17 meV; and the angular distribution of the nascent NO₂ was peaked sharply in a direction around 10° from the normal. It is apparent that, despite the weak interaction with the substrate, significant energy transfer occurs in the ordered physisorbed monolayer to yield nascent NO₂ with very low translational energy and a constrained angle of escape which is consistent with a high degree of adsorbate order and alignment.     

Implications between strong large cardinal axioms

The rank-into-rank and stronger large cardinal axioms assert the existence of certain elementary embeddings. By the preservation of the large cardinal properties of the embeddings under certain operations, strong implications between various of these axioms are derived.     

Norm-Closed Intervals of Norm-Complete Ordered Abelian Groups

Let (G,u) be an Archimedean norm-complete dimension group with order-unit. Continuing a previous paper, we study intervals (i.e., nonempty upward directed lower subsets) of G which are closed with respect to the canonical norm of (G,u). In particular, we establish a canonical one-to-one correspondence between closed intervals of G and certain affine lower semicontinuous functions on the state space of (G,u), which allows us to solve several problems of K. R. Goodearl about inserting affine continuous functions between convex upper semicontinuous and concave lower semicontinuous functions. This yields in turn new results about analogues of multiplier groups for norm-closed intervals.     

Second-Order Optimality Conditions in Set Optimization

In this paper, we propose second-order epiderivatives for set-valued maps. By using these concepts, second-order necessary optimality conditions and a sufficient optimality condition are given in set optimization. These conditions extend some known results in optimization.The authors are grateful to the referees for careful reading and helpful remarks.     

On differential inclusions with prescribed attainable sets

In this article, the inverse problem of the differential inclusion theory is studied. For a given ε>0 and a continuous set valued map t→W(t), t∈[t₀,θ], where W(t)⊂Rⁿ is compact and convex for every t∈[t₀,θ], it is required to define differential inclusion so that the Hausdorff distance between the attainable set of the differential inclusion at the time moment t with initial set (t₀,W(t₀)) and W(t) would be less than ε for every t∈[t₀,θ].     

基于SPA联系数的大连产业结构演化规律研究

SPA联系数是把研究对象各种测度联系起来加以系统性地描述、计算、分析的一种结构函数,其一般形式为a+bi+cj,用于城市第一产业、第二产业、第三产业相互联系和演化规律的研究有其合理和创新之处,其特点是把城市第一产业、第二产业、第三产业看成一个系统.用于大连产业结构演化规律研究后发现,大连市在1978~1999年20年间经历了稳定——剧烈调整——稳定这样三个阶段.在今后的10~20年间,对于第三产业的投资仍将处在首位.     

Trees, set compositions and the twisted descent algebra

We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.