Homomorphisms of algebras

A construction of all homomorphisms of an algebra with a finite number of operations into an algebra of the same type is presented that consists in replacing algebras by suitable mono-unary algebras (possibly with some nullary operations) and their homomorphisms by suitable homomorphisms of the corresponding mono-unary algebras. Since a construction of all homomorphisms between two mono-unary algebras is known (see, e.g., [6], [7], [8]), a construction of all homomorphisms of an arbitrary algebra with a finite number of operations into an algebra of the same type can be described.     

Inverse Faraday Effect from the First Principles of General Relativity

The inverse Faraday effect is described from the first principles of general relativity, using the irreducible representations of the Einstein group.     

Steenrod operations on the Chow ring of a classifying space

We use the Steenrod algebra to study the Chow ring CH^*BG of the classifying space of an algebraic group G. We describe a localization property which relates a given G to its elementary abelian subgroups, and we study a number of particular cases, namely symmetric groups and Chevalley groups. It turns out that the Chow rings of these groups are completely determined by the abelian subgroups and their fusion.     

线性约束凸规划的鞍梯度法

求线性约束凸规划问题的最优解。方法：在鞍梯度法的基础上提出了一个具有全局收敛性的原一对偶外点算法。结果：每步迭代利用Lagrange函数的鞍梯度构造搜索方向，生成次可行解序列，由此得到的序列的极限就是原-对偶问题的最优解。结论：即使从原一对偶问题的不可行点开始迭代算法也收敛。     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

Locally Anisotropic Structures and Nonlinear Connections in Einstein and Gauge Gravity

We analyze locally anisotropic configurations modeled by anholonomic frames with associated nonlinear connections in general relativity, affine–Poincarè and/or de Sitter gauge gravity and Kaluza–Klein theories. A suitable geometrical formalism for theories with higher order anisotropies and non compactified extra dimensions is introduced. We give a mostly self–containing review of some aspects of gauge models of gravity and discuss their anholonomic generalizations and the conditions of equivalence with the Einstein gravity in arbitrary dimensions. New classes of cosmological solutions describing Friedmann–Robertson–Walker like universes with resolution ellipsoid or torus symmetry.     

"求线性规划问题可行基的一种方法"的再注记

文[1]给出一个求线性规划问题可行基的方法，文[2]指出其判定条件（3）有误，然而所用的反例并不正确。本文给出三个正确的反例；此外，还给出反例表明文[1]的判定条件（2）也不正确的。     

下游差异Cournot厂商的提成许可策略与创新激励

不同的上游市场结构对下游厂商的许可策略、创新激励产生不同的影响.文章分别基于上游原料供应商为独占垄断、双头垄断以及完全竞争的假设,结合提成许可策略,比较分析了下游产品市场差异Cournot厂商的创新激励.结果表明：上游厂商的市场势力越强,下游厂商的显著创新激励越低,但显著创新的提成许可激励却越高.这一结果为厂商与政府的创新管理提供了理论依据.     

比赛项目排序的模型

本文将2005年“电工杯”B题的最优化问题转化为独立的问题来讨论。解决了在比赛项目排序过程中尽可能使每个运动员不连续参加两项比赛问题。即把运动员参加的项目记作1，把未参加的项目记为0，这样把运动员报名表转化成为一个0-1矩阵。问题转化成为0-1矩阵进行列交换顺序，使得每一行中两个1相邻出现的次数和达到最小。并对模型进行了推广。最后指出了模型的优缺点。     

成本最小问题与(弱)DEA有效性

在文[1]的基础上,本文证明了在一定条件下对所给的决策单元、其弱DEA有效性或DEA有效性能由成本最小问题的最优解来判断.