二分图的无关分解及其在覆盖问题中的应用

为了大容量存贮器制造过程中因缺陷而造成成品率低的问题，或并行阵列中的容错重组问题，一般采用冗余修复的方法，该问题可以归结为对二分图的覆盖，且该问题属于ＮＰ完全问题。     

Zm上的负循环码和自对偶码

利用环直和分解的性质研究了Zm（m≥6）上的负循环码与其直和项上负循环码之间的关系,通过定义Zm与环的直和项有相同特征的剩余类环之间的同构映射ψ,得到了在同构映射ψ作用下环Zm上负循环码与其外直和项上负循环码关系,给出了Zm上自对偶码存在的充分必要条件．     

新铌酸盐化合物K4CuNb8O23及其Cu^2＋与Nb^5＋的类质同象代换

1986年Wanklyn等曾报道存在化合物K_5Cu_2Nb_(11)O_(31),并给出其X射线粉晶谱线,但未见进一步指标化和确定其所属晶系及晶胞参数的报道。本研究表明,存在一种新铌酸盐晶体K_4CuNb_8O_(23),其成分及X射线谱异于K_5Cu_2Nb_(11)O_(31)。 用分析纯K_2CO_3、Nb_2O_5及CuSO_4·5H_O按一定比例配制并于1100—1300℃间烧成,     

基于子图同构的可配置产品功能结构特征模板相似性获取

针对核心型定制产品功能结构特征模板及可配置产品需求实现的特点,讨论了基于事物特性表的可配置产品功能结构模型及其功能结构特征模板的形式化表达,给出了子图同构定义、属性及最大同构子图获取算法。在此基础上,提出了基于子图同构的可配置产品功能结构相似度实现算法。上述算法已在液压机YF32-3150KN系列产品功能结构特征相似性获取中得到具体应用,实践表明了该方法的有效性。     

公路隧道初期支护可靠度分析

在分析公路隧道初期支护可靠性方面,蒙特卡罗法具有较高的精度。由于工程结构破坏概率通常较小,这就要求采用蒙特卡罗方法时必须要有足够大的抽样模拟总数才能给出正确的估计,利用方差减缩技术中的对偶抽样技巧可以迅速的降低抽样模拟次数。基于有限元模拟中隧道初期支护极限状态的功能函数的分析,依据公路隧道设计规范,确定了初期支护可靠度分析的极限位移的功能函数。并且利用APDL语言,编制了调用ANSYS建模求解模块分析隧道可靠度的程序,基于对偶抽样蒙特卡罗有限元模拟分析了深埋隧道初期支护的可靠性。     

粉煤灰中的含钙矿物及其影响

含钙矿物是粉煤灰中重要的矿物成分,其含量变化会使粉煤灰性质与使用性能发生比较大的变化。总结分析了粉煤灰中含钙矿物的形成过程与存在形态,重点分析了含钙矿物对粉煤灰性能及其应用的影响。结果显示粉煤灰中SO3与CaO含量存在一定线性关系,含钙矿物增加会引起粉煤灰颗粒形貌、硅酸盐离子聚合度等发生变化,提高粉煤灰火山灰活性,但也会引起粉煤灰使用过程中体积稳定性不良,对粉煤灰在水泥混凝土中应用产生不利影响,若合理利用将会使得含钙矿物成为粉煤灰利用的有利因素。     

Does Classicism Explain Universality?

One of the hallmarks of human cognition is the capacity to generalize over arbitrary constituents. Recently, Marcus (1998, 1998a, b; Cognition 66, p. 153; Cognitive Psychology 37, p. 243) argued that this capacity, called universal generalization (universality), is not supported by Connectionist models. Instead, universality is best explained by Classical symbol systems, with Connectionism as its implementation. Here it is argued that universality is also a problem for Classicism in that the syntax-sensitive rules that are supposed to provide causal explanations of mental processes are either too strict, precluding possible generalizations; or too lax, providing no information as to the appropriate alternative. Consequently, universality is not explained by a Classical theory.     

Representing Law in Partial Information Structures

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens (1995) frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross-reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and reasoning proceed in practice.