一个新的模糊谓词演算形式系统

首先，在模糊逻辑命题演算形式系统Ω^*的基础上，讨论了相应的谓词演算理论，建立了一阶形式系统K^*，基于R0代数的基本理论，给出了系统K^*的若干语义概念，包括M－解释I，I－赋值，公式的值，真，M－逻辑有效性等，从而形成了模糊谓词演算一种新的语构与语义体系。其次，研究了系统K^*的基本性质，指出了系统Ω^*的定理都是系统K^*的定理，给出了系统K^*与量词有关的一些重要定理，证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的；系统K^*的强可靠性定理也成立，即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理，一阶系统K^*及其重要的性质，为模糊推理提供了一种更为合理的逻辑框架。     

基于距离判别法的雹云识别模型

【目的】提高雹云识别准确率,降低因冰雹造成的经济损失。【方法】依据气象雷达反射率图像,利用Kmeans聚类提取云层的内外轮廓,计算其距离方差;利用雷达软件提取云高数据并计算云高的一阶统计测度;将云层内外层轮廓的距离方差与云高一阶统计测度相结合,构造雹云判别模型。【结果】利用此模型对已有样本检测,可知该模型识别率判别准确率为88.75%,准确率较高。【结论】通过内外轮廓方差与云高一阶统计测度构造的距离判别模型有较好的判别效果。     

东南亚语言及信息处理研究进展

本文首先介绍各东南亚语言的特点,并重点介绍越南语与中国壮语的关联以及它们在信息处理上的相近性;然后介绍国内外越南语信息处理的工作现状,并分析汉越机器翻译的发展趋势;最后展望东南亚语言及壮语信息处理的下一步工作。     

关于认识藏彝走廊的三个角度与研究思路

提出了研究与认识藏彝走廊的三个角度及思路:人、地关系;从藏缅语分化演变角度认识藏彝走廊中藏缅语民族的共同起源与历史演变;从整体和多学科综合角度进行藏彝走廊研究。并就这三个角度在研究和认识藏彝走廊中的必要性及价值进行了探讨。     

浅谈外语院校文献检索课的建设

文献检索课是为了培养学生的信息意识、信息能力和信息道德素养,使学生掌握从文献中获取知识和情报的基本技能而开设的一门科学方法课。本文主要从文献检索课的必要性、教学保障、教学方式、教学内容等方面来论述外语院校（外语专业）文献检索课的建设。     

从《四书》的英译看中国经典的对外传译

文章首先从《四书》的内容看加强中国传统文化对外传译的必要性;其次从《四书》的英译简况看中国传统文化对外传译的现状：最后分析了中国传统文化对外传译的两个方面与三条途径。     

滇西北藏缅语族语言四音格词类型探究

四音格词是藏缅语族语言的典型共性之一,区别于汉语四字成语的重叠构词方式,常见于口传文化活动和日常话语中。从类型学视角综合分析,滇西北地区的藏缅语族若干少数民族语言的四音格词体现出一定规律的结构和语义类型学共性。     

一阶线性双曲方程的间断耗散谱元法

讨论了一阶线性双曲方程的间断耗散谱元法,建立了Crank-Nicolson全离散格式的稳定性和误差估计.选取适当的基函数,设计了有效的并行算法,并给出了数值结果,验证了该方法的有效性.与传统的谱元法、耗散谱元法以及间断谱元法进行比较,显示出该方法的某些优势.     

装饰语言的演变与不同时代的设计观

装饰语言作为一种特殊的语言方式, 记录了人类的文明历程, 从中我们可以看到不同时代的设计观的演变, 即从手工艺时代的再现主义美学观到工业社会的表现主义美学观发展至现代信息社会的共生美学设计观