符宁
- 作品数：26 被引量：91H指数：6
- 供职机构：西北工业大学更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术文化科学社会学电子电信更多>>
- 面向物联网工程专业的嵌入式系统实验教学研究被引量：1
- 2017年
- 文章围绕物联网发展形势下的嵌入式系统实验教学实践展开论述,对嵌入式系统实验教学的课程设置、系统化教学过程等进行了深入的分析,并对物联网项目与嵌入式教学系统的融合给高等教育带来的变革进行了研究。文章还总结了物联网应用背景下嵌入式系统课程体系的建设及教学创新成果,为全面提升学生的理论和应用能力提供重要的参考价值。
- 符宁
- 关键词：物联网教学改革
- 分布式企业服务总线的设计与实现被引量：16
- 2007年
- 在分析符合JBI规范的集中式ESB局限性的基础上,提出分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息持久性传输。原型系统的试验表明该设计方案应用效果良好。
- 符宁周兴社杨刚
- 关键词：企业服务总线
- 服务协同环境中的业务过程建模与验证被引量：2
- 2010年
- 服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。
- 符宁周兴社詹涛
- 关键词：业务过程管理PI演算
- ESB环境下可视化数据映射技术的研究被引量：1
- 2008年
- ESB系统作为SOA的核心部分,如何使企业之间可以实现透明的数据交换,已成为其需要解决的问题之一。针对这一问题,在研究了XSLT和相关标准的基础上,提出了一种基于XSLT的可视化数据交换模型,并对模型中映射关系从图形化表示转化为XSLT表示的关键算法进行了详细地研究,并提出基于ESB的可视化数据映射工具的设计。
- 马中杰周兴社侯志刚杨刚符宁张海辉
- 关键词：ESBXSLT数据映射可视化
- 信息集成数据模型研究被引量：4
- 2008年
- 信息集成是指将多个信息源进行整合,为用户提供一个统一访问这些信息的接口或数据视图。公共数据模型是设计信息集成系统的基本出发点,从分类的角度对信息集成公共数据模型进行研究。对各种数据模型的特点、描述能力、应用领域以及发展现状作了分析和比较。
- 符宁周兴社詹涛
- 关键词：信息集成数据模型信息集成系统
- 基于企业服务总线的信息共享交换平台研究被引量：14
- 2008年
- 为了实现企业数据共享和应用集成,提出了一种基于企业服务总线(ESB)的信息共享交换平台.该平台采用面向服务体系结构(SOA)的设计思想,以信息共享为目标,具有松散耦合的特点,实现了"集中式管理、分布式运行"的工作模式.通过设计标准的适配器组件,实现各种数据库和应用系统之间的数据共享与交换.实验表明该设计方案能有效实现企业中信息共享,并具有良好的可扩展性和可靠性.
- 柴华周兴社杨刚符宁张海辉王龙飞
- 关键词：企业服务总线面向服务体系结构
- 软件能力可信研究综述被引量：4
- 2008年
- 能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的.如今,系统的开发方式、系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性.首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标.从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.
- 詹涛周兴社符宁杨刚
- 关键词：ROC
- 基于JMS的分布式ESB的设计与实现被引量：11
- 2007年
- 企业服务总线(ESB)是基于SOA思想的企业业务集成基础软件架构。本文在分析集中式ESB局限性的基础上,提出了基于JMS构建分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息传输的持久性。原型系统的试验表明该设计方案有良好的应用效果。
- 符宁周兴社张海辉
- 关键词：企业服务总线SOA
- 一种能够描述可信特征的进程代数被引量：1
- 2011年
- 针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.
- 符宁周兴社詹涛
- 关键词：进程代数PI演算半环
- 面向物联网工程专业的层次化实验教学体系研究被引量：7
- 2017年
- 物联网技术的迅速发展和广泛应用对高校物联网人才的培养提出了迫切需求。该文针对物联网工程专业的特点,从实践教学的角度,提出了构建面向物联网专业的层次化实验教学体系的方法。根据物联网层次化的技术体系相应设计基础训练型、综合应用型和创新拓展型实验,并细化设计了具体的实验教学内容。所提出的实验教学体系将理论知识与动手实践紧密结合,注重培养学生的基础素养和创新能力,取得了良好的教学效果。
- 符宁王毅航郭艳
- 关键词：物联网实验教学层次化
