程序设计类竞赛集训模式探讨及作用分析

针对目前高校开展程序设计竞赛的现状,首先介绍国内可参加的程序设计竞赛的特点,然后介绍程序设计竞赛集训的模式,最后以学生为对比样本,从多个方面说明程序设计竞赛集训的作用。     

IEEE1394技术及其发展综述

简要回顾了IEEE1394的技术背景及其基本特性，介绍了IEEE1394串行总线标准和连接方式，此外还讨论了IEEE1394的应用范围和发展前景。     

开放型计算机实验室管理系统的设计与实现

介绍开放型计算机实验室管理系统的设计方法与实现技术，主要包括系统分析与设计、网络设计、条形码设计以及系统实施中的关键技术。     

一种用于快速检测BOM回路的解决方案

物料清单（BOM）是ERP系统中的重要基础数据,物料清单的正确与否对于ERP系统的实施与运行有着直接的影响。本文提出一种新的检测BOM回路的方法,为解决BOM回路检测问题提供了新的途径。     

基于用户行为的网络数据过滤方法

网络数据过滤是防御木马的一项重要技术,提出一种基于用户行为来过滤网络数据的新方法.该方法通过进程将用户操作行为与网络数据进行关联,允许用户操作过的进程收发网络数据,不需要人工干预就可以过滤网络数据.实践表明该方法防御以单独进程形态运行的木马比较有效,并且不怕木马变形,有利于构建高效的防御系统.     

一种在PB应用程序中自动附加并连接SQL Server数据库的方法

结合PowerBuilder 9．0开发的江西广电CATV收费管理系统在数据库处理方面的实例，介绍一种利用SQL Server数据库中的系统存储过程在PB应用程序中自动附加并连接SQL Server数据库的方法，结果显示该方法切实可行。     

面向模型检测的LTL语句自动生成方法

为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。