搜索筛选:
搜索耗时2.1168秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[学位论文] 作者：朱创营,
来源：桂林电子科技大学 年份：2013
模型检测是一种被广泛应用的验证有限状态系统性质的自动化验证技术。经过三十多年的研究发展,时态逻辑LTL和CTL的模型检测问题已经得到了很好的解决。不仅提出了各种高效的...
[学位论文] 作者：朱创营,
来源：北京邮电大学 年份：2020
社交媒体改变了人们的生活方式,也逐步成为人们获取信息的主要渠道。在社交网络中,用户成为了信息的发布者以及推动信息扩散的传播者,而不再只是信息的受体。信息在网络媒介中的这种传播模式动摇了传统新闻媒体作为信息发布者和舆论引导者的主导地位。由此,在线......
[期刊论文] 作者：朱创营, 常亮, 徐周波, 李凤英,,
来源：智能系统学报 年份：2014
时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该文在ALC-LTL中进一步引入合取查询,增强ALC-L...
[期刊论文] 作者：朱创营,常亮,徐周波,李凤英,
来源：计算机科学 年份：2013
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中，适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性质进行高效的验证，在ALC-LTL的基础上研究了时......
[期刊论文] 作者：朱创营,常亮,徐周波,李凤英,
来源：计算机科学 年份：2004
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了...
[期刊论文] 作者：彭昌勇,朱创营,黄莉,祝跃飞,王靳辉,,
来源：电子学报 年份：2013
本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数．作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击．对13轮......
[期刊论文] 作者：彭昌勇,朱创营,黄莉,祝跃飞,王靳辉,,
来源：电子学报 年份：2013
Renauld等人提出的代数侧信道攻击是将代数攻击和侧信道攻击结合起来的一种对分组密码的攻击方法.目前的研究主要针对算法的8-bit实现平台,对于更大的如64-bit实现平台,未见...
相关搜索：
