基于系统工程的信息系统安全体系结构模型研究

随着信息系统的迅猛发展和不断应用,信息安全成为人们研究的重点。文章首先分析了通信安全、计算机安全和信息系统安全的特点及发展过程。从系统工程的角度,提出了信息系统安全三维体系结构模型,从技术维、时间维和管理维对信息系统的安全进行了描述,指出了该三维模型和网络七层协议的关系。该模型对信息系统安全保密研究具有一定的理论指导意义。

基于SSE-CMM的信息系统安全工程模型

基于SSE-CMM框架模型，提出了信息系统安全工程的V型生存期模型，在此基础上对信息系统安全系统构建的步骤作了较详细的描述，并用一开发实例进行了简要说明。

信息系统工程监理机制研究

讨论了信息系统建设中工程监理机制的概念及必要性,分析了用户方、开发方和监理方的职能及组织关系。在此基础上提出了信息系统工程监理的主要内容,即从对现行管理体制的认知;信息系统开发策略制定;系统分析;系统设计;系统实现及运行维护;监理组织和监理人员等方面进行了研究。该研究对信息系统建设具有一定的理论指导意义。

一种行业信息化标准的校验系统的设计与实现

近年来,随着信息化进程的不断推进,大型分布式信息系统越来越多。大型分布式信息系统通常由多个分系统构成,为了摒除传统"烟囱"式的信息系统架构,契合系统之间的拟合度,增强系统之间的互联互通,各行业制定了多项标准,这包括大量的数据交换格式标准、工业标准、系统开发的数据库标准,开发文档撰写规范等等。为更好地集成各个分系统,在系统正式投入使用前,必须对行业信息系统各项标准进行验证以确保标准的正确执行。目前,对行业信息系统标准的验证,主要是对交换数据格式标准、数据库标准、文档开发标准的验证,主要依靠人工进行一一比对,缺乏自动化的验证手段。文章提出了一种行业信息化标准的校验方法,包括交换数据格式标准、数据库标准和文档开发标准,对于行业信息系统标准化进展具有重要的意义。

基于主从异步复制技术的容灾实时系统研究与实现

介绍了一个实用的容灾实时系统SDPR 为提高系统的性能 ,SDPR采用严格的主从异步复制技术和多线程技术 实验表明 ,多线程技术和多进程技术能够较大地提高系统的性能 ,而且相比多进程技术 ,多线程技术所需的内存要少得多 详细探讨了采用多线程技术时怎样保证数据的一致性 SDPR系统不仅满足容灾系统设计准则 ,而且与Oracle以及Informix等数据库提供商提供的数据复制技术相比 ,SDPR通过数据库底层函数层可以屏蔽不同数据库产品或版本之间的差异 ,从而实现不同数据库产品和版本之间的数据复制 SDPR适用于使用多种数据库产品或版本的系统 ,如智能网系统 同时 ,SDPR系统可以处理数据拷贝图为任意拓扑结构的情况 容灾系统SDPR已经实现 。

无线网络考核系统的架构与安全模块的设计

该文针对于无线网络考核系统的实际需求构建了一个无线网络考核系统模型,并针对于其中隐含的安全威胁,设计出一种基于哈希函数链的安全机制,通过对哈希函数链的应用,为每个考核终端分发指定的服务密钥并对其及时更新,实现了服务密钥的在线性和安全性,从而保证整个无线网络考核系统的安全性。

基于移动设备的操作技能考核系统研究

分析了当前操作技能考核系统的不足,提出了一个基于移动设备的网络操作技能考核系统的设计方案。对系统的整体框架和功能模块进行了介绍,并对各种数据同步方式的优缺点进行了分析比较。最后指出了整个系统存在的不足。

结构测试中的路径产生

通常在结构测试的过程中首先就是测试路径的产生，接着是生成指定路径的测试用例。文章阐述了一种路径产生的方法，重点讨论了控制关系和非约束边集合在路径产生中的作用。

基于约简的关联规则采掘方法

关联规则采掘是数据采掘技术的一个重要的研究方向，文章提出了一种基于约简的关联规则采掘方法，比较分析证明该算法对于改善采掘性能确实有效。

基于UM L的软件需求用例模板设计

软件需求获取是软件开发中的一个重要步骤,基于UM L(U n ified M ode l L anguage)的U se C ase(用例)建模为软件需求获取提供了一种有效的手段.本文扩展了U se C ase建模,提出了一个含有10个域的U se C ase设计模板,并对模板中的每个域进行了详细的设计说明,最后用一实例演示了该模板的描述过程.实践证明,使用该模板可以减少书写U se C ase的随意性,利于系统分析员之间、系统分析员与用户之间的交流,便于有效地获取软件需求.

基于过程控制的软件质量保障平台设计

软件过程改进是近年来颇受关注的一个问题领域。本文在分析并提取软件开发过程的典型特征之后,介绍了一个基于过程控制的软件质量保障平台的设计结构。该平台以CMM为指导思想,支持管理者对项目开发进行计划、跟踪、协调、检查、控制等各项管理工作。

软件静态测试中C/C++抽象语法树的生成

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

创新开放型实验教学模式,提高学员创新实践能力

本文通过优化开放性实验，创新开放性实验活动，并通过加强实施学员课外创新行动计划，建立学员综合素质评价机制和组建各级学员实践创新兴趣小组等方法，调动学员参与实验和课外创新实践的积极性，提高学员创新实践能力。

基于错误模型的一类静态验证方法研究

该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程开发借助GNU提供的标准编译器生成工具lex和yacc以及vc++语言.

软件集成测试的方法及特性

软件的集成测试是软件开发过程中的一个必须的测试阶段.本文着重讨论了软件集成测试的常用的测试方法、基本测试过程、测试人员及其职责、其他各类相关人员的角色及其相互之间的各种关系,并给出了软件集成测试的一些基本特性.

声光器件特性分析及音频声光通信研究

分析了声光效应的基本原理及布拉格效应成立的条件,构建了声光器件特性测试实验装置。对声光器件中布拉格衍射的建立、声光调制的幅度特性及频率特性等基本特性进行了测量分析,对声光模拟信号传输的线性特性和音频频响关系进行了研究。