检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

计算机应用 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

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

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

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

评《马克思政治经济学的开端——从文本到现实》

在线全文

学校读者我要写书评

暂无评论

统计与决策 2024年第12期40卷 F0002-F0002,F0003页

作者：李冰内蒙古大学马克思主义学院

作为社会科学领域的一门重要学科,马克思政治经济学长久以来一直保持着对资本主义社会的深刻洞察。然而,随着时代的变迁与社会的进步发展,如何正确认识马克思主义的时代意义和现实意义?回答这一问题需要从马克思本人思想的变化、发展中... 详细信息

作为社会科学领域的一门重要学科,马克思政治经济学长久以来一直保持着对资本主义社会的深刻洞察。然而,随着时代的变迁与社会的进步发展,如何正确认识马克思主义的时代意义和现实意义?回答这一问题需要从马克思本人思想的变化、发展中去寻找答案。在此过程中,要着重关注马克思在政治经济学开创过程中的思想转变,这是从方法论层面正确理解马克思政治经济学思想的前提。只有解决了方法论的问题.

关键词：马克思政治经济学资本主义方法论思想转变现实意义马克思主义

东南极达尔克冰川−183 m深处冰层融水细菌多样性研究

在线全文

学校读者我要写书评

暂无评论

微生物学报 2024年第6期64卷 1864-1875页

作者：刘梦泽崔鸿鹏李冰宫达范晓鹏徐健荆晓艳王琛蒋宏忱中国地质大学(北京)海洋学院北京100083 中国地质大学(北京)工程技术学院北京100083 吉林大学极地研究中心吉林长春130061 中国科学院青岛生物能源与过程研究所山东青岛266101

【目的】目前对于南极冰层微生物研究较少,而且研究手段多为纯培养和高通量测序,对于其中的微生物群落多样性仍知之甚少。本研究拟研究东南极达尔克冰川冰层中微生物群落组成。【方法】采用纯培养法、单细胞分选和高通量测序3种方法对... 详细信息

【目的】目前对于南极冰层微生物研究较少,而且研究手段多为纯培养和高通量测序,对于其中的微生物群落多样性仍知之甚少。本研究拟研究东南极达尔克冰川冰层中微生物群落组成。【方法】采用纯培养法、单细胞分选和高通量测序3种方法对东南极达尔克冰川冰层微生物进行研究,探究该生境中微生物的群落组成。【结果】从达尔克冰川中分离出10门19纲94属。其中,变形菌门(Proteobacteria)为优势菌门,α-变形菌纲(Alphaproteobacteria)为优势纲,鞘氨醇单胞菌属(Sphingomonas)为优势属,结果显示冰层中存在较为丰富的微生物多样性。其中,纯培养法分离出25株细菌。单细胞分选方法分离得到24株细菌。高通量测序共得到55183条序列,聚类出116个操作分类单元(operational taxonomic unit,OTU)。3种研究方法得出的优势种群不尽相同。通过单细胞分选和纯培养法共获得7株细菌,它们与数据库最近源16S rRNA基因序列的相似度小于98.65%,其中有2株菌株与最近源16S rRNA基因序列的相似度小于95.00%,推测可能有2个潜在新属,5个潜在新种。【结论】本研究通过纯培养法、单细胞分选以及高通量测序3种方法对东南极达尔克冰川冰层微生物多样性进行研究发现,该生境中细菌多样性复杂。对比3种方法,其各有优势和局限性。这意味着结合使用多种研究方法研究微生物多样性,可获得更加全面的微生物群落组成。研究结果可为挖掘南极微生物资源提供数据基础。

关键词：达尔克冰川细菌多样性培养单细胞分选高通量测序