形式化

哈希指纹技术详解：从原理到应用

连续13字符重复"检测实现4.1问题分析与思维链4.2算法流程4.3代码实现5.哈希指纹技术的应用场景6.哈希指纹的数学模型6.1哈希函数的形式化定义6.2碰撞概率分析6.3局部敏感哈希(LSH)模型7
AI天才研究院·2025-07-04 20:45

智能合约安全审计平台——以太坊虚拟机安全沙箱

目录以太坊虚拟机安全沙箱——理论、设计与实战1.引言2.理论背景与安全原理2.1以太坊虚拟机（EVM）概述2.2安全沙箱的基本概念2.3安全证明与形式化验证3.系统架构与模块设计3.1模块功能说明3.2
闲人编程·2025-07-01 03:19

Practical TLA+ 项目中的Dekker算法形式化验证

PracticalTLA+项目中的Dekker算法形式化验证practical-tla-plusSourceCodefor'PracticalTLA+'byHillelWayne项目地址:https:/
焦习娜Samantha·2025-06-28 11:53

三生原理形式化证明：如何解决Coq工具仅覆盖部分逻辑链问题？

AI辅助创作：解决Coq工具仅覆盖部分逻辑链的问题，需结合理论扩展、工程优化与协作机制进行系统性改进，具体方案如下：一、‌理论层面：扩展等价判定能力‌‌补充外延式等价关系‌通过扩展归纳构造演算（CIC）理论，在内涵等价判定基础上增加外延式理论（如Presburger代数），增强对自然数类型等复杂结构的等价验证能力，覆盖原有工具无法判定的逻辑分支。‌构建抽象约束框架‌设计通用约束规则，使满足条件的任
葫三生·2025-06-27 08:26

Hoare逻辑与分离逻辑：从程序验证到内存推理的演进

文章目录引言一、Hoare逻辑基础：程序正确性的形式化验证例子：简单赋值语句的Hoare逻辑验证例子：条件语句的Hoare逻辑验证二、分离逻辑：Hoare逻辑在内存管理中的扩展分离逻辑的核心扩展点例子：
老猿讲编程·2025-06-26 09:22

软件架构师常用的软件工具

通过类图、组件图、部署图、时序图等形式化表达，架构师可以向团队清晰传达系统结构和演进路线。
·2025-06-25 23:32

智能合约形式化验证在金融衍生品智能合约风险评估与合规性审查中的应用

复杂逻辑推导98.7%中TLA+并发合约94.2%高FormityERC-20/ERC-72199.2%极高（全文共计2178字，符合格式与内容要求）
i52marketing·2025-06-24 09:36

[论文阅读] 人工智能+软件工程 | 用大语言模型架起软件需求形式化的桥梁

用大语言模型架起软件需求形式化的桥梁：一篇ACM调查草案的深度解读论文信息arXiv:2506.14627ACMSurveyDraftonFormalisingSoftwareRequirementswithLargeLanguageModelsArshadBeg
张较瘦_·2025-06-22 12:08

【入门级-基础知识与编程环境：程序设计语言以及程序编译和运行的基本概念】

程序设计语言是用于编写计算机程序的形式化语言，通过特定语法和语义规则，让开发者能够描述计算机需要执行的操作和逻辑。
papership·2025-06-22 01:56

人工智能之状态空间表示法的简单应用之翻转三枚钱币

是人工智能中最基本的形式化方法，也是讨论为题求解技巧的基础。
第1缕阳光·2025-06-19 17:34

员工反感的不是周报，而是消耗人的形式化

大家好，我是陈哥。有读者给我留言说：“我要求团队每周五上交周报，本意是想要了解团队的工作进程和工作饱和程度，但很明显能感觉出来大家都在敷衍了事。”这话让我挺有感触的，我们在做客户调研时，有客户就希望管理软件具有周报功能。他们说员工的周报要么写成“周一开会、周二测试、周三改Bug”的流水账，要么用“推进中”“协调中”这类模糊词应付，看完根本摸不清工作的真实脉络。其实禅道项目管理软件不需要周报功能，利
·2025-06-16 17:56

C++题解 P6314 1.水浒（CSP J R组模拟赛）

形式化地说，即输入两个大于0的实数a,b（
FHD_WOLF·2025-06-14 06:55

数学融智学基础理论：元子与元组的自动区分证明

