数字兰州的构建方案

数字城市是现代化城市的一个重要标志。采用系统工程的方法,从总体构想,主要内容,计划安排以及资金等方面论述,并提出了数字兰州建设方案的整体规划框架。     

泛系理论与计算机科学一种自由探索性基础研究

本从泛系理论出发分析研究了计算机科学发展的历史过程。并从泛系本体论、泛系相对性与计算机科学与技术约基因关系,展望了计算机科学发展的方向。这也是泛系研究的新方向。     

基于最小描述长度的不完备数据处理

不完备数据是造成信息系统不确定的主要原因之一,对数据挖掘、知识发现等造成了困难.本文提出一种基于最小描述长度原则的不完备数据处理方法,实例证明这种方法是有效的.Rose工具的规则提取结果证明此方法在规则的集中性和支持度方面优于粗糙集辨识矩阵方法和Conditioned mean completer方法.     

可变谓词限定与良基理论

限定是McCarthy为了形式化人工智能中的常识推理的非单调性而提出的一种非单调推理形式。在本文中,我们首先提出了原来McCarthy的谓词限定和并行限定的一种推广形式——可变谓词限定,并描述了它的极小模型语义。然后,在此基础上建立了关于可变谓词限定的正确性、完备性以及相容性的各种结果,分析了可变谓词限定应用于良基理论时推测出新信息的能力。最后,我们为了进一步推广各种限定形式而提出了基于偏序关系的可变谓词限定。     

基于遗传算法求解复杂时间-空间布局问题

给空间布局问题加入时间约束的多目标、多约束化布局问题(复杂时间-空间布局问题)是NP完全问题.探讨了遗传算法在求解这一复杂问题过程中的应用,提出用分层型遗传算法处理复杂时间-空间布局问题,给出了有效的编码形式和解码运算.根据混合原则和算例,该算法优于普通的遗传算法.     

有模糊目标的可靠性设计一个混合遗传算法

给出了求解带有模糊目标的可靠性设计问题的一个混合遗传算法．该方法利用模糊集隶属函数的特性将各子目标函数模糊化处理为能够反映各子目标相对重要程度、具有加权指数的协调满意度函数形式；通过加权函数再将各子目标的协调满意度函数综合成统一的单目标优化模型，然后用遗传算法求解模型，用Hooke-Jeeves方法改进遗传算法的群体，得到一个混合遗传算法，最后给出实例验证该方法的有效性．     

用自然语言识别方块积木世界

计算机问世不久,就有人提出用自然语言和计算机对话,一九七一年 winograd 成功地实现了人与单臂机器人关于积木世界的对话.这里主要介绍用 POLOG 语言在 apple—Ⅱ机上实现的一个在小模型上的自然语言人机对话。     

VFP与Office的动态数据交换--对通用型字段的处理

在财务系统、题库系统中,常常需要将数据库（如ＦｏｘＰｒｏ,ａｃｃｅｓｓ）中的数据输出到Ｏｆｆｉｃｅ中,在这些动态数据交换过程中,简单的字符数据是容易处理的,但对于二进制数据的处理却比较麻烦。就如何将ＶｉｓｕａｌＦｏｘＰｒｏ（ＶＦＰ）的通用型字段输出到Ｗｏｒｄ为例,提供了一种处理二进制数据的方法。