检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种软件智能部署方法的研究

计算机应用 2009年第1期29卷 248-252页

作者：李冰鹏孙昌奇兰洋国防科学技术大学计算机学院长沙410073 中国人民解放军总政治部干部部北京100034 中国电子设备系统工程公司北京100011

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出... 详细信息

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。

关键词：软件智部署系统软件部署软件描述软件依赖

在线全文

学校读者我要写书评

暂无评论

基于三值语义的软件运行时验证方法

计算机工程与科学 2011年第10期33卷 99-104页

作者：隋平赵常智董威李冰鹏国防科学技术大学计算机学院湖南长沙410073 南京政治学院上海分院上海200433

运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面... 详细信息

运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案;另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好(坏)前缀的能力,从而使得监控器能尽可能早的发现性质违背。同时,我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。

关键词：三值语义运行时验证监控器

在线全文

学校读者我要写书评

暂无评论

量子照明及其在安全通信上的应用

科技传播 2015年第21期7卷 68-69 65,65页

作者：李冰鹏南京政治学院上海校区上海200433

当待测目标处于一定的背景光噪声中时,需要向目标主动发射照明光束,以提高探测的信噪比。当背景光噪声较大时,经典的探测方法需要发射功率更大的主动照明光束。然而,量子照明不同于经典的照明探测过程。量子照明利用信号光和闲散光的量... 详细信息

当待测目标处于一定的背景光噪声中时,需要向目标主动发射照明光束,以提高探测的信噪比。当背景光噪声较大时,经典的探测方法需要发射功率更大的主动照明光束。然而,量子照明不同于经典的照明探测过程。量子照明利用信号光和闲散光的量子纠缠关系对目标进行探测,在同样的信噪比要求下,可以显著降低照明光束的功率。量子照明的原理不仅可以应用于探测目标,也可以用于安全通信。可以证明,基于量子照明的安全通信可以实现很高的通信速率且对被动窃听攻击免疫。本文综述量子照明的基本原理,实验进展以及利用量子照明进行安全通信的原理和过程。

关键词：量子照明安全通信

在线全文

学校读者我要写书评

暂无评论

RFID无线射频安全认证协议综述

科技创新导报 2015年第32期12卷 17-19页

作者：李冰鹏南京政治学院上海校区上海200433

RFID成为人们生活中不可或缺的一部分,其安全性也开始受到重视。RFID系统由于受到生产成本、计算能力、存储容量、电源供电等方面的限制,使得安全机制的设计需要满足其许多特殊的要求,一些传统意义上的安全机制可能无法在RFID系统中实... 详细信息

RFID成为人们生活中不可或缺的一部分,其安全性也开始受到重视。RFID系统由于受到生产成本、计算能力、存储容量、电源供电等方面的限制,使得安全机制的设计需要满足其许多特殊的要求,一些传统意义上的安全机制可能无法在RFID系统中实现。针对RFID安全机制的设计需要的特点,各式各样的安全认证协议被提出。该文在分析RFID协议需求的基础上,对RFID安全认证协议按照轻量级协议、中量级协议和重量级协议三个类别进行分类,分别介绍每个类别中经典的安全认证协议;最后从安全性、认证方式、安全隐患和逻辑电路数量等多方面来对比分析RFID安全认证协议,总结各协议的特点。

关键词：无线射频识别协议安全认证

基于Modbus/TCP协议自动档案库系统设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机光盘软件与应用 2014年第10期17卷 49-51页

作者：李冰鹏陈浩南京政治学院上海分院上海200433

随着信息化建设的不断深入,如何将电子档案利用与纸质档案管理结合起来,大幅度降低档案维护成本,提高档案管理效率,成为目前迫切需要解决的问题。本文针对以上问题,提出了自动档案库系统的解决方案。该系统分为应用管理层、档案柜管理... 详细信息

随着信息化建设的不断深入,如何将电子档案利用与纸质档案管理结合起来,大幅度降低档案维护成本,提高档案管理效率,成为目前迫切需要解决的问题。本文针对以上问题,提出了自动档案库系统的解决方案。该系统分为应用管理层、档案柜管理层和档案柜控制层,档案柜管理层和档案柜控制层采用Modbus/TCP传输控制协议。为了解决人工归还和借阅档案时放错位置的问题,设计档案自动盘库功能;为了解决不同档案柜硬件设备之间的差别,提出了档案管理层接口规范,不同硬件设备按照规范编写组件,实现档案柜管理层程序与底层硬件设备无关性。实际使用表明,基于Modbus/TCP协议自动档案库系统可以方便快捷的实现电子档案系统与纸载档案管理的无缝结合,在大幅度提高档案的管理效率和档案管理自动化水平的同时,降低了档案管理费用和档案管理人员的工作量。

关键词：档案库系统 Modbus TCP 自动识别 COM

干部队伍数学模型仿真与决策支持系统的应用研究

在线全文

学校读者我要写书评

暂无评论

电脑知识与技术 2014年第9X期10卷 6511-6512,6549页

作者：高婧怡李冰鹏武警总医院计算机管理中心北京100039 南京政治学院军事信息管理系上海200433

