您的位置： 专家智库 > >

陕西省自然科学基金(2007F06)

作品数：8 被引量：24H指数：3
相关作者：房鼎益陈晓江陈峰罗养霞冯健更多>>
相关机构：西北大学西安财经学院西北工业大学更多>>
发文基金：陕西省自然科学基金陕西省国际科技合作计划中国航空科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 8篇期刊文章
  • 3篇会议论文

领域

  • 11篇自动化与计算...
  • 2篇电子电信

主题

  • 2篇电子白板
  • 2篇移动终端
  • 2篇智能移动终端
  • 2篇终端
  • 2篇网络
  • 2篇感器
  • 2篇安全性
  • 2篇白板
  • 2篇并发控制
  • 2篇并发系统
  • 2篇传感
  • 2篇传感器
  • 2篇传感器网
  • 2篇传感器网络
  • 1篇调度
  • 1篇调度算法
  • 1篇遗址
  • 1篇遗址保护
  • 1篇蠕虫
  • 1篇数据调度

机构

  • 11篇西北大学
  • 2篇西安财经学院
  • 1篇西北工业大学
  • 1篇西安科技大学

作者

  • 8篇房鼎益
  • 6篇陈晓江
  • 3篇陈峰
  • 2篇冯健
  • 2篇罗养霞
  • 1篇汤战勇
  • 1篇李伟华
  • 1篇杨琛
  • 1篇齐睿
  • 1篇张汉宁
  • 1篇何路
  • 1篇黄琛
  • 1篇马东海
  • 1篇潘亚峰
  • 1篇冯建

传媒

  • 2篇计算机应用研...
  • 1篇计算机应用与...
  • 1篇西北大学学报...
  • 1篇微电子学与计...
  • 1篇小型微型计算...
  • 1篇陕西师范大学...
  • 1篇计算机科学
  • 1篇第三届和谐人...
  • 1篇2007年全...

年份

  • 2篇2010
  • 4篇2009
  • 2篇2008
  • 3篇2007
