如何管理数据模型与业务模型之间映射？
业务领域有三种数据模型：
1. 概念模型
2. 规范化的核心概念模型
3. 逻辑数据模型
对应于数据库中的模型：
1.物理模型
2. 物理业务数据模型
3. 规范化的业务
2 年 前
使用开源API Logic Server实现业务逻辑模型自动化
如何做。 这些模型是可执行的，使用作为API逻辑服务器一部分的运行时引擎。 基于模型的自动化提供了一个有效的低代码环境，可以显着缩短上市时间，并降低复杂性和需求不匹配带来的风险。可 扩展性 规定
1 年 前
用Java 19实现类似Go并发 - mccue
线程通常很昂贵： 操作系统没有办法准确知道一个线程需要多少堆栈空间，所以它分配的数量大约是一兆字节。 解决这个问题的方法是实现一种机制，即利用有限数量的操作系统线程，并在其之上处理大量的 "逻辑
2 年 前
DebateGPT: 与你辩论的人工智能代理
DebateGPT是一个自主人工智能代理，旨在使用大型语言模型 (LLM) 和语音识别/合成技术参与辩论。
该项目的主要用例是作为参与辩论的个人或团队的辩论对手，特别是在教育或公共演讲
2 天 前
神圣的三位一体
可以从逻辑规则推导出来，假设 Pi 作为公理 。这种形式的蕴涵不能表达隐式！特别是，一个蕴涵是从未显式为真。 （这里用普通语言脑补了蕴涵的定义： 语言学中 presuposition与
7 年 前
当逻辑编程遭遇CQRS时
我们将看到逻辑编程能做的最令人兴奋的事情之一是实现 CQRS 模式。Eve语言将CQRS这个理想的 设计模式 变成了现实。 你知道Eve是一种逻辑编程语言吗？Eve是基于Dedalus
7 年 前
维特根斯坦哲学核心是上下文为王！
不识庐山真面目，但是如果我们能敏感的将理智集中到我们思维的前提假设，而不是随意用逻辑推断结果，下判断，这也是马斯克的第一性原则，去发现自己思维的第一性，我在下判断时，是以什么作为默认前提，正如我们解答
2 年 前
计算机科学哲学（斯坦福大学哲学百科全书）
。 基于谓词逻辑和集合论 它主要用于单个程序模块或简单设备的套件规范。UML具有非常丰富的本体和各种表达机制。例如，它的类语言允许软件模式的规范。通常，架构描述语言用于精确指定软件系统的体系结构
5 年 前
CECTC/dbpack: 用Golang编写的分布式事务中间件
DBPack是一种以AT事务模式实现的DB网格解析，是一种 分布式事务 模型，不侵入业务逻辑，具有高性能。 分布式事务、读写拆分和分片的数据库代理！支持任何语言！它可以部署为 pod 中的
1 年 前
DDD领域建模的函数式实现案例 - kkreuning
，应使用Option类型对缺席进行建模。
具有两个或多个相同类型参数的函数（除非您的函数是 可交换的 ）。
在使用Set或OrderedSet更合适地方使用List
语言原语作为业务逻辑的方法
2 年 前
Codd的ER模型12条规则
4： 基于关系模型的 动态规则 ： 数据库描述以与普通数据相同的方式在逻辑级别表示，以便授权用户可以将相同的关系语言应用于其询问，因为它们适用于常规数据。 规则5： 全面的数据子语言规则
5 年 前
算法和流程图之间的区别
逻辑流程。在本文中，我们将探讨算法和流程图在解决问题中的重要性，并讨论它们如何协同工作以创建有效的解决方案。
[list]
[*]算法用于描述程序的逻辑。它们可以用自然语言、伪代码或编程语言编写
4 个月 前
Kestra：高性能、基于 Java 的编排平台
。
[/list]
Kestra 中的大多数任务都可以作为 使用，但核心库中提供了许多类型的任务，包括支持各种编程语言（例如 Python、Node、Bash）的 ao 脚本任务以及编排打包到
6 个月 前
一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理
数学。希尔伯特称这种完备性。语言需要完备性；
第二个硬性要求是它不能证明是错误的数学陈述。如果我们可以证明1 +1 = 3，那么一切都是徒劳的。希尔伯特称这种为 一致性 。语言需要保持逻辑一致
3 年 前
大模型不只是语言能力，还是对广阔世界的理解
情感或物理。
3、我认为所有这些都指向我们已经有强烈直觉的事情：语言是智能的基本组成部分，至少是人类智能的基本组成部分。我甚至会说它是主要组成部分。
4、这种逻辑跳跃太过分了。LLM 不是
3 周 前