智能工作站英充规则知识库设计

本文介绍了中日国际合作开发研究的Ａｌ型智能网络智能工作站中英汉规则知识库的设计模型。该模型采用概念编码的方法构造规则知识库，具有较强的扩充性和实用性，规则知识库支持智能工作站进行自然语言交互和理解。     

把好你的电脑系统"安全门"

现在的电脑给人有一种弱不禁风的感觉,不是今天受到这个病毒突袭,就是明天受到那个黑客的攻击,出错、死机变得像家常便饭一样了。为了让计算机“坚强”起来,不少人找来了杀毒软件、防火墙,希望通过这些软件来增强计算机的免疫力。的确,这些软件在一定程度上增强了计算机抵抗外来攻击的能力,但是,对于计算机内部系统存在的漏洞就无能为力了。在此,笔者以Windows98为例向大家介绍几种通过修改系统注册表来提高系统安全的方法,希望能起到抛砖引玉的作用。     

探索电子政务发展规律建设网上政府公共服务体系

2002年3月12日,青岛市委办公厅和市政府办公厅联合印发《青岛市电子政务工程2002-2005年规划纲要》,提出了“全面推进政府上网,大力发展网上应用,逐步形成网络环境下的＇一体化政府＇,为社会提供＇一站式服务＇”的电子政务发展目标.为实现这一目标,我们以政府门户网站建设为龙头,以集约化模式为基础,以资源整合为动力,以决策协调督查三结合为保障,不断扩展和完善网上政府公共服务体系.     

智能行政:行政管理体制改革的巨大动力

一、人类社会形态与行政管理形态，（一）人类进入“后工业社会”近20年来,信息技术迅猛发展,引发了生产和组织方式的变革、全球市场的融合与重构,带动起一场与工业革命深度相当的信息革命,它改变着整个社会的根基,把人类带入一个“后工业社会”、“知识经济社会”或“信息社会”.这个社会形态与以往的社会形态有着截然不同的特点。     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

网络环境对高校图书馆采购工作的新要求

阐述了网络环境下图书馆采购信息源的变化，提出了网络环境下对图书馆采购人员综合素质的要求，以及网络时代图书馆的采购原则。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。