崔继
- 作品数：6 被引量：15H指数：2
- 供职机构：广东松山职业技术学院更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 答疑系统问题的Z语言规约被引量：2
- 2007年
- 分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共事．因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明。同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作。
- 崔继周竹荣
- 关键词：答疑系统软件工程形式化方法Z语言
- 基于Z规格的答疑系统的标准检查被引量：1
- 2007年
- 对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化,证明设计的规格说明能够满足用户的需求.
- 崔继周竹荣
- 关键词：答疑系统软件工程形式化方法Z语言
- 高职计算机网络课程实验内容的研究被引量：1
- 2009年
- 针对高职计算机网络基础的实验教学,提出要根据课程目标确定实验内容,然后设计实验项目,并给出了一个高职计算机网络基础实验教学的实验设计。
- 崔继
- 关键词：高职计算机网络实验教学
- “任务驱动法”在《计算机网络》实验教学中的应用被引量：6
- 2008年
- 分析了高职计算机网络实验教学中存在的问题,主要是实验教学方法落后,不能适应高职教育的需要,因而采用了"任务驱动法"去解决实验教学中的问题。实践证明,该方法可以取得比较好的教学效果。
- 崔继
- 关键词：任务驱动法计算机网络实验教学教学研究
- 基于SELinux的Samba服务器的设计被引量：5
- 2011年
- 利用SELinux构建安全的Samba服务器,在CentOS5.5上通过编写配置策略,以实现安全的最大化,并给出了详细的配置方法。通过实验证明,该配置策略和方法能够达到用户对Samba服务的安全要求。
- 崔继
- 关键词：LINUXSELINUXCENTOSSAMBA
- Linux系统下投影仪的配置使用方法探索
- 2011年
- 针对Linux系统下X Window的特点,通过手动和自动修改系统配置文件的方法,解决了多媒体教室中在直接使用Linux操作系统CentOS的情况下实现投影仪的配置使用的问题。
- 崔继
- 关键词：LINUXCENTOSXWINDOW投影仪