数学融智学基础理论之一邹晓辉以下是对融智学理论体系中元子（言）与元组（语）在八大形式体系中自动区分能力的清晰表达：融智学理论：元子与元组的自动区分证明核心理论基于融智学理论体系，通过形式化方法证明：元子
geneculture·2025-06-13 22:02

离散数学篇-关系性质总结

关系性质总结表1.基本关系性质性质名称箭头描述形式化描述复合关系描述函数(Function)“≤1出”∀a∈A,∃≤1b∈B.aRb\foralla\inA,\exists\leq1b\inB.aRb∀
·2025-06-13 19:41

路径=算法=操作：复杂系统行为的统一数学框架

通过整合数学建模、拓扑分析与动力系统理论，证明复杂系统的行为轨迹（路径）、形式化数学描述（算法）及物理/生物实现过程（操作）本质上是统一的。
geneculture·2025-06-13 11:47

simple write-through invalidation protocol 如何满足缓存一致性的形式化定义

文章目录A缓存一致性的形式化定义Bsimplewrite-throughinvalidationprotocol保证了几点simplewrite-throughinvalidationprotocol保证的三个基准点解读
__pop_·2025-06-13 02:38

推荐算法介绍-基础算法

该书系统化讲解了现代推荐系统的演进历程和工程实现，是一本非常优秀的推荐系统入门教程一、推荐系统架构1.1推荐系统介绍概述：获得“用户信息”、“物品信息”、“场景信息”的基础上，推荐系统要处理的问题可以形式化的定义为对于用户
盒子6910·2025-06-12 10:43

NP完全问题---Deepseek作答

以下从定义、证明方法、经典案例、现实意义及前沿研究五个维度进行深度解析：一、形式化定义与概念框架1.基础概念分层复杂度类定义关键特性P所有可在多项式时间内被确定性图灵机求解的决策问题高效可解（如排序
部分分式·2025-06-09 09:11

算法是什么---Deepseek作答

以下从数学本质、工程实现、评价维度和前沿发展四个层面进行专业解析：一、数学本质：可计算性理论的映射形式化定义算法可抽象为函数：(f:Input\rightarrowOutput)其中必须满足：有限性（Finiteness
·2025-06-09 09:41

多执行流系统中的可见性

一句话回答：详细解释：一、程序行为由「可见性」定义，不是物理顺序二、现代架构是乱序执行+缓存层级+写缓冲→物理顺序不可靠三、CacheCoherence与MemoryConsistency的区别和共性四、形式化模型上
__pop_·2025-06-08 20:09

生成对抗网络（GAN）基础原理深度解析：从直观理解到形式化表达

摘要本文详细解析生成对抗网络（GAN）的核心原理，从通俗类比入手，结合印假钞与警察博弈的案例阐述生成器与判别器的对抗机制；通过模型结构示意图，解析噪声采样、样本生成及判别流程；基于公式推导目标函数的数学本质，剖析判别器与生成器的优化逻辑；最后对比GAN目标函数与交叉熵损失的关联差异。本文结合公式推导与概念对比，助力读者建立GAN基础理论体系。关键词：生成对抗网络GAN生成器判别器目标函数交叉熵损失
青柚MATLAB学习·2025-06-04 13:07

LeetCode 131.分割回文串：回溯法与回文子串判定的结合

一、问题本质与解题框架1.1问题形式化定义输入：字符串s（长度≤16）输出：所有可能的将s分割为若干个回文子串的方案示例：输入：s="aab"输出：[["a","a","b"],["aa","b"]]1.2
Musennn·2025-06-02 18:50

解读鸿蒙操作系统在操作系统领域的安全特性

解读鸿蒙操作系统在操作系统领域的安全特性关键词：鸿蒙操作系统、微内核架构、形式化验证、设备认证、数据安全、动态隔离、端云协同安全摘要：本文深度解析鸿蒙操作系统（HarmonyOS）在操作系统安全领域的核心特性
操作系统内核探秘·2025-05-31 01:10

凯恩斯宏观经济学与马歇尔微观经济学的数学建模和形式化表征

凯恩斯宏观经济学与马歇尔微观经济学的数学建模和形式化表征凯恩斯和马歇尔分别从宏观与微观视角构建了经济学的基础理论体系。以下通过数学公式对两者的核心思想进行形式化表征，并结合经典案例阐释其逻辑。
geneculture·2025-05-29 16:05

CNBC专访CertiK联创顾荣辉：从形式化验证到AI赋能，持续拓展Web3.0信任边界

