王学芳
- 作品数：11 被引量：27H指数：4
- 供职机构：西南交通大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术天文地球更多>>
- Ad Hoc网络基于身份的密钥管理方案
- 2008年
- 在基于身份的Ad Hoc网络密钥管理的方案中,根据用户身份生成用户密钥时无法对用户的身份真实性进行有效确认,针对这一问题,该文结合基于身份的密码系统和基于口令的认证技术,给出一个密钥管理方案,该方案通过口令技术实现节点身份的认证,使用基于身份的密钥管理系统完成密钥的安全分发。同时基于ROM模型证明了该方案的安全性。
- 刘培顺王学芳兰顺国
- 关键词：ADHOC网络密钥协商密钥认证
- 格蕴涵代数的单性与周期性被引量：7
- 2003年
- 讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法.得出了一个重要结论:如果有限的单格蕴涵代数中存在对偶原子,则一定唯一.
- 王学芳徐扬宋振明
- 关键词：格蕴涵代数单性滤子逻辑系统
- 由格蕴涵代数诱导的伴随半群被引量：1
- 2002年
- 给出由格蕴涵代数诱导出的伴随半群及有关概念 ,详细讨论伴随半群中的元素即格蕴涵代数的左映射的性质 ,得到它们的几个等价条件。最后讨论由格蕴涵代数诱导的两个双格半群与伴随半群之间的关系 ,并证明这些半群是幂等的当且仅当它们是由格
- 王学芳秦克云徐扬
- 关键词：格蕴涵代数伴随半群滤子双格半群代数结构
- 一种基于个人需求的交通BIM模型构建方法
- 本发明提供了一种基于个人需求的交通BIM模型构建方法，本发明通过对个人需求进行语义提取，从而获取出每个人的交通需求，再从卫星图像上提取出现有交通结构，构建出初步的交通BIM模型，表明现有的交通结构，再根据交通需求，对初步...
- 尹紫红李燕冷彪王学芳邱彪孙吉祥李燕强任挺
- 入侵检测中的归纳学习方法被引量：2
- 2006年
- 结合使用着色Petri网和EDL语言描述攻击模型,该文给出了使用归纳学习对攻击模型进行泛化和特化操作,泛化后的模型可以检测出与已知攻击实例类似的未知攻击行为,实现了攻击知识库进行自动更新和扩展的方法。攻击实例首先使用EDL语言表述为一个攻击实例模型,对实例模型进行泛化得到攻击实例的3层概念空间,进而转化为着色Petri网模型,利用着色Petri网的运行机制对攻击行为进行检测。实验结果表明该方法对于具有相似攻击行为的未知攻击的检测非常有效。
- 刘培顺王学芳
- 关键词：入侵检测着色PETRI网泛化特化
- 格蕴涵代数的素对偶理想被引量：4
- 2006年
- 在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。
- 王学芳刘培顺徐扬
- 关键词：非经典逻辑格值逻辑格蕴涵代数对偶理想滤子
- 海洋环境数据安全等级自动划分
- 2016年
- 本文针对海洋环境数据安全等级自动划分进行研究,提出的观点。在信息安全领域起到示范作用。如付诸现实将产生良好的社会效益。
- 刘培顺王学芳庞淑兰
- 关键词：安全等级环境数据信息安全信息系统管理
- 关于格蕴涵代数及其滤子的研究
- 该文详细研究了格蕴涵代数的结构及其滤子的性质,为智能控制的研究提供必要的理论基础.该文首先给出了由格蕴涵代数诱导出的伴随半群及有关概念,详细讨论了伴随半群的元素却格蕴涵代数的左映射的性质,得到了关于左映射的几个等价条件;...
- 王学芳
- 关键词：智能控制格蕴涵代数滤子伴随半群链条件
- 文献传递
- 格蕴涵代数的伴随半群中的左映射
- 该文给出了由格蕴涵代数诱导出的伴随半群及有关概念，详细讨论了伴随半群中的元素即格蕴涵代数的左映射ａ的性质，得出了ａ的稳定子S(ａ)，像Imａ和核Kerａ之间的关系，同时得到了关于ａ的几个等价条件。最后证明了S(ａ)是L的...
- 王学芳徐扬
- 关键词：格蕴涵代数伴随半群滤子
- 文献传递
- 基于格蕴涵代数的格值逻辑及其模型论的研究
- 目前,逻辑学被广泛应用于计算机科学中逻辑电路设计、程序设计分析、安全协议验证以及人工智能等方面.各种逻辑系统不仅为知识表示提供了语言工具,而且也为知识推理提供了机械化算法.这方面的研究成果是实现计算和推理自动化的理论基础...
- 王学芳
- 关键词：人工智能非经典逻辑多值逻辑格值逻辑格蕴涵代数模型论
