商务英语专业实习基地建设的探索与思考

学生在真实的工作环境实习是落实素质教育,培养学生创新精神和实践能力的基本要求.实习基地则是学生扩展视野、增长见识、了解社会的重要平台.外语系高度重视作为专业建设重要组成部分的实习基地建设,并进行了大胆的探索和尝试,积累了成功的经验,也发现了一些问题.本文回顾了基地建设的背景和意义,就遇到的问题进行了分析与探讨.     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

单片机控制的三坐标测量装置

介绍1种用8098单片机控制的三坐标测量装置。该测量装置用客栅传感器作位移检测元件，依靠系统的控制软件能直接利用实物模型或样件自动编制数控加工程序，并配有与其它微型计算机通讯的接口。系统运行稳定，有较好的性能价格比。     

C语言程序开发与维护工具NHCTOOL

NHCTOOL是作者设计并实现的一个C语言程序开发与维护工具,包括:1.全局变量索引;2.用户自定义函数索引;3.函数调用关系视图;4.源程序文本规格化;5.字符串检索等功能。本文主要介绍实现上述功能的算法。     

光纤陀螺测试系统设计

叙述了光纤陀螺测试系统的组建方案以及主要功能,进行了控制机、自动转台、光纤陀螺之间的通讯模块软硬件设计,分析了测试程序的特点。通过配接不同的测试仪器,该系统可完成其它种类的惯性元件测试。     

最优控制理论在垂直发射舰空导弹转弯控制中的应用

本文应用最优控制理论研究了垂直发射舰空导弹转弯控制段的控制规律,并以某低空、超低空、近程舰空导弹为研究背景进行弹道优化设计,通过大量计算结果,分析了燃气舵最大舵偏角与工作时间、反馈回路参数等对垂直发射导弹弹道特性的影响。最后选取一组最优参数对全弹道进行了仿真计算。结果表明:将垂直发射技术应用于对付近程、高速、掠海目标是有效的,可以实现的。     

若干复合材料计算机程序评介

由于复合材料结构件的各向异性和层合性,使得复合材料结构的设计、分析要比金属复杂得多,工作最也要大得多,有些工作甚至是手工计算所不能胜任的,必须依靠计算机。因此,近十几年来复合材料的计算机程序迅速地被开发出来。虽然列入《复合材料设计手册》的程序有36个,但在编写过程中涉及的程序有60多个。本文仅就其中的一些做一粗浅的评介。     

PC—DIO─96接口板在大尺寸计量标准中的应用

介绍了美国NI公司的数据采集板PC—DIO—96的功能,及其在Windows95下软硬件的安装,描述了如何使用其随板软件包,并给出了其三种主要功能（线功能、口功能和组功能）的程序框图。详细介绍了在“建立大尺寸计量标准”题目中应用该板进行环境参数的采集和电机控制。