搜索筛选:
搜索耗时0.1064秒,为你在为你在102,285,761篇论文里面共找到 36 篇相符的论文内容
发布年度:
[学位论文] 作者：李谢华,,
来源： 年份：2013
本论文采用数值模拟、测氢分析、拉伸实验、热模拟压缩实验、疲劳实验、光学显微镜、扫描电镜、能谱分析等手段,研究了熔炼工艺参数和合金元素对铝合金中氢含量和夹杂物的影...
[学位论文] 作者：李谢华,,
来源：上海交通大学 年份：2007
安全协议是构建网络安全环境的基石,是网络安全通信系统的核心技术,它的正确性对整个网络环境的安全起着至关重要的作用。然而如何保证安全协议的安全性,如何使协议的设计能...
[期刊论文] 作者：李谢华,,
来源：有色金属加工 年份：2004
通过对中间辊和工作辊的受力分析,探讨中间辊端部表面损伤的原因;提出改善中间辊端部受力状态、延长其使用寿命的措施....
[期刊论文] 作者：李谢华,
来源：电子乐园 年份：2018
小学生正处于培养良好习惯的佳时期，小学生良好习惯的培养会使其受益终身。因此，教师要重视对学生的健康生活 习惯的引导工作。本文围绕生活、行为和卫生三个层面展开讨论，在教......
[会议论文] 作者：李谢华,
来源：2010’全国铝板带箔技术交流会 年份：2010
MES是面向工厂级的生产管理技术与实时信息系统，它是实施企业敏捷制造战略，实现车间生产敏捷化的基本技术手段。由于MES强调控制和协调，使现代制造业信息系统不仅有很好的计划系......
[期刊论文] 作者：李谢华,,
来源：新教育时代电子杂志（学生版） 年份：2016
过去,少年儿童生长发育是在“自然成长”中完善和发展的,不需刻意追求,通过日常生活中的各种活动及帮助大人劳动等方式,促进身心向正常的方向发展.但是,在当今生活环境急剧变...
[期刊论文] 作者：李谢华,,
来源：新教育时代电子杂志（学生版） 年份：2016
健康是生存之本,健康涉及到身体、生理和心理的健康.健康教育应该以平衡为基础,以体育为实践.健康教育是理论教育,体育教育是实践教育.真正的健康应该是全面的健康,健康教育...
[期刊论文] 作者：李谢华,
来源：中学生作文指导 年份：2021
校本研修是提升师资素养整体水平的基本途径,这已经成为学校共识。小学健康教育在实际工作中却未能真正达到所期望的“同伴互助、共同提高”的效果。其根源究竟何在?其对策究竟何在?了解其现状、分析其原因,要想进一步提高小学健康教育校本研修的有效性,就必须......
[学位论文] 作者：李谢华,
来源：中南大学 年份：2004
随着网络规模的迅速增长和网络技术的不断成熟、完善，现代网络中对多媒体信息的应用越来越广泛，人们对网络服务的要求越来越高，这就对网络服务质量(QoS，Quality of Service)提出...
[期刊论文] 作者：杨路明,李谢华,
来源：计算技术与自动化 年份：2002
随着网络和通信技术的快速发展,使用仿真软件构筑虚拟的网络平台,并在此平台上进行网络的设计和开发已经成为网络研究中非常重要的组成部分.本文介绍了几种常用的网络仿真软...
[期刊论文] 作者：张孝红,李谢华,
来源：计算机工程 年份：2011
以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议并对其进行验证,直至生成一个安全的改进协议...
[期刊论文] 作者：李谢华,张孝红,,
来源：计算机工程与科学 年份：2009
EAP—AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上，使用改进的认证测试方法对其安全性进行验证分析。验证结果说明，EAP-AKA协议能...
[期刊论文] 作者：李谢华,高春鸣,,
来源：计算机科学 年份：2009
提出一种基于改进认证测试理论的高效安全协议验证算法——AAAP（Automatic Analyzer for Authentication Protocols）算法。利用认证测试理论中消息间的偏序关系避免状态空间爆...
[期刊论文] 作者：李谢华,李建华,杨树堂,
来源：上海交通大学学报 年份：2006
以认证测试方法为基础，提出了一种通用的安全协议形式化设计方法，使用该方法对Needham-Schroeder （NS）公钥协议进行了重新设计．最后通过认证测试方法证明了重新设计的NS协议能够满......
[期刊论文] 作者：贾国梁,李谢华,
来源：信息安全与通信保密 年份：2005
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,...
[期刊论文] 作者：张海洋, 李谢华, 江英,,
来源：计算机工程 年份：2012
在实时性要求较高的非线性非高斯环境中,粒子滤波中的粒子数选取将直接影响红外目标跟踪效果。为此,提出一种基于假设检验的自适应粒子滤波算法。通过假设检验问题中样本容量...
[期刊论文] 作者：尹张飞,李谢华,宁国强,,
来源：计算机工程与应用 年份：2009
提出一种结合图像融合的PCA与NMF相融合的人脸识别的识别方法。采用小波变换对图像进行处理,对于包含主要信息的低频子图用PCA进行特征抽取,而其他三个高频子图,虽然描述信息相对较少但包含重要的分类信息。为了减少计算量,对高频子图进行图像融合,再用NMF进行......
[期刊论文] 作者：宁国强,李谢华,尹张飞,,
来源：计算机工程与应用 年份：2011
针对即时通信中存在的各种安全问题,提出一种基于椭圆曲线密码体制的安全解决方案。方案使用了椭圆曲线密码体制进行密钥管理和会话密钥协商,保证客户端与服务器端,客户端与...
[期刊论文] 作者：刘鸿,李谢华,杨波,
来源：计算机科学 年份：2013
针对云存储中的密文访问控制,提出一种基于SKP-ABE的高效访问控制方法 EACS。该方法在保持密文信息保密的前提下,将部分私钥组件和相关密文组件的重加密过程转移到云端,以大...
[期刊论文] 作者：李谢华,李建华,杨树堂,诸鸿文,,
来源：计算机工程 年份：2006
WAPI协议是我国自行制定的无线局域网国家标准。该文在研究WAPI接入鉴别过程的基础上,使用BAN逻辑对其进行了形式化的分析和验证,证明了接入鉴别过程能够达到信息安全所要求...
相关搜索：
