Web服务注册管理模型中的语义互操作性研究

针对目前不同Web服务注册管理标准之间(如UDDI,ebXML等)无法进行互操作的问题,运用元模型互操作框架(metamodel framework for interoperability,MFI)和本体技术,建立了一种支持语义瓦操作的Web服务注册管理模型的体系架构,运用MFI中的本体演化规则保证了本体在演化前后的一致性,从而保证基于本体的不同 Web服务注册库的互操作性.构建了一个基于MFI的Web服务注册管理模型的原型系统,实验结果表明该原型系统的Web服务查全率比单一Web服务模型高.     

基于语义的服务资源描述模型RDF4S

在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS 4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S 4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.     

基于面向资源架构的土地资源管理WebGIS的设计与实现

结合具有表述性状态转移（REST）风格的Web Service与开放地理信息联盟（OGC）开放标准规范,提出一种面向资源的WebGIS架构及其设计方法.在该架构中,为实现信息共享和功能互操作,采用OGC规范作为服务接口标准,服务采用REST风格加以实现,并以资源的形式对外公开.所有的资源共享统一的界面,在服务器与客户端之间进行状态的传输.为验证该架构,构建了一个基于网络的土地资源管理原型系统,该系统可在多元异构的网络环境下进行信息发布和信息获取,并实现查询、变更等土地利用管理常用功能.     

一种基于Kerberos扩展的Web服务安全框架

Web服务安全问题集中表现在信任建立、端到端消息安全保障以及资源访问控制等方面.传统的Web安全框架如Atlassian Seraph和Apache Shiro无法同时解决消息安全保护和跨域访问控制的问题.本文提出并实现一种基于Kerberos的Web服务安全框架——KBW2SF,它包括用户认证、消息安全通信、服务访问控制三个核心功能.用户认证使用Kerberos作为底层协议在服务请求发和提供方之间建立信任关系;安全通信使用WSSecurity规范及Kerberos票据中的密钥保证消息端到端的完整性和机密性;服务访问控制基于Kerberos票据中的用户角色信息,由服务提供方对来访用户进行角色映射(跨域访问)和权限鉴定,以此保护服务资源不被非法或者低权限用户访问.同时,KBW2SF引入缓存管理机制提高应用效率,降低安全机制对Web服务应用的影响程度.通过应用场景的实验分析,该框架不但能够有效解决Web服务消息的安全性以及跨域访问控制问题,而且具有较高的效率,具备一定的实际应用价值.     

基于CAS与Web服务的遗留系统集成框架研究

针对目前存在的大量遗留系统问题,提出了一种基于Web服务与CAS认证服务技术的遗留系统集成框架.该框架在应用集成过程中保持了原有遗留系统稳定性的同时,也解决了用户重复登录问题,使得遗留系统集成更加安全方便,从而对降低企业维护成本、提高应用系统可靠性有一定的实际意义.     

基于图书馆2.0的数字图书馆服务模式探讨

用语义Web技术对图书馆异构数字资源进行整合,形成逻辑资源体,并用Web服务技术来构造数字资源访问接口和主动服务系统,同时结合Web2.0技术和服务理念,提出了一种新型的图书馆2.0服务模式.该服务模式是以用户为中心的主动服务模式,能为用户主动提供全方位、立体式和不间断的专题服务和个性化服务.     

基于Web的图书馆管理系统访问控制策略

针对基于Web的图书馆管理系统资源访问控制的动态性问题，提出了一种基于角色的访问控制策略描述方案．通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析，结合NIST基于角色的访问控制统一模型标准，构造了一种基于角色的访问控制元模型．并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架．结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略，提高了基于Web的图书馆管理系统资源访问的安全性．     

面向服务的语义互操作能力研究

提出了一种面向服务的语义互操作能力度量的方法.该方法采用概念树对Web服务的输入、输出数据进行语义标注,明确该数据概念的外延.根据数据概念外延的关系,将面向服务的语义互操作分为完全语义互操作、部分语义互操作和无语义互操作三个层次,并提出了计算语义互操作能力的方法,将该方法运用于Web服务组合参数传递时的语义合法性的判断.最后,设计了面向服务的语义互操作能力评价系统实现框架.     

一种基于Spring的轻量级面向服务组件框架

面向服务组件将面向服务的概念引入组件模型中,支持松耦合的面向服务应用软件的开发.本文提出一种基于Spring框架的轻量级面向服务组件框架SSCF(Spring-based Service Component Framework),利用Spring的依赖注入和远程服务访问技术,简化面向服务组件的编程模型、增加编程自由度、提高组件运行效率.给出了SSCF框架中服务组件模型的逻辑结构模型、描述方法和连接通信机制以及框架实现的关键技术.该框架简化了面向服务组件的开发,与SCA(Service Component Architecture)实现框架Apache Tuscany相比,性能上具有一定的优势.     

基于策略和虚拟机技术的动态远程证明框架

