答疑系统问题的Z语言规约

分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共事．因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明。同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作。

基于Z规格的答疑系统的标准检查

对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化,证明设计的规格说明能够满足用户的需求.

“任务驱动法”在《计算机网络》实验教学中的应用

分析了高职计算机网络实验教学中存在的问题,主要是实验教学方法落后,不能适应高职教育的需要,因而采用了"任务驱动法"去解决实验教学中的问题。实践证明,该方法可以取得比较好的教学效果。

基于SELinux的Samba服务器的设计

利用SELinux构建安全的Samba服务器,在CentOS5.5上通过编写配置策略,以实现安全的最大化,并给出了详细的配置方法。通过实验证明,该配置策略和方法能够达到用户对Samba服务的安全要求。

高职计算机网络课程实验内容的研究

针对高职计算机网络基础的实验教学,提出要根据课程目标确定实验内容,然后设计实验项目,并给出了一个高职计算机网络基础实验教学的实验设计。

Linux系统下投影仪的配置使用方法探索

针对Linux系统下X Window的特点,通过手动和自动修改系统配置文件的方法,解决了多媒体教室中在直接使用Linux操作系统CentOS的情况下实现投影仪的配置使用的问题。