共 8 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
并发系统模型检测中的状态约减算法
2007年
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。对此提出了基于假定状态约减验证算法(ABSR),通过自动构造子系统接口定义来约束其状态规模,在验证过程中约减冗余状态,能更大程度降低状态爆炸几率和提高验证效率。借助假定-保证(Assume-Guarantee)算法有效性定理和组合可达性分析(CRA)算法安全性验证定理,证明该验证算法的有效性。通过采用通信系统演算(CCS)描述的任务模型为例证,证明上述算法比传统CRA算法更有效。
陈晓江杨琛冯健房鼎益
关键词：安全性
基于传播模式的本地网络蠕虫检测模型被引量：1
2009年
针对传统的蠕虫检测方法对未知蠕虫检测效率较低的问题,提出了一种基于蠕虫传播行为的优化解决方案。通过自定义二元模式向量准确描述网络蠕虫的传播行为,并构造三层安全过滤结构优化未知蠕虫检测。对比研究表明,上述方案对传播行为的改进显著提高了对未知蠕虫传播行为描述的完备性,给出了运用传播模式对感染特定蠕虫进行传播行为检测的结果。实验结果表明,方案显著提高了对未知蠕虫传播行为的准确性,可以快速地检测出入侵本地网络的扫描蠕虫。
齐睿房鼎益罗养霞
关键词：蠕虫
基于数字权限管理的访问控制模型研究被引量：1
2008年
以现代企业应用需求为背景,提出一种基于任务角色访问控制的数字权限管理模型(Task-role expended digital rights management,TR-EDRM).该模型建立在任务分类的基础上,采用"任务"和"角色"相结合的思想,解决了权限部分继承问题,适用于既存在工作流又存在非工作流的企业环境,提高了企业数字内容管理的安全性、灵活性和透明性.
陈晓江罗养霞房鼎益陈峰何路冯建
关键词：数字权限管理访问控制工作流
智能移动终端白板交互系统的研究与设计被引量：2
2008年
通过将计算机协同工作CSCW与嵌入式开发相结合,对智能移动终端设备环境下多用户电子白板模型进行了研究、设计和实现。从系统设计、并发控制和图形交互等方面对移动电子白板mWB(mobile Whiteboard)设计技术与实现要点进行详细讨论,并给出了实验分析。所提出的模型系统,使移动终端用户可以方便地进行图形交互和协同工作,初步实验证明该系统有效可行。
陈晓江马东海陈峰房鼎益
关键词：智能移动终端电子白板群件并发控制
基于透明加解密的数字内容安全防护系统被引量：11
2010年
目的针对企业电子文档和数字内容安全保护需求,对透明加解密技术和数字内容安全防护技术进行分析和研究,设计并实现了一个基于透明加解密技术的数字内容安全防护系统。方法通过采用实时透明加解密、访问控制、数字权限管理等技术对数字内容的存储和传输实施加密、访问控制、行为监控、日志审计等。结果实现了对重要电子文档等数字内容的安全分发和可靠保护。结论加强了对数字内容的安全防护,快捷有效地防止了机密数字内容的泄漏和扩散。
张汉宁房鼎益陈晓江汤战勇
关键词：透明加解密数字内容保护DRM
一个智能移动终端白板系统的设计与实现
电子白板作为计算机支持的协同工作(CSCW)中的一个重要工具,能使处于不同地点的用户通过计算机实时地进行图形交互。现有应用于PC环境下的电子白板由于对网络带宽要求高且功能和界面复杂,不能直接应用于能移动终端设备。因此,本...
陈晓江冯健马东海房鼎益
关键词：智能移动终端电子白板计算机支持的协同工作并发控制
文献传递
传感器网络中基于非均匀分簇负载均衡路由算法被引量：5
2009年
在非均匀分簇思想的基础上,提出了一种新的WSN多跳成簇路由算法。在该算法中,距汇聚点较近的节点直接与汇聚点通信,进一步减小了靠近汇聚点的簇规模,从而减轻了簇首负载,避免了不必要的能量消耗。仿真实验表明,该算法能使WSN网络负载更均衡,有助于解决能量空洞难题、延长WSN网络总的生存时间。
黄琛房鼎益陈晓江
关键词：无线传感器网络非均匀分簇负载均衡
一种土遗址保护传感器网络轻量级数据融合协议
无线传感器网络(WSN)在大型土遗址环境监测中,能量消耗是其面临的首要问题。如何对采集的数据进行融合,减少数据传输量成为延长网络寿命的关键。根据土遗址环境变化特征,提出了一种轻量级数据融合协议LDAP(Lightweig...
黄学青房鼎益刘宝英陈晓江张谦付莹
关键词：土遗址网络寿命数据融合
文献传递
一种基于节点可选度的P2P点播流媒体数据调度算法被引量：1
2010年
当前的P2P(Peer-to-Peer)点播流媒体系统中数据调度算法未能充分利用每个用户节点自身的特性.在分析典型数据调度算法基础上提出一种基于节点可选度的数据调度算法(SSP算法).该算法一方面在调度下载数据块时综合考虑了邻居节点带宽能力及其所拥有的数据信息,另一方面对服务节点的请求处理过程进行了优化.SSP算法有利于提高用户节点播放视频的连续性,降低流媒体服务器的负载压力,从而改善P2P点播流媒体系统的整体服务质量.仿真结果和实际应用表明算法性能良好,适用于用户节点能力差异较大的P2P点播流媒体环境.
潘亚峰房鼎益冯健
关键词：数据调度数据调度BITTORRENT
集成安全分析的模型驱动软件开发方法研究被引量：3
2009年
提出了一种集成安全分析的软件设计与开发新方法,该方法以MDA为基础框架,使用UMLsec建立软件安全属性的平台无关模型,使得在软件设计的早期就能够囊括更多的安全需求,从而降低后期开发的风险与成本,提高软件的复用性。
陈峰李伟华房鼎益陈晓江
关键词：模型驱动架构
全选 清除 导出
共2页<12>
聚类工具0