用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

多值图象分层为二值图象的压缩编码方法

本文提出并实现了一种新的多灰度图象压缩编码方法。该方法将多灰度图象按位分层为二值图象,进行游程长度编码。各码码长相等(均为8bit);码字覆盖的最大游程长度为1024。由于按照字节存取,编码解码很方便;遇到干扰可恢复图象,比Huffman编码有很强的抗干扰性能。提出的直接图象码解决了游程长度较短的低位分层图象的压缩问题。对于序列活动图象,帧内、帧间编码能同时进行,实现容易。该压缩编码方法无失真,也可应用于文本二值图象的编码压缩。     

论智能分布式模拟屏实时监控系统(DIRMSS)设计

本文提出一种全新的DIRMSS系统结构,该系统既能独立自成系统又可联网,既能实时又能非实时运行,既能支持实时动态图形表格显示,又可离线利用ECAD生成图形画面,同时还具备通讯信道自诊断故障定位、显示设备故障定位和路径敏化等优点。     

基于一维熵的图像阈值自动选取

图像的直方图双峰不明显时,选择分割阈值就很困难。本文提出用图像的香农(Shannon)信息熵来克服这一困难,并进行了理论推导,提出了实现算法。实验结果表明,本算法对任何形状的直方图,均可自动选择分割阈值。     

论教育信息化与现代远程教育

针对我国提出的“现代远程教育工程” ,论述了发展教育信息化对我国经济社会发展的重要作用与意义、教育信息化在我国面临的主要问题、现代远程教育技术的核心条件基础教育、信息资源的建设以及我国现代远程教育技术的发展趋势     

基于扩展虚存思想的微机存储器无限扩展方法

本文通过对IBM-PC微型计算机硬件结构的研究,针对其内存容量小,满足不了信息处理要求的问题,提出并实现了一种扩展虚存思想。借助于微机本身的总线结构及接口扩展槽,采用局部总线设计技术,在占用主机一个单槽及内存空间一个段的情况下,无须对其原有硬件作任何改动,就可使它的内存无限扩展。利用这一思想作成的扩展虚存板,可以满足存储大容量动目标序列图像的要求。     

抓住机遇 迎接新世纪的挑战--部分专家谈兰州信息港建设

编者按:为了贯彻市委十届三次全委(扩大)会议精神,加速兰州信息港建设的步伐,近日兰州市科委邀请了中科院、兰州大学、省计算机技术中心、甘工大、铁道学院、省科技情报所等单位的专家学者,召开了兰州信息港建设专家研讨会,为兰州信息港建设献计献策.我们特将部分专家学者及有关领导的讲话选登于后,以供参考.     

基于RBF神经网络和RS理论的磨矿分级系统软测量模型

为了提高硫化镍选矿过程的效率并改善选矿产品的质量,运用RS理论研究了某选矿厂磨矿工艺多维数据的属性约简.在建立相应RBF神经网络预测模型基础上,给出了表征磨矿生产过程内在规律的最小知识表达,并基于该模型对选矿生产指标进行了预测.结果表明:磨矿工艺数据可以进行浓缩,生产过程经验操作能够找到相应的理论依据,从而加深了对生产工艺过程内在规律的认识;应用软测量技术获取了球磨机和旋流器内部状态主要关键参数,该模型分析过程相对简单,网络学习训练时间少、学习精度高;仿真结果表明估计值与分析值拟合良好.     

基于Mobile Agent的入侵检测系统模型的研究

提出了一个基于MobileAgent技术的入侵检测系统模型.该模型采用传送Agent实现关键主机的隐藏,提高系统的抗攻击性;采用分区域管理增强系统的扩展性及适应性;在CIDF通信协议下,采用协作Agent实现多个入侵检测系统的协同工作.此外,还对模型的优缺点做了分析,为将来MobileAgent在入侵检测系统中的应用提供一定的依据.     

办公自动化系统的设计与安全策略研究

在综合分析了LotusDomino/Notes安全机制的基础上,介绍了办公自动化(OfficeAutomation(OA))系统的总体规划设计与数据库安全策略的实现.从软件工程的角度出发,对OA系统的数据库前期需求分析、概要设计进行了详细介绍,并由此给出一套完整的OA系统数据库间的数据交换模型.