排序方式： 共有21条查询结果，搜索用时 15 毫秒
1.
将格作用在半格上得到L-半格的概念,研究了具有最大元的格作用在半格上得到L-半格的正则性。同时,得到了正则性、投射性、忠实性之间的关系。 相似文献
2.
采用传统高度差原理,整理归纳了天体真高度、天体恒星格林时角与赤纬和天文船位的解算模型,使用C#编程工具,设计出天文定位绘算系统,并进行了误差分析.该系统经过实际航海应用和软件测试,将自动计算结果与手工计算进行比对,可知该系统计算迅速、结果准确,能够满足航海要求,并且避免了在最通常情况下手工计算所不可避免的误差或错误,证明了系统的实用性和可靠性. 相似文献
3.
4.
由文献[2]中的箭头关系,我们定义出条件(α)所确定的形式背景的相容子背景,并揭示出了这个相容子背景的两个表示定理. 相似文献
5.
首先讨论了Ｄｅ Ｍｏｒｇａｎ代数的同余关系特性，在此基础上得到了Ｄｅ Ｍｏｒｇａｎ代数的次直积表示定理，然后着重就有限情况研究了Ｄｅ Ｍｏｒｇｎａ代数Ｌ和与之相联系的Ｄｅ Ｍｏｒｇａｎ代数Ｌ之间的关系。 相似文献
6.
具有析取性质的软代数 总被引：3，自引：0，他引：3
证明了具有析取性质的软代数所对应的拓扑空间是含有一个对合同胚的布尔空间，由此得到一个软代数具有析取性质的充要条件是它的每个素理想是极大理想，此外，证明了既约的具有析取性质的软代数仅有二元链及四元可补格M2。 相似文献
7.
罗从文 《华中师范大学学报(自然科学版)》2005,39(3):294-297
利用自然数的整除理论首先研究自然数的约数集构成的Kleene代数的性质,由此得到了这种Kleene代数的分解定理,然后引入一种补运算使之成为一个Keene-Stone代数。 相似文献
9.
格作用在半格上得到L-半格,它有自己特有的结构和性质.本文主要讨论了具有最大元的格作用在半格上得到的L-半格的分解性和平坦性.同时,还介绍了L-半格的同余关系、余直积以及张量积的一些性质. 相似文献
10.
在对同层元素两两相比较建立AHP判断矩阵后,建立了住宅小区建筑设计方案选择的属性层次模型(AHM),该方法是一种新的无结构决策方法,简单而有效,具有实际应用价值. 相似文献