基于信息整合的高校共享数据平台研究

共享数据平台是一个集信息整合和应用于一体的平台.文章通过分析不同的数据共享模式,探讨了如何准确规划和建设高校共享数据平台,并给出了共享数据平台整体的逻辑框架和功能实现.另外还讨论了共享数据平台如何收集、处理、存储各类信息数据,并为电子校务的各类应用提供可靠、统一的数据,最终保证了全校共享信息的一致性.     

基于.NET的异种数据交换模型

传统异种数据交换强调借助某一通用XML Schema作为过渡实现不同格式数据之间的交换,尽管理论上可行,但该通用XML Schema并没有被制定出来,所以异种数据交换一直没能实现.基于对传统方式的理论研究,分析XML与.NET技术相结合在异种数据交换的优势,最终将结合实例详细描述一种完全可以不借助通用XML Schema实现数据交换的模型.     

基于角色的安全登录框架设计与实现

随着应用系统的增多,对权限控制提出了更高的要求,对所控制的资源的粒度越来越细.登录的安全问题不但涉及用户名和密码,还关系到权限的交错.文章详细描述了一种.NET Framework平台上的基于角色的安全登录框架实现方法,同时简要讨论了该框架的使用流程.     

基于.NET实现多语言互操作性

为解决不同编程语言编写的应用程序之间不能相互兼容问题,文章通过分析传统方案中制作MFC DLL以及MFC应用程序调用该MFC DLL在效率方面的不足,提出新的解决方案,即从一般数据类型到数组、指针等多角度证明在.NET平台上开发类库DLL实现多种编程语言相互通信的可行性.     

二叉树队列关系问题非递归算法的推导及形式化证明

该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算法后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类问题是基于2个母算法的功能加以实现的,由此派生出3类问题.首先,对这3类派生问题进行推导,得到递...     

二叉树排序非递归算法推导及形式化证明

非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义.     

校园网络防病毒体系的研究

校园网络安全正经受着严峻挑战,网络病毒,特别是来自校园内网的网络病毒时刻威胁着校园网络各种应用业务系统的正常运转和网上信息资源的安全,基于网络传播感染的病毒层出不穷,病毒的防范和控制已经成为校园网管理工作的重要组成部分.文章结合西北民族大学校园网实际情况,介绍如何构建和部署一套安全有效的校园网防病毒体系,以及通过日常管理工作流程不断完善此防毒体系.