边学边干:操作系统课程教学改革的探索与实践

以培养创新型人才为目标，探讨了新形势下操作系统课程改革的思路；提出了“边学边干”的教学理念；阐述了在课程设置与教材建设、多元化教学手段、师资队伍建设等方面的探索与实践。

基于混合日志的内存数据库恢复子系统

介绍了一个基于混合日志 (即逻辑日志与物理日志相结合 )的内存数据库恢复子系统 MDMRS的设计 .MDMRS有效地减少了事务日志信息量 ,缩短了系统恢复时间 .文中详细阐述了 MDMRS的事务处理、日志管理、基于分区的检查点 ,以及数据库恢复处理 ,最后对 MDMRS进行了性能分析 .

基于多层Bayesian信任网的P2P负载均衡模型

针对基于信誉机制的P2P(Peer-to-Peer)网络中的负载不均衡现象,提出一种基于多层Bayesian信任网的P2P负载均衡模型,介绍了如何在Bayesian信任网中引入多种负载指标以及它们之间的各种关联,并且使用该结构预测P2P网络中各服务节点的负载,使整个网络达到负载均衡.对包含负载指标的多层Bayesian信任模型和动态负载模型进行了实验比较.实验结果表明:基于Bayesian信任网的P2P网络负载均衡模型运用节点的历史交互信息,结合Bayesian预测理论,影响资源请求节点选择服务节点,实现P2P负载的有效均衡,确保整个P2P网络资源利用的高效性、节点服务的可靠性以及整个网络的稳定性.

一种高性能的共享存储多机系统(SMMP)体系结构——高性能共享存储与高速I/O

本文介绍了一种基于二级网络互联、二级共享存储、三级Ｉ／Ｏ通道的可缩放共享存储多机系统ＳＭＭＰ（ＳｃａｌａｂｌｅＭｅｍｏｒｙ－ｓｈａｒｅｄＭｕｌｔｉ－Ｐｒｏｃｅｓｓｉｎｇ）体系结构。另外还详细介绍了具有信息就地加工能力的共享存储器的设计。由于共享存储器不仅具有存储信息的能力，而且能对有关信息进行就地处理，所以利用该特点能方便有效地实现操作系统中的同步与互斥原语，同时也为某些应用工程中的并行、迭加运算提供了极其有效的操作。经初步测算表明该系统并行与同步效率高，Ｉ／Ｏ吞吐量大，具有较高的性能／价格比，可应用于科学计算、图象处理、三维实体造型、地震数据处理等领域，亦可用作客户机／服务器网络环境下的超级网络服务器。

卫星网络多路径QoS路由策略研究

针对卫星宽带网络业务的多样性,提出了一种基于业务QoS(服务质量)需求和星间链路信息的多路径并行路由方案。该方案利用星间链路历史信息和准实时信息进行路由预规划,并基于星间链路实时信息和业务QoS需求对预规划的路由方案进行动态调整,实现业务数据在源节点和目的节点之间进行多路径并行传输。该方案不仅确保了业务传输的高可达性,而且使整个卫星网络链路资源得到充分利用,实现负载均衡。

基于事件-条件模式的PLC任务描述

介绍了基于事件－条件模式的ＰＬＣ任务描述方法：采用控制任务表（ＣＴＴ：ＣｏｎｔｒｏｌＴａｓｋＴａｂｌｅ）描述ＰＬＣ控制任务。ＣＴＴ是一种面向控制对象、人－机交互式程序设计方法，方便而直观；ＣＴＴ与目标ＰＬＣ无关，用户选定模型库中ＰＬＣ模型后便可自动将ＣＴＴ转换成目标代码，因而具有很强的通用性，且摆脱了代码调试的麻烦；ＣＴＴ的事件－条件模式为运用网论．进行离线实时图形仿真提供了良好的基础。

边学边干,教研结合——谈“操作系统”课程教学改革

计算机应用的飞速发展对高等院校计算机专业课程的教学提出了更高的要求。操作系统作为计算机科学与技术的核心专业课程,在计算机专业人才培养中具有极其重要的地位。本文针对新形势下研究型大学创新性人才培养的要求,探讨了网络时代多元化教学手段在计算机操作系统课程教学改革中的实践;提出了在课程教学中走“边学边干”的教学路线,开展多方位的网络化教学,同时坚持教研结合,培养学生的研究创新能力。

多线程内存数据库服务器设计

文章介绍了一个多线程内存数据库服务器（MTMDS），由于采用多线程技术，克服了多进程体系结构资源消耗多、进程调度开销大、难以实现大容量共享存储等主要缺陷。文中详细阐述了采用“移动平均反馈”事务预测法（MMFP）的实时数据库引擎（RDE）、动态内存管理（DMM）、用户数据索引及并发控制。

数学建模课程教学与竞赛培训探究

数学建模是数学在实际应用中的具体体现,是数学联系实际并应用于实际的重要桥梁。以河池学院为例简要介绍数学建模课程教学与竞赛培训的现状和存在的问题,并结合实践提出课程教学与竞赛培训方面的一些建议。

普通高校信息与计算科学专业课程设置探究

信息与计算科学专业是一门新兴学科，是数学、计算机科学和信息科学的交叉学科，其课程设置应该遵循厚基础、宽口径、重能力、有特色的培养模式。本文根据当前信息与计算科学专业的发展现状，提出了一些有关专业课程设置的看法，并针对地方普通高校给出相应建议方案，为促进信息与计算科学专业的发展和完善提供参考。

具有服务仲裁机制的内存数据库管理器的研究与设计