针对现有可信计算中远程证明方案的不足,将虚拟机技术和策略相结合,提出并实现了一种新的远程证明框架.该框架在用户终端构建可信虚拟机向应用系统提供可信的执行环境,服务方可以制定灵活、细粒度的策略,并借助于可信虚拟机来分发和执行这些策略,从而保证终端平台的行为符合服务方的要求.通过相关分析和模拟实验,结果表明:该框架町以开放地允许更多的软件实体接入,并具有良好的实时性、动态性、灵活性,真正实现了基于行为的远程证明.     

专著《几何不等式新进展》的补遗(Ⅰ)(英文)

本文综述了专著 AGI 出版后几何不等式的最新进展,尽可能全面地收集了1987—1990年间的有关文献,更多地反映了中国数学家的工作成果。     

基于模糊聚类的构件检索方法

在构件的检索过程中,由于用户对于构件的描述形式或者机制不是很理解,因此很难把自己的需求以专业的术语或者表达形式表示出来,从而影响了检索的效率。引入了刻面权重的定义,将用户的需求有效的具象化,并提出了基于模糊聚类分析的构件检索方法,利用一定的聚类准则将构件库里的构件集合划分为不同的类别,降低构件检索的规模,提高构件检索的效率,同时具有较好的查全率和查准率。实验结果证明了该方法的可行性与有效性。     

载体对负载型Zn催化剂上愈创木酚加氢脱氧(HDO)性能的影响

以SiO₂、Al₂O₃和HZSM-5、Re-HY分子筛为载体,以Zn为主要活性成分,研究了不同类型载体以及不同Si/Al比的HZSM-5分子筛负载Zn催化剂的愈创木酚加氢脱氧(HDO)反应性能。结果表明,催化剂的酸性是影响其加氢脱氧活性和产物选择性的主要因素,并且愈创木酚加氢脱氧转化为环己烷、BTX（苯、甲苯、二甲苯）等完全脱氧产物的活性,与催化剂的总酸量、酸中心强度具有一定的相关性。     

中国近海背楣目、囊舌目（软体动物）区系的研究

中国近海共有背楣目、囊舌目软体动物30种，隶属于7科15属，主要分布在浙江以南的热带、亚热带海区，有些种类向北可以分布到达黄、渤海，部分种类仅分布于黄、渤海．区系性质属于印度-西太平洋区的中国-日本亚区．     

蘑菇培养料中微生物的研究

本文对蘑菇培养料中分离获得的霉菌、放线菌和细菌进行鉴定和对其生理、生化特性进行测定,对某些菌株在蘑菇生长过程中的作用及作用规律也作了研究.通过研究,初步认为在放线菌和霉菌中有数株菌株对蘑菇的生长有直接或间接的促进作用     

弱拉回平坦序S-系对序幺半群的刻画

设S是序幺半群,借助环模理论以及半群S-系理论方法,在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类,讨论了循环序S-系具有拉回平坦覆盖的条件,进而推广了S-系的一些重要结果。     

微分脉冲溶出伏安法结合化学计量学测定3种农药

代森锌、代森锰和除草通在汞电极上采用微分脉冲溶出伏安扫描时均具有良好的还原峰,但各个组分的伏安峰之间呈现严重的重叠,在不分离的情况下很难进行测定。讨论3种农药在汞电极上的还原反应机理,并采用化学计量学方法对重叠伏安波进行解析和定量分析,结果表明,偏最小二乘法能得到最好的结果。选择萃取率较大的三氯甲烷作为萃取剂,对几种蔬菜水果样品中的农药进行萃取分离,并用提出的方法进行分析,回收率在99%~104%之间。     

弱拉回平坦序S-系对序幺半群的刻画

设S是序幺半群,借助环模理论以及半群S-系理论方法,在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类,讨论了循环序S-系具有拉回平坦覆盖的条件,进而推广了S-系的一些重要结果。     

公交查询系统优化设计及应用

公交出行已渐渐成为新时代的环保、时尚的出行方式,人们常常需要利用手机或网站查询公交信息指导出行,如何设计一个准确快捷的公交查询系统就成为一个非常现实和有意义的课题。根据当前公交查询需求的实际设计了一套优化的公交查询系统,运用在网站实践中取得了较好的效果。     

ICP-AES研究负载奎宁树脂对金、铂、钯的吸附

利用奎宁能与贵金属的络阴离子发生络合作用的性质,将其负载到阳离子交换树脂上,制得奎宁负载树脂（ Ｑ Ｃ Ｒ） ．以 Ｉ Ｃ Ｐ Ａ Ｅ Ｓ为检测手段,详细考察了吸附材料在静态吸附条件下对贵金属络阴离子的富集分离性能．结果表明, 在盐酸（０．１～３．０ ｍ ｏｌ／ Ｌ） 溶液中,负载奎宁树脂的化学稳定性好．以０．１ ｍ ｏｌ／ Ｌ的 Ｈ Ｃｌ为吸附介质,贵金属 Ａｕ、 Ｐｄ、 Ｐｔ可实现定量分离富集,吸附于奎宁树脂上的贵金属可用０．１ ｍ ｏｌ／ Ｌ 的 Ｈ Ｃｌ－ ２ ｇ／ Ｌ 硫脲混合淋洗液完全解脱．方法用于抗癌药物及催化剂中 Ｐｔ、 Ｐｄ 的富集分离与测定,分析结果满意