形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

基于统计阈值的Snort规则集动态产生的设计与实现

Snort作为开源的入侵检测系统,利用定义的静态规则集合实现对网络的入侵事件的检测。本文分析入侵检测系统的基本原理和模型,阐述Snort入侵检测系统部署到网络时,其静态规则集的配置方法,根据统计流量阈值和告警频率阈值动态产生动态规则集的方法,改进并提高了部署Snort应有的灵活性。     

基于DMT的1553B带宽扩展研究

由于传统的MIL-STD-1553B总线难以满足高速数据传输需求且更换现有总线代价过高,因此迫切需要在不影响现有基带通信的条件下升级1553B系统以提供高速通信接口。本文分析1553B的信道特性并据此选择频谱利用率高、抗频率选择性衰落的离散多音调制(DMT)作为扩展带宽的技术,基于离散多音调制,提出一个与现有通信相互兼容的扩展方案以显著提高传输速率,并对该方案涉及的关键技术进行介绍。     

基于SOM的模糊聚类在Web日志挖掘中的应用

将自组织映射神经网络（SOM）与FCM结合,利用SOM的并行计算能够减少模糊C均值算法在处理海量数据时的聚类时间,可以提高聚类算法的速度和效果,同时使用该算法对校园网Web日志进行数据挖掘,能够对用户行为进行分析,从而提出相应的方法,更好地提高服务效率和管理质量。     

嵌入式uClinux的Web服务技术

随着Web技术的发展,嵌入式Web服务器技术在远程管理控制方面得到了广泛的应用。远程监控系统很适合应用Web技术,而嵌入式Web服务器技术作为结合了Web技术和现场工作要求特点的一项新技术,是一种很好的解决方案。     

ASP技术构建英语考试分析系统

考试是反馈教师教学效果以及学生对知识掌握程度的有效依据,随着网络技术的不断发展,英语考试的方式也将进行一次大的改革,从传统的有纸化考试到网络的无纸化考试以及考后的成绩统计分析都将是一次革命性的飞跃,利用ASP网页和数据库技术可以构建英语考试统计分析系统。     

基于智能终端的移动MIS基础平台设计与研究

在综述目前广泛研究的智能终端模式的基础上,提出了一种新的基于智能终端和面向服务体系结构的移动MIS基础平台。该平台基于智能客户端技术和元数据业务模型,可以实现移动公办与后台管理信息系统的结合。详细阐述了移动MIS基础平台的设计、实现及其优点。     

基于Web的决策支持系统的设计与实现

实现了一个基于Web的原型决策支持系统。该系统依据以往天气条件的记录,递归地构建一个决策树,用其预测未来网球比赛能否举行。详细展示了一个原型决策支持系统开发周期,包括从分析、设计到实现,如何使用面向对象技术来开发系统。     

基于XML的新闻管理系统设计

简要分析基于XML的新闻管理系统的架构及主要功能模块设计,构建Web Service实现新闻发布旨在实现信息资源共享,并通过案例加以说明。     

数字证书在环保行业的应用分析

目前国家环保部正在开展的国家环境信息与统计能力建设项目中,采用数字证书为业务系统提供强身份认证服务。详细论述了数字证书在环保部的应用模式,指出了今后的工作方向,同时也指出了现有应用模式的不足之处。