干部队伍结构的好坏直接决定着部队战斗力水平的高低,因此预测干部队伍结构变化趋势,对干部管理工作过程中方针政策的制定,干部管理工作的有效开展都有着十分重要的意义。该文通过建立干部队伍数学模型,利用蒙特卡洛方法模拟干部的退役... 详细信息

干部队伍结构的好坏直接决定着部队战斗力水平的高低,因此预测干部队伍结构变化趋势,对干部管理工作过程中方针政策的制定,干部管理工作的有效开展都有着十分重要的意义。该文通过建立干部队伍数学模型,利用蒙特卡洛方法模拟干部的退役、更替、补充,通过年度数据仿真来预测干部队伍的变化,为干部的结构调整提供指导。该文研究的方法是依据干部政策、根据干部编制、结合干部历史数据,利用蒙特卡洛方法计算得出干部的退役人员、更替人数、补充人数,对整个干部状态进行动态仿真模拟。

关键词：干部队伍计算机仿真决策支持系统蒙特卡洛法

在线全文

学校读者我要写书评

暂无评论

一种软件部署冲突检测及其自动调整算法

计算机应用与软件 2011年第4期28卷 63-66,73页

作者：李冰鹏娄国哲南京政治学院上海分院上海200433

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题。首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述。其次,介绍并分析软件部署过程中冲突检测以及自动调整方法。在此基础上,提出一... 详细信息

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题。首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述。其次,介绍并分析软件部署过程中冲突检测以及自动调整方法。在此基础上,提出一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后对比并分析软件智能部署实际应用效果。

关键词：软件智能部署系统软件部署软件描述软件依赖

线路故障影响下考虑转线换乘的列车运行调整优化

在线全文

学校读者我要写书评

暂无评论

西南交通大学学报 2025年

作者：李冰李洋轩华郑州大学管理学院

针对线路故障影响下考虑转线换乘的列车运行调整问题，以线路故障触发的列车连带总晚点时间最短与由此引发的转线换乘失败客流数最少为双重目标，构建铁路线路故障影响下的列车运行调整优化模型。鉴于模型为大规模混合整数规划模型，设... 详细信息

针对线路故障影响下考虑转线换乘的列车运行调整问题，以线路故障触发的列车连带总晚点时间最短与由此引发的转线换乘失败客流数最少为双重目标，构建铁路线路故障影响下的列车运行调整优化模型。鉴于模型为大规模混合整数规划模型，设计基于高斯游走的改进粒子群求解策略。以京广高铁上行方向部分区段和郑徐高铁下行方向部分区段构成的路网构建测试场景，并运用IPS&GW算法对不同列车运行恢复策略下的列车运行调整优化模型进行求解。结果表明，相较策略I，故障扰动时长为10～30min之间波动时，策略II、III、IV所产生的列车连带晚点时间分别下降82.5%～86.6%、70.5%～81.49%、55.8%～58.7%，滞留旅客总数分别下降28.3%～39.1%、57.3%～61.9%、88.4%～89.4%；且在不同扰动情景下均能通过增加一定的列车总晚点时间来换取换乘失败旅客数量的明显减少。将本文所提出的IPS&GW算法与传统PSO算法进行对比，验证了前者在目标函数收敛速度方面表现出优势，从而切实有效恢复列车图定运行要求、减少换乘枢纽站滞留旅客数量。

关键词：连带晚点铁路运输旅客转线换乘列车运行调整启发式算法

一次性滴管辅助的分散液液微萃取-液相色谱法快速测定尿样中1-羟基芘

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

分析科学学报 2025年

作者：李冰霞赵琴武汉科技大学公共卫生学院职业危害识别与控制湖北省重点实验室

建立了一种基于一次性滴管辅助的分散液液微萃取技术,结合高效液相色谱-紫外检测器（HPLC-UV）测定尿液中1-羟基芘（1-OHP）的新方法。采用一次性滴管为萃取容器,乙腈为分散剂,磷酸三丁酯作为萃取剂,萃取完成后,萃取剂富集漂浮在一次性... 详细信息

建立了一种基于一次性滴管辅助的分散液液微萃取技术,结合高效液相色谱-紫外检测器（HPLC-UV）测定尿液中1-羟基芘（1-OHP）的新方法。采用一次性滴管为萃取容器,乙腈为分散剂,磷酸三丁酯作为萃取剂,萃取完成后,萃取剂富集漂浮在一次性滴管上端,可使用移液枪直接取出。为了获得较高的富集效率,考察了一系列影响富集倍数的参数,在优化的萃取条件下,1-OHP在0.5～1000μg/L范围内线性关系良好（R2>0.9999）,检出限（LOD）为0.15μg/L,定量限（LOQ）为0.5μg/L,低中高3个浓度（2、10、50μg/L）水平的加标回收率在82.0%～112.4%之间,日内、日间相对标准偏差分别小于7.4%和9.9%。本方法已成功应用于实际尿液样品的分析检测中,在加标10μg/L的浓度下,1-OHP的回收率在91.8%～113.9%之间,相对标准偏差在0.2%～7.5%之间。本方法前处理操作简便快速,有机试剂消耗量少,经济环保,分析成本低廉,为尿液中1-OHP的定量检测提供了新的选择。

关键词： 1-羟基芘一次性滴管辅助的分散液液微萃取高效液相色谱尿液