您的位置: 专家智库 > >

廖军

作品数:17 被引量:244H指数:5
供职机构:电子科技大学更多>>
发文基金:国防科技技术预先研究基金更多>>
相关领域:自动化与计算机技术电子电信经济管理更多>>

文献类型

  • 7篇学位论文
  • 6篇期刊文章
  • 4篇专利

领域

  • 11篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信

主题

  • 4篇网络
  • 4篇WEB服务
  • 3篇代码
  • 3篇代码检测
  • 3篇恶意
  • 3篇恶意代码
  • 3篇恶意代码检测
  • 3篇防御
  • 3篇分布式
  • 2篇多用户
  • 2篇用户
  • 2篇知识
  • 2篇知识更新
  • 2篇知识库
  • 2篇知识评价
  • 2篇嵌入式
  • 2篇嵌入式COR...
  • 2篇进程代数
  • 2篇分布式计算
  • 2篇P2P

机构

  • 17篇电子科技大学

作者

  • 17篇廖军
  • 4篇陈瑞东
  • 4篇牛伟纳
  • 4篇张小松
  • 4篇王东
  • 4篇刘锦德
  • 4篇谭浩
  • 3篇陈厅
  • 2篇江威
  • 1篇罗强
  • 1篇李建彬
  • 1篇张蕾
  • 1篇张可
  • 1篇秦志光
  • 1篇张凡
  • 1篇张雄
  • 1篇朱红军

传媒

  • 4篇计算机应用
  • 1篇计算机学报
  • 1篇华中科技大学...

年份

  • 1篇2016
  • 3篇2014
  • 2篇2013
  • 1篇2008
  • 1篇2007
  • 4篇2006
  • 2篇2005
  • 2篇2004
  • 1篇2003
17 条 记 录,以下是 1-10
排序方式:
基于嵌入式CORBA的核心框架研究与实现
近年来,嵌入式实时应用增长迅速,当用于分布式处理时,嵌入式计算由于资源受限而受到比桌面计算更大的挑战,如何在资源受限的环境中解决好分布式处理中的平台异构性问题,是本文所要讨论的问题之一。 针对上述挑战,OMG适...
廖军
关键词:CORBA嵌入式分布式
文献传递
一种多用户知识库协作方法
本发明提供了一种多用户知识库协作的方法,方法如下:首先将问题转化为问题树,再利用子问题分派规则将子问题分派到对应的知识库中,进而解决该子问题,在子问题解决完成后利用黑板机制进行答案整合,最终在协调规则库和知识评价体系的联...
陈厅张小松陈瑞东牛伟纳王东蒲福连江威廖军
文献传递
基于P2P的恶意代码检测及防御技术研究
随着信息技术的发展,各种形式的恶意代码日益增多,现在已经渗透到我们生活的各个方面。现有的安全软件大多需要依赖服务器的支持来更新病毒库,而且对于这些安全软件一直有盗取用户隐私数据的担心。为了解决这些问题,本课题将P2P技术...
廖军
关键词:P2P防御
文献传递
新一代开放分布式处理技术——Web Services被引量:49
2004年
探讨了Web服务的核心协议栈 ,说明了Web服务用于解决互操作性的最终目标。从开放系统的角度分析了Web服务的各层协议。最后提出了Web服务存在的问题和形式化研究方法的思路。
廖军谭浩
关键词:开放系统分布式计算中间件WEB服务
一个嵌入式CORBA的设计与实现被引量:2
2004年
针对嵌入式系统资源有限的特点 ,OMG推出了minimumCORBA规范。讨论了如何基于该规范设计与实现嵌入式CORBA。结合已实现的嵌入式CORBA成果———miniORB ,对嵌入式CORBA的整体结构、对象请求代理。
廖军刘锦德朱红军
关键词:嵌入式CORBA对象请求代理可移植对象适配器IDL编译器
一种多用户知识库协作方法
本发明提供了一种多用户知识库协作的方法,方法如下:首先将问题转化为问题树,再利用子问题分派规则将子问题分派到对应的知识库中,进而解决该子问题,在子问题解决完成后利用黑板机制进行答案整合,最终在协调规则库和知识评价体系的联...
张小松陈瑞东牛伟纳王东陈厅蒲福连江威廖军
文献传递
一种基于节点Jaccard相似度的社交网络社团发现方法
本发明公开了一种基于节点Jaccard相似度的社交网络社团发现方法,包括:对网络数据进行预处理;根据Jaccard相似度算法计算出每对节点的相似度;初始将每个节点分别看作一个社团;聚合相似度最高的社团;再次聚合根据所得社...
张小松牛伟纳罗强李建彬廖军张可陈瑞东王东李宏鸢
文献传递
基于Pi-演算的Web服务组合的描述和验证被引量:158
2005年
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.
廖军谭浩刘锦德
关键词:PI-演算进程代数WEB服务
面向服务的计算(SOC)中服务组合的研究
随着开放分布式计算的快速发展,中间件技术已经从面向对象计算的阶段发展到了面向服务计算(Service-Oriented Computing)的阶段。SOC更加靠近应用层的业务逻辑,具有敏捷性、动态适应性等特性,可与模型驱...
廖军
关键词:面向服务计算形式化方法PI演算
文献传递
一种恶意代码检测及防御的方法
一种恶意代码检测及防御的方法,与其它恶意代码检测及防御方法不同的是使用了基于P2P的无中心网络,构建了一个恶意代码检测及防御系统。对于未知的程序,并不阻止它的运行,而在后续的运行过程中会监控它。通过处理对程序的监控所得到...
陈厅张小松陈瑞东牛伟纳王东廖军张凡张蕾
文献传递
共2页<12>
聚类工具0