A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN—HILL CLIMBING METHOD WITH PUSH DOWN STACK

This paper presents a formal approach to design of a solver of an intelligent managementinformation system and its implementation. The approach implies set theoretic modeling based on thegeneral systems concepts and implementation in the extProlog. There are research efforts which attack(optimization)problems using the set theory and logics.Furthermore, they use logic programming languages for their implementation. Although their methodslook quite similar to the approach of this paper, there are clear differences between them. This paper isinterested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classificationof problems is discussed. The least structured class of the classification is the target of this paper. Adata mining system is an example of the class. Formal theories are derived for the design procedure assuming the least structured case. A solvingstrategy,which is called a hill climbing method with a     

有向路上的保向部分一一变换半群

设In是集Xn={1,2,3,…,n}上的对称逆半群,且有向路为ρ={（1,2）,（2,3）,（3,4）…（n-1,n）},令Iρ={α∈In：任意x,y∈dom α,（x,y）∈ρ→（xα,yα）∈ρ}∪{Ф}.证明了Iρ是一个类A子半群,研究了Iρ的Green＊-关系,进一步得到Iρ的＊理想.     

一个新的C代数和它的本质交换子

得到了一个新的Ｃ＾＊代数Ｅ＋Ｅ;它介于所有的Ｔｏｅｐｌｉｔｚ算子的Ｈａｎｋｅｌ算子所生成的Ｈａｎｋｅｌ代数Ｎ＾Ｇ和Ｈａｒｄ空间Ｈ＾２上的所有的有界线性算子代数Ｂ（Ｈ＾２）之间,且 它的本质交换子是由满足ｆ（ｚ）＝ｆ（ｚ）的所有连续符号的Ｔｏｅｐｌｉｔｚ算子生成的Ｃ＾＊代数再加上紧算子代数。     

算子代数上Hermitian双线性泛函表示

在紧支集无穷次可微函数空间,或急速下降无穷次可微函数空间上,给出取值算子代数中的Ｈｅｒｍｉｔｉａｎ双线性泛函的表示,为算子代数上的广义函数提供有用的工具。     

完全分配格上的一种对偶关系

在完全分配格中引入了一种“＊”运算,利用这一运算,证明了对任一完全分配格中任一元素都可利用不小于等于它的元素的极小族来直接构造该元素的一个极大族,从而给出了极大族与极小族理论之间的内在联系．利用前面的结果,给出了完备集环上完全并素元之集与完全素元之集间的一一对应关系．     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究，通过加强IMTL-代数条件的方法建立了IMTL＊-代数，并通过实例证明了IMTL＊-代数结构的存在性；其次，构造了一个非IMTL＊-代数的IMTL-代数，说明了IMTL＊-代数是IMTL-代数的真的强化形式，并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画；最后，给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

Nuclear C^＊—代烽中的三角子代数的根

设Ｂ是含Ｋｕｍｊｉａｎ意义的对角Ｄ的Ｎｕｃｌｅａｒ Ｃ＾＊代数。，Ａ是Ｂ中的三角子代数，本文讨论了Ａ的各种根之间的关系，特别的，证明了Ａ的Ｊａｃｏｂｓｏｎ根等于Ａ的拓扑素根，拓扑原始根等于Ａ的素根才闭包。     

一阶系统KL中一组形式相近公式之间的关系

一阶语言是自然语言(特别的数学语言)的一种形式化体系,引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式.笔者讨论了一阶形式系统KL中一组形式相近公式(xi)A(xi),A(xi),(xi)A(xi),A(t),A(ai)之间的关系.从而可以更方便从语义和语构两方面研究一阶语言.