近日，CertiK联合创始人、哥伦比亚大学教授顾荣辉接受全球知名财经媒体CNBC阿拉伯频道专访，围绕形式化验证的行业应用、AI在区块链安全中的角色，以及新兴技术风险等议题，分享了其对Web3.0安全未来的深刻洞察
CertiK·2025-05-27 03:34

【安全性分析】正式安全分析与非正式安全分析

正式安全分析与非正式安全分析第二章【安全性分析】BAN逻辑(BANLogic)文章目录安全性分析-系列文章目录前言一、正式安全分析1.理想化模型（如随机预言机模型）2.标准模型（StandardModel）3.形式化验证
宇宙修理员·2025-05-25 16:55

软件设计师“开发过程模型：瀑布、增量、原型、螺旋、喷泉、基于构件的开发模型、形式化方法模型、统一过程RUP、敏捷、极限”真题考点分析——求三连

1:考点分值占比与趋势分析综合知识分值统计表（75分制）年份考题数量分值分值占比考察重点2018245.33%瀑布模型、喷泉模型2019122.67%螺旋模型2020245.33%喷泉模型、演化模型2021368.00%统一过程、敏捷方法2022245.33%原型模型、基于构件模型2023122.67%瀑布模型与螺旋模型对比2024368.00%喷泉模型、螺旋模型特点案例题分值统计表（75分制）年
软考真题app·2025-05-21 14:06

【杂谈】-DeepSeek-Prover-V2：AI数学推理新突破及深远影响

DeepSeek-Prover-V2：AI数学推理新突破及深远影响尽管DeepSeek-R1在提升AI于非形式化推理方面的能力上表现显著，然而对于AI而言，形式化数学推理依旧是一项极具挑战性的任务。
视觉与物联智能·2025-05-20 00:34

攻击溯源技术体系：从理论架构到工程化实践的深度剖析

一、攻击溯源的理论基石与模型构建1.1形式化理论框架攻击溯源本质上是基于离散数学与图论的演绎推理过程。
玉笥寻珍·2025-05-17 12:41

密码学10-密码学协议动物园

协议：通信协议是为了一个特定目的的数字消息格式与交换规则的形式化描述协议之于通信，如同算法之于计算每个人必须知道并同意服从协议无歧义：每个步骤必须被明确定义且无误解的可能完备性：对每个可能的情况都必须有一个明确的行为密码学协议
Wxiran·2025-05-13 01:59

Lustre/Scade 形式化语义基础 —— KPN (1974)

Lustre/Scade的形式化语义的基础为同步KPN(SynchronousKahnnetworks,ICFP’96)(注1)，同步KPN的思想来源可追溯至Kahn进程网络KPN(1974)。
fdtsaid·2025-05-04 20:19

【形式化验证】NuSMV快速入门

一、模型基本结构NuSMV（Nu-SymbolicModelVerifier）是一种用于形式化验证的工具，其模型以模块化为核心设计理念，通过MODULE关键字来定义系统组件。
老猿讲编程·2025-05-03 01:01

DeepSeek-Prover-V2-671B 简介、下载、体验、微调、数据集：专为数学定理自动证明设计的超大垂直领域语言模型（在线体验地址）

Novita平台直达链接（含邀请码）一、模型简介DeepSeek-Prover-V2-671B是DeepSeek团队于2025年4月30日发布的开源超大垂直领域语言模型，专为在Lean4语言中进行数学定理的形式化证明
猫头虎·2025-05-01 22:36

InternLM2-Math-Plus全面升级，全尺寸最强的开源数学模型

升级后的InternLM2-Math-Plus在预训练和微调数据方面进行了全面的优化，显著提高了其在自然语言推理、代码解题以及形式化数学语言上的性能。
OpenMMLab·2025-05-01 09:07

DeepSeek最新大模型发布-DeepSeek-Prover-V2-671B

2025年4月30日，DeepSeek开源了新模型DeepSeek-Prover-V2-671B，该模型聚焦数学定理证明任务，基于混合专家架构，使用Lean4框架进行形式化推理训练，参数规模达6710亿
AI方案2025·2025-05-01 09:36

二分图 学习笔记

形式化地，定义图G={V,E}，A是G的一个子集。如果对于∀(x,y)∈E，都有（x∈A）∧（y∈S−A）或者（y∈A）∧（x∈S−A）
Clove_unique·2025-04-30 00:01

C++ 数据结构之图：从理论到实践

