β-PSML语言中的混合推理算法

研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.     

分布式β-PSML语言框架及其应用

为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果.     

β-PSML中混合推理算法的正确性证明

根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.     

Web Services环境下的校园分布式信息平台安全模型

研究了Web Services环境下校园信息化建设的安全事务解决方案。构建了基于SAML标准的单点登录框架,介绍了SAML授权组件、SAML请求组件和SAML消费组件的设计与实现,为基于Web Services的分布式应用平台下跨域的互访问提供了安全保障,为信息化校园中Web服务应用的机密性、数据完整性、身份认证提供了一种灵活的解决方案。     

分布式协同设计环境下产品数据管理策略

为协调现代制造企业间产品生命周期内的相关数据，讨论采用文件传输技术、分布式数据库技术和分布式对象技术 3种产品数据整合方案，提出适合分布式协同设计的产品数据模型以及开放式的产品数据管理(PDM)体系结构.利用Web服 务技术等组件技术，开发了基于Web的PDM系统，实现企业内部和企业间产品设计数据的交换和共享.与传统PDM相比，基 于Web服务的PDM系统能够简化产品数据的集成过程，更好地支持异地协同设计.     

XML在ITS中的应用研究

指出了在智能交通系统ITS(Intelligence Transport System)集成化过程中,对各子系统数据或信息进行描述、共享和交换时存在的问题。通过对可扩展标记语言XML(eX tensib le M arkup Language)的技术特点及其在相关领域的应用分析,探讨了XML技术在ITS中的应用及解决方案。并以地理标记语言GML(GeographyM arkup Language)在T-G IS中的实际应用为例,论证了XML在ITS中的作用,最后提出总结与展望。     

分布式计算机过程控制在智能大厦中的应用

介绍了智能大夏控制系统的功能及其系统，对具体实例进行分析。     

高炉分布式智能控制系统的研究

结合高炉炉况判断知识的特点 ,提出了多智能体系统的方法 ,建立了高炉分布式智能控制系统 .具体分析了该系统建立的必要性和可行性 ,并对系统的分布式问题求解及其多智能体协作进行了分析 ,给出了系统的结构     

网格环境下分布式可视化研究

由于目前可视化的数据更具数量大、分布性、自治性、异构性和动态性,因此,对Web服务技术应用于网格环境下的分布式可视化进行研究,分析了其可能性与必要性;阐述了基于Web服务的分布式可视化系统应完成的功能,并据此设计了可视化系统的结构,它由可视化应用层、可视化支撑层以及服务注册中心、各种可视化服务资源4部分组成;说明了系统的工作流程,最后以一个实例验证了系统的有效性.     

可扩展的标记语言及其在WWW中的应用

可扩展的标记语言是当前Internt技术领域的热点，文章介绍了可扩展的标记语言的原理及特点，数据交换原理和模糊，并分析了在WEB中的应用。     

SCL在分布式卫星构形保持中的应用

针对小卫星应用领域中分布式卫星构形保持的问题，介绍了适用于分布式卫星的一种商业软件——航天器控制语言(spacecraft control langugae，SCL)的体系结构和具体应用。基于使用LQR(linear quadratic regulator)方法进行分布式卫星构形保持的问题，提出了构形保持中使用SCL将控制力模糊化实现控制的方法；通过仿真比较得出，2种方法的控制效果相当，但后者更易于在实际控制中实现；仿真验证了在模型存在误差及推进器发生故障的情况下，使用这种控制方法的可行性，为使用SCL开发嵌入式控制系统打下了基础。     

同步多媒体合成语言SMIL在远程教育中的应用

同步多媒体合成语言(SMIL)是新一代的web语言XML的一个重要应用,可以同步多种媒体、节省网络带宽,支持超连结。网络多媒体课件制作合成系统是基于同步多媒体合成语言(SMIL)的网络教学课件制作编辑工具。它利用SMIL语言在制作网络多媒体上的优势,在课件制作过程中引入模块化的思想,向教师和学生提供了一个功能强大、使用简单的网络远程教育环境,具有节省带宽、易于同步等许多优点。     

高炉分布式智能控制系统的研究

:结合高炉炉况判断知识的特点 ,提出了多智能体系统的方法 ,建立了高炉分布式智能控制系统 .具体分析了该系统建立的必要性和可行性 ,并对系统的分布式问题求解及其多智能体协作进行了分析 ,给出了系统的结构     

Delphi串行通信在分布式智能控制系统中的应用

介绍了Delphi串行通信的几种可行方法，详细阐述了Mscomm控件的属性和特点，并结合苹果酒发酵过程控制系统的实例阐述了Delphi串行通信的应用。     

基于可扩展标记语言的Web复杂文档管理技术

当前流行的Web查询技术是基于关键词匹配的信息检索，它已不适应用户提出的解决复杂文档，结构和半结构查询的需要，文章在系统介绍了标记语言和可扩展标记语言的基础上，分析了基于可扩展示记语言的数据模型，存储，查询和查询优化方法。     

分布式环境下安全访问控制的实现技术

在介绍了基于角色访问控制模型(RBAC／Web)和基于公开密钥基础设施身份认证技术的基础上,给出了一种解决分布式信息系统安全访问控制的实现方案。     

微型燃气轮机在分布式供电系统中的应用

本文通过对微型燃气轮机技术特点分析，指出了其在分布式供电系统中的主要应用方式。     

Web服务中的跨应用单点登录

针对目前在多个Web应用服务系统中,对每个系统独立的进行身份验证和授权,从而形成信息孤岛的问题,提出了Web服务中单点登录的研究与设计。通过分析安全断言标记语言(SAML)的结构、工作原理和特点,实现了一个基于SAML的Web服务单点登录系统。测试结果表明,该系统只需一次主动身份验证就可以访问不同Web服务系统中的授权资源,简化了传统单点登录过程,具有较高的安全性能,管理起来也更加便利。     

基于.NET的分布式产品管理系统设计

使用基于Web Service的开发技术,提出了适合中小企业应用的分布式管理系统的解决方案。此方案满足了企业业务分散处理的需要,具有成本低,实现方法简单的特点。     

单片机分布式结构在评分系统中的应用

以ＩＢＭ个人微机为上位机，多个专用单片机系统为下位机，采用分布式结构，研制了一个多功能计算机评分，成功地应用在电视的比赛环境和竞赛环境，也可用于体育比赛和竞赛环境。介绍了硬件构成和工作原理、软件结构及其特点。