速成原型的研究概况(下)

<正> 2.2.3.2 执行支持系统为了迅速地构造并更新原型,PSDL的执行支持系统必须高效。因为原型按照人们期望的、习惯的模式在执行支持系统上运行时,至少,需要经常的修改,应该给处理时间和执行时间大致相等的权,采用解释实现的方法比用编译实现的方法更好些。执行支持系统能够保留计算状态,一个原型按给定的状态运行几个可选版本时,无需重复计算的初始部分。这一点很重要,因为设计者将参加与使用者的对话,演示,评价原型某一方面的性质,交互式的选择方案。当系统与用户交互,以便得到用户需要的特殊状态时,设计者必须和用户进行多次对话,或从保存下来的原始文本中重新运行最     

环境管理决策支持系统

环境管理决策支持系统是一个将计算机、通信、传感器技术与环保监测手段相结合,集自动监测、辅助决策功能为一体的智能化系统。本文介绍一个实时的城市环境管理决策支持系统(CEM-DSS)的基本结构、硬件设计,以及智能化决策模型。     

共创软件联盟推动中国软件业的发展——访共创软件联盟理事会理事刘澎先生

环境管理决策支持系统是一个将计算机、通令、传感器技术与环保监测手相结合、集自动监测、辅助决策功能为一体的智能化系统、本文介绍了一个实时的城市环境管理决策支持系统（CEM－DSS）的基本结构、硬件设计、以及智能化决策模型。     

计算机网络智能诊断技术研究

为保证计算机网络系统能够持续、稳定地运行,就需要建立起智能、健壮、有效的故障诊断系统,要同时具有智能化诊断功能、动态监测网络故障的变化、提供良好的用户接口3个功能,从而实现对故障的实时检测和诊断,发现问题及时处理,提升计算机网络运行的稳定性.     

计算机CPU常见的一些故障及排除措施探究

作为计算机的核心元件之一,CPU对计算机运行稳定性及速度有着决定性的作用.本文在对计算机CPU故障诊断与排除意义、对CPU故障常见类型进行分析的基础上,对CPU常见的一些故障与排除措施进行探究分析,从而保证计算机能够得到正常运行.     

采煤机无线监测系统的设计

为准确获取采煤机的运行状态参数,提出了一种采煤机无线监测系统的设计方案。该系统在采煤机机身的指定部位安装具有特定功能的无线传感器节点,用于采集采煤机的工作信号,该信号由DSP处理后,通过无线MESH网络传至无线网桥AP,再通过光纤传送到中心计算机,中心计算机上的分析软件对接收到的采煤机的工作信号进行分析,并根据预先设定的门限值进行报警或其它处理。现场试验结果表明,该系统运行良好,无线MESH网络的信号强度能够满足采煤机无线监测系统的要求。     

基于OSPF的动态配置支持系统研究与实现

在OSPF静态配置支持系统模型基础上，提出了基于OSPF的动态配置支持系统模型，该模型采取四层模块分级处理结构，各层对大量MIB变量的处理统一接口，规范MIB处理模式，并建立实时任务完成MIB存储和OSPF协议改变间的异步处理，还运行配置支持系统状态机，检测各层的MIB处理状况，加强和协调各层间的MIB处理。最后基于这种模型实现了动态配置支持系统DCSS-OSPF，还列出了TMS系统中DCSS-OSPF系统的边界处理。     

DJS-130计算机双机系统

<正> 四、输入/输出设备双机共享接口如前所述,具有双工运行功能的计算机双机系统,即能够两台计算机同时运行,完成相同处理任务,也能够每台计算机独立地完成处理任务,因此要求每台计算机都能够通过输入/输出设备接收/发送必要的数据和控制信息。为满足这个要求,可有如图11所示的两种配置方案:     

远程心电监测系统的研究

提出了一种以S3C2440处理器和嵌入式操作系统Linux为基础的远程心电监测系统,介绍了系统实现方法和软硬件设计。该系统能够对心电信号进行实时采集处理和显示,而且可以通过GPRS无线传输模块将处理好的心电数据发送到远程计算机,适用于医院、康复中心和户外监护,帮助医生诊断病人病情。     

浅谈计算机网络常见故障处理及维护方法

在计算机网络盛行的同时,其发生故障的频率也在逐渐提升,并且出现故障的种类多种多样。因此,为了保证计算机网络的正常、稳定运行,就必须对出现的故障进行处理。同时加强对计算机网络的维护,不仅能够降低网络故障发生的几率,还能够提高网络运行的高效性以及稳定性。本文先是介绍了计算机网络常见的故障与处理方法,随后又对其相关的维护方法进行了详细阐述。     

操作系统指纹特征伪装技术研究

操作系统指纹特征伪装可使主机隐藏真实的操作系统信息,防止网络攻击,保证操作系统安全。目前运用于网络的各种攻击工具都是在某一特定操作系统基础上研制开发的,如果将操作系统的真实信息伪装起来就会大大减少对系统的攻击破坏程度。文章研究了操作系统指纹特征伪装方法与实现技术,并对基于互联网协议ICMP、TCP和UDP的操作系统伪装进行了测试,结果表明,该技术和方法能在一定程度上保障操作系统安全。     