一、图的基本概念1.1图的定义与组成图（Graph）由顶点（Vertex）和边（Edge）组成，形式化定义为：G=(V,E)顶点集合V：表示实体（如城市、用户）边集合E：表示实体间关系（如道路、社交关系
Run1.·2025-04-26 22:45

【形式化验证基础】活跃属性Liveness Property和安全性质（Safety Property）介绍

文章目录一、LivenessProperty1、概念介绍2、形式化定义二、SafetyProperty1.定义回顾2.核心概念解析3.为什么强调“有限前缀”4.示例说明4.1示例1：交通信号灯系统4.2
老猿讲编程·2025-04-23 11:53

度小满2024春招基础架构研发工程师第1批

形式化地，给出长度为n的序列{ai}，从中挑选出子序列{bi}，满足对所有合法下标i，有b_i>n>>m;cout<<(1+3*n)*3*m*n/2;re
·2025-04-22 10:45

如何避免流程形式化导致的效率低下？

要避免流程形式化导致的效率低下，核心在于：聚焦流程价值、保障执行灵活性、优化流程设计、建立反馈机制、提升执行感知。其中，聚焦流程价值是解决流程“空转”的首要原则。
·2025-04-21 22:32

如何避免流程形式化导致的效率低下？

要避免流程形式化导致的效率低下，核心在于：聚焦流程价值、保障执行灵活性、优化流程设计、建立反馈机制、提升执行感知。其中，聚焦流程价值是解决流程“空转”的首要原则。
·2025-04-21 21:27

Goedel-Prover：专为自动化数学问题的形式证明生成而设计的 LLM，快速解决形式化数学问题

❤️如果你也关注AI的发展现状，且对AI应用开发感兴趣，我会每日分享大模型与AI领域的开源项目和应用，提供运行实例和实用教程，帮助你快速上手AI技术！微信公众号｜搜一搜：蚝油菜花大家好，我是蚝油菜花，今天跟大家分享一下Goedel-Prover这个由普林斯顿大学、清华大学等机构联合推出的开源自动化数学问题的形式证明生成模型。快速阅读Goedel-Prover是一款专注于自动化数学问题的形式证明生成
蚝油菜花·2025-04-20 07:08

【软件工程大系】净室软件工程

核心思想缺陷预防而非检测通过形式化方法（或盒结构规约）分析与建模，在编码前消除逻辑错误，减
Wh0taku·2025-04-19 14:44

深入理解安全内核以及引用监视器

(例如操作系统内核的安全模块、可信计算芯片）1.强制实施访问控制策略（如主体对客体的访问权限）2.提供安全审计、内存隔离、进程保护等底层机制3.确保自身不可被篡改（通过形式化验证、最小化设计）引用监视器抽象的逻辑概念
1nf0rmati0n·2025-04-18 13:32

智能合约安全审计平台——形式化验证模型构建

目录形式化验证模型构建——理论与实践1.引言2.理论背景2.1Hoare逻辑2.2状态转换系统2.3安全证明及密码学考虑3.模型构建及验证流程3.1需求分析与规范定义3.2建立数学模型3.3模型验证3.4
闲人编程·2025-04-14 14:44

[巴黎高师课程] 同步反应式系统(2024-2025)

该课程的主题覆盖了同步语言的语义与逻辑基础、同步语言的编译技术、面向同步语言的模型检测形式化验证等。
fdtsaid·2025-04-09 21:20

对抗样本检测实战：生成式AI内容审核的伦理边界控制与最新方法解析

一、技术原理与数学模型1.1对抗样本生成机制生成式AI的对抗样本攻击可形式化为优化问题：max⁡δL(fθ(x+δ),ytarget)s.t.
燃灯工作室·2025-04-03 13:01

面向对象设计模式的基本概念、分类、作用方式、优缺点——系统地学习面向对象设计模式，提升软件质量

面向对象设计模式是一种抽象的、形式化的解
AI天才研究院·2025-03-28 11:26

智能工厂的设计软件 应用场景的一个例子：为AI聊天工具添加一个知识系统 之15 方案再探 之6 搭建开发环境

联系上，以此来达到附件项目文档中part2（结构化&形式化）的结构化目的，并作为形式化的基础，同时理解Part1（人性化&去中心化）的括号中的含义以及它
一水鉴天·2025-03-27 04:09

序列.....

形式化地说，你需要确定两个长度为KKK的序列{ci},{di}\{c_i\},\{
Lyh1gguyg·2025-03-26 12:45
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他