基于Matlab和电容感应的室内定位系统

提出了一种基于Matlab和电容感应的室内三维定位系统的设计方法。该系统主要由三维电容极板、电容采集模块、信号频率采集模块、实时串口通信模块、Matlab显示模块等组成。系统依据电容感应原理,通过测量监测区域三维电容基板之间电容值的变化量,换算出被测物体相对极板的距离,并通过Matlab图像显示窗口显示被测物体对应的三维位置。该室内定位系统特别适用于对进入监测区域的活动物体进行实时定位监测。     

光波导加速度传感器中3dB耦合器设计

光波导加速度传感器是一种实用型加速度传感器,目前广泛应用制备光学加速度计的迈克尔逊、马赫—曾德等干涉仪的核心部件都包含3 dB耦合器。3 dB耦合器的设计对光波导加速度传感器的检测精度尤为重要。介绍了所设计的光波导加速度传感器的工作原理,设计了3 dB耦合器波导的结构和参数,并用光学模拟软件OptiBPM对3 dB耦合器进行模拟。结果表明:所设计的3dB耦合器具有良好性能,符合设计要求。     

星子高岭-南港瓷石组成的瓷坯在加热过程中的物相变化

本文通过X光衍射分析、透射电镜与扫描电镜的观察,研究了星子高岭—南港瓷石坯料在电炉中从700℃至1320℃的物相变化。研究结果表明瓷坯中的高岭石加热至700℃～1000℃范围内出现了莫来石雏晶,瓷坯中的绢云母加热至1000℃左右时,开始形成莫来石与r—Al_2O_3,而未生成白榴石。同时发现即使在1300℃的温度下绢云母仍保留着片状形态的假象,这说明绢云母并没有熔融,但己断链,并部分转变为莫来石。因此过去认为此瓷相中存在绢云母,实为绢云母假象。     

基于分布的中文词表示研究

针对基于分布的中文词表示构造过程中的参数选择问题进行了系统性的研究。选择了六种参数进行对比实验,在中文语义相似度任务上对不同参数设置下得到的中文词表示的质量进行了评估。实验结果表明,通过选择合适的参数,基于分布的词表示在中文语义相似度任务上能够得到较高的性能,而且,这种高维的词分布表示的质量甚至优于目前流行的基于神经网络（Skip-gram）或矩阵分解（GloVe）得到的低维的词表示。     

从粉煤灰中提取微珠与超细微珠粉的工艺及设备

我们结合我国国情 ,研制了一种FZ - 4型干状粉煤灰微珠和超细微珠粉分离提取专用设备。该设备利用可调频高速旋转转子产生强烈机械碰撞、颤振、摩擦和一、二、三次风气流的共同作用 ,使物流在涡流中获得足够的冲击力 ,将粒料与附着的混杂粉片物分离。它把不同级次分离与分级集于一体 ,使生产过程处于闭路循环 ,避免了粉尘的跑、冒、漏 ,可满足 2 8μm粒径以上的颗粒分离 (多级可至 1 μm以上的颗粒分离 )。分离出的微珠颗粒完整性好 ,表面光洁 ,流动性好 ,粒度分布合理。该设备可对不同锅炉、不同燃烧方式和不同燃烧温度所产生的粉煤灰进行…     

两河口水电站施工组织设计综述

两河口水电站地处藏民族聚居地,为特大型工程,工程量巨大、大坝填筑料源多且分散、施工强度高、场内交通错综复杂且运输量大,施工条件差。可行性研究阶段的施工组织设计主要在大坝心墙防渗土料、混凝土骨料、施工导流、场内交通仿真分析、大坝施工规划、施工总布置规划等方面进行了大量深入的研究工作,研究成果较好地解决了施工组织设计中的难题。     

化学镀镍层的性能及工艺选择

概述化学镀镍层的性能,影响镀层耐蚀性、硬度和耐磨性能的各种因素.列出了7种化学镀镍液的成分组成,讨论了各种不同基体材料化学镀镍前处理的方法及槽液维护的措施.     

货架喷塑前处理工艺的选择与应用

介绍了CZ99-03(7)常温锌系磷化剂在货架上的应用,根据货架构件的特点,优化货架喷塑前处理工艺,讨论了影响磷化质量的工艺因素,提出了提高磷化效果的措施以及进一步改进磷化工艺的工艺设计。     

黄铜制品表面精饰工艺

综述黄铜制品的化学抛光、着色、化学转化膜、电镀和有机涂覆等表面精饰工艺,总结了有助于提高质量、降低成本、减少污染的改进方法.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.