计算机科学与技术学科硕士研究生课程体系之我见

对硕士研究生，要加强理论教育、强化科研训练。较好的理论修养，可使学生站在一定的高度去看问题、解决问题。强调基础理论教育不是单纯为准备工具，重点是培养学生的能力。要选择那些适当的知识来作为素质教育的载体，实现从本科生开始进行的学科方法学教育的深化。把计算机科学与技术学科硕士研究生的课程体系划分成四个部分，明确每一部分的设计思想与作用，会对提高教育质量起到良好的作用。作为一个例子。

容错计算机系统可靠性评估工具:HFI-2故障注入器

本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.

一种用于容错计算机系统整体验证的故障注入试验策略

故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。

容错计算机系统的可靠性验证系统设计与实现

根据某实际容错操作系统的具体情况，结合容错技术现状的分析，设计并实现了一个基于PC机的通用软件故障注入系统。研究的系统是在特定硬件环境的支持下运行的容错计算机操作系统，为了不对其硬件环境造成破坏，采取软件故障注入的方法对其进行了可靠性验证。设计的容错计算机系统可靠性验证仿真系统，可用于多种不同类型的容错软件的可靠性仿真和验证，对开发软件故障注入系统具有一定的启发和指导意义。

可穿戴计算机中的语音处理技术

1 引言 可穿戴计算机(Wearable computer)是一种全新概念的微型个人移动计算系统,它可以穿戴在身上随着使用者一起移动,随时可以接受使用者的命令,并能自动地反馈给使用者重要的信息.可穿戴计算机的概念于1955年被提出,然而直到近年来才得到了真正的发展.目前美国、日本、德国、澳大利亚等国都对可穿戴计算机的研究非常重视.我国的一些高校和研究单位,如哈尔滨工业大学、重庆大学、兵器部208所、58所等也于近年来在国内率先开展了这方面的工作.

高可信计算机系统的设计方法探讨

本文将高可信计算机系统的设计过程分为四个阶段，分别讨论了各阶段中用于获取系统可信性的容错技术、避错技术和可信性评价技术的应用。

基于软件的星载计算机系统故障注入方法的研究

基于软件的故障注入是对星载计算机系统可靠性进行的一种评测技术。该文首先提出了用软件方法进行的故障注入系统SFIS,并提出故障注入模型;其次阐述了用软件方法进行动态故障注入的过程,最后对实验结果进行了分析。

基于Ad Hoc的可穿戴计算机信息采集软件设计

介绍了在无线自组网络环境下,在网络带宽受限、稳定性较差的情况下的穿戴机应用软件平台设计,重点分析了视频、音频等多媒体信息的采集、压缩和传输的核心算法和设计思路,以及GPS/GIS综合应用实现的定位导航功能,实现声图文信息在穿戴计算机上的综合应用。

一种阵列计算机输入输出系统的设计

ABC95阵列机是采用FPGA设计的多功能互连结构的计算机 ,多功能互连网络是指支持处理器到存储器的矩阵无冲突访问模式和增强型的处理机到处理机通讯的MESH网络 .ABC95阵列机是一种协处理机方式的SIMD计算机 ,I O系统的设计非常重要 ,必须保证通用性好 ,易于扩展 ,有足够的数据传送带宽 .在这台SIMD计算机中分析了IEEEP1 2 48协议 ,采用ECP协议实现了ABC95阵列机I O系统 .实验证明 ,ECP并行口有很高的带宽 ,可以满足设计的需要 ,并分析了增加I

计算机学科硕士生的培养方案应按一级学科制订

计算机学科硕士生的培养方案应按一级学科制订蒋宗礼张晓霞计算机学科硕士生的自从我国１９７８年恢复研究生招生，１９８１年实施学位制度以来，各学科都已培养出了一大批硕士，他们在各行各业中起着很大的作用，有的甚至已成长为一方面的带头人。为了进一步适应科学技术...

基于偏差信息的星载计算机系统负载平衡算法的研究

相邻结点负载平衡算法具有计算简单、额外开销小的优点 ,但由于采用局部的观点平衡负载 ,限制了结点信息得到的范围 ,使得系统在某种情况下达不到全局平衡。本文提出了基于偏差信息的星载计算机系统负载平衡算法。它改变了结点传递的实际负载信息 ,使修改后的负载信息能体现出结点及其周边结点的负载形势 ,以此弥补了相邻结点负载平衡算法的不足 ,并将其应用在星载计算机系统上。首先 ,介绍了相邻结点负载平衡算法及其存在的不足 ;其次 ,描述了基于偏差信息的星载计算机系统负载平衡算法 ;最后 ,通过仿真实验 ,给出了这种算法同其它几种负载平衡算法的比较 ,并证明了它的正确性与可行性。

