一类矢量地图的无损压缩算法

充分考虑平面矢量地图文件的存储特性,对点,线,面类图层文件采用不同的几何压缩算法,有机结合“无附加码书”字典编码方法,可逆并显著地压缩了矢量地图,并得到了更有利于提高后续BWTBlock-Sorting文本压缩算法效果的预处理结果,从而实现了平面矢量地图的有效的无损压缩。采用实际的地图数据,经实验分析表明:本算法具有较高的压缩性能,较好的压缩和解压效率和简单实用性。     

k—Bitonic排序

将经典的Ｂｉｔｏｎｉｃ排序方法和理论扩充为Ｋ－Ｂｉｔｏｎｉｃ排序方法和理论。Ｋ－ｉｔｏｎｉｃ排序可以在Ｔ步内将Ｋ＝２ｋ或Ｋ＝２ｋ－１个单调序列合并成一个有序序列,其中,ｋ是任意的正整数。     

Zadeh模糊集合理论存在问题证明及其改进--一个满足全部经典集合公式的C-模糊集合系统

Zadeh模糊集合理论具有不能正确描绘客观世界的全部模糊现象,特别是不能描绘相交而不“包含或者分散包含”的情况,不可能存在反集等两个严重缺点;定义了不存在的反集这一严重错误,导致了思维、逻辑和概念混乱.但是,Zadeh等把错误缺点说成为“对传统的挑战”、“摆脱传统的约束”[2-序]的先进成果.企图用“算子”拼盘(不是像概率论那样各种公式有统一的解释)来掩盖缺点,导致了系统混乱(不清楚什么时候需要使用什么算子),误导人们以为模糊集合理论必然与常规思维、逻辑和概念相悖.为此,分析和证明了Zadeh模糊集合的错误.介绍了一个新模糊集合系统:C-模糊集合系统,它能克服Zadeh模糊集合理论的全部错误和缺点,能正确地描绘客观世界的全部模糊现象,有反集.它是经典集合系统的特例而不是推广,能满足全部经典集合的公式,与正常思维、逻辑和概念一致.     

语义单元表示库的半自动构建技术

提出了一种高效的半自动构建语义单元表示库(英汉)的方法.该方法不是使用分词和词性标注等工具,而是直接对组成双语句子的基本字符进行处理,采用语义单元实量匹配和重构语义单元树的算法,对其产生的结果运用规则进行推断,规则独立于其他模块并且可扩充.经人工检查正确的语义单元加入语义单元表示库中.实验表明,该方法能保证结果的正确性,达到实用的水平.     

概率论基本部分与模糊集合理论的统一定义

提出一个概率论的基本部分与模糊集合理论的统一理论，称为W-理论．它可以解释为概率论，也可以解释为新模糊集合理论（称做P-模糊集合理论，它与C-模糊集合理论等价），而Zadeh-模糊集合理论是新模糊集合理论的一个有三个缺点和两个错误的子系统．这里，模糊集合对应于（带概率的）事件，隶属度对应干概率，关系系数对应于条件概率，等等．模糊集合之间关系与概率论的事件之间关系一样，不仅有不相交，非一致包含，相交而不非一致包含，而且还有相互独立，等等．新模糊集合理论与概率论的基本部分是同构的．     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

21世纪有关计算机领域的十二个重大难题

自从1946年第一台电子数字计算机诞生以来，每隔3～7年，计算机的速度、性能和可靠性可提高十倍，价格和体积可下降十倍，整体性能以百亿倍的速度飞速发展。原先需要花几万年才能完成计算的数据，现在只需一小时，原本不可能实现的梦想变成了现实。计算机的应用使原先极其昂贵的计算成本变为可忽略不计的成本，令原先没有经济效益的应用项目具有巨大的经济效益，从而导致了新的产业革命和社会各领域的变革。     

Zadeh模糊集合理论的缺陷及其改进:C*-模糊集合理论

分析和证明了Zadeh模糊集合理论的三个缺点和两个错误,提出了一个考虑模糊集合之间关系,并且用相关系数来刻画这种关系的程度的新模糊集合理论(系统)--C*-模糊集合理论(系统).新理论(系统)能克服Zadeh模糊集合理论的三个缺点和两个错误;能正确地描绘客观世界的全部模糊现象;有补集;隶属度有统一的计算公式;并且是经典集合系统的特例,能满足全部经典集合的公式,与正常思维、逻辑和概念一致.     

纵,横,斜——倾斜与振荡法多路归并排序

提出一种新的归并技术，称为倾斜与振荡法多路归并，且提出建立在这种多路归并基础上的排序技术，并且讨论该类算法的时间复杂度。所提出的归并算法的主要特色是：它不是建立在２－Ｗａｙ归并的基础上，而２－Ｗａｙ归并可以做为Ｋ＝２时的１种特例，指出Ｓｌｏｐｉｎｇ－ａｎｄ－Ｓｈａｋｉｎｇ Ｋ－Ｗａｙ归并及排序速度可以高于２－Ｗａｙ归并及排序。     

多语言机译系统中高质量语义单元库形成方法

讨论构建多自然语言互译机译系统所需的高质量、可扩充、完备的、无可弃、无重复、无非正常歧义的多语统一语义单元知识库.在构建过程中采用类型特征分类方法有效降低计算复杂性,使去重复的计算量降低一半,去可弃的计算量降到O(βN)(N是语义单元库规模,β是有界数,β相似文献