形式化

软件架构的演化和维护

通过形式化和可视化表示，有助于降低演化成本，提高软件演化效率。软件架构演化的主要类型：对象演化：包括AddObject(AO)和DeleteObject(DO)。A

Wlq0415·2025-03-12 08:44

LM_Funny-2-01 递推算法：从数学基础到跨学科应用

目录第一章递推算法的数学本质1.1形式化定义与公理化体系定理1.1(完备性条件)1.2高阶递推的特征分析案例：Gauss同余递推4第二章工程实现优化技术2.1内存压缩的革新方法滚动窗口策略分块存储技术2.2

王旭·wangxu_a·2025-02-27 01:25

【形式化】Coq 中的函数式编程基础（长文）

程序与简单数学对象之间的直接联系，既支持形式化的正确性证明，也有助于对程序行为进行合理的非正式推理。函数式编程“函数式”的另一层含义是，它强调将函数作为一等

老猿讲编程·2025-02-26 08:45

如何对比软件需求做的是否合格？

验证方法包括‌：‌形式化描述方法‌：当需求分析的结果是用形

workflower·2025-02-22 01:26

机器学习(一) 本文(3万字) | 机器学习概述 |

点击查看文章目录1.统计学习(机器学习）1.1特点1.2对象1.3目的1.4方法1.5步骤2.基本分类2.1监督学习2.1.1输入空间、特征空间和输出空间2.1.2概率分布2.1.3假设空间2.1.4问题的形式化

小酒馆燃着灯·2025-02-21 08:05

编程语言

编程语言是一种用于编写计算机程序的形式化语言，它定义了一套规则和语法，让开发者能够指示计算机执行特定任务。编程语言

難釋懷·2025-02-21 02:27

信息系统项目管理师2025年考试关键知识点梳理-第5章信息系统工程-软件工程

1、软件工程软件工程由方法、工具和过程三个部分组成；（1）架构设计软件架构研究的主要内容涉及软件架构描述、软件架构风格、软件架构评估和软件架构的形式化方法等。

℃-柠檬·2025-02-19 11:57

关于公司架构管控的思考

假想背景：现状是，各子系统的新建及重大迭代都会形式化地走架构审批流程，但应用架构是否设计以及是否合理，信息技术部门不能掌握。

weixin_34416754·2025-02-03 02:19

为AI聊天工具添加一个知识系统之30 概念整体运营平台：中间架构层的broker service的API模型

该平台对内通过明确交通路线上的三种“端”（end/stop/start）的一般术语框架作为程序的形式化规则起点，并全过程指导最终朝向形式化的每一个步骤的设计、实现和部署（自动化程度不同：人工，半自动化，

一水鉴天·2025-02-02 07:57

智能工厂的设计软件应用场景的一个例子：为AI聊天工具添加一个知识系统之12 方案再探之3：特定于领域的模板之2 首次尝试和遗留问题解决

通过Class(),Type()和Method()的声明来确保结构化最终能形式化（终结符号），以及形式化最初能结构化（初始断言）。在文档中相关的描述：两种描述文件下面

一水鉴天·2025-01-28 08:22

认知的形式化：数学是建立在明确的公设定理体系之上的高级语言形态

认知形式化，数学语言，公设理体系，高级语言，人工智能，逻辑推理，算法设计1.背景介绍在当今数据爆炸和人工智能飞速发展的时代，如何有效地理解和处理信息成为了一个至关重要的课题。

AI架构设计之禅·2025-01-24 02:35

lisp不是函授型语言_LISP语言

LISP语言的形式化程度高，表达力强，适合于描述各种知识和编写问题求解的程序，因此一直是用来研究人工智能的一种基本语言。自然语言中词可以认为是能单独用来构成句子的最小单元，由词可以构成词组，

sunlee0520·2025-01-23 09:02

【ChatGPT】实用 Prompt 指令大全 —— 一文教你如何更好地挖掘 GPT 的价值

目录ChatGPT实用Prompt指令大全——一文教你如何更好地挖掘GPT的价值1.ChatGPT简介2.如何构建有效的Prompt指令3.形式化问题4.准确化任务需求5.别样表达6.提供上下文信息7.

AI天才研究院·2025-01-22 20:47

为AI聊天工具添加一个知识系统之33 通用项目文档模板：语言无关/实现无关/符号无关的纯粹的符号学原型

本文要点要点提取本项目文档的三个部分（Part1公理化&个性化，Part2形式化&结构化，Part3自动化&智能化）应该给出三种限界上下文--分别确定了语言自由交流用户与访问上下文（语言）、敏捷开发上下文

一水鉴天·2025-01-21 07:10

一种时序数据模式演化的跟踪与查询方法

模式演化要求对数据模式进行版本管理，使数据进行模式变更时不产生信息损失，且支持对数据跨模式版本进行读写操作.结合流行的时序数据库管理系统，调研总结了各类数据库管理系统对模式演化的支持情况，对时序数据及其模式进行了形式化表述

米朵儿技术屋·2025-01-21 05:21

5.14越简单，越复杂

这让我反思我的简单化为人处世的一些原则，不接受一些自己认为是太形式化或更严重的称为做作的东西。其实社会的规则有时远重要于个人的简单。

张磊沙·2024-09-16 00:50

20240905软考架构-------软考126-130答案解析

A.形式化、可视化表示提高了软件的可构造性B.软件架构设计方案涵盖的整体结构信息、配置信息、约束信息C.架构设计时对系统组件之间的耦合描述

杨诚实·2024-09-10 03:09

蹲马步管理工坊——追过程（精细化管理）

追过程常见的误区（一）来不及时间点到了才去检查，结果导致来不及（二）结果与过程脱节只跟进时间点，不跟进关键细节（三）过程与目标脱节OKR往下分解的时候，战略与策略的不清晰；目标没有通晒，导致没有协同（四）KPI流于形式化即只追

宇思·2024-09-05 09:14

2021-09-11 软件体系结构

软件体系结构研究的主要内容涉及软件体系结构描述、软件体系结构风格、软件体系结构评价和软件体系结构的形式化方法等。软件体系结构是一定形式的结构化元素，即构件的集合，包括处理构件，数据构件和连接构件。

AIOPstack·2024-09-01 06:59

数字电路中卡诺图理解

SOPsumofproducts就是P=ab+bc+abc这种形式化简方法为：1.圈出相邻的1（4个角也可以认为是相邻的）2.化简写出每个圈的最简式子3.将最简式相加举例假设A圈是BD构成，B圈是B’D

Lambor_Ma·2024-08-27 22:14

写作

分作是要有环境的，写作是需要自愿的，写作是要有爱好作为基础的，写作是要有愉快的心情的，写作是要经过思考的，写作不能被逼迫，写作不能坚持，写作不能形式化，写作不能任务化，写作不能仅仅为了凑字数，写作不能被外力所迫

果果丘吉尔·2024-08-26 21:03

今日体检

流水线工程，越来越流于形式化，也可能是这家体检中心不好吧。什么都很简单，随便看看这看看那，老医生器械都不会用。新护士，抽血给抽了一个大包～不想像机器人一样，被别人翻来翻去。

呼吸到他存在·2024-03-04 10:59

我最爱的一本计算机专业入门书 -- Think Python

解决问题（problemsolving）意味着对问题进行形式化，寻求创新型的解决方案，并且清晰、准确地表达解决方案的能力。所以这本书不只适合Python语言的学习，更包括了解决

JeetChan·2024-02-20 16:51

MoonBit新增functional for loop控制流支持

这样的设计将来也容易抽取出来做形式化验证:fninit{fori=0;i=7{break}sum=sum+v}debug(sum)//output：9}2.改进moonnew创建项目的向导现在可以用方向键选择创建

·2024-02-19 18:09

数据库系统 --- 关系模型

一、关系模型的数据结构以及形式化定义1.关系域：一组具有相同数据结构的值的集合。笛卡尔积：域上的一种集合运算。多个集合做笛卡尔积的结果是每个集合取一个元素组合得到的一个新的集合。

顾城猿·2024-02-19 16:53

今日arXiv最热NLP大模型论文：大语言模型为什么始终会产生幻觉

今天介绍的这篇文章很特别，它没有具体讨论缓解幻觉的方法，而是通过对幻觉问题进行明确定义和形式化分析，对幻觉精确讨论与验证实验，最终得出了一个基本结果：即无论模型架构、学习算法、提示技术或训

夕小瑶·2024-02-15 02:56

有感于《教育为谁》

《教育为谁》通俗易懂，作者用散文的笔法谈了自己对教育的一些思考与心得，很多观点非常新颖，但让我印象最深刻的一章便是“德育是一种积极的生活方式”，说实在做了很多年的班主任，也深感我们的德育比较形式化，大多数仅止于我搞过这个活动

青子私语·2024-02-14 02:04

第二章关系代数

本章内容：关系数据结构及形式化定义、关系操作、关系的完整性、关系代数本章主要考点：概念、关系的完整性、■■关系代数关系数据库，关系的完整性，关系代数（70页第6题会考一个类似的）关系模型的组成关系模型由数据结构

闭着眼数星星呀·2024-02-13 16:48

一二三应用开发平台使用手册——系统管理模块整体介绍

此外，有些平台或系统虽然有文档，但文档流于形式化，为了写文档而写文档的产物。这样的文档质量堪忧，常见的问题主要有两个：1.形式化与套路化，把

学海无涯，行者无疆·2024-02-13 09:25

小记常规检查

其实说真的，我们平时工作做的够细够足，所以常规检查时其实不怎么费力，但还是觉得这样的检查太过于形式化，比如说我们目前考的试卷既是常规检查的一部分，又是我明天课堂上要用的内容，两者之间存在冲突，又没法解决

猫吃鱼狗吃肉奥特曼打小怪兽·2024-02-13 06:35

什么是笛卡尔积

形式化地表示为：[A\tim

·2024-02-12 21:25

张瑞鹏随笔

力求避免把目前提倡的“活动”形式化。实际上，科学的课堂活动，首先是实质性

小亮_f6c6·2024-02-12 01:34

从篮球训练思维感悟到的！

首先那本书的开头，抨击了中国篮球训练的弊端，解释了为什么中国难以在国际球坛中出色的原因，本质上并不是身体原因，而是在训练中并没有根据现实情况来做针对性训练，导致了训练形式化，实现和训练不符的情况，然后用马布里的例子

击空留影·2024-02-11 23:12

【访谈】SECBIT郭宇：区块链安全就是要打破中心化的权威治病于未发之时

这家成立于今年3月的区块链安全团队，凭借对形式化验证的深度研究，以及在保障智能合约安全上的成熟运用，仅仅用了半年多时间，便在国内和

安比实验室SECBIT·2024-02-10 07:29

民营企业遇到的挑战

团队动力不足，目标达不成，责权利不明确；⑤企业用人凭感觉，标准不清晰；⑥关键人才难管理，目标驱动不足；⑦薪酬设计没有激励性，“固定+提成”模式已经没有效果；⑧企业数据核算不清晰，分红没有依据；⑨绩效考核形式化

莉尚礼仪·2024-02-10 01:28

【漫薇圆梦】7组|90号|艾米丽《如何制定与实现梦想清单》

可以说这样的梦想清单比较形式化，也没什么意义。【新知】1梦想就是我们要努力的方向，要用肯定的语气来写，不是我想，而是我要。

艾米丽a·2024-02-09 15:58

图神经网络与图表示学习: 从基础概念到前沿技术

目录前言1图的形式化定义和类型1.1图的形式化定义1.2图的类型2图表示学习2.1DeepWalk:融合语义相似性与图结构2.2Node2Vec:灵活调整随机游走策略2.3LINE:一阶与二阶邻接建模2.4NetMF

cooldream2009·2024-02-09 10:34

编辑距离算法【莱文斯坦距离、Levenshtein 算法】

形式化地说，两个单词的莱文斯坦距离是一个单词变成另一个单词要求的最少单个字符编辑数量（如：删除、插入和替换）。莱文斯坦距离也被称做编辑距离，尽管它只是编辑距离的一种，与成对字符串比对紧密相关。

Mir_小熊同学·2024-02-08 11:25

店长的主要职责-人员管理

对员工的各项培训后期要有跟进落实，不能出现有始无终，没有跟进，培训形式化。

DDM王军燕·2024-02-07 14:02

机器学习实战朴素贝叶斯分类器

我们称之为“朴素”，是因为整个形式化的过程只做最原始、最简单的假设。朴素贝叶斯的优点：在数据较少的情

shenny_·2024-02-06 17:04

机器学习、深度学习所需掌握的数学知识全都在这里了！

今天的种种人工智能技术归根到底都建立在数学模型之上，要了解人工智能，首先要掌握必备的数学基础知识，具体来说包括：线性代数：如何将研究对象形式化？微积分：如何深

算法channel·2024-02-06 08:09

2021-03-30

整体感觉活动过于形式化，让孩子去自身体验的太少。不知是否因为没有掌握活动的主动权，还是因为不太喜欢这个游戏，孩子们积极性并不高，比较拘束，放不开。我们组来了6位同学。这一次比上一次进步的地方，男孩

苔花_6ef1·2024-02-06 04:41

Convolutional Neural Networks on Graphs with Fast Localized Spectral Filtering

一种基于谱方法的CNN的形式化表述，基于GSP2、严格的局部化的filters。局部化就是定义了一

怕狗子的福哥·2024-02-06 01:51

孔子所好之礼

首先是出现了几个暴虐的天下共主，比如周幽王和周历王，没有起到作为遵守礼法的榜样，反而带头破坏礼乐，随后天下共主底下的诸侯，一看自己的主子已经不再遵守礼法，自然也就有样学样，开始做一些僭越的恶行，并且将礼乐制度要么舍弃，要么形式化

兰海粟·2024-02-05 14:14

短视频与直播，哪一个更有前景？

互联网的普及，使得媒体更趋于形式化，随之促成了例如短视频、直播等新兴行业的快速发展。在大众传播中，普通民众充当的角色由被动接受者转变为主动传播者。

折扇de久久·2024-02-04 14:54

日记2.11

年都没有感冒，这次是感冒安逸了，之前有个同修和我说，为啥不写反省日记了，我说我改变写法了，每个人思想不一样，所想表达的也不一样，反省不一定都写出来，每天都需要反省，随时反省，圣人一日三省，如果我们反省做成形式化了

岳瑶·2024-02-02 22:28

机器学习---半监督学习（生成式方法）

1.主动学习形式化地看，我们有训练样本集，这l个样本的类别标记（即是否好瓜）已知，称为“有标记”(labeled)样本；此外，还有，这u个样本的类别标记未知（即不知是否好瓜)，称为“未标记”(unlabeled

三月七꧁ ꧂·2024-02-02 06:23

图的 python实现

介绍图(Graph)是一种网状数据结构，其形式化定义如下：Graph=(V,R)V={X|X属于DataObject}R={VR}VR={|P(x,y)^(x,y属于V)}DataObject为一个集合

盗梦者_56f2·2024-02-02 06:54

基于支持向量机SVM的图像多分类，SVM的详细原理

SVM的的学习策略就是间隔最大化，可形式化为

神经网络机器学习智能算法画图绘图·2024-02-01 23:07

（一）知识图谱原理与应用概述上

领域本体的构建：面向特定领域的形式化地对于共享概念体系的明确而详细的说明。知识抽取：从海量的数据中通过信息抽取的方式获取知识。知识融合：通过对多个

韩韩吖吼·2024-02-01 18:23

推荐频道

形式化