李忠慧
- 作品数:15 被引量:3H指数:1
- 供职机构:盐城师范学院更多>>
- 发文基金:重庆市自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信经济管理更多>>
- 可视化与形式化相结合的安全协议分析与验证
- 安全协议,又称密码协议,是建立在密码体制基础上的一种交互通信协议,它运行在计算机通信网络和分布式系统中,借助于密码算法来达到密钥分配、身份认证等目的。目前,安全协议已成为国际信息安全领域的主流研究方向之一。 安全...
- 李忠慧
- 关键词:安全协议UPPAALUML2.0
- 文献传递
- 一种基于深度机器学习的数字内容投放方法
- 本发明公开了一种基于深度机器学习的数字内容投放方法,包括:获取用户标识和所述用户标识对应的数字内容;构建神经网络结构,利用所述用户标识和所述用户标识对应的数字内容训练所述神经网络结构;当所述神经网络结构的识别准确率满足预...
- 李忠慧
- 文献传递
- 自主性学习理论在《Visual Basic程序设计》课程中的应用
- 2011年
- Visual Basic程序设计是非计算机专业学生的公共基础课,其知识点多、理论性、实践性强,教学难度相对较大。该课程目标是通过课程学习,学生能够利用计算机解决自身专业相关的实际问题,达到学以致用的目的。该文就如何提高VB程序设计课程的教学质量,达到课程目标,提出基于自主性学习的教学模式,强调了学生在教学活动中主体地位。教学实践证明采用这种模式获得了一定的教学效果。
- 李忠慧
- 关键词:VB程序设计自主性学习教学模式
- 高校信息系统整合的研究
- 2008年
- 随着社会信息化大潮的发展,越来越多的企事业单位通过信息化的整合来提高业务工作效率,而进入市场化竞争的高等学校,数字化校园的建设成为了一个学校是否现代化的必要条件,而要实现这一点,最主要的就是进行学校各个职能部门信息系统的整合工作。本文就高校信息系统的整合提出一些见解,提供一种信息化社会下高校信息化发展的思路。
- 李忠慧
- 关键词:校园信息系统
- 基于CTL的电子商务安全协议形式化分析
- 2009年
- 本文建立了基于CTL的电子商务协议模型,该模型形式化地描述了电子商务协议的身份认证、机密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu-Smolka提出的Lu-Smolka协议研究实例加以阐述,发现了两个攻击,该形式化方法也可用于电子商务的其他安全协议分析。
- 李忠慧
- 关键词:电子商务安全协议形式化方法CTL
- Ad Hoc网络中Web服务组合研究分析
- 2014年
- 已有的Web服务组合方法多数基于有基础结构的网络环境,在无基础结构的Ad Hoc网络中并不适用。无线移动自组网中的服务组合的研究还在初段,很多问题还有待进一步的研究、解决。在给出Web服务组合概念的基础上,探讨了Ad Hoc网络中Web服务组合过程中的服务发现、服务可用性量化评估、QoS感知的服务选择等关键问题,并对Ad Hoc网络中Web服务组合的研究现状进行了分析。
- 吉祖勤李忠慧方元康
- 关键词:ADHOC网络WEB服务组合服务质量
- 一种基于深度机器学习的数字内容投放方法
- 本发明公开了一种基于深度机器学习的数字内容投放方法,包括:获取用户标识和所述用户标识对应的数字内容;构建神经网络结构,利用所述用户标识和所述用户标识对应的数字内容训练所述神经网络结构;当所述神经网络结构的识别准确率满足预...
- 李忠慧
- 文献传递
- 基于模型的应用软件的静态检测方法研究被引量:1
- 2015年
- 该文把静态分析技术与基于模型的演绎验证结合起来提供了一个框架,分析应用源代码,自动生成一个分析器,它能够推断关于给定程序行为的逻辑约束方面的信息。该文引入了一阶逻辑断言来描述API调用语义。这些断言构成分析器使用的模型。通过实验,该方法可被用来识别Java程序中的关于安全的逻辑错误。
- 李忠慧
- 关键词:ANDROID
- 基于VB的BP算法描述
- 2008年
- BP网络具有结构简单、技术成熟的优点,在很多领域都有广泛的应用。介绍了BP算法的数学表达,并用VB对BP算法进行了具体描述,包括BP算法的初始化、隐含层与输出层之间权系数的更新、主程序等。
- 李忠慧
- 关键词:神经网络BP网络BP算法VB
- 基于Z的适配器模式形式化描述
- 2008年
- 设计模式和形式化是软件工程领域研究的两个重要方面。本文首先介绍了设计模式和形式化方法等基本知识,其次介绍了设计模式中类和函数间存在的各种基本关系和层次概念,最后利用Z语言形式化描述适配器模式。
- 李忠慧
- 关键词:设计模式形式化适配器模式