机载塔康设备综合检查仪设计

使用市场上成熟的模块和技术研制机载塔康设备综合检查仪,以降低成本和提高设备的可靠性;根据设备的测试需求,选用嵌入式工业平板电脑、USB-ARINC429通讯卡、USB-数字IO卡、串行接口数字表和自研的塔康信号模拟器等构成检查仪硬件,使用CVI9.0编写了测试程序;应用表明:检查仪集成度高,使用方便,能够完成对塔康设备的自动及手动测试。     

The interprocedural analysis and automatic parallelization of Scheme programs

Lisp and its descendants are among the most important and widely used of programming languages. At the same time, parallelism in the architecture of computer systems is becoming commonplace. There is a pressing need to extend the technology of automatic parallelization that has become available to Fortran programmers of parallel machines, to the realm of Lisp programs and symbolic computing. In this paper we present a comprehensive approach to the compilation of Scheme programs for shared-memory multiprocessors. Our strategy has two principal components:interprocedural analysis andprogram restructuring. We introduceprocedure strings andstack configurations as a framework in which to reason about interprocedural side-effects and object lifetimes, and develop a system of interprocedural analysis, using abstract interpretation, that is used in the dependence analysis and memory management of Scheme programs. We introduce the transformations ofexit-loop translation andrecursion splitting to treat the control structures of iteration and recursion that arise commonly in Scheme programs. We propose an alternative representation for s-expressions that facilitates the parallel creation and access of lists. We have implemented these ideas in a parallelizing Scheme compiler and run-time system, and we complement the theory of our work with snapshots of programs during the restructuring process, and some preliminary performance results of the execution of object codes produced by the compiler.This work was supported in part by the National Science Foundation under Grant No. NSF MIP-8410110, the U.S. Department of Energy under Grant No. DE-FG02-85ER25001, the Office of Naval Research under Grant No. ONR N00014-88-K-0686, the U.S. Air Force Office of Scientific Research under Grant No. AFOSR-F49620-86-C-0136, and by a donation from the IBM Corportation.     

基于机器视觉的隔热条尺寸测量系统

针对当前隔热条的尺寸测量仍停留在产品离线后,工作人员用卡尺测量,劳动强度大,工作效率低、测量精度易受人为因素影响的现状,本文提出将机器视觉技术引入到隔热条自动化生产线的在线尺寸检测系统中,这种非接触式测量既可以避免在测量过程中对隔热条的损坏,又可以提高测量精度和测量速度,从而达到提高测量效能的目的。     

基于虚拟仪器的汽车变速器计算机测控系统的设计

本文介绍了汽车自动变速器检测实验台的测控系统硬件组成,并采用Labview开发出测控系统的软件。可对汽车自动变速器综合性能与液压控制阀体进行测试操作和性能分析,实现检测对象测控的自动化。     

基于叶片形态特征的葡萄品种自动识别

葡萄在全世界种植范围较广,葡萄品种识别对葡萄资源统计、新品种鉴定及遗传资源保护都有重要意义。以成熟叶片为基本材料,不变矩、面积、周长、主叶脉长度和叶柄长度等11维特征向量为基础数据,采用叶片特征选择、图像处理、特征值提取、建立分类模型等方法,运用国际葡萄与葡萄酒组织形态分类方法和改进的欧式距离等技术开发一个基于葡萄叶片数字图像的葡萄品种自动识别软件。共测试17种酿酒和3种野生葡萄,识别率达87%。该方法具有自动化、识别速度快、花费低、省时省力等特点,可应用于葡萄病虫害的识别、杂交新品种双亲的判定等。     

财务人员考试及评分系统的设计与实现

文章介绍了财务人员考试及评分系统的主要功能,对各功能模块中所涉及到的一些关键算法的设计给出了实现方法,尤其对极具通用性的扣分标准的实现给出了较为详细的算法。     

基于STM32的逆变弧焊电源控制器设计

数字化是弧焊电源的发展趋势,其关键在于控制器的数字化。目前市场上的大多数数字化产品价格相对高昂,采用STM32系列单片机进行经济型数字化弧焊电源控制器的设计和实现。该控制器采用数字式PI方法进行输出电流控制,并具有按键操作、液晶显示、过流保护、过热保护等功能。该控制器还具有良好的扩展I}生,可以通过修改程序增强系统功能。     

基于绿色证书交易机制的含风电场电力系统动态环境经济调度

为了促进风电消纳以及提高电力系统的经济性,构建基于绿色证书交易机制的含风电场电力系统多目标动态环境经济调度（DEED）模型,提出一种基于反向学习混沌搜索的OLCS-MOEA/D算法的DEED调度求解方法。首先,采用广义反向学习初始化种群提高种群多样性,并引入基于Logistic映射的混沌搜索算法以增强算法局部搜索能力。然后,为了验证算法的性能,采用标准测试函数F1—F7进行测试,同时将该算法对模型进行求解,获得了比其他算法范围更广和分布均匀的Pareto解集前沿。最后,对基于绿色证书交易机制的动态环境经济调度与传统动态环境经济调度进行结果对比分析,通过仿真算例验证该模型和算法的有效性和优越性。     

在役缆索自动检测

缆索检测是保证斜拉桥等大型斜拉结构安全的关键。在缆索机器人基础上，对缆索表面检查、内部检测和维护等进行了讨论。系统采用电磁检测方法，巳在徐浦大桥缆索机器人现场试验中成功进行了实践。     

面向对象的液压与气压回路工作原理仿真软件开发

详细介绍了用于液压与气压传动课程教学的“面向对象的液压与气压回路工作原理仿真软件”的开发，该软件采用VB6．0、AutoCAD及Microsoft Visio在Win2000操作系统上开发而成，采用了面向对象的建模技术，实现了液压与气压原理图的自动识别及工作原理仿真。