FORTRAN到Ada自动转换系统的设计与实现

本文描述了FORTRAN 77到Ada语言自动转换系统FATS的设计与实现,并给出了实现语句转换技术要略。高级语言间转换的关键和难点是在不同结构的两种语言之间建立对应关系,用统一的语义来表示不同语言的含义。FATS系统很好地解决了这一问题。此系统已在微VAX—Ⅱ机上实现。     

一个并行分布处理操作系统PDPOS及其Ada并行运行环境

分布式OS是发挥分布式计算机系统潜在计算能力的核心软件,PDPOS提供了机间通信与同步机制,完善了系统请求及进程管理机制,并在全局范围内实现了文件共享。PDPOS支持的Ada程序并行运行环境、能将Ada程序自动分解成若干可并行执行包,然后将它们分配到不同机器上并行执行,使Ada程序的运行速度得到了明显提高。     

用Petri网进行并发系统的描述与分析

本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。     

远程教育系统中知识表示的研究

针对现有远程教育系统智能化低、知识表达能力差、结构化不清晰等方面的问题，引进了基于扩展标记语言XML(extesible markup language)的表示方法，并通过分析指出基于XML的表示方法在远程教育系统中的巨大优势；给出了一个通用的远程教育系统的体系结构，并用形式化的语言描述了该系统，最后将该形式化的语言转换为XML语言．     

Ada95中对C＋＋模板的绑定

提出了一种绑定Ada95类属到C 模板的“预处理器方案”,将由编译器完成的类属和模板的实例化过程从编译器中提取出来,通过骤 产生类属和模板的实例,将类属和模板的绑定改变为编译器无关的类之间的绑定,从而利用Ada95－C＋＋绑定生成工具自动生成Ada95中对C＋＋模板的绑定。     

用NAT技术构造小区智能化系统安全体系

以基于宽带网络的小区智能化系统入手，给出了安全系统的设计目标及整体构造方案。概要介绍了网络地址转换(NAT)的基本原理，着重对端口地址转换技术进行了分析与设计，构造了动态端口映射的Hash函数；同时实现了反向端口地址转换。最后，根据动态端口转换方案，在小区智能化系统中实现了系统的负载平衡与容错。     

抽象论域到数据结构的转换

给出了函数式语言到过程式语言转换的关键技术,即抽象论域到具体数据结构的转换技术。抽象论域的转换是抽象表达式到具体表达式转换、模式匹配处理的前提．函数式语言到过程式语言的转换,解决了函数式语言在具体实现和时间方面存在的大量动态函数复制的问题。这种转换技术可用于开发指称语义到解释器、指称语义到编译器、属性法到过程式语言、属性法到ＹＡＣＣ（Ｙｅｔ Ａｎｏｔｈｅｒ Ｃｏｍｐｕｔｅｒ Ｃｏｍｐｉｌｉｅｒ     

远程教育系统中知识表示的研究

针对现有远程教育系统智能化低、知识表达能力差、结构化不清晰等方面的问题,引进了基于扩展标记语言XML(extesiblemarkuplanguage)的表示方法,并通过分析指出基于XML的表示方法在远程教育系统中的巨大优势;给出了一个通用的远程教育系统的体系结构,并用形式化的语言描述了该系统,最后将该形式化的语言转换为XML语言.     

平台罗经信息转换系统的设计与实现

针对平台罗经对信息转换系统的性能要求，设计了一种具有工程实用性的信息转换系统，通过分析信息转换原理、接口控制时序、激磁移相及检零电路，得出了功能实现方法；以某型平台罗经为例详细介绍了姿态角的计算及轴角的粗精组合方法；在具体分析系统精度的基础上可知：系统转换精度完全满足平台罗经总体的需求，经过可靠性设计，该系统已在多种型号的平台罗经中得到实际装备。     

VHDL模型结构分析

介绍了新型硬件描述语言ＶＨＤＬ的发展及特点；分析了该语言中的３大结构模型，即性能状态、定时、结构化模型；讨论了贯穿语言始终的２个核心－进程和信号；给出了几例具体的电路描述实例。     

Ada程序的一种并行分解策略

提出一种对Ａｄａ程序进行大粒度并分解的策略，其实现可在单机原有Ａｄａ编译系统的基础上经济改造，扩充而成，根据这一策略实现的软件系统已安装在两种多机环境中。     

分级结构的AdaBoost入侵检测方法研究

针对目前智能入侵检测方法存在不能同时满足检测精度和检测速度的要求问题,提出一种分级结构的智能入侵检测方法．该方法将改进的AdaBoost算法用于入侵特征的选择及构造每一级的Ada-域值分类器,并通过级连多个分类器来共同完成检测任务．设计并实现了Linux实时入侵检测实验平台,在此平台上训练和测试分级结构的智能入侵检测器．实验结果表明,该方法降低了运算复杂度;在保证高的检测率的同时,降低了虚警率;提高了处理速度,更适合入侵检测系统的实时处理要求．     

基于嵌入式HLA/RTI类的某型机虚拟仿真训练系统互联

为更快更好地将某型机虚拟仿真训练系统联接成一个多机协同与对抗训练系统,并方便其进一步扩展加入到更大的仿真训练系统中,应用组件技术开发嵌入式HLA/RTI,封装联邦成员间各种交互.通过封装,去除了现有HLA仅支持C＋＋,Java,Ada95及IDL四种语言的限制,扩展了HLA/RTI在其他语言上的应用.嵌入式HLA/RTI的应用降低了系统互联难度,避免重复编写联邦交互代码,使各类语言环境开发的系统快速纳入到HLA框架中.     

盲信号处理几个关键问题的研究

盲信号处理包括盲信号分离、盲均衡与盲多用户检测和盲系统辨识等领域,是近年信号处理和神经网络研究的热点.介绍了清华大学在这些关键问题上取得的重要研究成果与进展.     

激光诱导荧光牙结石诊断系统的研究

选用635nm半导体激光器作为光源,研究并实现了激光诱导荧光牙结石诊断系统,通过VisualBasic6．0开发出数据自动处理软件。该系统能实时诊断牙结石,自动处理实验数据,准确度达93．3％;光源输出功率在59mW时,诊断准确度最高。该系统采用一根光纤同时传输反射光、收集荧光,适合临床诊断的应用。对牙周病临床诊断具有重要指导意义。     

浅谈完善高校内部财务监控的运行体系

建立合理、完善的财务监督管理机构，建立和完善学校财务制度和监管运行机制，是从源头上，预防或杜绝职务犯罪的重要渠道。     

高中频CATV前端信号处理器

本文通过对高中频处理系统性能的分析，提出了一种采用高中频处理的ＣＡＴＶ前端信号处理器，它克服了低中频（如３８ＭＨｚ）处理系统所固有的组合干扰多，输出滤波器因频道而异等缺点改善了带外寄生抑制等邻频舆的关键指标，并可方便地实现输出频道由用户通过开关设置。针对目前的技术状况，文章介绍了二种高中频处理的信号前端处理器。     

循环式远动主站前置处理系统性能分析

本文对采用循环式远动系统的主站处理实时性能问题,动用随机服务系统理论进行了分析。考虑了前置机内存容量以及服务时间分布对主站前置处理性能的影响,并给出了对主站前置机内存数据队长和服务时间的要求。结合实例给出了数值分析结果