摘要：本文介绍一种定向凝固设备中使用到的抽拉系统，该系统具有０．１～８３０００ｍ／s的宽调速范围，且在低速状态下，系统运动平稳。由于控制系统采取了合理的抗干扰措施，所以该系统在强电磁场下仍然能够可靠运行。

摘要：环氧树脂是一类具有优异的粘接、耐腐蚀和电气绝缘等性能的高强度热固性高分子材料,在黏结剂、防腐涂料和复合材料方面展现出广阔的应用前景,其摩擦学行为与环氧值密切相关.本研究中采用线棒涂布器在铸铁表面分别制备了3种具有不同环氧值的环氧树脂涂层.借助傅里叶红外光谱仪(FT-IR)、X射线光电子能谱仪(XPS)、扫描电镜(SEM)、纳米压痕仪、热重/差热综合热分析仪(TG/DTA)、UMT-3摩擦磨损试验机和表面轮廓仪研究了涂层的结构、硬度、耐热性及摩擦学性能.研究结果表明:涂层在干燥条件和海水环境中的摩擦系数和磨损率均随环氧值的增大而升高;海水环境中涂层的摩擦系数和磨损率均较干燥条件下低.涂层的磨损机理在干燥条件下包括了疲劳磨损、黏着磨损和磨粒磨损,而在海水中仅为疲劳磨损.本研究成果为高性能防腐耐磨涂层的设计与应用提供理论指导.

摘要：以中分辨率成像光谱仪数据（Moderate resolution imaging spectroradiometer，MODIS）为基础计算泾河流域归一化差异植被指数（Normalized difference vegetation index，NDVI）在2001—2004年的时间序列值，分别采用相关系数r值和成对f检验的f值定量描述年内NDVI曲线在年际问的协同性和差异性。以农田、森林、灌丛和草地4种土地利用类型NDVI曲线在年际间变化显著的面积百分比为参数，在2001～2004年间分为1、2和3年间隔共6个时间组，比较分析4种土地利用类型的NDVI曲线在6个时间组内的协同性和差异性，进而探讨泾河流域植被年际变化及其与土地利用之间的关系。结果表明：4种土地利用类型NDVI波动对外界环境的响应在不同的时间间隔里表现一致，在2001～2003年和2001～2004年间变化比较明显；在各个时间组内比较发现有较大面积的农田和草地NDVI协同性较差，尤其在2001—2002年间，这可能与退耕还林还草政策的实施有关；4年来泾河流域内4种土地利用类型的NDVI值有增加趋势，植被状况趋于良好；NDVI年际间差异最明显的是草地，其次是农田和灌丛，森林的NDVI比较稳定。

摘要：针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.

摘要：采用三点弯曲冲击断裂实验装置和分布式多火花高速摄影系统对冲击倾向性煤体内裂纹扩展过程进行了观测,分析了裂纹扩展速度、动态裂纹扩展摸式和裂纹扩展的非稳定性.研究发现:冲击倾向性煤体内裂纹扩展具有高度的非线性特征;煤体的非均质性和不连续性对动态裂纹扩展模式和裂纹扩展速度有较大影响.实验结果解释了由放炮等震动诱发冲击地压灾害的滞后突发机理.

摘要：应用Hoek-Brown强度理论对Lippmann煤层平动突出模型进行了改进,综合考虑了强度、结构等因素对煤层平动突出的影响,研究了水平煤层从巷道两帮突出前临界状态下的应力分布规律.赵各庄矿的实例研究表明,改进后的Lippmann煤层平动突出模型适用于顶底板为岩石的煤巷或半煤岩巷煤层整体冲击的机理分析,为合理确定煤层突出范围度量指标以及煤层整体平动突出倾向性的判定提供了理论依据.

摘要：光学加密机制的研究近来引起了人们的重视。针对光学加密参数对密文安全性的影响问题,本文研究了加密参数与密文的影响关系,为虚拟光学加密系统设计提供安全性理论基础。论文给出了系统的实现算法,设计实现了加密仿真系统,然后对二维码进行了仿真实验与分析,验证了算法的正确性,从衍射距离、光波波长、随机模板、透镜焦距等参数对加密系统的安全性影响进行了仿真讨论,仿真结果表明光波波长对加密系统的安全影响最大,同时参数对安全性的影响存在非线性关系。论文最后讨论了可进一步研究的问题。

摘要：通过采样部分元素补全低秩矩阵的缺失元素是许多实际应用如图像修复、无线传感网数据收集和推荐系统等经常遇到的一个颇具挑战性的难题.在机器学习领域,这类问题通常能刻画成矩阵补全问题.虽然现有研究针对矩阵补全问题已提出了许多有效算法,但这些算法通常仅限于采样元素要么无噪要么仅含少量随机高斯噪声的补全情形,难以处理实际问题中常见的行结构化噪声.为了解决这个问题,该文首先借助分类器设计中流行的L2,1范数正则化技术来平滑此类噪声,并将该问题建模为一类基于L2,1范数正则化的凸约束优化问题.其次,为了快速有效地求解,我们将向量空间的线性Bregman迭代算法和近邻算子技术拓展到矩阵空间,进一步设计了一种鲁棒的基于线性Bregman迭代的结构化噪声矩阵补全算法(LiBIMC).严格的理论分析证明了LiBIMC迭代算法的不动点正是结构化噪声矩阵补全问题的全局最优解.数值实验结果表明,和已有的矩阵补全算法相比,LiBIMC算法不仅能更好地恢复结构化噪声矩阵的缺失元素,还能精确地辨识出采样矩阵中被污染的元素所在行的位置信息.

摘要：提出一种基于软件体系结构(SA)的软件维护与演化方法.通过运行时软件体系结构(RSA),系统的运行状态与行为以SA的形式展现,且操纵该SA视图能导致运行系统进行相应改变,这种因果关联通过反射式软件中间件实现.作为一个准确、实时、语义丰富、可操作的SA视图,RSA视构件与连接子为“白盒”实体,以精确、完整地描述运行系统.同时,通过扩展传统的SA描述语言,以形式化描述RSA,并使之具备继承设计阶段SA所富含语义的天然能力.本方法在反射式J2EE应用服务器PKUAS中得到实现,并通过性能测试考察了RSA对运行系统整体性能的影响.

摘要：通过改进热光开关单元和全内反射镜,设计并制作了基于SOI材料的8×8阻塞型热光开关矩阵.开关设计中,在单模波导和多模干涉耦合器之间引入楔形连接波导并进行优化,增大单模波导与多模波导之间的耦合效率,减小开关单元的损耗.此外,采用自对准方法提高了全内反射镜的光刻容差.开关矩阵各端口的平均插入损耗约为21dB,单个反射镜引起的附加损耗约为1.4dB,串扰少于-21dB.实验结果说明新设计改善了开关器件的整体特性,与理论分析一致.