A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Commuting and stable feedback design for switched linear systems

In the paper, commuting and stable feedback design for switched linear systems is investigated. This problem is formulated as to build up suitable state feedback controller for each subsystem such that the closed-loop systems are not only asymptotically stable but also commuting each other. A new concept, common admissible eigenvector set (CAES), is introduced to establish necessary/sufficient conditions for commuting and stable feedback controllers. For second-order systems, a necessary and sufficient condition is established. Moreover, a parametrization of the CAES is also obtained. The motivation comes from stabilization of switched linear systems which consist of a family of LTI systems and a switching law specifying the switching between them, where if all the subsystems are stable and commuting each other, then the total system is stable under arbitrary switching.     

环保意识调查问卷的Logistic模型

本文应用多元统计分析中的方差分析 ,logistic模型等方法对环保意识调查问卷反馈的信息进行统计分析 ,建立被调查企业对环境保护意识的logistic模型 ,进而可对企业家的环境保护意识的好坏进行判断。     

Clifford Analysis Techniques for Spherical PDE

For a ? R\alpha \in \mathbf{R}, the class of a-\alpha -order spherical harmonic functions in an open set W í\Omega \subseteq S^n-1\mathbf{S}^{n-1}, H^a(W)H^{\alpha }(\Omega ) is defined as the C²-C^{2}-solutions of D_au=0\Delta _{\alpha }u=0; where D_a=D_s+a(n+a-2)\Delta _{\alpha }=\Delta _{s}+\alpha (n+\alpha -2) is the spherical Laplace--Beltrami operator of order a\alpha and D_s\Delta _{s} is the radially independent part of the Laplace operator. We obtain a Green's integral formula for the functions in H^a(W)H^{\alpha }(\Omega ) with kernel expressed as a Gegenbauer function. As generalizations, higher order spherical iterated Dirac operators are defined in a polynomial form. Integral representations of the null solutions to these operators and an intertwining formula relating these operators on the sphere and their analogues in Euclidean space are presented.     

不连续不可逆二维映象的动力学特性

总结两个保守映象不可逆地分段连续链接(称为类耗散系统)以及一个保守映象与一个耗散映象不可逆地分段连续链接(称为半耗散系统)情况下得到的五项共同动力学特征：不连续边界象集构成的随机网成为唯一的混沌轨道；由于某些相点具有两个逆象而导致的相空间塌缩(类耗散)；由于系统的不连续不可逆性质而出现的胖分形禁区网；在具有吸引子共存时占据不连续边界象集随机网和胖分形禁区网区域的点滴状吸引域以及由此导致的吸引子不可预言性；即使在传统强耗散存在的情况下点滴状吸引域仍由类耗散机制主宰.以一个累积-触发电路为例，说明这五项系统动 关键词： 随机网 禁区网 点滴状吸引域     

自制金割效应物理摆的研究性实验

金割效应物理摆是将数学中的优选法与物理实验中的复摆结合起来并用计算机处理数据的自制教学仪器.把金割效应物理摆作为研究性实验进行开设,更有利于培养学生的开拓精神和创新能力.     

粒子-转子模型和推转壳模型中的能谱统计分析

用粒子–转子模型和推转壳模型研究了6个粒子分别填充在单j壳和双j壳上的混沌行为.分析了单j壳和双j壳情况下能谱的最近邻能级间距分布和谱刚度随自旋及推转频率的变化,结果表明,当组态空间大小不变时,系统在双j壳(g_7/2+d_5/2)情况下比在单j壳(i_13/2)情况下更规则,而当组态空间从单j壳(i_13/2)扩大到双j壳(i_13/2+g_9/2)时,系统的混沌程度变化不大.同时比较了将6个粒子的两体相互作用分别取为δ力和对力时的系统的混沌行为     

贝克曼AllegraTM21R型超高速离心机故障排除一例

贝克曼Allegra^TM 21R型超高速离心机开机后，操作面板上出现错误代码“28”，离心机不旋转。离心机的电机采用无刷感应驱动，由电机驱动电源模块BSMl0GD60DN2驱动离心机的电机。故障是由于电源模块BSMl0GD60DN2损坏引起的。采用东芝三相桥式IGBT电源模块MG25Q6ES42代替BSMl0GD60DN2，并更换已烧毁的栅极电阻后。开机试验，仪器恢复正常。     

Two-dimensional Anhydrous Cadmium(II) Phthalate

The in situ hydrolysis of phthalyl-γ-glutaminyl-histidine with Cd(ClO₄)₂·6H₂O in the presence of water and methanol affords a novel two-dimensional cadmium coordination polymer, a new phase, anhydrous cadmium(II) phthalate, ( 1 ). The structure was determined by single crystal X-ray diffraction. Crystal data: P2₁/c, a = 13.8168(14), b = 7.0351(7), c = 8.2054(8) Å, β = 105.540(2)°, V = 768.43(13) ų, Z = 4, R₁ = 0.0380, wR₂ = 0.1111.