搜索筛选:
搜索耗时0.0846秒,为你在为你在102,285,761篇论文里面共找到 9 篇相符的论文内容
发布年度:
[期刊论文] 作者：朱宜炳,
来源：信息通信 年份：2011
阐述了虚拟机技术的概念和特点,讨论了高职院校《信息安全》课程教学的现状,结合实例分析了如何在该门课程中采用虚拟机技术,证实虚拟机技术是提高教学效果和实现应用型人才...
[学位论文] 作者：朱宜炳,
来源：南昌大学 年份：2007
UML是一种通用的面向对象建模语言，具有很强的描述能力和良好的扩展机制，但UML缺少精确的语义，不能对UML模型作进一步分析和验证。形式化方法具有精确的数学语义和自动化验证工......
[期刊论文] 作者：朱宜炳,罗敏,,
来源：计算机与现代化 年份：2008
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分...
[期刊论文] 作者：邱芬,朱宜炳,,
来源：科技视界 年份：2016
随着移动互联网的发展,高校数字图书馆建设开始进入“云”时代。传统的数字图书馆采用关系数据库和普通文件系统存储电子书籍,存在着诸多不便。如何将其平滑过渡到云图书馆是...
[期刊论文] 作者：匡青,朱宜炳,
来源：现代商贸工业 年份：2010
分析了软件测试课程的特点和当前教学现状，从教学方法、教学手段、教学内容等方面对软件测试课程的教学进行了探索和实践，提出了几点针对高职院校软件测试课程教学改革的建议，以......
[期刊论文] 作者：徐望, 朱宜炳, 张常泉,,
来源：南方农机 年份：2021
随着越来越多的农村人口涌入城市,社区的安全居住需求也日益增长,安防监控网络有利于物业人员对社区实时状况的掌控,避免意外发生。基于此,本文提出一种以树莓派为核心的低成...
[期刊论文] 作者：涂凯杰,朱宜炳,许达文,
来源：微电子学与计算机 年份：2020
全卷积神经网络近年来被应用于深度学习中的多个领域,其不仅能处理简单的图像分类任务,还能应用于例如物体检测、语义/图像分割以及基于生成式对抗网络的生成型任务.典型的全...
[期刊论文] 作者：肖美华,刘俏威,朱宜炳,,
来源：南昌大学学报(工科版) 年份：2008
统一建模语言（UML）是设计和建模安全协议的常用方法,但UML缺少精确的语义,不能对协议模型作进一步分析和验证;Promela是一种具有精确语义的形式化语言,通过Promela规范给协议的...
[期刊论文] 作者：王兵,肖美华,刘晓清,朱宜炳,,
来源：南昌大学学报(工科版) 年份：2007
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SP...
相关搜索：
