房鼎益
- 作品数：562 被引量：851H指数：12
- 供职机构：西北大学更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 一种多视角数据的半监督特征选择方法
- 本发明公开了一种多视角数据的半监督特征选择方法，该方法首先从不同的视角采集数据的特征构成数据样本，继而构建数据样本的特征选择矩阵、拉普拉斯矩阵、对角矩阵，然后利用特征选择矩阵定义目标函数，对特征选择矩阵更新并使目标函数收...
- 房鼎益郑欣许鹏飞侯文静徐丹肖云陈晓江郭军尹小燕
- 文献传递
- 大规模3D无线传感器网络基于凸划分的节点定位方法
- 本发明公开了一种大规模3D无线传感器网络基于凸划分的节点定位方法，所涉及的划分方法包括：确定3D无线传感器网络区域的边界节点，得到边界节点集；确定边界节点中的凹节点集合以及簇头凹节点；从簇头凹节点出发将3D无线传感器网络...
- 王兆强汤战勇陈晓江房鼎益任宇辉刘晨徐丹聂卫科邢天璋王薇
- 文献传递
- 一种基于多网关数据传输的无线传感网络路由方法
- 本发明公开了一种基于多网关数据传输的无线传感器网络路由方法，该方法通过计算网关工作状态来选择最终目的网关，确定数据流的最终流向，同时通过机会传输实现当前发送节点到最终目的网关的数据传输，减少了由于网关停止工作造成的数据包...
- 徐丹陈晓江王绿菊郭军刘晨房鼎益王薇尹小燕聂卫科
- 文献传递
- 一种面向车联网的优化数据传输方法
- 本发明提出了一种面向车联网的优化数据传输方法，该方法通过对车联网中传输两种类型数据的场景建立数学模型，利用分支限界法对模型的分析求解；并加入路径选择因素后建立优化模型，利用启发式算法确定路径后，再利用分支限界法对模型的分...
- 陈晓江强敏尹小燕徐丹王安文王薇郭军房鼎益张远
- 文献传递
- 反污点分析软件保护方法
- 本发明公开了一种反污点分析软件保护方法，属于计算机软件安全领域，所述方法包括确定待保护程序中被污点标记的数据，即污点数据，确定针对污点数据进行反污点变换的最佳位置，对最佳位置上的污点数据进行反污点变换，将最佳位置上的污点...
- 汤战勇周祥李政桥张恒房鼎益陈晓江龚晓庆刘方圆吕留东王华
- 文献传递
- 基于精简指令集的软件保护虚拟机技术研究与实现
- 针对软件知识产权与版权保护需求，对多样性技术和基于虚拟机的软件保护技术进行分析和研究，设计了一种基于寄存器的精简指令集软件保护虚拟机SPVM，井实现了一个具有高强度和扩展性的防逆向工程和篡改、防止核心算法破解和防盗版的软...
- 汤战勇王怀军房鼎益陈晓江
- 关键词：虚拟机软件保护技术机密信息
- 一个基于SOA的大型分布式计算机辅助教学系统被引量：38
- 2005年
- 传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构(SOA)被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。本文以一个具体的计算机辅助教学管理系统—NWU-CMI为实例,研究了利用Web服务实现基于SOA的大型分布式软件系统的有效方法,同时,深入分析了采用SOA体系结构开发NWU-CMI系统的代码重用、系统结构、服务组装等关键实现技术。
- 房鼎益安娜魏东符凯张建中
- 关键词：CMI计算机辅助教学系统软件开发方法分布式软件系统
- 一种无人机数据收集过程中的路径规划方法
- 本发明公开了一种无人机数据收集过程中的路径规划方法，针对基于无人机的数据收集方法中由于无人机能量受限而引起的数据缺失问题，提供一种无人机数据收集过程中的路径规划方法，综合考虑感知节点随时可能采集到的异常数据和环境中随时可...
- 陈晓江范浩楠徐丹王薇郭军尹小燕李伟房鼎益
- 文献传递
- 基于SDT安全访问控制的方法
- 2011年
- 网络的迅速发展为信息的获取提供了更广阔的渠道,同时也带来了严重的安全隐患。提出了一种基于思想的访问控制方法,通过软件动态翻译器将不可信二进制代码隔离执行,在动态执行的过程中,由SDT控制将用户设定的安全策略强制加入可执行代码中,从而软件动态翻译器便通过安全策略来控制应用程序对系统资源的访问。并基于Strata实现了该机制。
- 赵媛王怀军房鼎益汤战勇
- 关键词：访问控制STRATA信息安全
- 基于偏序简化的并发系统验证被引量：1
- 2008年
- 构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统。传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题。偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证。但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态。而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用。对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法。
- 王婷罗养霞房鼎益陈晓江何路
- 关键词：分布式系统并发系统进程代数安全性
