基于Web服务的单点登录系统的研究与实现

随着分布式计算技术与应用的不断发展,基于动态、松耦合环境的业务流程将涉及到多个服务提供商,以致用户在完成这样的业务时需要面对多次登录的困扰.针对这个问题,分析了在分布式环境中基于Web服务的用户单点登录机制,并设计实现了Web服务应用支撑环境中的单点登录系统,使得用户只需登录一次即可完成复杂业务.      

企业门户中基于令牌的角色访问控制模型

企业门户中用户和访问权限管理的研究是一项复杂且具挑战性的工作.传统的基于角色的访问控制模型(RBAC,Role-Based Access Control)在实现上通常受单一系统和应用的约束,因此提出了一种基于令牌的角色访问控制模型(TRBAC,Token Role-Based Access Control)．该模型采用门户平台下的单点登录(SSO,Single Sign On)技术,将RBAC模型与令牌访问机制相结合,使角色能跨越门户平台下所有的Web应用．该模型是一个动态激活的模型,根据用户实际的访问需求动态激活相应角色,为用户管理和访问控制管理提供了一个新的解决方案．TRBAC模型具有统一的用户安全管理标准,支持集中审核和控制．实践表明,采用TRBAC 模型提高了系统的访问效率,保证了系统的安全性．      

基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

应用iGMAS超快速星历的实时精密单点定位研究

中国主导建设的国际GNSS监测评估系统(iGMAS)相比国际上比较成熟的IGS系统在产品精度等方面存在差别,目前实时精密单点定位应用多采用IGS实时、近实时产品.为改变这一现状,针对iGMAS产品特性以及实时精密单点定位对超快速精密星历的需求,对iGMAS超快速星历的精度和稳定性方面进行评估,设计了iGMAS产品实时/...     

太空探索技术公司获月球“门户”商业货运合同

正3月27日,美国宇航局选定由太空探索技术公司来为其规划中的月球"门户"提供货物运输服务。该公司是美国宇航局为"门户后勤服务"(GLS)项目选定的第一家、也是迄今唯一一家公司。该项目采取国际空间站商业货运补给项目的模式,将出钱购买月球"门户"的往返货运服务。     

个性化定制企业门户桌面系统的设计与实现

提出了一种为用户提供个性化定制功能的企业门户桌面系统PD4EP(Personalized Desktop for Enterprise Portal).PD4EP划分了门户频道类别并对各类频道需提供的个性化功能进行了约束,实现了同类别的不同门户频道个性化定制方式的一致化,从而允许用户同时对多个门户频道批量个性化操作.采用了与企业门户具体业务和资源相分离的模块化系统结构,有效降低了门户桌面系统与其他组成单元间的耦合程度,提高了通用性;因此,PD4EP可用于新建企业门户桌面系统,还可以个性化功能插件的形式扩展现有企业门户桌面系统.PD4EP设计了基于控制反转思想的个性化功能操作流程,增强了门户桌面系统对不同开发者开发的门户频道的兼容性.      

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

中国航天科工集团公司空间数据服务中心在京成立

随着我国空间基础设施建设的不断推进及空间技术的快速发展，空间信息应用与服务已逐渐成为我国战略新兴产业。
　　2016年6月20日，为了推动我国商业卫星在各行业领域和大众信息消费的广泛应用，提升我国卫星应用的产能效益以及政府应用，提高政府科技决策和管理水平，提升遥感、物联网、移动互联网、云计算、大数据在我国的体系化应用水平，中国航天科工集团公司整合集团内部商业航天卫星应用优质资源，依托中国航天科工信息技术研究院所属北京航天泰坦科技股份有限公司，在京组建了中国航天科工集团公司空间数据服务中心（简称空间数据服务中心），面向政府、行业部委、大众应用、国际市场等提供数据服务及空间信息应用服务。     

移动IPv6切换性能研究及平滑切换框架的实现

现有IPv4网络的IP地址空间、安全性和服务质量控制等问题,限制了Internet应用的发展,研究IPv6的相关技术,可以推动下一代网络的建设和发展.针对移动IPv6在切换过程中出现的数据包丢失和切换延迟问题,分析了相关的快速、平滑切换和分级管理3种解决方案,并结合IETF草案文档建议,设计实现了一个基于MIPL(Mobile Ipv6 for Linux)的、具有平滑切换性能的移动IPv6切换框架.框架采用将切换过程和缓存管理相分离的松耦合模式,可有效地增强应用系统的可扩展性和可移植性,为基于移动IPv6网络的实时应用系统信息的可靠传输提供一种有效途径.     

深度web资源搜索关键技术

深度web资源是指通过web搜索等形式能够访问的网络数据库资源,由于它与静态网页存在着一些差异,传统的搜索引擎技术不能够很好的实现深度web资源搜索.研究了深度web资源搜索中的若干关键技术,包括深度web资源的自动发现和基于本体的深度web数据抽取.通过实验验证了所提出技术的可用性与高效性.设计和实现了一种新的针对深度web资源的搜索引擎系统,能够获取深度web资源信息,并且利用这些信息抽取出结构化数据,从而为用户或者其他应用系统提供服务.已经应用在国家重大工程项目"国家科技基础条件平台门户应用系统"中,并取得了很好的应用效果.     

