基于递推技术的算法设计方法的应用研究

算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。     

编程思维训练通用模型研究与实现

程序设计类课程是培养学生逻辑编程能力的基本课程之一,但目前普遍反映出学生对此类课程的学习兴趣不浓,对程序设计与实现的逻辑思维混乱不清,学习效果较差。如何脱离编程语言本身,运用模拟现实生活的思维训练模型来形象地展示编程的原理与逻辑流程,以提高学生对程序设计的逻辑思维能力和学习效果是本文研究的重点。     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

基于B/S模式的数据库应用系统安全

随着数据库技术和管理信息系统的发展,两者的结合越来越紧密,其安全性正逐步引起人们的重视。数据库应用系统是在数据库管理系统支持下建立的以数据库为基础和核心的计算机应用系统,由数据库系统、应用程序系统和用户组成。文中主要探讨了基于B/S模式的SQL Server数据库应用系统的安全问题。结合B/S模式的三层结构,分别从应用程序、服务器和数据库层次进行安全性研究。其中,应用程序安全采用输入验证、输出编码和会话管理技术;服务器安全采用安全协议、操作系统安全、防火墙技术和防SQL注入攻击技术;数据库安全技术采用用户认证、访问控制、数据加密、审计追踪和视图机制技术。     

硫酸工业中常见气体有效能计算

介绍理想气体、理想气体混合物、真实气体、真实气体混合物的有效能计算方法，并以硫酸工业中常见气体为例加以说明。通过编写计算机程序进行计算，可实现有效能的快速分析，便于实际应用。     

刍议市政道路养护机械优化配置评价指标体系构建

市政府道路是城市道路的主要组成部分。通过对市政府道路养护的必要性、养护机械配置的问题以及如何构建合理的评价指标体系等进行阐释,为市政府道路养护工作提供相应的参考意见。     

B/S架构在线考试系统的断线续考功能的实现

随着教育信息化不断发展,基于Web的网络学习平台越来越多.在线考试系统是网络学习平台的重要组成部分.在线考试时由于多种原因,经常引发断线,致使考试过程中断.在线考试系统必须具备断线续考功能.文章介绍了B/S构架下ASP在线考试系统断线续考功能的工作原理及实现方法.     

使用程序静态分析技术识别Web程序中的用例结构

本文利用程序静态分析技术对Web程序中的用例识别进行了深入研究。对Web页面的用户行为进行了深入分析并建模,从行为模型中提取出描述整个系统中用户行为的事件流图,结合采用现有的从目的成功语句出发、以必经结点为基础的用例识别方法,从各个Web页面中提取的独立控制流图,形成全局控制流图,进行全局用例识别。与以前已有工作相比,本文考虑了Web程序的特点,尤其是前端程序如何实现用户行为,并在前端程序中进行精确的用例识别。本文采用目前使用较为广泛的JSP程序进行了实验,结果表明该方法能够有效识别JSP程序中的用例结构。     

C程序设计中循环结构的教学设计与探讨

循环结构在C程序设计中占据重要的位置,是教学中的重点,同时也是教学中的难点。在教学中,如何使学生建立“循环”的概念、理解“循环”的含义、设计“循环”算法、实现“循环”功能,是教学设计的重点。通过对循环结构教学设计,理清教学思路,明确教学目标,化解教学难点、突出教学重点,寓趣味性、目标性于教学中,采用了项目引导、任务驱动、演示法、分析法、讨论法等多种教学方法,调动学生学习的积极性,培养学生程序设计能力。