项目教学法在高职院校数字电路课程中的应用

为培养提高高职学生综合职业素养,提高课程教学的实效性,高职院校数字电路课程应进行项目式教学改革。项目式教学中应精心设计数字电路课程结构和项目任务,以基于工作过程的方式进行。在实施中还应注意教师角色的转换,把握好各个教学环节,合理分组,避免学生两极分化,并有效改革评价方式。     

“编译原理”课程实验项目介绍

在"编译原理"课程的教学中,实验项目是十分关键的部分。Decaf/Mind项目是近几年清华大学计算机系本科生"编译原理"课程的主体实验项目,在该项目中,学生在实验框架基础上,针对一个简单面向对象语言的实现开展4～5个阶段的编程实验,对理解和巩固理论知识以及提高软件系统的开发能力有较大帮助。本文就Decaf/Mind项目的背景、内容以及实施情况进行简要介绍。     

基于知识的航电设备故障诊断专家系统

为了解决航电设备故障难以诊断的问题,设计一个基于知识的航电设备故障诊断专家系统。该系统中的知识表示形式及与之相配合的基于确定性理论模型的不确定性推理方法,以及基于示例的推理方法可以实现航电设备的故障推理和诊断,其规则的可信度可达到理想的程度。     

一种多范例并行应用系统的描述方法和性能估算模型

多范例并行是大规模并行应用系统的本质特征．规范化描述并行应用系统，建立性能估算模型对于提高多范例并行应用系统的开发效率和运行效率具有重要意义．该文提出了一种基于模块及其组合关系的描述方法和系统执行代价计算模型，它不仅能描述并行应用系统的多范例特征，而且将不同并行范例模块的组合时产生的代价引入模型．考虑的代价包括并行执行模式的转换、数据分布方式的转换以及编程范例的转换等，从而使模型更为准确．给出了描述和代价估算的应用实例，说明了规范化描述和代价估算对于确定并行策略的重要性以及模型的精确性．     

项目式教学方法在单片机课程中的应用

单片机课程着重培养学生的动手能力和实践能力,出于对人才培养的需要.并根据高职院校的实际情况,采用项目教学法,充分调动了学生的学习积极性,教学效果良好.     

固定化有效菌群处理纤维板废水研究

研究了以专项有效菌群的固定化技术形成的厌氧—好氧生物膜反应器用于处理难降解纤维板生产废水的效果。该系统稳定运行三个月的结果表明 ,在 1 6～ 2 8℃范围内 ,厌氧有机负荷为 5kgCOD/ (m3·d)左右 ,好氧有机负荷为 2kgCOD/ (m3·d)左右 ,总HRT =1 9h ,COD去除率可以维持在 85%以上。     

面向多核处理器的低级并行程序验证

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明.我们的目标程序使用自旋锁机制来实现线程间对共享内存的互斥访问.验证框架采用Hoare风格的推导方式,使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略.在该框架下,程序员可以对多核并行程序的部分正确性进行验证.     

一体式精简计算机电源的设计

讨论了采用一颗Fairch ild公司的电源转换芯片FAN5235,实现单电源输入、多电源输出的一种方法,其特点是集成度高、输入电压范围较宽、效率较高。讨论的硬件平台是目前应用较多的VIA C3 PLE133芯片组。     

编译系统中间代码的一种抽象表示

中间表示是提高编译器的可移植性和代码生成的有效性的关键技术.为提高编译成份的可复用性,简化编译器的构造,本文提出了一种描述程序语言抽象语法及编译器内部数据结构的抽象中间表示AIR(Abstract Inter-mediate Representation).AIR以代数数据类型为主体,并用面向对象特征对其进行扩展,从而使之具有简洁的语法,较强的表达能力、灵活性和可扩展性.AIR将抽象描述与其具体实现相分离,可方便地用不同的高级程序语言实现,从而有助于提高编译成份间的互操作性.