图在自动Web服务组合中的应用研究

随着已有Web服务数量的不断增加,如何自动地根据服务请求组合服务成为当前迫切需要解决的问题.本文对服务组合问题进行规划建模,证明了该问题是NP完全的,提出了一种基于图的自动组合方法ASC-Graph,ASC-Graph分为组合规划图构造阶段和组合解搜索阶段.通过组合规划图构造,可在多项式级时间内判定服务组合问题的可满足性.在组合解搜索阶段,提出了一种启发式搜索策略.最后,通过模拟实验验证了ASC-Graph在解决大规模服务组合问题上的有效性.

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.

基于QoS的语义Web服务发现研究

将QoS引入到语义Web服务中,分析了QoS本体的描述方法、Web服务的发现方法和语义Web服务发现方法,建立了一个通用的QoS模型,模型中的参数属性基本能描述QoS的衡量标准。提出了基于QoS语义Web服务发现框架,第一步通过功能来发现Web服务,第二步通过建立的QoS模型来评价发现的Web服务集合,找到QoS最佳的Web服务。最后通过实例建立了语义功能本体和QoS本体。

计算机专业课程体系建设的研究与实践

本文分析了计算机专业课程体系的特点,阐述了当前我国本科计算机专业课程教学的现状,结合我校计算机专业课程体系建设的实践,提出了应用型本科计算机专业课程体系的建设思路、构建方案和课程教学模式的组合方法。

一个“三台合一”接处警系统的设计与实现

随着科技的发展,公安"三台合一"接处警系统建设成为可能和必需。本着先进、实用、可靠、统一、高效的原则,阐述了一个指令通畅、反应快速、警务规范、协同作战、信息共享的三台合一接处警系统的设计与实现。该系统已成功应用于某省公安部门。

一种基于总线的传输流量估算方法

在通信和多处理器系统中公共总线是一种重要的一维互联网.但是多个应用子系统共享公共总线的传输会因冲突而受到强烈的限制.一个重要的设计问题是去估算公共总线的平均带宽,以便在系统设计早期减少潜伏问题.为此,提出了一个基于一种公共总线系统设计的传输估算模型,采用概率方法预测公共总线的平均带宽.假定从一个部件发出的数据包流符合泊松(Poisson)过程,然后确定公共总线的数据流量分布,从而估算公共总线的平均带宽.实验证明这种方法是有效的.

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的Web服务组合进行描述与建模,并将Petri网形式化元素加入到Web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。

语义Web服务发现研究与实现

语义Web服务是在Web服务中加入语义元素,利用语义相关的技术给Web服务指定一个语义.语义Web服务可以实现Web服务的自动发现、执行和组合.阐述了语义Web服务和语义Web服务发现以及相关的技术,提出了一种语义Web服务发现框架,并利用标签语言描述本体和Web服务,设计了语义匹配算法,并在应用中实现了这种语义Web服务发现框架.

一种Nehalem平台上的MPI多级分段归约算法

基于线程MPI环境提出一种适用于Nehalem平台长消息归约的多级分段归约算法(HSRA).HSRA考虑了Nehalem系统的体系结构特点,分处理器内归约和处理器外归约两个步骤实施节点内归约通信,在均匀分布计算负载的前提下仅需要较少的远端内存访问.首先在MPIActor的归约算法框架中设计、实现了HSRA算法,从访存角度分析了HSRA算法的开销,然后与单级分段和已有的另外三种节点内基于共享内存的归约算法进行比较;最后在真实系统上通过IMB(Intel MPI Benchmark)验证算法,实验结果表明,该算法是一种适用于在Nehalem系统中处理长消息节点内归约的高效算法.

QoS本体在语义Web服务发现中的应用研究

通过分析语义WEB服务、语义功能本体和QoS本体的描述,研究基于QoS的语义WEB服务发现及其相关的问题,建立了面向WEB服务应用的QoS模型,并基于语义WEB服务发现和已经建立的QoS模型提出WEB服务发现框架。最后,给出了实例,建立了这种框架下的语义功能本体和QoS本体。

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C&L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。

基于WebService的留学综合服务平台模型

