部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。     

一种路由器形式化测试模型的研究

研究了基于进程代数的并行复合测试技术，其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析，而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。     

改进的空间数据库主动规则条件测试模型

空间数据库的主动规则条件测试对于规则的执行效率至关重要。本文采用空间查询代数优化技术和空间算子迁移方法,提出扩展的空间规则鉴别网络(ESRDN)模型,给出ESRDN的优化启发式规则及其正确性证明,分析结果表明,该改进模型可以提高空间数据主动规则的条件测试效率。     

左对称代数的若干性质

本文以纯代数的观点讨论了左对称代数的若干性质，如右单位，可递性，幂零性，核理想等。同时还讨论了这些性质的基邻接Ｌｉｅ代数上的反映。     

双重Ockham代数的同余核

双重Ｏｃｋｈａｍ代数的同余核吴丽云（广东民族学院计算机科学系，广州５１０６３３；作者，女，４１岁，讲师）双重Ｏｃｋｈａｍ代数是一个具有（２，２，１，１，０，０）类型的代数（Ｌ；∧，∨，ｆ，ｇ，１，０），其中（Ｌ；∧，∨，１，０）为有界分配格，（Ｌ；∧...     

德摩根拓扑代数的R0,R1分离公理

引进德摩根拓扑代数的Ｒ０，Ｒ１分离公理，证明了Ｒ０，Ｒ１的遗传性和可乘性并建立了Ｒ０，Ｒ１与Ｔ０，Ｔ１，Ｔ２之间的关系。     

高秩的Virasoro代数的中心扩张

给出了秩为２的高铁的Ｖｉｒａｓｏｒｏ代数的中心扩张，由此可以看出高秩的Ｖｉｒａｓｏｒｏ代数的中心扩张不同于Ｖｉｒａｓｏｒｏ代数的中心扩张，并可发现文〔２〕给出的高秩的Ｖｉｒａｓｏｒｏ代数的中心扩张是不全面的。     

一类Duadic群代数码的存在性

Ｄｕａｄｉｃ码是群代数ＧＦ（ｑ）Ｇ中满足一些条件的幂等元生成的左理想，其中Ｇ是有限群且（ｑ，Ｇ）＝１，考虑ｑ＝２，Ｇ为ｍｎ介非阿贝各（其中ｍ，ｎ是奇素数）且劈分为μ－１的ｄｕａｄｉｃ码存在的充分条件和必要条件。     

可视形式代数法——一种实用的空间结构建模方法

采用形式代数法来描述空间结构，详细分析了ＡＬＧＯＲＦＥＡＳ软件的前、后处理功能及其数据结构，编写了形式代数法模型库软件包以及与ＡＬＧＯＲＦＥＡＳ软件之间的接口程序，真正实现了结构计算可视化。