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

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

一类退化拟线性发展方程的初边值问题

研究一类退化拟线性发展方程ua-uxx-β(uxt)x=f(x,t)的初边值问题,其中β(s)∈C1,β(s)≥0.利用单调算子方法,在关于β(s)的增长阶较弱的条件下,得到整体强解的存在性与唯一性,从实质上改进和推广了Prestel[1]的结果.     

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

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

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

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

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

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

状态空间方程的计算机仿真计算

本文通过对系统状态空间方程的计算机仿真计算,提出了状态空间方程的求解方法,并通过求解获取系统的有关信息,如敛散性、能控性、能观测性等,为系统的参数调整与设计提供依据。     

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

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