GIS环境城市居民地合并综合算法研究

根据最小二乘平差理论,通过对城市居民地综合过程的分析研究,给出了应用最小二乘平差理论进行综合的约束条件和算法过程,建立了城市居民地合并综合算法,应用实例表明算法是有效的。     

复杂诊断系统的MAS分布式协作方法

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,研究一种基于MAS的分布式智能监控系统。以诊断决策问题的结构及建模过程的层次性为基本思想,基于诊断任务的多层次混合分解策略,提出融合不同表达方式和推理机制的多Agent并行诊断结构,建立了具有公共属性的智能体模块化层次结构,实现了基于MAS多层分布式黑板模型的智能监控系统。工程应用效果验证了多智能体结构框架下复杂系统分布式求解的可行性和有效性。     

经济因素在文化传播中的强势作用

I.The theory basis for the thesisThe dominated position of the economy.From the aspect ofMarx’s philosophy and plutonomy,the world is substantial.Heclaimed that substance takes up the first characteristic,superiorto all other aspects of the world.“As the basic economyactivity,Material production activity has the most fundamentalfunction for human being to survive.Economy activities includefour parts,namely,production,distribution,exchange andconsumption,in which most of the human being’s …     

浅谈玉林师院图书馆的文献资源建设

本文提出专升本后高师图书馆在文献资源建设方面的一些设想以及具体做法。     

Failure of n‐uniqueness: a family of examples

In this paper, the connections between model theory and the theory of infinite permutation groups (see 11 ) are used to study the n‐existence and the n‐uniqueness for n‐amalgamation problems of stable theories. We show that, for any n ? 2, there exists a stable theory having (k + 1)‐existence and k‐uniqueness, for every k ? n, but has neither (n + 2)‐existence nor (n + 1)‐uniqueness. In particular, this generalizes the example, for n = 2, due to Hrushovski given in 3 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

先秦献捷礼考

先秦献捷礼是中国古代的一种军礼，特指诸侯国对蛮夷戎狄用兵胜利后向周天子告捷的庆祝活动，诸侯国之间发生战争不行献捷礼。春秋时期，诸侯国向周天子的献捷礼明显减少，同时出现了诸侯国相互献捷的新现象。献捷礼的变化反映了随着民族融合的空前加强，周夷矛盾渐趋缓和，而周人内部矛盾日渐尖锐的社会事实。     

NGN的业务基础应用

以中国铝业股份有限公司的IP电话网为例，介绍了NGN的业务基础应用，指出了NGN网络建设中应注意的问题，并对NGN的发展进行了预测．     

Some Categorical Algebraic Properties: Counter-Examples for Functor Categories

This work is a complement to the authors earlier papers, where it is shown that a functor category inherits from such properties as amalgamation, transferability and congruence extension if has either products or certain pushouts. A general scheme is given for constructing counter-examples which show that the latter condition on is essential. In particular, it is shown that the functor categories , , ( resp.) do not satisfy the amalgamation (congruence extension resp.) property in general. Moreover, one class of categories is described, where the condition of the existence of certain pushouts is not only sufficient, but also necessary for to preserve the considered properties of .Mathematics Subject Classifications (2000) 18A25, 18A32, 18B99, 08B26.Dali Zangurashvili: The support rendered by INTAS Grant 97 31961 is gratefully acknowledged.     

Netlike partial cubes III. The median cycle property

A graph G has the Median Cycle Property (MCP) if every triple (u₀,u₁,u₂) of vertices of G admits a unique median or a unique median cycle, that is a gated cycle C of G such that for all i,j,k∈{0,1,2}, if x_i is the gate of u_i in C, then: {x_i,x_j}⊆I_G(u_i,u_j) if i≠j, and d_G(x_i,x_j)<d_G(x_i,x_k)+d_G(x_k,x_j). We prove that a netlike partial cube has the MCP if and only if it contains no triple of convex cycles pairwise having an edge in common and intersecting in a single vertex. Moreover a finite netlike partial cube G has the MCP if and only if G can be obtained from a set of even cycles and hypercubes by successive gated amalgamations, and equivalently, if and only if G can be obtained from K₁ by a sequence of special expansions. We also show that the geodesic interval space of a netlike partial cube having the MCP is a Pash-Peano space (i.e. a closed join space).     

Craig interpolation for semilinear substructural logics

The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear (subdirect products of linearly ordered) pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R‐mingle with unit” logic (corresponding to varieties of Sugihara monoids) that have the Craig interpolation property. This latter characterization is obtained using a model‐theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids admitting the amalgamation property.