关于一个线性不等式组整数解的讨论

本文介绍了一个特殊的线性不等式组整数解的模型Ｉ。并给出了一个复杂性Ｏ（Ｎ２ｂ）的拟多项式算法程度。     

用非标准方法制作CO_2水玻璃砂工艺试样的探讨

本文应用数理统计的方法论证了在用非标准方法制作的CO_2水玻璃砂工艺试样与标准试样重量相当的情况下,采用这种非标准试样是可靠的.     

标准正统的英式英语：Received Pronunciation（RP）

在中国,会说英语的人越来越多,但是真正说得很棒的,特别是语音纯正、听起来让人觉得地道好听的人,即使在英语专业里也为数不多,在非英语专业里就更加难得了。英语语音课所使用教材的差异、语音教师英式发音或美式发音倾向的差异等诸多因素都导致了学生英语发音的良莠不齐。本文主要介绍Received Pronunciation(RP),旨在为英语语音教学提供一些启示。     

Subdirectly irreducible sectionally pseudocomplemented semilattices

Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented semilattices. Supported by the Council of the Czech Government, MSM 6198959214.     

中西方城市社会区空间模式的对比

针对中西方不同的社会区空间模式，具体分析了它们形成的不同影响因素及形成机制．同时，根据社会区的发展趋势，对我国今后良性社会区的构建提出建议，以便为城市规划提供科学依据．     

论民事诉讼中的高度盖然性证明标准

客观真实的证明要求存有弊端,应有法律真实的证明要求取代之.而实现法律真实这一证明要求的手段,即为高度盖然性的证明标准.在我国民事诉讼中,引入高度盖然性的证明标准既有其合理的根据,又有其重要的意义.但法官在适用这一标准定案时,应遵循一定的原则.     

评《地图书馆评估标准》

主要从办馆条件、基础业务建设、读者服务、业务研究、内部管理5个方面对1998年和2003年的《地图书馆评估标准》作了比较，从中可以看出新标准更强调了图书馆的服务性和社会性。     

在普通物理实验中贯彻不确定度的概念

本文主要介绍了在普物实验的测量结果中用不确定度来评定测量质量的简化做法。     

运用恩格尔系数分析白城市居民生活水平

运用恩格尔系数分析白城市居民消费结构和生活水平,反映社会经济发展程度,从社会稳定的角度透视投资环境的优劣。     

On n ‐contractive fuzzy logics

It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL‐chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)