目前在留学服务中学生获取信息不方便、网站留学信息更新不及时及申请材料验收效率低下,为此,在深入研究WebService技术的基础上,给出了基于WebService技术的留学综合服务系统的模型,规范了相关数据对象,并指出了设计本系统所需要考虑的相关问题。

基于应用层的企业智能即时通讯系统的JAVA实现

采用JAVA语言的套接字通信机制,构造一个基于应用层的企业智能即时通讯系统。简要介绍了应用层客户端与服务器端通信协议的制定、客户端软件各主要功能的设计和实现方法,并对服务器后台数据库的设计和服务器守侯程序的设计与主要实现方法进行详细的分析。企业智能即时通讯系统采用C/S模型为基本框架,利用套接字和相关网络技术,实现了通讯程序相关的基本操作,还加入了用户登陆验证,以对在线用户进行必要的管理和控制。最后测试表明系统运行安全可靠,界面清晰且操作简便,可用于企业内部的信息交流或其他有关通讯工作。

网络教学模式的实践与研究

探讨在基于计算机技术的教学实践中存在的一些问题,分析网络教学的常见模式及其相关特点,结合清华大学的网络教学实践,提出新时期的网络教学实践中的一些新思路。

高校本科学生担任工科课程教学助教的探索

学生助教在西方国家是一个成熟的理念,有着悠久的理论与实践基础。但在国内学生助教的教学模式还不完善,处于实践的初期。本文主要从学习金字塔最有效的学习方法出发,从教授他人的学习方法引出与之相契合的学生助教的教学模式,并从学生助教提出的背景,实施的具体方法及对象、优势、案例分析与评价等方面进行分析。让高校本科学生参与工科课堂,担任学生助教的探索,既可以提供学生一个巩固学习的机会,又可以缓解教师的辅导压力,对教学监督也起到促进作用,从而使教学达到更佳的效果。

基于可执行代码的web服务重用研究

已有的web服务在其被维护一段时间之后需要被替换或者更新,而在新web服务中会重用原有web服务的部分功能。为此,设计了一个重用已有web服务可执行程序功能的框架,采用静态方法分析可执行程序以及程序的控制流、数据流,分解得到此程序的功能,最后将程序的功能转换为WSDL描述,使其能在新应用下重用。

热污染在潮汐作用下对海域水质影响预报模型

利用沿水深平均的二维动力模型,对渤海湾坡度很小的海域,利用窄缝法进行动边界处理,建立了夏季南风和冬季北风的风潮耦合模型,并采用ADI(交替方向隐格式)法进行求解。通过理论算例及实测数据进行比较,得到了较好的结果,并已用于实际应用。

《C语言程序设计》教学模式探索

《C语言程序设计》是一门大专计算机专业的主干课程 ,其数据类型繁多 ,结构复杂 ,也是一门难学又难教的课程。传统的教学由于受上机条件和编译器功能的限制 ,不得不以介绍语句语法为主线 ,配上一些作为语句语法应用示例的简单程序来进行教学 ,缺少程序设计方法的逻辑系统训练 ,这种模式培养的学生毕业后无法真正面对实际问题编写程序进行解决 ,弊端日益显现。为此 ,必须以程序设计方法为主线 ,寓软件工程思想于教学过程中 ,并推行个案分析 ( Case Studios)和阶段报告( Project)的教学模式 ,因材施教 。

一次性口令系统的设计与实现

阐述了网络安全技术中口令认证系统的工作机制和原理，提出了利用JAVA语言平台无关性、支持多线程、位运算能力强的特点实现OTP系统的具体设计方案及其主要环节的实现方法。其特点是用户每次输入的口令一样，但传递到服务器的登录口令却都不一样，每个登录服务器的口令只使用一次，可以有效地防止网络窃听和口令泄漏。一次性口令(OTP)系统的安全性关键在于MD5这个散列函数的不可逆性和用户密码既不放在服务端也不放在用户端的不可知性。

异构网之间互连数据网关的设计与实现

本文介绍了两种不同结构网络AST -PCnet和DECnet之间互连数据网关的设计与实现。