咪唑封端扩链脲改性环氧树脂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薄膜变形以松弛表层应力,抑制脆性裂纹产生;划痕测试证明基底和薄膜具有很高的结合强度,薄膜与基底发生塑性变形而不剥离.     

Who and what links to the Internet Archive

The Internet Archive’s (IA) Wayback Machine is the largest and oldest public Web archive and has become a significant repository of our recent history and cultural heritage. Despite its importance, there has been little research about how it is discovered and used. Based on Web access logs, we analyze what users are looking for, why they come to IA, where they come from, and how pages link to IA. We find that users request English pages the most, followed by the European languages. Most human users come to Web archives because they do not find the requested pages on the live Web. About 65 % of the requested archived pages no longer exist on the live Web. We find that more than 82 % of human sessions connect to the Wayback Machine via referrals from other Web sites, while only 15 % of robots have referrers. Most of the links (86 %) from Websites are to individual archived pages at specific points in time, and of those 83 % no longer exist on the live Web. Finally, we find that users who come from search engines browse more pages than users who come from external Web sites.     

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

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

Detecting off-topic pages within TimeMaps in Web archives

Web archives have become a significant repository of our recent history and cultural heritage. Archival integrity and accuracy is a precondition for future cultural research. Currently, there are no quantitative or content-based tools that allow archivists to judge the quality of the Web archive captures. In this paper, we address the problems of detecting when a particular page in a Web archive collection has gone off-topic relative to its first archived copy. We do not delete off-topic pages (they remain part of the collection), but they are flagged as off-topic so they can be excluded for consideration for downstream services, such as collection summarization and thumbnail generation. We propose different methods (cosine similarity, Jaccard similarity, intersection of the 20 most frequent terms, Web-based kernel function, and the change in size using the number of words and content length) to detect when a page has gone off-topic. Those predicted off-topic pages will be presented to the collection’s curator for possible elimination from the collection or cessation of crawling. We created a gold standard data set from three Archive-It collections to evaluate the proposed methods at different thresholds. We found that combining cosine similarity at threshold 0.10 and change in size using word count at threshold ?0.85 performs the best with accuracy = 0.987, \(F_{1}\) score = 0.906, and AUC \(=\) 0.968. We evaluated the performance of the proposed method on several Archive-It collections. The average precision of detecting off-topic pages in the collections is 0.89.     

图像分析中的矩技术

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

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

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