搜索筛选:
搜索耗时0.1153秒,为你在为你在102,285,761篇论文里面共找到 20 篇相符的论文内容
类      型:
[学位论文] 作者:肖茵茵, 来源:暨南大学 年份:2018
[学位论文] 作者:肖茵茵, 来源:中山大学 年份:2010
安全协议是在开放网络中借助密码体制达到密钥分配、身份认证、信息保密等特定目标的通信规范,其正确性对网络应用的安全至关重要。安全协议的手工分析十分困难,容易出错,因此,使......
[期刊论文] 作者:陈子聪,肖茵茵, 来源:现代计算机:下半月版 年份:2004
多重中断技术在计算机中有着非常重要的地位.本文在软硬件逻辑功能等价性原理的思想指导下,介绍了如何运用软件开发环境模拟中断系统并用可视化界面展示之,实现多重中断工作...
[期刊论文] 作者:肖茵茵,陈子聪, 来源:现代计算机:下半月版 年份:2004
电子商务随着计算机技术和网络技术的发展快速发展,但是也存在着诸如合同时间认证等安全性问题使其推广受到阻碍.本文针对目前电子商务中数据处理中存在的不足,结合时态数据...
[期刊论文] 作者:肖茵茵,陈子聪, 来源:汕头大学学报:自然科学版 年份:2004
文章在"软件模拟硬件"思想指导下,实现基于RISC技术的指令流水虚拟机,突出介绍了利用Visual C++的面向对象开发环境实现虚拟机器的基本构思、设计方法和过程,在虚拟机的设计...
[期刊论文] 作者:肖茵茵,肖统民,, 来源:汕头大学学报(自然科学版) 年份:2015
基于实际的小车模型,使用PIC16F877A单片机、AH3144霍尔传感器等部件,以C语言为软件编程语言,设计实现了一个汽车电控巡航控制模拟系统.首先对系统总体结构进行介绍,然后详细...
[期刊论文] 作者:肖茵茵 欧阳佳, 来源:高教学刊 年份:2021
摘 要:针对当前应用本科型高校网络空间安全专业人才培养中存在的问题,在深度产教融合的指导思想下,提出了一种创新型人才培养模式。借助奇安信科技集团的支持,构建了“3+1”人才培养规划方案,实施了面向产业需求、突出实训实践的课程教学方案,同时通过强化“课程思政......
[期刊论文] 作者:肖茵茵,苏开乐,, 来源:计算机工程与应用 年份:2014
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商......
[期刊论文] 作者:肖茵茵,苏开乐,, 来源:广东技术师范学院学报 年份:2016
安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL,分析了ISL和PCL之间的关系.在此基础上,将P...
[期刊论文] 作者:陈子聪, 肖茵茵, 詹郁生, 来源:电子产品可靠性与环境试验 年份:2005
随着计算机技术和网络技术的发展,电子政务在我国开始全面实施.但是其中存在着诸如对信息时效性不能很好地处理等问题,这使其推广受到阻碍.通过分析目前电子政务中信息处理方...
[期刊论文] 作者:肖统民,陈锦珊,肖茵茵,, 来源:现代计算机 年份:2007
介绍基于89C51单片机的一款临时停车场自动停车收费管理系统,该系统采用比传统停车计费方式更优越的红外线检测计费方式,可以实现自动计费,实时查询、显示停车场状况,打印数...
[期刊论文] 作者:吕惠子,肖茵茵,马震远,沈金星,, 来源:广东技术师范学院学报 年份:2012
针对飞机维护实训教学中教学硬件资源少、知识关联性强、检修方案不唯一、学生难以掌握的特点.引入基于贝叶斯网的知识表达和不确定性推理原理,设计并实现了飞机维护实训教学专......
[期刊论文] 作者:肖茵茵,苏开乐,马震远,胡若,, 来源:华中科技大学学报(自然科学版) 年份:2013
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定...
[期刊论文] 作者:杨晋吉,苏开乐,肖茵茵,李超明,, 来源:小型微型计算机系统 年份:2004
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对...
[期刊论文] 作者:欧阳佳,肖茵茵,刘少鹏,姚华南,陈惠香, 来源:信息与电脑 年份:2021
精讲多练是程序设计课程群教学的基本原则,理论讲授后需要通过大量上机实验来提高学生程序设计思维能力。然而,程序设计实际教学中存在学生学习兴趣不高、同学之间交流互动较少、作业批改量大以及考试出题阅卷任务重等问题。为解决上述问题,笔者设计并实现了集......
[期刊论文] 作者:杨晋吉, 苏开乐, 骆翔宇, 林瀚, 肖茵茵,, 来源:软件学报 年份:2009
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时...
[期刊论文] 作者:李晖,肖茵茵,黄依婷,朱振龙,高伟, 来源:园林 年份:2022
水陆交错带是水域和陆地间进行物质传输、能量转化和生物流动的重要廊道、过滤器和屏障,对其进行生态系统服务价值梯度的研究能在一定程度上厘清生态系统服务价值的高低与水域距离之间的耦合关系.对西江干流广东段的生态系统服务价值进行梯度研究,以1 km为单位......
[期刊论文] 作者:詹瑾,赵慧民,傅仁轩,肖茵茵,李春英,林智勇,, 来源:移动通信 年份:2017
为了解决移动通信视频监控的目标追踪问题,提出一种新的空间域视频压缩感知模型,该模型首先通过测量矩阵获取视频少量样本值,然后通过该样本值同时重构运动目标、背景和视频序列,最后通过视频序列估计得到一个置信图,可以进一步提高目标的重构质量。大量的实验......
[期刊论文] 作者:肖茵茵,苏开乐,岳伟亚,陈清亮,吕关锋,杨晋吉,, 来源:计算机学报 年份:2008
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进。SP...
[期刊论文] 作者:欧阳佳,印鉴,肖政宏,赵慧民,刘少鹏,梁鹏,肖茵茵, 来源:软件学报 年份:2021
事务数据常见于各种应用场景中,如购物记录、页面浏览历史等.为了提供更好的服务,服务提供商收集用户数据并进行分析,但收集事务数据会泄露用户的隐私信息.为了解决上述问题,基于压缩的本地差分隐私模型,提出一种事务数据收集方法.首先,定义了一种新的候选项集......
相关搜索: