O-表达式的性质定义与规范

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式（stand-alone O-expression,saloe）。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。     

交联体系对海藻酸钠/印度树胶复合膜性能的影响

为探究交联体系对海藻酸钠/印度树胶复合膜性能的影响,本文选取氯化钙-柠檬酸、氯化钙-乳酸、氯化钙-苹果酸三种不同的Ca2+-H+交联体系,以力学性能、水蒸气透过率及水溶性为指标进行评价;同时,利用傅里叶红外光谱(FTIR)、扫描电子显微镜技术(SEM)进行微观结构表征。结果表明,选用氯化钙-柠檬酸交联体系,Ca2+浓度为1.5%,H+浓度为1.0%,交联时间为5 min时,拉伸强度为34.11 MPa,断裂伸长率为15.27%,水蒸气透过率为6.99×10-11 g/(m·s·Pa),水溶性为6.41%,海藻酸钠/印度树胶复合膜综合性能最佳。此外,傅里叶红外光谱和扫描电子显微镜也表明氯化钙-柠檬酸交联体系形成的交联膜微观结构紧密、均匀、交联度高。本研究成功制备了一种新型复合膜,为其在食品包装领域的应用提供理论依据。     

高压水除鳞喷嘴的设计与试验研究

在热轧带钢、中厚板生产过程中,清除板坯表面的炉生氧化铁皮和再生氧化铁皮是非常重要的,它直接影响产品表面质量.实践证明,在相同压力下采用不同结构喷嘴,其除鳞效果有明显区别.本文对高压水除鳞喷嘴进行了一些试验研究.通过八种不同结构喷嘴的试验数据分析和探讨,作者初步寻求了一种较理想的喷嘴结构.它的各项技术指标均已达到或者超过国内外同类产品的技术指标.同时作者对除鳞喷嘴流量计算进行了推导.并且文中提供了高压水除鳞设计有关资料.     

光学设备白天观测目标可行性分析

在白天,光学设备是否能完成对导弹或火箭等目标的成像与自动跟踪,作用距离能达到多少?传统的作用距离公式只是针对于晚上对火箭或导弹火焰的跟踪测量进行估算,没有考虑到白天天空背景的影响;同时,传统的作用距离公式无法解释暗目标亮背景的情况.而光学设备在白天工作时,天空背景的影响显然是不能忽视的,尤其是对调制对比度的影响.从光学设备成像三个基本条件出发:(1)目标在探测器靶面上必须具有一定大小,一般要求在单方向上大于2个像元,即目标在靶面上的成像尺寸在2 × 2个像元以上;(2)目标的表观光谱辐射能量经过大气传输到达接收光学系统探测器靶面的光谱辐照度,要大于探测器需要的最小照度要求,一般要求信噪比大于5;(3)目标和背景在探测器像面引起的照度,必须具有一定的对比度,该对比度满足信号检测和处理所需要的最低对比度.首次推导了空间不发光物体(导弹或火箭本体)在白天反射太阳光成像公式,重点对靶面上目标的光谱辐照度和目标与背景的调制对比度进行了详细的分析与计算.从公式可以看出:目标在靶面的辐照度与太阳位置、目标空间姿态以及观测方向之间角度的关系.最后利用这些公式探讨了白天光学设备对火箭或导弹发射过程进行实况记录的可行性,并结合某型号试验任务,逐一分析了不同高度时刻在靶面上火箭本体与背景的调制对比度.随着火箭的上升,目标亮度逐步增强,调制对比度从负到正变化,正好与观测到的从暗目标亮背景到亮目标暗背景的变化过程一致,从而验证了分析结果的准确性.     

靶场红外辐射特性测量系统标定方法研究

根据靶场用红外辐射特性测量系统的实际情况提出了三种对红外焦平面探测器响应度进行标定的方法,分别是用于全焦平面标定的直接扩展源法和间接扩展源法,以及仅对焦平面局部特征点定标的点源法,并对各标定方法的优缺点进行了分析比对,结合工程实践对方法选择提出了建议,可供广大工程技术人员作为参考.     

一种共址平台装备的射频干扰抑制系统设计方法

在共址平台场景下,大功率发射装备工作时辐射的信号会对其附近的高灵敏度接收机造成严重干扰。针对这一问题,采用一种多抽头射频干扰对消系统,通过控制系统中的时延、幅度和衰减的权值,使得产生的参考信号与干扰信号等幅反向,从而实现干扰信号的对消。为了获得最优的干扰对消性能,提出了一种基于优化算法获取多抽头最优控制权值的方法。与传统获取控制权值的方法相比,所提方法具有抽头支路少、干扰抑制性能高和对数字控制电路要求低等优点。     

Ti表面脉冲激光氮化成膜温度场的数值模拟

本文用有限差分法对金属钛表面脉冲激光生成氮化钛薄膜过程的温度场进行了三维数值模拟计算。模型主要考虑了入射的脉冲激光在时间与空间上的Gauss分布特性 ,以及工件的有限尺寸 ,工件材料热物理性质的温度依赖关系 ,对流辐射造成的表面热损失。此外还从理论上计算了激光脉冲在脉冲宽度加宽后的温度场变化。     

强度相干成像中符合计数方法的优化与仿真

为提高强度相干成像中符合计数方法的探测信噪比,实现对中高轨卫星的清晰成像。根据HBT效应和光电转换半经典模型建立了强度相干的符合计数简化模型,分析了设备时间测量误差、符合窗函数和观测光谱形状对符合计数探测信噪比的影响,并根据观测条件对符合窗函数进行了优化。利用蒙特卡洛方法仿真了符合窗函数对探测信噪比的影响。仿真结果表明:利用最优符合窗测量目标的频谱模值时,其探测信噪比较传统方法提高了39.2倍。通过对符合窗的优化能够有效提高强度相干成像探测信噪比,提高对暗弱目标的强度相干成像质量。     

海藻酸钠/田菁胶复合膜的性能研究与表征

本实验采用流延法,以海藻酸钠和田菁胶为基材,甘油为增塑剂,乳酸钙和柠檬酸为交联剂制备可食性膜,对不同质量比的海藻酸钠与田菁胶膜进行性能研究与表征。实验结果表明,海藻酸钠和田菁胶质量比为8:2时,拉伸强度为72.51 MPa,断裂伸长率为7.86%,水溶性仅为2.90%。扫描电镜直观看到膜内部结构的稳定性,红外光谱和X射线衍射测定表明海藻酸钠和田菁胶发生了相互作用。海藻酸钠和田菁胶具有良好的生物相容性,在改善了海藻酸钙膜皱缩性的同时,提高了单一膜材料的理化性能和稳定性,加大其利用度。     

红外辐射测量系统内外标定技术

为确保辐射测量精度,需要对红外辐射测量系统进行标定。在分析红外辐射测量系统工作原理的基础上,提出了内、外标定相结合的标定方法,区别于传统的标定方法,不再把测量系统当作黑盒子,而是对其内部分解进行分步标定,通过理论推导给出了内外标定方法计算公式。实验验证表明,该方法的标定精度与传统的全孔径黑体标定方法基本一致,两者之间的相对误差在1%以内,但该方法对外置大孔径面源黑体温度范围要求比较低,降低了黑体的研制难度和成本。