李宁
- 作品数:12 被引量:35H指数:3
- 供职机构:华北计算技术研究所更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术经济管理电子电信更多>>
- 一种Web服务QoS属性的不确定权重计算方法被引量:1
- 2016年
- 功能相同或类似的Web服务选择时需考虑服务的Qo S属性及权重,由于用户对Qo S属性的偏好具有主观认知的不确定性,并且某些Qo S属性值也通常不是确定的。因此,Qos属性的权重具有不确定性。针对Qo S属性的不确定权重求解问题,使用云模型表示主观认知的不确定性,基于用户偏好信息,利用归一化和最小二乘法求解主观权重,基于Qos属性值利用熵方法求解客观权重,并使用科布—道格拉斯方法合成主、客观权重,能够有效表达由主观认知和Qo S属性值造成的权重不确定性。
- 樊志强李宁郝博
- 关键词:QOS属性云模型
- 面向联合试验的管控工具设计与实现
- 2023年
- 联合试验是应用科学的方法和流程来检验现有装备和武器装备体系的联合作战能力,并为未来装备发展和体系构建提供科学决策依据的一种全新试验模式。联合试验的开展需要接入多个参试节点,参试节点按照规定的试验任务进行试验。为保证在试验过程中参试节点高可靠运行,文中设计一种管控工具,以对试验节点进行高效的管控。针对各类参试节点的接入,管控工具基于节点注册服务进行试验环境开设,完成参试节点的注册与接入。为在试验过程中监视试验节点的状态,依托心跳检测机制设计试验状态监视模块,实现对参试节点运行状况和试验情况的监视,当参试节点运行过高时,管控工具能够及时发现并上报。为实现对参试节点的试验活动协调控制,设计试验执行控制模块,通过活动协调服务对参试节点的试验过程与试验执行进行干预控制。为验证管控工具的实用性,以我军某导弹陆海飞行试验为背景,对管控工具的环境开设能力、状态监视能力、执行控制能力进行测试。结果表明,管控工具满足各项设计要求,具备基本的管控功能,可完成20个参试节点的注册与接入,并能够在试验过程中实现对参试节点的状态监视与执行控制,该管控工具达到了联合实验的管控标准。
- 卢赟浩李宁
- 关键词:管理控制
- 一种基于移动网络安全可靠的消息系统
- 2014年
- 提出一种基于移动网络的安全可靠的消息系统,该系统实现移动网络下消息的安全可靠到达和消息的联动机制,支持文本、图片、语音等多种形式,通过一个原型Android应用,验证该系统在移动网络中可以有效地提升消息的送达率,满足高可靠应用的及时消息推送需求。
- 余亚玲李宁
- 关键词:移动网络
- 一种在线测试集约减方法被引量:1
- 2018年
- 针对测试集约减问题,提出一种在线测试用例集约减方法。将测试集约减嵌入测试生成流程内,作为测试生成的重要步骤,为测试生成提供筛选测试序列和测试约束的作用;同时测试生成过程恰好为测试集约减提供了测试序列与测试目标之间的满足关系,避免因测试需求之间复杂满足关系产生的冗余。与现有的测试生成方法进行比较,结果表明本文方法可以有效地提高测试集约减的效率和效果。
- 张晨光徐珞李宁
- 关键词:软件测试
- 模型驱动的效能评估流程柔性构建技术
- 2021年
- 大型评估任务中,评估对象、评估数据、评估任务的多样化和复杂化使得评估人员对评估软件的柔度提出了更高的要求。针对此问题文中提出了一套模型驱动的评估流程柔性构建技术,并设计实现了一套可应用此技术完成评估流程快速灵活构建的平台。文中从流程建模语言定义、组件建模语言定义、系统组件库设计、流程模型实例生成技术四个方面阐述了该项技术,并着重描述了用于构建评估流程的系统组件的定义与分类。
- 万众伟李宁
- 基于Solr的分布式全文检索系统的研究与实现被引量:24
- 2012年
- 随着当前网络信息资源的急剧膨胀,传统的检索系统已经难以在处理海量数据时提供高效的、可靠的服务。针对该情况,设计并实现一个基于Solr的分布式全文检索系统。系统通过网络爬虫抓取网页信息,将抓取的信息储存为文本文件;然后利用Solr索引处理模块,在多台计算机节点上并行创建索引,有效地提高系统建立索引的速度;系统通过Zoo-keeper管理集群,将搜索模块设计为分布式,有效地提高检索性能;最后设计了友好的用户界面。目前,系统可以在百万数据量的环境下稳定运行,具有较强的实用价值。
- 李戴维李宁
- 关键词:SOLR分布式
- CWMT:一种基于并发机制的弱变异测试加速技术被引量:1
- 2023年
- 变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于变异体数量多与变异执行时间长导致了高昂的计算开销,限制了其在测试实践中的应用.已有研究从两个维度研究如何降低变异测试的计算开销:(1)变异体精简.通过不同策略减少变异体的数量,往往减弱变异测试的故障检测能力;(2)变异执行加速.通过优化变异测试的执行过程,缩短变异执行的时间.通过分析变异测试过程的特点,不难发现多个变异体之间存在大量重复执行的代码.本文从缩短变异测试执行时间的角度出发,提出了并发弱变异测试,通过并发控制和程序合成相结合的手段优化变异体的执行过程,减少变异体的执行开销.具体说来,并发弱变异测试融合了并发与弱变异两种变异执行的加速机制:并发机制通过共享某个程序块的不同变异体在变异位置之前的程序状态来缩短变异位置前的执行时间;弱变异机制通过比较源程序与变异体在变异位置之后的程序状态确定测试是否通过来缩短变异位置后的执行时间.采用12个C程序以经验研究的方式评估了所提方法的有效性和优化效率,分析了影响优化效率的因素,并比较了所提方法与传统变异测试、弱变异测试、并发变异测试等3种基线技术的性能.实验结果表明,本文提出的并发弱变异测试技术显著提升了变异测试的效率,即减少90%以上的编译时间和70%以上的执行时间.
- 孙昌爱曾国峰张守峰唐锦李宁张世永陈艳
- 关键词:软件测试
- 面向虚拟化系统的故障注入工具设计与实现被引量:4
- 2018年
- 为解决现有故障注入工具缺乏对虚拟化系统特有故障进行测试的问题,提出一种面向虚拟化系统的故障注入工具架构。架构由虚拟机管理器、各虚拟机节点和前端部分组成,Xml定义的测试脚本通过前端部分传入并解析,使得虚拟机管理器获取故障注入信息后,根据信息将各类故障注入到虚拟机节点中,完成一次故障注入过程。以该架构为基础,在Xen虚拟化系统上实现故障注入工具并进行故障注入实验,实验结果表明,利用该工具可以对Xen系统进行有效故障注入并完成可靠性和容错性评测。
- 胡慎徐珞艾中良李宁
- 关键词:虚拟化系统虚拟机管理器可靠性评测
- 基于QoS感知的Web服务推荐算法
- 2012年
- 为了改进Web服务推荐的准确性,通过分析现有Web服务推荐算法的面临的主要问题,提出了一种基于地域划分的Web服务推荐方法。该算法对Web服务进行区域划分,并对区域内Web服务进行分类,根据用户区域位置,计算消费者之间及服务之间的相似程度,并以此相似度为基础对使用者并未调用过的服务的质量进行预测。基于大量真实数据的实验显示,该算法在推荐准确性方面优于现有的基于协同过滤的Web服务推荐算法。
- 李宁艾中良
- 关键词:WEB服务协同过滤
- 基于ExcelVBA的中国上市公司女性高管从业情况研究
- 2016年
- 以CSMAR经济金融数据库为实例,基于VBA编程实现了具有数据校准、数据拆分、冗余数据剔除、数据聚类合并、数据排序、数据统计分析等功能的Excel数据处理软件;同时从CSMAR中抽取了1999年至2013年1735家上市公司的样本数据,对女性高管比例及从业情况进行了统计分析,实证了在知识经济快速发展的时代,女性在经济社会发展中的作用日益凸显。
- 张嘉琛刘明李宁
- 关键词:VBAEXCEL女性高管