排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
2.
为建立一种用于中医证候规范化研究的新模型——基于动态Kohonen网络的模糊神经网络,在分析中医证候规范化研究方法与存在的问题的基础上,采用基于动态Kohonen网络的模糊推理方法,给出了模型的学习算法和新的研究方法,并将该模型应用于中医证候规范化研究,通过Iris数据和临床数据检验,验证了模型的正确性和方法的有效性。 相似文献
3.
介绍了支持复杂协议形式化并行推导的PDS协议衍生推导系统和IKE协议.给出了使用PDS形式化衍生IKE协议的核心认证部分的方法. 相似文献
4.
协议组合逻辑系统研究 总被引:2,自引:0,他引:2
介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,义具有BAN逻辑的易读性. 相似文献
1