带参数的一阶脉冲微分方程边值问题

利用上下解和单调迭代法。讨论了带参数的一阶脉冲微分方程。获得了单边Lipschitz条件下这类方程边值问题的解的存在性。     

A new distributed approximation algorithm for constructing minimum connected dominating set in wireless ad hoc networks

In recent years, constructing a virtual backbone by nodes in a connected dominating set (CDS) has been proposed to improve the performance of ad hoc wireless networks. In general, a dominating set satisfies that every vertex in the graph is either in the set or adjacent to a vertex in the set. A CDS is a dominating set that also induces a connected sub‐graph. However, finding the minimum connected dominating set (MCDS) is a well‐known NP‐hard problem in graph theory. Approximation algorithms for MCDS have been proposed in the literature. Most of these algorithms suffer from a poor approximation ratio, and from high time complexity and message complexity. In this paper, we present a new distributed approximation algorithm that constructs a MCDS for wireless ad hoc networks based on a maximal independent set (MIS). Our algorithm, which is fully localized, has a constant approximation ratio, and O(n) time and O(n) message complexity. In this algorithm, each node only requires the knowledge of its one‐hop neighbours and there is only one shortest path connecting two dominators that are at most three hops away. We not only give theoretical performance analysis for our algorithm, but also conduct extensive simulation to compare our algorithm with other algorithms in the literature. Simulation results and theoretical analysis show that our algorithm has better efficiency and performance than others. Copyright © 2005 John Wiley & Sons, Ltd.     

广义AND／OR图的自底向上的启发式搜索算法BHAO

本文首先根据三角模概念，定义了一类新的更具普遍意义的广义ＡＮＤ／ＯＲ图．根据新定义的启发式函数ｈ（ｎ，ｘ）以及广义ＡＮＤ／ＯＲ图的最佳解树之所有子树亦是最佳子解树的原理，提出了广义ＡＮＤ／ＯＲ图的自底向上的启发式搜索算法ＢＨＡＯ．文中证明了算法ＢＨＡＯ的可采纳性．本文还提出了两类新的启发式函数的单调限制概念，并据此研究了算法ＢＨＡＯ的单调限制性质，研究了两个ＢＨＡＯ算法间的比较性质．     

横置螺旋弹簧隔振器在冲击激励下的最大应力研究

本文研究横置螺旋弹簧隔振器简化模型在主工作方向上的有预载荷的不同初值，或幅值的上架或基础冲击激励下的最大应力及发生位置，并对隔振器弹簧进行了强度分析。     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.     

向量值多线性交换子极大算子的加权估计

利用sharp极大估计给出了向量值极大算子的多线性交换子加权估计。由此可将极大算子的多线性交换子延拓为向量值加权的Lebesgue空间上的有界算子。     

Monotone Set-Valued Function Defined by Set-Valued Choquet Integral

Structural characteristics and absolute continuities of monotone set-valued function defined by set-valued Choquet integral are discussed. Similar to the single-valued monotone set function,several important structural characteristics of set-valued function are defined and have been proven the same as those in the original set functions,such as null-additivity,weakly null-additivity,order continuity,strong order continuity and property(S). A counterexample shows that order continuity and strong order contin...     

不对称级联型多电平变频器的分析及改进

不对称级联型多电平变频器拓扑结构各单元直流母线的电压不尽相同,采用混合控制策略,可以用较少的功率器件输出更多的电平数,达到更好的输出性能．引入最大延伸定理,为不对称级联型多电平变频器各单元选取电压比值提供理论依据,同时给出了一种改进型不对称级联型多电平变频器拓扑结构．