构件化操作系统的内核设计及其发展趋势探析

本文对构件化操作系统内核设计以及发展趋势进行研究时,首先分析了构件化操作系统内核的基本结构、模型以及操作系统,其次具体分析了构件化操作系统的内核设计,最后总结了构件化操作系统内核的开发利用和发展趋势。     

离子迁移谱仪的嵌入式操作系统的选择研究

介绍了嵌入式操作系统的一般特点，对嵌入式系统，给出了其在嵌入式操作系统的选择时应考虑的因素，并就离子迁移谱仪的嵌入式操作系统的选择进行了论述。     

Quantitative analysis of hardware support for real-time operating systems

Microprocessor architects, supported by advances in VLSI technology, have been enormously successful at steadily accelerating the performance of application software. However, operating system performance has lagged due to a divergence between operating system and architectural trends. Unfortunately, some recent work in this area has targeted average-case performance improvements with little or no consideration for the worst-case behavior that must be considered for real-time applications. This paper explores whether one can improve the worst-case performance of operating systems, and as a result, the schedulability of real-time task-sets, using specific hardware-assisted operating system primitives without sacrificing flexibility. The Intel 80960XA Microprocessor, which directly supports basic operating system primitives in hardware, provides an excellent platform to explore operating system hardware and software boundary issues. This paper specifically analyzes the viability of an hardware-assisted fixed-priority scheduler. Using the Real-Time Mach operating system, we did two ports to the 80960XA: one representative of generic RISC implementations, and another which exploited the hardware-supported operating system primitives. We measured the performance of the operating system primitives in both cases and found an average performance improvement factor of 3 for the hardware accelerated version. We applied a formal scheduling model to evaluate the relative performance of the two implementations for two representative real-time applications. The hardware accelerated version reduced operating system burden by factors of 2.66 and 4.1 for the avionics and inertial navigational system task sets, respectively.     

对现代操作系统的思考

当前,高等院校的操作系统教学过程主要是基于传统的操作系统基本原理而进行的,与现代操作系统的发展不相适应,在教学过程中很难让学生理解当前操作系统发展的挑战和今后的发展方向。本文对现代操作系统的特性进行分析,阐述其在教学过程中的必要性和重要性,并介绍使用微软公司的Singularity项目进行操作系统教学的经验。实践表明,Singularity系统架构清晰简洁,很好地体现了现代操作系统的理念,适用于高等院校的操作系统教学。     

WinPE在GNS3网络仿真中的应用

为了在网络仿真中构建网络拓扑结构,连接真实的操作系统,需采用虚拟计算机技术。可通过构建自定义的WinPE微型操作系统,借助Qemu虚拟计算机软件,结合GNS3网络仿真软件,从而无需昂贵的网络设备也可以学习网络配置、管理和协议分析,能够在客户机中运行多种客户端和服务器软件,借助Wireshark进行网络协议的分析与测试。此时的客户机操作系统无需安装,体积小便于分发和快速运行,便于对网络的功能性仿真。实验表明WinPE比完整的操作系统效率高、实用性强。     

组件软件环境下操作系统的研究

分布式计算是未来主要的计算模式,基于组件的软件体系结构能够有效支持分布式计算,因而要求操作系统为基于组件的应用提供有效的运行平台。传统操作系统的设计和实现并未充分考虑有效支持基于组件的应用,基于组件的应用在安全性、进程间保护、代码共享和用户界面设计等方面对操作系统结构提出了新的要求,文章主要探讨组件软件环境下操作系统的结构以及设计基于组件应用的操作系统的设想。     

网络传感器操作系统设计

针对网络传感器节点有限硬件资源约束的特性,分析了现有操作系统设计的不足,以Arena操作系统为基础,设计了一种新的操作系统软件架构。这个架构允许操作系统功能模块和应用程序模块在系统运行时动态加载和替换,保障系统代码的安全升级,实现低能耗、高可信的操作系统功能,并支持网络传感器系统的可重构和自适应能力。     

复杂内核数据结构程序形式化验证

操作系统内核作为软件系统的基础组件, 其安全可靠是构造高可信软件系统的重要环节, 但是, 在实际的验证工作中, 操作系统内核中全局性质的不变式定义, 复杂数据结构程序的形式化描述和验证仍存在很多困难. 本文针对操作系统内核中满足的全局性质, 在代码层以函数为单位, 用全局不变式进行定义, 并在不同的函数中进行形式化验证, 从而证明各个函数符合操作系统内核的全局性质; 针对操作系统内核中经常使用的复杂数据结构程序, 本文通过扩展形状图理论, 提出一种使用嵌套形状图逻辑的方法来形式化描述复杂数据结构程序, 并对该方法进行了正确性证明, 最终成功验证操作系统内核中关于任务创建与调度, 消息队列创建与操作相关的代码.     

操作系统课程建设的几点思考

主要分析了操作系统课程的特点，讨论了课程中教材的选择、教学方法与手段的研究；探讨了操作系统中实验教学中需要改革的措施手段。强调了系统性、哲学性的教学理念在操作系统课程建设中的作用。