一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

基于DSP的单相电能表现场校验仪设计

本文设计了一种高精度、低成本的单相电能表现场校验仪。该校验仪硬件系统以数字信号处理器TMS320F2812为核心,主要包括交流电压电流采样、A/D转换、功率/频率转换和人机接口等电路。软件系统以CCS2000为平台,采用C语言编程实现。实验表明该装置精度达到0.2级。     

人机对奕与启发式搜索

本文叙述了在IBM-PC/XT个人计算机上,使用LISP语言研制的人机对奕一字棋程序中,如何成功地运用了启发式搜索法来设计该智能程序。並说明了该程序的设计思想,流程图及其运行情况。     

超声电机驱动的3自由度机器人的设计与实现

本文探讨基于USM机器人的性能,设计了USM驱动的3-DOF机器人,基于层次硬件结构建立了该机器人的控制系统,引入了位置-速度复合控制对该机器人进行控制,规划并编程实现了该机器人的控制软件.实验表明,该机器人能实现精确而平稳的连续轨迹跟踪.     

基于FPGA的并行遗传算法硬件实现的研究

遗传算法具有天然的并行性。FPGA(Field programmable gate arrays)本质上的并行特性使其很适合用于实现并行的遗传算法。结合两者的并行特性，本文提出了一种基于FPGA的并行遗传算法。选用了适合硬件实现的选择、交叉、变异算子，并将它们设计成流水线结构。整个设计采用了XILINX公司的XC2V1000型号FPGA芯片。算法利用VHDL语言来描述。实现后的测试表明，这种硬件遗传算法有效减少了运行时间，使其在一些实时性要求较高的场合得到很好应用。     

基于一种新的比特同步算法的数字式Modem

介绍了一种用于数字Ｍｏｄｅｍ设计的比特同步提取算法以及基于该算法的采用不同调制方式的数字Ｍｏｄｅｍ设计及其硬件实现。算法采用数字频谱分析的方法，在解调之前实现比特同步提取，从而为解调方式的选择提供了很大的灵活性。经原理样机实验证明，基于上述算法设计的数字Ｍｏｄｅｍ具有同步速度快、同步精度高、调制解调方式灵活可变及抗干扰性能好诸多特点     

基于PLC和触摸屏的智能包衣机实时控制系统设计

本文详细地介绍了智能包衣机实时控制系统设计的方法，包含软件设计和硬件电气线路的设计。实现了“所见即所得”的组态画面控制。该系统具有节能效果好、可靠性高，实现了全自动化控制等优点。     

RS码多路并行译码器的容错设计

本文根据ＲＳ码的最小重量码原理，首先提出了一种以最佳配置的移位伴随式实现纠错的并行译码新算法，基于该算法多种并行处理的特点，本文介绍了对实现该算法的核心电路－移位伴随式产生电路进行容错设计的方法，以最少的硬件冗余获得９７％的平均冗余替代率，以此方法研制的译码器，体现了纠错码的信息冗余技术与译码器的硬件容错技术的结合，能有效地提高信息传输的可靠性。     

GARMIN G1000系统维修平台设计

在分析GARMIN G1000系统结构及其内部总线规范的基础上,设计出一套集测试、诊断、维修于一体的GARMIN G1000系统维修平台,包括系统硬件设计、软件设计等。硬件设计主要包括信号模拟机、系统选择面板、信号转换模块和主控计算机等设备的设计。软件设计包括功能软件、测试软件、公用软件及数据库和帮助文档的设计与实现。实践证明该平台具有强大的故障诊断功能和良好的可扩展性,可用于G1000系统的部件测试维修工作。     

基于现场可编程门阵列实现二维光栅优化设计算法

提出了一种基于现场可编程门阵列实现的遗传算法对二元光栅直接进行二维优化设计的方法。采用二次多项式函数描述二元光栅曲面的面形,给出了基于现场可编程门阵列的遗传算法优化光栅的解决方案;以多项式系数为优化设计对象,选用了适合本设计的硬件实现编码、选择、交叉、变异算子、适应度计算算法,同时引进了精英保存策略来提高程序的健壮性和加快收敛速度。算法充分考虑硬件处理的并行性和流水线特点,利用Verilog HDL语言编程,在Altera的cycloneⅡEP2C50器件上实现。结果表明,该算法对二元光栅优化设计计算速度比软件实现的快四十倍以上,有效提高了二维二元光栅优化设计的速度。     

线程集成技术在嵌入式系统中的应用

介绍了线程集成技术在通用和微处理器或微控制器上实现实时任务并行性的新方法。利用后级编译技术在指令级代码中融合多个控制线程，实现指令级并行，提高了系统资源的利用，改善了系统性能，从而达到用软件代替专用外围硬件的功能，文中介绍了线程集成的概念，线程集成过程的主，客线程的表示方法，代码转移的原理，应用及实验结果。     

提高高职HTML语言与应用课程教学质量的有效尝试

阐述提高HTML语言与应用课程课堂教学质量的方法,并从实践的角度探讨这些方法的有效性。     

一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

论英语教学中的语感培养策略与方法

随着英语教学改革的深入,语感在教学中越来越受到关注,以至成为英语教学研究的一个新焦点。通过对学生英语学习现状进行分析,提出培养学生英语语感的策略与方法。     

近二十年国内民航英语研究述评

语言是飞行安全的重要保障。近年来我国关注民航英语研究的学者越来越多。为了让研究者更清楚民航英语研究的发展趋势，本文通过统计1994-2012年近二十年间中国知网上的相关学术论文，从宏观的研究总揽和微观的研究类别两方面，探讨国内民航英语研究的发展状况。     

关于Ada语言的几点修正意见

本文根据作者以往的工作,对Ada语言的若干语言成分提供了可行的修改意见。     

基于正交试验和APDL的盒式天平力敏元件集成优化设计

针对悬臂梁力敏元件的结构优化问题,以布片部位应变最大和变形最小为优化目标,将正交试验法引入到力敏元件结构多目标优化中,提出了一种实用高精度的结构多目标优化方法.基于正交试验法和APDL求解模块,确定初始优化方案;对在其可行区间边界上未能取优的因素,细化样本点,采用最小二乘多项式曲线拟合对该因素的试验结果进行高精度拟合,通过计算获取该因素的最优水平,得到了全局最优化方案.通过对拟合效果的量化评价和有限元仿真验证,力敏元件的参数优化结果比较理想.     

颜色词的英汉文化差异对比

语言与文化密切相关。语言中的词汇反映出文化的内涵。英汉不同的文化背景导致颜色词（如红色、黄色、黑色、白色和青色）在两种语言中所蕴含着不同的文化内涵。     

基于FPGA的RS232转429接口电路的设计与实现

介绍用于自动控制设备控制板卡的软硬件设计方法,采用混合输入（包括SCH和VHDL）实现该设计,重点阐述应用ISP开发软件采用VHDL语言实现整个软件接收、控制部分,测试表明设计方法合理有效。