基于TMS320C67xx DSP的软件开发及优化

本文介绍了TMS320C67xx的性能特点，给出了其程序开发流程，并详细讨论了常用的软件优化方法．这些方法有一定的工程应用价值。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

煤矿微机安全生产监测监控系统

本文介绍了分站式系统、无分站式系统以及复全式系统的特点，主要论述了复合式微机安全生产监测监控的结构、性能和应用。     

无线传感器网络（WSN）在花卉大棚环境监测中的应用研究

针对传统花卉大棚环境参数监测系统的某些缺点,本文对基于Zigbee技术的无线传感器网络在花卉大棚中的应用可行性进行分析和研究,并建立了花卉大棚无线环境监测系统,使得该监测系统的各节点位置、监测范围、节点扩展性、节点间距离都得以改善和提高。     

车辆TPMS轮速传感器误差消除方法研究

轮胎压力监测系统能够实时地自动监测行驶中汽车的轮胎气压,对于提高行车安全具有重要的意义。基于轮胎压力监测系统硬件平台,阐述了轮速信号的获取,研究了异点剔除方法,提出了基于弹性BP神经网络分析轮速传感器误差的方法,实现了对轮速信号的修正。仿真和实验结果表明,该轮速传感器误差消除方法的精度可达2×10-4rad,能够显著降低传感器误差,提高轮速信号的获取精度。     

理工类高等院校实验室安全管理体系建设研究

实验室安全管理是理工类高等院校安全工作的重点内容．针对理工类高校实验室安全管理问题。对理工类高校实验室安全管理的特点和影响实验室安全管理的主要因素进行详细的研究和分析,并以此为基础从实验室安全管理组织体系、监督体系和保障体系三个方面提出建设理工类高等院校实验室安全管理体系的具体措施。     

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.     

基于虚拟仪器的水电机组在线状态监测系统的研究*

随着水电机组状态检修的不断开展, 需要实现对机组的状态监测, 及时了解机组的运行情况并能及时处理。考虑到水电机组状态监测的多样性和复杂性, 结合实际, 提出水电机组在线状态监测的项目和基于PXI 总线仪器和LabVIEW 的具体实施方案。状态监测系统通过对水电机组状态量的采集、处理和分析, 来实现水电机组运行状态在线实时监测, 极大地提高了机组利用率。该系统在水电机组的状态检修中得到了实际应用。     

Quantifying relationships between subsidence and longwall face advance using DInSAR

Surface subsidence that results from longwall mining can be large magnitude and can affect significant areas. Conventional methods for subsidence monitoring include leveling, global positioning system(GPS), and photogrammetric surveys. Remote sensing techniques including, aerial LiDAR, terrestrial laser scanning, and satellite-based Differential Interferometric Synthetic Aperture Radar(DInSAR), are also used to measure deformation associated with subsidence. DInSAR data are different than data from conventional subsidence surveys. Images capture data over large areas(hundreds of kilometers), and each pixel(data point) in an image quantifies the average displacement over an area of square meters.DInSAR data can have fairly high time resolution; imaging periods typically range from weeks to months.DInSAR data can be useful to monitor subsidence sequentially over short periods. Regularly monitoring subsidence may help define if caving is progressing normally and can establish relationships between surface deformation and longwall face advance, which has potential to help quantify possible risks to mine stability. In this study, subsidence at a longwall trona mine is monitored over short periods, typically 12 days, as the longwall face is advanced through a panel. C-band interferometric wide swath synthetic aperture radar(SAR) images from the sentinel satellites are used to quantify the subsidence. The onset of subsidence occurs close in time to the beginning of the longwall face advance, and overall,the development of subsidence closely follows the longwall face advance.