形式化方法

形式化方法技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

形式化方法 热门资料

查看全部 500 份 →

基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构

2024-02-28 6 形式化方法

算符优先 根据形式化算法，编制程序实现一个算符优先分析器，能对常见的算术表达式语句进行分析。 要求实现以下功能： 1) 组织算术表达式的输入； 2) 组织算符优先关系表或者优先函数的输入； 3) 若输入的符号串是一个算术表达式语句，...

2015-10-02 172 形式化方法

针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议

2023-12-22 1 形式化方法