胡宁
- 作品数：34 被引量：124H指数：7
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家高技术研究发展计划中国航空科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
- 基于规则的用例规约验证方法
- 2017年
- 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。
- 张莹吴际刘超杨海燕胡宁
- 基于容器的机载分布式资源管理技术研究被引量：2
- 2022年
- 传统机载软件平台采用分区操作系统上运行中间件和分区应用的形式执行任务,存在机载资源利用率低、机载系统的资源设计和配置难度增加、机载软件系统的可重构性实现困难等问题。针对上述问题,提出了一种基于容器的机载分布式资源管理方法。首先利用轻量级虚拟化Docker技术,对战机底层的平台异构资源进行服务化封装形成虚拟资源池;接着结合微服务为上层任务提供统一服务调用接口;最后服务中心通过容器集群管理系统对该平台的所有容器资源池进行管理。最终达到降低机载环境的系统管理开销,提高系统管理便利性的效果。
- 吴晗王一凡胡宁
- 关键词：嵌入式系统
- Tars系统中服务架构的研究
- 2018年
- 互联网技术的不断发展,面向服务的互操作技术被越来越多的引入到分布式操作系统之中,腾讯提出的Tars系统支持分布式节点间的互操作,并得到了广泛的应用,研究其服务架构对服务总线技术的发展具有重要指导意义,分析了软件架构的整体设计,互操作过程及客户端服务端具体实现。
- 吕广喆翟亚鹏任晓瑞胡宁
- 关键词：面向服务架构服务总线互操作
- 面向智能家居的无线传感器网络关键技术研究
- 胡宁
- 关键词：传感器通信网智能建筑无线通信无线传感器网络
- 基于Linux的流媒体文件系统被引量：7
- 2005年
- 针对通用文件系统处理流媒体文件效率较低的问题,提出了一种基于“簇”的文件数据组织结构来提高文件系统的吞吐量。实验表明,在Linux下按此组织结构改造后的Ext2与原Ext2相比,文件系统的吞吐量明显提高。
- 胡宁张德运王福豹
- 关键词：LINUX流媒体操作系统
- 利用Windows API拦截技术实现区分服务被引量：2
- 2004年
- 文章利用WindowsAPI拦截技术,拦截Client端的WinSock程序,用Setsockopt函数,修改IP包头TOS中的DSCP值,使其发送出具有不同服务类别的数据包,并建立实验环境进行了验证。在网络核心路由器(Corerouter)中设定加权公平队列算法WFQ(WeightedFairQueuing)对各个不同服务等级流量的影响,实验结果证实了其可行性、正确性。
- 李继华张德运胡宁张晓
- 关键词：QOS拦截技术WFQ
- 无线传感器网络的能量平衡路由被引量：22
- 2006年
- 针对现有无线传感器网络中路由协议产生“热点区域”问题,提出了一种能量平衡的路径选择算法.该算法通过平衡最小化传输能量路由和最大化最小节点剩余能量路由,以达到网络能耗均匀分布.在定向扩散协议(DD)的基础上,设计了能量平衡的路由协议(EBDD),该协议在路径探测消息中通过增加新字段来记录途经节点的剩余能量信息,并利用标签交换方法建立通往数据源的路径.sink节点采用所提算法选择路径,并通过标签交换把路径增强消息路由到数据源,其目的是对随后将要传送数据的路径进行确认.仿真实验表明,EBDD在能量均衡方面明显优于DD,当相关参数设定为2时,采用EBDD的网络寿命比采用DD的延长5%.
- 胡宁张德运
- 关键词：无线传感器网络路由协议能量平衡标签交换
- 面向多重独立安全等级架构的安全通信组件研究
- 多重独立安全等级(MILS)是在同一系统中执行不同安全级别应用的可验证安全体系架构，基于MILS架构的安全通信组件防止高安全级别通信实体把信息泄露给低安全实体。本文结合安全通信组件对基于MILS的分区间安全通信进行了研究...
- 张灯胡宁姜建国邢薇薇
- 关键词：信息流控制
- 基于对称多处理架构的软件调试技术研究和实现被引量：3
- 2014年
- 为了满足计算机领域用户对高性能及低功耗的双重需求,在深入研究多核现状的基础上,结合核间中断技术,提出了一种对称多处理架构下的软件调试器设计和实现方案。方案不仅成本低,而且不需要特殊调试硬件的支持,可为多核系统的故障诊断和分析提供参考借鉴。
- 贾璐李运喜胡宁麦先根虞保忠
- 关键词：多核虚拟化
- 目标检测传感器网络参数设计被引量：2
- 2005年
- 通过理论分析,给出了目标穿越无线传感器网络防线时的被检测概率与传感器网络设计参数之间的关系,建立了传感器网络目标检测问题的数学模型.传感器网络所有节点均采用基于时间片的休眠/唤醒节能策略,使得节点在每个时间片以一定的激活概率进入活动状态.推导目标检测概率的计算公式表明,检测概率与传感器节点的密度以及节点激活概率均成正比.因此,在满足所需要的目标检测概率条件下,可以采用降低节点密度或者减小节点激活概率的方法来减少系统能耗.此外,建立了节点工作时间片大小与传感器网络能耗之间的关系式.由该关系式得出,在其他参数确定的条件下,存在一个目标运动速率的临界值.当目标速率小于此临界值时,网络能耗随时间片的增加而增大;当目标速率大于此临界值时,网络能耗随时间片的增加而减小.
- 胡宁张德运
- 关键词：无线传感器网络目标检测节能策略
