一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

仿人机器人分布式控制系统研究及实现

采用分布式控制方式设计了仿人机器人控制系统,运用CAN总线将主控计算机、关节控制器、力传感器连在一起,分散了信息处理和控制任务,提高了机器人智能程度.基于DSP为核心的关节控制器的设计,采用了智能体数字舵机作为动力装置.引入反馈控制,提高了关节控制器控制精度,以及通过全双工串行通信方式实现数字舵机的控制,改善数据传输方式.     

构件测试元数据及其提取与展现技术

构件具有的封装性给构件测试带来了困难,而目前构件包含的元数据尚不完整。为了充分利用构件元数据进行构件自动化测试,从构件使用者和测试者的角度设计了内涵丰富的构件元数据,并且针对COM构件,通过访问类型库来自动获取构件结构信息元数据,按层次提取并用XML形式化描述类型信息,得到了COM构件辅助测试规格说明。实例表明,该方法能直接操纵COM构件,自动获取元数据,便于测试脚本自动生成。     

光纤光栅传感器在结构健康监测中的应用

详细阐述光纤光栅传感器的结构及布拉格光纤光栅传感器的工作原理。重点介绍结构健康监测系统构成、光纤光栅传感器系统的信号处理、安装等方面问题;展望光纤光栅传感器在结构健康监测领域中的前景。     

分数次积分变换的交换子在齐型空间上的端点估计

令T为P^n上的Caldero＇n-Zygmund积分算子,由T构成的交换子的有界性已有较完善的结论,本文的目的是将之推广到一般的齐型空间。设（X,d,μ）为齐型空间,将引进齐型空间（X,d,μ）上的分数次积分变换构成的交换子Iγ^b,并证明分数次积分变换构成的交换子Iγ^b的端点估计,即砖是从L^1/γ（X）到BMO（X）有界的,从Bp^γ（X）到CMO（X）有界的。     

基于双D光纤传感器的陶瓷泥浆浓度仪的设计

为了克服陶瓷泥浆浓度落后的检测技术和低效率,研制了一种新型的检测仪器.依据Mie散射理论,在入射波长、入射光强、探测距离、粒径尺寸参量、折射率,后向散射角已知时,后向散射光强就与粒子数浓度成正比.在实验中,把光信号通过双D型光纤传感器中的一支光纤射入陶瓷泥浆,另一支光纤接收陶瓷泥浆颗粒对光信号的后向散射光线.分别检测浓度为40%-60%的陶瓷泥浆样本,记录、分析这组电压值和陶瓷泥浆浓度的关系后知道:在陶土含量为40%-60%之间的数据曲线是线性的.利用这一个结果,研制了陶瓷泥浆浓度检测仪,并详细说明陶瓷泥浆浓度检测仪的结构及特点.     

波长调制技术在掺铒光纤腔内吸收气体传感中的应用

在掺铒光纤腔内吸收气体传感系统进行气体检测时,由于受到放大自发辐射噪声、标准具效应等因素影响,气体浓度检测信号强度和检测浓度极限受到了很大的限制。为了解决上述问题,将广泛应用于可调谐二极管激光器吸收光谱的波长调制技术应用到掺铒光纤腔内吸收传感系统,利用实验分析了二次谐波信噪比与泵浦驱动电流、调制频率以及调制深度的关系,从理论上分析推导的最佳波长调制深度也与实验得到的调制深度非常吻合。采用波长调制技术得到气体传感系统的检测浓度极限为140×10-6。     

湿度和温度对聚合物光纤光栅反射波长漂移量的影响

针对固体火箭发动机纤维缠绕壳体状态监测中局部可能出现大应变情况,采用聚合物光纤布拉格光栅(polymer op-tical fiber Bragg grating,POFt3G)传感器对大应变进行检测;分析了湿度和温度对光纤光栅反射波长漂移量的影响,建立了湿度传感模型、温度传感模型和温度湿度混合模型.并通过MATLAB进行数值仿真,结果表明,反射波长随温度的升高而减小,随湿度的增加而增大,并受到温度和湿度的交叉影响,这与文献报道的实验结果比较吻合.     

基于长周期光栅边缘滤波解调的光纤布喇格光栅位移传感研究

利用长周期光栅的边缘滤波解调技术,我们报道了一种光纤布喇格光栅位移传感方法.系统由一个3dB耦合器、一个传感光纤布喇格光栅、一个长周期光栅和一个探测器构成.实验结果表明,在所测位移范围内,传感系统输出的光功率与位移成良好的线性关系,位移灵敏度为9.24pW/mm,位移分辨率为0.01 mm.该方案结构简单、灵敏度高、线性度好,可应用于实际中的位移测量.     

一种实时校准的光纤Bragg光栅传感器解调系统

为了提高光纤Bragg光栅（FBG）传感器阵列的信号解调精度,基于窄带光源问讯解调原理,提出了引入带标记热稳定标准具模块来实现实时校准的方案,利用12位A／D采集模块将信号采入计算机,在虚拟仪器软件LabVIEW下处理信号,峰值检测方法为分段寻峰。实验表明：该方案对FBG传感器中心波长位移的最大解调精度为1pm,相对于无实时校准模块方案下的解调精度提高了10倍以上,在应变为1×10^-4的范围内,测量误差小于1.5×10^-6。