SOME NEW ASPECT OF LYAPUNOV TYPE THEOREMS FOR STOCHASTIC DIFFERENCE EQUATIONS WITH CONTINUOUS TIME

Some new Lyapunov type theorems for stochastic difference equations with continuous time are proven. It is shown that these theorems simplify an application of Lyapunov functionals construction method.     

投票理论研究现状及其展望

社会选择理论是研究如何表达和聚合个体选择的一门学问.而社会选择理论与计算机科学的融合产生了称为计算社会选择的交叉学科,该学科成为社会计算的重要研究内容之一,在人工智能、经济和计算性理论领域引起了轰动.其一方面引入了复杂性分析和算法设计等计算机学科中常用的技术来对社会选择机制进行研究;另一方面也通过引入社会选择理论中的概念来推动计算机技术的发展,特别是在多智能体系统研究中有着成功的应用.投票理论是计算社会选择中最重要的研究主题之一.首先介绍常见的投票方法以及投票理论的形式化框架;再对投票理论中所关心的操纵问题做分析;然后介绍在组合域上的投票;最后对其他相关问题作简要介绍,并对该领域未来的发展与应用做出展望.     

Automatic Construction and Verification of Isotopy Invariants

We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks. In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class, we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach, we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results. This work was previously beyond the capabilities of automated reasoning techniques. The author’s work was supported by EPSRC MathFIT grant GR/S31099.     

The solution and duality of imprecise network problems

Duality properties have been investigated by many researchers in the recent literature. They are introduced in this paper for a fully fuzzified version of the minimal cost flow problem, which is a basic model in network flow theory. This model illustrates the least cost of the shipment of a commodity through a capacitated network in terms of the imprecisely known available supplies at certain nodes which should be transmitted to fulfil uncertain demands at other nodes. First, we review on the most valuable results on fuzzy duality concepts to facilitate the discussion of this paper. By applying Hukuhara’s difference, approximated and exact multiplication and Wu’s scalar production, we exhibit the flow in network models. Then, we use combinatorial algorithms on a reduced problem which is derived from fully fuzzified MCFP to acquire fuzzy optimal flows. To give duality theorems, we utilize a total order on fuzzy numbers due to the level of risk and realize optimality conditions for providing some efficient combinatorial algorithms. Finally, we compare our results with the previous worthwhile works to demonstrate the efficiency and power of our scheme and the reasonability of our solutions in actual decision-making problems.     

Existence results for impulsive differential inclusions with nonlocal conditions

In this paper, we shall establish sufficient conditions for the existence of mild solutions for nonlocal impulsive differential inclusions. On the basis of the fixed point theorems for multivalued maps and the technique of approximate solutions, new results are obtained. Examples are also provided to illustrate our results.     

逆P-集合的边界特征与系统状态监测

逆P-集合是具有动态特性的集合模型,逆P-集合的动态特性来自集合内元素(属性)的动态迁移:元素迁入使得集合的边界向外扩展,元素迁出使得集合的边界向内收缩,从而产生扰动的边界和稳定的核。基于上述事实,在逆P-集合的基础上,提出逆P-集合的边界、核的概念和特征,给出逆P-集合与有限普通元素集合之间的关系、边界和核的扰动定理及逆P-集合、边界和核在系统状态监测中的应用。     

On the probability theory on MV algebras

 The paper contains a review of some results concerning probability theory on MV algebras (laws of large numbers, central limit theorem, martingale convergence theorem). Also some algebraic and methodical aspects are discussed.     

投资模型中关于收益率的强偏差定理

利用似然比的概念,结合上鞅的性质,研究了投资者关于收益率向量的估计分布和真实分布之间偏差的一些极限性质,得到了不等式表示的有关收益率一类强偏差定理.证明过程中给出了将条件矩母函数方法应用于研究收益率偏差的一种途径.     

S-粗集与新金属材料发现（Ⅱ）

给出属性下界值，属性上界值的数据生成概念，给出属性下界值的数据生成模型，属性上界值的数据生成模型；提出金属材料的遗传一进化定理，金属材料的遗传进化一遗传变异原理．利用这些数据模型讨论了发现新金属材料的方法；对于新发现的新金属材料用例子证明它的存在，本文的例子说明，S-粗集和它的属性值模型是材料科学中新材料发现的一个新的工具。     

个人主权的相容性与不可能性结论

研究了社会选择中的个人主权问题。在给出个人主权的2种描述形式的基础上，探讨了个人主权描述形式的一致性，通过分析Gibbard墙体颜色选择模型，研究了个人主权分配的相容性。在对个人主权与社会选择规则合理指标体系的相容性进行分析的基础上，得到了相关的不可能性结论。