基于Web的分布式服务对象的集成与构造方法

Web环境下实现分布式服务对象共享具有重要意义.CORBA(Common Object Request Broker Architecture)与Java是实现这一目标的支撑技术.在CORBA,Java,Web集成思想上,首先提出并论述了基于CORBA与Java的分布式对象的集成框架,并进一步阐述了集成在该框架之上的多种分布式服务对象的构造方法.上述方法在基于Internet/Intranet的集成产品数据管理信息系统中,得到了实现与验证.     

NGG中异构数据的集成与协同工作

在国家地质调查应用网格环境中,数据集成除了实现异构数据源中数据检索,还应满足异构数据管理系统之间数据约束关系维护与协同工作的需求.针对这一需求,提出一种基于面向服务的体系结构(SOA,Service Oriented Architecture)的数据集成机制.将虚拟化的局部数据信息与全局统一的抽象数据视图相结合,形成层次化数据信息组织模型;通过该模型,维护异构数据之间的约束依赖关系,利用数据管理系统触发器与网络服务,满足数据管理系统的协同工作需求.基于研究成果的数据集成中间件NGG-DBMs(National Geology Grid-Data Base Management system)系统平稳运行于国家地质调查应用网格环境中.      

基于工作流的集成质量管理系统设计

针对传统的面向功能的质量管理系统流程控制能力的不足,分析了工作流技术在实现质量过程管理、过程控制和过程重组方面的优势,基于工作流技术设计了支持过程管理和控制、面向飞机制造领域的集成质量管理系统模型,研究了基于J2EE (Java 2 Enterprise Edition)架构的三层体系结构,通过将工作流中间件与系统框架集成,建立了支持工作流管理的使能技术平台,该平台提供了工作流建模工具和工作流执行服务以及系统开发、运行环境,实现了过程管理和信息管理的集成;描述了基于XML(eXtensible Markup Language)的系统集成方法,提高了质量系统与其它系统的集成能力.该设计已应用于某大型飞机制造企业的质量管理系统.     

知识与数据融合的可靠性定量模型建模方法

可靠性定量设计的关键是建立可靠性定量模型。现有的可靠性定量模型建模方法主要基于设计人员对产品对象故障规律的知识,包括故障模式、环境扰动、故障机理等。但知识固有的有限性和不完整性必然会给可靠性定量模型带来模型误差和输入参数的不确定性。针对这个问题,提出了基于贝叶斯理论融合知识和数据的可靠性定量模型建模方法,量化并更新模型误差和输入参数的不确定性。为此,首先说明了知识与数据融合的可靠性定量模型建模工作,建立了知识与数据融合的可靠性定量模型建模框架;接着阐述了基于贝叶斯理论的知识与数据融合原理;然后介绍了基于贝叶斯理论融合知识与数据的通用方法,并分别针对性能波动数据和性能退化数据2种常见数据类型进一步详细讨论了各自适用的贝叶斯融合方法;最后通过机载轴向柱塞泵的案例验证了前述方法的可行性和有效性。      

基于智能空间的家庭服务机器人混合定位方法

智能空间在家庭服务机器人的应用中具有重要的作用,服务机器人的定位是其中的难点.首先提出了一种家庭环境下实现服务机器人进行家庭辅助操作的智能空间架构,然后对一种低成本的服务机器人混合定位方法进行了研究,该方法首先基于加权概率匹配定位算法的无线网络信号强度确定位置范围,然后读取智能空间中的无线射频标签进行位置计算,最后基于比例不变特征变换算法进行最终位置的视觉定位.在家居环境下的实验证明了该混合定位方法的有效性,该混合定位方法为服务机器人走入家庭提供了一种低成本、高可靠性的定位解决方案.     

异构同步协作系统的集成框架

为了解决异构同步协作系统之间的通信问题,基于集合论提出了一种新的同步协作系统数学模型,并定义了集成过程中使用的关键运算,对异构同步协作系统的集成进行分析,提出实现该框架的2个关键机制.代理机制屏蔽异构系统之间的资源差异和所在网络的差异,并且协调各个系统之间的交互.多点传输机制用于在一次会晤中连接多个异构协作系统.在此基础上定义了一个能够集成各种异构同步协作系统的集成框架.根据该框架,运用Web Services技术开发了集成系统.此系统实现了3种用户群较多的、典型的协作系统的集成,分别是基于H.323标准集的协作系统,基于SIP(Session Initiation Protocol)协议的协作系统和基于IP组播的协作系统.这些异构系统的用户相互之间能够实现通信和同步协同工作.     

基于BOM和FEDEP的多分辨率建模框架

为了规范和统一多分辨率模型的描述方法、建模步骤和活动,提出一种基于BOM(Base Object Model)和FEDEP(Federation Development and Execution Process)的多分辨率建模框架.该框架包括3种基于BOM的多分辨率建模方法和基于FEDEP的多分辨率建模过程.简要介绍这3种方法,重点分析FEDEP中与BOM和多分辨率建模相关的基本活动,将基于BOM的多分辨率建模过程与FEDEP集成在一起.该框架可以实现多分辨率模型描述的形式化和通用性、建模步骤和过程的规范化,促进多分辨率模型的重用、互操作和组合,保证模型的一致性和多分辨率建模的有效性.