初等几何定理证明的Clifford代数方法

本文结合是吴方法及平面几何的Ｃｌｉｆｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法，用这种方法证明定理时，三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。     

噪声和振动的有源控制

用和实际噪声源(振源)反相的二次声源产生声,进行干涉,来减小甚至抵消噪声,这不是一个新鲜事,原理也不复杂。但具体实现却取决于声源(振源)的尺寸,辐射分布和抵消场的产生与控制。近期的进展是以控制论和自适应滤波的最新发展和用于自适应信号处理的高速微电子线路的出现为基础的。     

计算逻辑中的波动策略

以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。     

柴油机噪声源识别的实验研究

本文介绍为了对柴油机本身做降噪改进设计而在实验室进行的噪声源识别实验研究。采用铅包覆法和国际上近年来发展的声强法两种方法。在铅包覆法实验中柴油机全部包覆后整机噪声级下降13.8dB(A)。声强法中应用一般的双通道FFT分析仪和通用微机,经接口组成测量分析系统。两种方法所得结果基本相符,而声强法的特点是简便易行,更利于在研究开发和工程中推广应用。     

第一届西太平洋地区声学会议论文简介

第一届西太平洋地区声学会议于1982年9月1—3日在新加坡举行,在大会宣读的论文共48篇,并出版了论文集,其中声学测量10篇:包括吸声、隔声、噪声和音质的测试方法.有三篇论文集中介绍声强测试技术,利用这种方法可以在多个噪声源的场所,确定某一噪声源所辐射的功率,以及在实验室或现场作隔声测量.有一篇论文是论述在室内采用恒定声功率     

采用对数比处理技术的同步光位置测量系统

 对于双丝型同步光位置检测器，对数比处理技术较差比和处理技术具有更宽的线性范围和动态范围。利用美国BB公司的高精度对数运算放大器LOG112实现电流电压转换，研制了一种采用对数比处理技术的同步光位置测量系统，垂直方向光位置测量分辨率约为1 μm，线性范围大于±3 mm。与合肥同步辐射光源原有同步光位置测量系统相比，具有较高的性价比。     

基于MATLAB的HLS束流轨道慢反馈控制系统

束流轨道稳定性是同步辐射光源的重要性能指标,直接影响实验线站光通量的稳定性.介绍了在合肥光源储存环上实现束流轨道慢反馈校正的研究与实验工作,目前合肥光源的全环垂直轨道的稳定性为Ay<±30μM,从而使轨道的稳定性达到了国际同类机器先进水平.     

合肥光源储存环温度监测系统

温度是影响电子束轨道稳定的重要因素之一,大多数加速器都需要为其建立完备的冷却恒温系统及相应的监测系统.描述了合肥光源基于EPICS(Experimental Physics and Industrial ControlSystem)分布式控制系统开发的温度监测系统的硬件结构、软件设计、测试结果及其历史数据库.经实际运行表明,该系统能很好满足与温度相关的机器研究和运行的需要.     

国内首次超导高频系统束流调试及高功率试验

2004-2007年BEPC高频系统从常温腔改建到超导腔,逐渐解决了改频的物理问题和超导技术的工程难题,实现了与国际先进技术接轨,并按期保质完成了工程、调束任务.高频系统是BEPCⅡ工程首个吸收国外超导技术、自主完成集成和调试成功的大型装置;2006年7月国内首次超导高频大功率试验成功;2006年11月完成系统联调,按期投入BEPCⅡ首轮调束;同年12月首次投入同步辐射运行;2007年2至5月,东、西两套超导高频系统在1MV以上的加速电压均已实现正/负电子1.89GeV注入积累和110/114mA对撞;在同步辐射运行中,逐渐达到2.5GeV/250mA、束流功率100kw,接近国外同类机器水平;束流试验证明两套高频系统的各类参数标定和测量值与理论设计吻合.10个月运行表明系统可靠.本文对BEPCⅡ高频系统的束流联调和高功率试验做简要描述.     

基于机器视觉的三维灰度重构技术

为了非接触、无损、快速地获取物体表面丰富直观的三维信息，即在进行物体三维几何信息重构的同时，还要恢复出物体表面的色彩纹理信息，以利于对物体空间信息的再现和分析，研究了基于机器视觉的三维灰度重构技术。