介绍了一个具有服务仲裁机制的多线程内存数据库管理器 (CS2 1)的研究与设计 ,重点阐述了 CS2 1中的数据库服务仲裁器 (DSM) .DSM采用指数平均法进行消息执行时间的预测 :如果一个消息预计可以在给定的时限内执行完 ,则该服务请求将被接受 ;否则就被抛弃 ,以提高系统的实时性 .另外 ,还简述了 CS2 1中的内存管理及数据索引技术 .该系统已经在一个移动通信系统中得到了应用 ,实际应用表明 ,DSM对系统负荷进行了有效的控制 。

基于脊波变换和图像置乱的数字水印算法

数字水印是当今多媒体产权保护的一项关键技术,脊波变换的理论是小波分析理论的延伸和发展,图像置乱是对静态图像信息进行加密保护的一项非常可靠的技术.本文基于脊波变换和图像置乱技术提出了一种变换域数字水印算法,并经仿真试验证实,该算法具有良好的不可见性,不错的鲁棒性,可以有效抵御常见的攻击.

高压二极管测试与印字流水线控制系统

本文介绍了高压硅堆二极管测试与印字流水线实时控制系统，该系统利用自行研制的高压测试仪测试高压二极管的反向漏电流，利用三菱公司的Ｆ１—４０ＭＲ—００１ＰＬＣ实现流水线的控制。文中给出了ＰＬＣ对流水线的控制以及高压测试仪的设计。

一种基于脊波和数字加密的脆弱数字水印算法

脆弱数字水印是当今图形图像认证的一项关键技术,脊波变换的理论是小波分析理论的最新成果,数字加密技术是对多媒体信息进行加密保护的一项非常可靠的技术。在此把最新的脊波技术和数字加密技术结合在一起,提出了一种变换域脆弱数字水印算法,并经仿真试验证实,该算法具有良好的不可见性,且水印对图像的篡改非常敏感,可以有效的对图像进行认证。

一种基于小波变换和数字水印的图像认证算法

图像认证是当前对图形图像信息进行版权保护的重要途径,本文根据最新的小波变换成果脊波变换技术,结合主流的数字加密技术,提出了一种变换域脆弱数字水印算法。该算法具有良好的不可见性以及对篡改的敏感性,从而可以有效地对图像进行认证。

一种基于自适应字典的通用无损压缩算法

对LZ77和LZ78两种算法进行了深入的考察，提出了一种改进的LZ算法LZI（LZ Improved），即，基于LZ78算法和LZ77的混合算法。LZI算法具有LZ78和LZ77相似的计算复杂度和存储复杂度。实验结果表明，LZI算法具有更好的全局与局部自适应性、更高的压缩效率。

HLZ:一种采用混合字典的自适应无损编码算法

研究了在数据无损压缩领域影响深远的两种压缩算法 :L Z78及 L Z77,提出了一种改进的混合字典压缩算法 HL Z(Hybrid L Z) .HL Z是基于 L Z78和 L Z77的一种混合算法 ,利用了 L Z78和 L Z77的互补特性 .在用 HL Z算法进行正文编码时 ,当发现已经到达字典中提供的词汇终点时 ,并不立刻进行编码 ,而是与滑动窗口相比较 ,若当前字符串在滑动窗口中的匹配长度尚不及它在字典中的匹配串的长度 ,则采用 L Z78输出 ,否则用 L Z77编码输出 .在还原输出编码时 ,HL Z算法建立了一个链结构 ,将字典中具有相同首字母的词条链接起来 ,大大减少了搜索字典中对应最长匹配串的时间 .实验结果表明 ,HL Z算法具有与 L Z78和 L Z77相似的计算复杂度和存储复杂度 ,但具有更好的全局与局部自适应性、更高的压缩效率 .

一种网格并行任务执行时间预测算法

广泛研究了网格环境中并行任务执行时间的预测方法,提出了一种基于案例和人工神经网络的预测算法。该算法充分利用了历史有效信息,尤其是对于同一个任务的多次求解而获得的相似记录,通过建立任务特征模板,将历史任务,即案例进行分类,并利用指数平均值或者线性回归方法进行预测。但是由于网格环境的复杂性,以及有限元求解器在求解问题时的复杂性,导致相似性很难定义,在无法根据模板找到相似性案例的时候,利用人工神经网络预测方法进行预测。该算法在面向多学科应用的模拟与可视化环境中进行了实验,证明该方法具有较好的预测性能。

一种基于预测分类的小波图像编码

对于小波图像编码,如何有效地组织小波域系数是提高图像压缩效果的关键.本文在研究小波域系数统计特性的基础上,提出一种用于图像压缩的预测分类模式.与基于零树结构的编码不同的是它充分利用了小波域中"重要"系数的各种相关性,并通过结合提出的种子膨胀算法实现系数的分类输出.实验结果表明该方法所取得的压缩效果要优于基于零树结构的图像编码,同时又具有较强的鲁棒性.

基于零知识交互式证明和Bayesian信誉网的小世界P2P模型

针对当前P2P(Peer-to-Peer)系统在网络拓扑和信誉评估机制结合方面的不足,设计一种基于角色和信誉访问控制机制的可信小世界P2P(SW-R2P)模型.模型使用零知识交互式证明(ZKIP)算法,在不传输节点身份相关信息的前提下安全地验证对等节点的组信息,并以此作为构建小世界网络拓扑的基础.通过Bayesian信誉网对节点和组的多方面信誉进行评估,从而影响节点的各种操作和组之间连接的建立.仿真实验结果表明,SW-R2P模型在资源查找成功率、网络聚合度以及节点信誉偏差等方面的性能优于Chord和R2P模型.SW-R2P模型结合了ZKIP算法、Bayesian信誉网和小世界拓扑的优势,实现了一种可信、安全和高效的P2P网络架构.