咪唑封端扩链脲改性环氧树脂E-51/酸酐MTHPA体系性能研究

以端羟基聚环氧丙烷1000，甲苯二异氰酸酯（TDI），2－甲基咪唑为原料，合成了扩链脲TI，利用DSC，动态热机械分析仪DMA，冲击试验机及扫描电镜（SEM）等手段对TI改性的环氧树脂E－51／甲基四氢化邻苯二甲酸酐（MTHPA）固化体系的反应活性，动态力学行为，冲击性能，断裂面形态结构进行了系统研究，结果表明，改性后的E－51／MTHPA体系反应活性明显提高，固化反应峰顶温度较未改性体系降低160℃－200℃，固化反应的表观活化能由未改性体系的160．3kJ/mol降至63kJ/mol-87kJ/mol，同时与未改性体系相比，经过改性的环氧树脂固化体系冲击强度有较大的提高，在TI含量为5％时体系的玻璃化转变温度Ts达到最高，各改性体系冲击断面呈韧性断裂。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

铝表面改性SiOx薄膜力学性能研究

采用常压化学气相沉积(APCVD)技术在铝基底上成功制备了改性SiOx陶瓷薄膜.通过显微硬度测试与涂层附着力自动划痕测试定量研究了薄膜显微硬度和膜基结合强度,利用光学显微镜(OM)和扫描电子显微镜(SEM)观察了薄膜的原始表面以及压痕、划痕形貌.结果表明,SiOx膜层由大小不均匀的等轴状颗粒团聚堆垛而成,退火处理时长大或融合成片状;SiOx薄膜有效提高纯铝表面的硬度,并能通过SiOx薄膜变形以松弛表层应力,抑制脆性裂纹产生;划痕测试证明基底和薄膜具有很高的结合强度,薄膜与基底发生塑性变形而不剥离.     

铝表面改性SiOx薄膜力学性能研究

采用常压化学气相沉积（APCVD）技术在铝基底上成功制备了改性SiOx陶瓷薄膜。通过显微硬度测试与涂层附着力自动划痕测试定量研究了薄膜显微硬度和膜基结合强度，利用光学显微镜（0M）和扫描电子显微镜（SEM）观察了薄膜的原始表面以及压痕、划痕形貌。结果表明，SiOx膜层由大小不均匀的等轴状颗粒团聚堆垛而成，退火处理时长大或融合成片状；SiOx薄膜有效提高纯铝表面的硬度，并能通过SiOx薄膜变形以松弛表层应力，抑制脆性裂纹产生；划痕测试证明基底和薄膜具有很高的结合强度，薄膜与基底发生塑性变形而不剥离。     

不确定广义大系统分散鲁棒H∞保性能控制

针对一类状态矩阵和控制矩阵存在参数不确定的广义大系统,研究其分散鲁棒H∞保性能控制问题,系统中不确定项具有数值界,可不满足匹配条件.基于广义系统的有界实引理,应用线性矩阵不等式(LMI)方法,给出了不确定广义大系统存在分散鲁棒H∞保件能控制器的一个LMI条件,并用这个线性矩阵不等式系统的可行解提供了一组分散鲁棒H∞保性能控制律的参数化表示,最后用例子说明该方法的应用.     

图像分析中的矩技术

矩技术可广泛应用于图像检索和识别、图像分割、模板匹配、数据压缩、数字水印及运动图像序列分析等领域,近年来其研究取得了较大的进展。为了使人们对这一技术有个概略了解,首先对图像分析中的矩技术进行了较为全面的介绍和评述;然后着重探讨了离散正交矩技术在图像特征表示、图像重建、计算性能等方面的研究现状;最后提出了图像分析中的矩技术目前存在的问题和进一步的研究方向。     

数字图像超分辨率重建技术综述

图像超分辨率重建的目的是通过一幅或多幅低分辨率降质图像来估计一幅视觉效果较好的高分辨率图像.它从传统的图像恢复与重建技术而来,利用图像之间的信息互补来获得比单幅图像更多的细节.超分辨率技术主要分为两大类:基于重建的超分辨率技术和基于学习的超分辨率技术.基于重建的超分辨率技术按照特定的退化模型,通过输入的图像来估计高分辨率图像.基于学习的超分辨率技术从训练样本中获取先验知识,对输入图像的信息进行补充,可以获得比基于重建的算法更好的效果.对超分辨技术的算法作了系统的介绍,并指出图像的配准、退化模型的建立、盲估计问题、学习模型的建立、学习算法等仍是图像超分辨率技术中存在的主要问题,也是进一步研究的方向.     

基于正负理想点的导弹武器系统作战效能评估

讨论了目前导弹武器系统作战效能评估中的几点不足,提出用正负理想点法来评估导弹武器系统的作战效能.首先给出评估模型.其次,通过对具有典型意义的5种空舰导弹武器系统作战效能进行分析,给出应用示例,并对评估效果进行分析,得出结论.