EH实时计算机图像生成系统设计

描述了EH实时计算机图像生成系统的体系结构、算法和工作流程.硬件由主机、几何处理器和象素处理器组成.主机支持操作系统和实时控制应用程序.几何处理器由两只CPU流水工作.几何处理速度为每秒一百万个四边形.象素处理峰值速度为每秒2.6亿个象素.系统具有多通道、多视点功能,可控运动目标128个,可产生白天、黄昏、霞光、黑夜和云雾大气效应.

DRD──基于诊断的高可靠分布式计算机系统的设计

提出了一种基于Ｆａｉｌ－ｓｉｌｅｎｔ节点故障行为的高可靠分布式计算机系统，提出了减少上述系统节点故障检测延迟的两条有效途径：利用单机有限的故障检测能力和增加任务特征状态比较。利用节点故障的诊断技术，将系统中的故障节点与正确节点隔离．通过节点故障恢复和系统重构，以提高整个系统的可靠性。

基于非完备性测试的一种分布式计算机系统诊断算法的设计

利用现有的商用并行、分布式计算机系统本身所固有的冗余可以实现低成本的容错。为了提高整个分布式计算机系统的可靠性，将系统中的故障结点与正确结点隔离至关重要。文章提出了一个有效的分布式系统级故障诊断算法：在利用系统中各结点机有限的故障检测能力的基础上，将所有的故障结点从系统中隔离，并测试了该算法对系统性能的影响。

分布存储并行计算机优化数据安放的一种方法

本文分析了面向分布存储ＳＩＭＤ／ＭＩＭＤ并行机的并行程序的优化数据安放问题，在ＦＯＲＡＬＬ程序模型和ＭＥＳＨ通信模型之上，研究了数据分解过程中减少通信代价的优化要求．我们使用维偏好图描述并行数组之间的对准需求，通过消除维偏好图中的冲突，可得到维对准图．一个维对准图就对应一个数据安放方案．维对准图的总代价越大，对应的通信代价就越小．文中给出了求最大代价维对准目的一个近似算法．

容错计算机系统可靠性评估中的覆盖率问题

覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法，总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例，说明了这些方法在容错系统可靠性评估中的应用。

用非线性存储方案设计SIMD计算机的一般方法

非线性存储方案能在处理单元数等于存储体数的情况下，使ＳＩＭＤ机实现多种访存模式无冲突，提高其整体性能．文中提出一种用非线性存储方案设计ＳＩＭＤ计算机的一般方法，在存储方案给定的前提下，针对有限的模板集设计出同时满足存储器访问无冲突和互联网络无冲突的并行结构．首先，用布尔向量空间表示模板，并指出模板与ＬＣ置换的对应关系．在此基础上，提出设计局部地址生成逻辑和增强的间接二进制Ｎ 方体网络的方法．由于模板集中任意的访存方式在存储器和互联网络都可以一次完成。

基于增强型逐步协商表决的星载计算机容错

文章针对空间环境中的相关瞬态故障，提出了一种新的容错算法———增强型逐步协商表决。增强型逐步协商表决的主要思想是： 如果有足够的无故障子系统可用于进行多数表决， 系统就进行多数表决； 如果无故障子系统很少， 系统就以待命冗余的方式运行； 如果发生相关瞬态故障， 系统就通过卷回机制来克服相关瞬态故障。为了实现增强型逐步协商表决， 文章分析了星载计算机的系统状态空间， 区分出相关瞬态故障空间，提出了新的系统状态向量形式和新的系统状态向量生成算法， 并且给出了新的表决模块选择逻辑。

网络虚拟计算机—World Wide Computer

以网络为中心的计算机被认为是计算技术的下一代重大发展阶段,用户希望他们的计算机能够很容易地联合工作,实现比单机强大得多的计算功能,由此产生了WWC(World Wide Computer)的概念.该文介绍了的一些关于WWC的描述、WWC的工作模式、WWC的应用价值、WWC的协议、实现WWC面临的技术难点等,并给出了一个简单演示程序的URL.

一种油田天然气计算机计量装置的研制

一种以工业计算机为核心的油田天然气计量装置的研制,详细描述了它的计量原理和结构设计.