符号方法相关论文
格路问题是组合数学的重要研究方向,它与统计学,分子生物学等学科有着密切的联系.Motzkin路问题作为格路研究的重要课题之一,取得......
针对目前越来越复杂的安全协议,在计算可靠的安全协议符号分析方法的基础上,提出了一种计算可靠且支持双线性对、对称加密以及密钥......
住房具有居住和投资两大特性;而住房产业则兼具经济发展与民生保障两大功能。住房产业的健康发展无论对于居民个体还是整个经济社......
数学作为一种手段已经越来越广泛的应用在各门学科中，这篇文章就是以组合数学为主综合几种数学方法解决了计算生物学中关于RNA分子......
安全协议形式化分析方法分为两种,即符号方法和计算方法。比较两种方法,它们各有优缺点。目前,将两者进行组合优化,建立统一的调和......
在安全协议的形式化分析中，有两种完全不同的观点：符号方法和计算方法，两者各有优缺点．通过对两种观点的研究，按照优势互补的原则将两者......
密码协议形式化分析方法分为符号方法与计算方法两类。符号方法假设密码算法是完美的,但没有论证该假设的正确性。计算方法考虑了......
级联型有源滤波器设计技术已经很成熟，而且可用的二阶节电路也很多，但这些电路是依靠丰富的想象和多次的实验得来的。有源网络综合一......
目的系统探讨不变量理论的历史演变。方法文献考证和历史分析。结果英国学派的工作奠定了不变量理论的基础，德国学派发明的符号方法......
住房具有居住和投资两大特性；而住房产业则兼具经济发展与民生保障两大功能。住房产业的健康发展无论对于居民个体还是整个经济社会......
安全协议是解决网络安全问题最有效的手段之一。然而,由于互联网的开放性和协议的并发性,安全协议的设计和分析一直是一个复杂而困......
