Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

分布式光纤测温在动力电缆温度监测中的应用

动力电缆温度监测是可以及时发现电缆线路过热点位置和检测运行线路的绝缘状态,从而保障电缆安全稳定运行的技术措施。针对电缆过热事故的主要原因和特点,提出采用分布式光纤测温技术对电缆沿线温度进行监测预警,给出了分布式光纤测温系统的原理、组成和光缆布设方案,此系统对保证电力系统的安全运行有重要意义。     

时分复用光纤光栅传感阵列中DFB激光器的高精度温控设计

针对时分复用光纤光栅(TDM-FBG)传感阵列中使用的分布反馈(DFB)激光器高波长稳定度的要求,设计了一个高精度的DFB温控方案,包括温度测量与设定、热敏电阻线性化、PID补偿回路、H桥驱动、温度电压采集与显示等。使用DFB内置的热敏电阻和半导体制冷器(TEC)对温控电路进行了测试,其精度在180s内达到±0.04℃,温控后激光器温度变化引起的应变测量误差为±3.4με左右,满足TDM-FBG传感阵列的要求。     

基于车型识别的BP算法Matlab实现

车型识别具有广阔的应用前景,BP神经网络在车型识别中能够提高车型的识别率。在任何车型大致都可以抽象成一个"工"字型情况下,提取其中的顶长比、前后比和顶高比这三项相对参数作为BP神经网络的输入参数。采用三层3-8-3的BP神经网络,并用14对输入参数离线训练,再用4对新数据进行检验,均得到了预想的期望值。     

浅谈光纤通信新技术的应用与研究

在长途通信网和市话通信网中光纤通信网代替电缆通信网已成为被世界所公认的事实。此时因为通信距离影响,导致利用率的不断下降,所以为光纤通信取得进一步发展,必须寻找新的途径,采用新的技术。本文首先简要概述光纤通信技术特点,然后阐明光纤通信新技术的实践应用,最后进行对光纤通信新技术的研究探讨。     

An enhanced,acoustic emission-based,single-fiber-composite test

In the single-fiber-composite (SFC) test, a fiber imbedded in a matrix is loaded in tension, resulting in a fragmentation of the fiber. In the conventional version of this test, the final fiber fragmentation length distribution is used with a micro-mechanical model to determine the average fiber/matrix interfacial shear stress. In the enhanced version of this test, one also determines the applied stress at each fiber fracture, and from this, one can evaluate the strength of the fiber at short gage lengths. In our measurement system, we utilize an acoustic emission (AE) technique to detect the fiber fractures and to locate the fiber breaks and so determine both the fiber failure stresses as well as the fiber fragmentation lengths while the test is in progress. Critical to the success of this test is a broadband AE system that utilizes point-like AE sensors, procedures for evaluatingin situ, the wavespeed of the first wave arrival and signal processing techniques for determining the arrival time of this signal as precisely as possible for a broad range of wave shapes. Here we describe the application of such an enhanced SFC test procedure to investigate the failure of a Nicalon fiber in an epoxy matrix.     

基于小波变换的棉花异纤检测算法研究

研究棉花中异性纤维的检测问题,提高检测准确度。针对棉花异纤检测,当棉花中混有头发丝等与棉花纹理相似的线状异纤时,传统的单一尺度的边缘检测算法不能将线状异纤准确检测出来,造成检测准确度不高的问题。为解决上述问题,提出一种小波变换的棉花异纤检测方法,通过将棉花图像分割为多个连通区域,并对各区域进行多尺度小波变换,然后计算并设定每个区域的检测阈值,最后利用检测阈值完成异纤检测,可避免传统单一尺度的边缘检测方法不能准确识别线状异纤的问题。实验证明,改进方法能够准确地将线状异纤准确检测出来,具有很高的检测准确度,取得了满意的结果。     

基于MapGIS K9的搭建式工时管理系统研究及设计

分析了搭建式开发方法与传统开发方法相比具有的零代码、可视化、周期短等优势。通过对软件项目管理工作的现状进行分析,采用MapGIS K9搭建项目工时管理信息系统。系统涵盖项目信息管理、工时管理、工时统计、基本信息维护、系统权限管理等几大功能,有助于软件企业对项目进行精细化管理,提高人力资源利用率,解决多项目资源冲突的矛盾。     

Fiber optic sensing for ultrasonic NDE

An innovative approach to nondestructive evaluation (NDE) using noncontacting optical sensors has demonstrated. In this effort a single mode optical fiber interferometer (OFI) was used to sense the presence and form of Rayleigh waves traveling along the surface of a steel test bar at a velocity of nearly 3mm/µs. Acousto-optic time-domain data was successfully used to detect the presence and locate the position of a test flaw (a machined slot) in the bar, and spectrum analysis was used to estimate its geometry and size. This approach has many potential applications in the ultrasonic evaluation of real flaws in structures with complex geometries. Coupled with the authors' earlier work demonstrating the feasibility of generating acoustic waves in metals using laser light pulses transmitted through the fiber optic probes, this latest achievement points to the development of a fully noncontacting, fiber optic based thermal-acousto-photonic (TAP) NDE system, with potential applications to the reliability testing of many important structures where composition, scale, geometry, or restricted access preclude the use of conventional NDE techniques.