基于RGPS服务本体交互建模分析与验证

在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务组合及支持服务的动态耦合存在不足.本文从服务本体的语义层面,通过对OWL-S进行RGPS属性扩充,研究SOA架构模型映射到Pi演算的进程模型,对动态耦合的按需服务组合进行形式化分析并用Pi演算验证工具MWB进行验证.实验结果表明方法的可行性,为按需动态服务组合的有效性分析提供了一种验证方法.     

基于嵌入式Linux的远程抄表系统集中器的实现①

通过分析比较国内外各种现有远程抄表系统的优点和不足,结合当前计算机技术和通信技术的发展和作者的实践经验,实现一种基于S3C2440处理器和嵌入式Linux的设计方案;具体说明了该方案的系统架构,并详细介绍了集中器嵌入式软件实现的关键技术。     

计算机视觉在室外移动机器人中的应用

近些年来,室外移动机器人(智能车)及其相关技术的研究越来越受到重视．计算机视觉技术作为移动机器人感受外界环境的最主要手段,也在很多相关领域取得了长足的发展．本文分别从道路检测、车辆检测、行人检测三个室外移动机器人系统中最主要的视觉检测方面对目前的发展做了一个概述, 并给出了今后的发展方向．     

面向领域核心服务定制的部分语义互操作聚类研究

在面向服务的软件工程(SOSE)时代中,需要面向领域用户共性需求,从语义互操作层次实现服务资源聚合,形成领域核心服务资产的聚合来满足用户需求.提出一种面向领域核心服务定制的部分语义互操作性聚类方法,该方法在实施服务本体封装的基础上,从语义互操作性的充分、必要能力两个方面,利用本体概念间语义推理关系进行匹配计算,实施领域服务聚合.与含意互操作性聚类方法相比,本文通过实验验证,该方法提高了满足用户个性化,多元化需求的按需服务的查全率.     

一种面向主题的领域服务聚类方法

随着互联网上服务资源规模的快速增长,如何高效、准确地发现服务成为一个亟待解决的关键问题.服务聚类是促进服务发现的一种重要技术.但是,现有服务聚类方法只对单一类型的服务文档进行聚类,并且没有考虑服务的领域特性.针对该问题,在对服务进行领域分类的基础上,提出了一种基于概率、融合领域特性的服务聚类模型——领域服务聚类模型(domain service clustering model,DSCM),然后基于该模型提出了一种面向主题的服务聚类方法.最后通过ProgrammableWeb网站提供的真实服务集对提出的方法进行了验证.实验结果表明,该方法可以准确地对不同类型的服务文档进行聚类.与经典的潜在狄利克雷分配(latent Dirichlet allocation,LDA),K-means等方法相比,该方法在聚类纯度和F-measure指标上均具有更好的效果,从而为按需服务发现与服务组合提供更好的支持.     

固溶前退火对2024铝合金薄板组织与性能的影响

采用热分析、拉伸试验、EBSD等分析手段,研究了固溶前退火对2024铝合金薄板组织和力学性能的影响。结果表明:固溶前进行350℃高温退火,再结晶晶粒长大,力学性能相对直接固溶时效大幅降低。固溶前进行250℃低温退火,再结晶晶粒特征与直接固溶处理的较为接近,再结晶Cube织构得到强化,力学性能相对直接固溶时效仅有小幅下降。     

白酒中乳酸乙酯手性体分析研究

采用手性专用石英毛细管色谱柱对３种香型（浓、清、酱）１０多种不同厂家的酒样进行了乳酸乙酯手性体拆分分离，进行了量比规律考察，为白酒的风味物质的分析研究提供了新的思路。     

计算机中文信息库中的关联操作算法

组织大量数据, 建立信息存贮系统的最主要目标之一, 是能够让用户有效地使用其中的任一信息子集, 这就需要信息库系统除了存贮信息之外, 还要具备较强的信息数据操作能力。     

程序设计方法——PAM

软件工程学领域的研究成果表明,降低开发成本和维护费用、提高程序质量的最重要的一点就是要抓住软件的设计和审查这个关键。因此,设计方法的研究在软件工程学领域中,已成为重要的研究课题之一。从目前软件设计方法的研究现状来看,一般把大规模的软件设计过程分成软件系统设计(定义模块,确定模块体系)和程序设计(模块内的程序设计);对软件系统的设计来     

汽车用红外点火系统

最近,航天部二院二部研制成功HQ86汽车红外点火系统。该系统去掉了传统的白金触点控制点火的方式。在点火期间,采用红外发光管,使光通过光栅盘送到接受管的光敏面,从而控制汽车点火,实现了无触点点火的先进技术。先进的HQ86汽车红外点火系统采用美国莫托洛拉公司的大功率集成放大器,这种放大器能给出最大电流为15A,与长沙汽车电器厂生产的DQ-42D高能点火线圈相配合,构成HQ86汽车红外点火系统。该系统点火线圈的初级绕组电阻仅为2.1Ω,原汽车点火线圈(DQ130)的初级绕组电阻为3.3Ω,前者的点火电流增大至1.57倍。HQ86红外点火系统的最大点火能量约为80mJ,原白金触点点火系统的最大点火能量约为50mJ,前者的能量为后者的1.5倍左右。