全量知识系统“全基因序列”程序构想之1

这段时间使用AI工具来完善系统的设计。这几天的话题一直都是 使设计可能完成的一个起点,就是“全基因序列”。从这个文字表述上就可以看出,它将可能是需求文档、程序概要结构和数据库三部分的融合体。

计划从今天开始 深入这个话题,目标是使其可以直接被翻译成“全量知识系统”的程序架构。

今天新作第一步:“全基因序列”的雏形

“全基因序列”的程序设计

程序雏形

“全基因序列”中,“基因”的本质是联结collection。

做法是:  对给出的一个假想联结,先倒推再正推。

倒推是一个从简单到复杂的推理过程,正推是一个用推出来的复杂联结来证明开始提出的假想联结是存在的(即,可能实现和可能形式化的)。

最初给出的假想就是:

全量知识是一个可序列化的基因序列;基因表示知识中不可再分的最小知识实体。

基因 的每一种可能组合 ,称为 基因片段;

基因序列是由多个基因片段有序联结而成的。

基因序列是对构成全量知识系统三种形式的呈现中的表达内容的一个逻辑描述。也就是说三种呈现形式是基因序列的主词subject。基因序列则是它的体body。

三种呈现形式就是:用自然语言表达的需求设计(称为“需求”)、用程序语言表示的程序概要设计(称为“程序”),需要用数据库(称为“”)存储的三样东西:变量varible、参数parameter和 值value。它们分别表示:1) 表明一个可变化的任何东西anything2)代表这个可变化的东西的一个“指称词referent。3)这个指称名词在“程序”或“需求”文件中的分别适用的 表达规则。

剩下还需要 给出的,就是基因序列在其三个主体中各自的确定用法。

--补充1  变量varible、参数parameter和 值value的细节

1) 表明一个可变化的任何东西anything它是一个名词。一个名词表示一个语法标记marker。它在程序中是一个集合类,系统中所有用作语法标记的 集合元素,使用一个顶级元素“Element”表示,其下二分为 “Object”和“Thing”分别表示了系统中“知识”的两种存在方式— instance 或substance。 前者表示一个实例,后者代表一个实物。

2)代表这个可变化的东西的一个“指称词referent。一个指称词是用三个形容词表示的语义标记 “signs”Signs 在程序中表示为一个SIGN枚举类{symbol,index,icon},其中每一个枚举文字都是一个复数名词。复数名词在系统中是作为概念图的图式扩展出现的。它们分别给出了 全量知识系统中知识元数据仓库(就是前面的简称“库”)知识交换的标准模板中的三种不同模式(宏、域domain和微)的“Usage”

3)这个指称名词在“程序”和“需求”文件中的分别适用的 表达规则。(一个λ表达式规则

---增加1基因序列在其三个主体中各自的确定用法。

--------待续------------

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/752295.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Everything:文件查找工具,一搜即得

名人说:东边日出西边雨,道是无晴却有晴。——刘禹锡 创作者:Code_流苏(CSDN)(一个喜欢古诗词和编程的Coder😊) 目录 一、软件介绍①Everything②核心功能③原理二、下载安装①下载②安装三、使用方法①文件搜索②高级搜索③快捷唤起四、总结

用python写网络爬虫:2.urllib库的基本用法

文章目录 urllib库抓取网页data参数timeout参数更灵活地配置参数登录代理Cookies 参考书籍 建议新入门的小伙伴先看我同一专栏的文章:用python写网络爬虫:1.基础知识 urllib库 urllib是python中一个最基础的HTTP库,一般是内置的,…

spotbugs不兼容IDEA2023.2

运行时出现报错,之后spotBugs就是灰色的了 spotbugs java.lang.LinkageError: loader constraint violation: when resolving method org.slf4j.ILoggerFactory org.slf4j.impl.StaticLoggerBinder.getLoggerFactory() the class loader com.intellij.ide.plugins.…

2024年 前端JavaScript Web APIs 第三天 笔记

3.1-表单全选反选案例 <!DOCTYPE html><html><head lang"en"><meta charset"UTF-8"><title></title><style>* {margin: 0;padding: 0;}table {border-collapse: collapse;border-spacing: 0;border: 1px solid …

网络安全实训Day5

写在前面 昨天忘更新了......讲的内容不多&#xff0c;就一个NAT。 之前记的NAT的内容&#xff1a;blog.csdn.net/Yisitelz/article/details/131840119 网络安全实训-网络工程 NAT 公网地址与私网地址 公网地址 可以在互联网上被寻址&#xff0c;由运营商统一分配全球唯一的I…

在 Windows 上利用Qwen大模型搭建一个 ChatGPT 式的问答小助手

本文首发于公众号&#xff1a;Hunter后端 原文链接&#xff1a;在 Windows 上利用Qwen大模型搭建一个 ChatGPT 式的问答小助手 最近 ChatGPT 式的聊天机器人比较火&#xff0c;可以提供各种问答功能&#xff0c;阿里最近推出了 Qwen1.5 系列的大模型&#xff0c;提供了各个参数…

在线BLOG网|基于springboot框架+ Mysql+Java+JSP技术的在线BLOG网设计与实现(可运行源码+数据库+设计文档)

推荐阅读100套最新项目 最新ssmjava项目文档视频演示可运行源码分享 最新jspjava项目文档视频演示可运行源码分享 最新Spring Boot项目文档视频演示可运行源码分享 目录 前台功能效果图 管理员功能登录前台功能效果图 系统功能设计 数据库E-R图设计 lunwen参考 摘要 研究…

【C#算法实现】可见的山峰对数量

文章目录 前言一、题目要求二、算法设计及代码实现2.1 算法思想2.2 代码实现 前言 本文是【程序员代码面试指南&#xff08;第二版&#xff09;学习笔记】C#版算法实现系列之一&#xff0c;用C#实现了《程序员代码面试指南》&#xff08;第二版&#xff09;栈和队列中的可见的…

OpenCV-Java 开发简介

返回目录&#xff1a;OpenCV系列文章目录&#xff08;持续更新中......&#xff09; 上一篇&#xff1a; 如何在“Microsoft Visual Studio”中使用OpenCV编译应用程序 下一篇&#xff1a;暂无 ​ 警告&#xff1a; 本教程可能包含过时的信息。 从 OpenCV 2.4.4 开始&…

代码随想录Day48:买卖股票的最佳时机、买卖股票的最佳时机II

买卖股票的最佳时机 class Solution { public:/*dp[i][0]第i天持有股票所得的最大现金&#xff1b;dp[i][1]第i天不持有股票所得的最大现金&#xff1b;dp[i][0] max(dp[i-1][0], - prices[i]);dp[i][1] max(dp[i-1][1], dp[i-1][0] prices[i]);*/int maxProfit(vector<…

VB.NET高级面试题:什么是 VB.NET?与 Visual Basic 6.0 相比有哪些主要区别?

什么是 VB.NET&#xff1f;与 Visual Basic 6.0 相比有哪些主要区别&#xff1f; VB.NET是一种面向对象的编程语言&#xff0c;是微软公司推出的.NET平台上的一种编程语言&#xff0c;用于构建Windows应用程序、Web应用程序和Web服务等。它是Visual Basic的后续版本&#xff0…

面试算法-36-无重复字符的最长子串

题目 给定一个字符串 s &#xff0c;请你找出其中不含有重复字符的 最长 子串 的长度。 示例 1: 输入: s “abcabcbb” 输出: 3 解释: 因为无重复字符的最长子串是 “abc”&#xff0c;所以其长度为 3。 解 class Solution {public int lengthOfLongestSubstring(String …

java集合框架——Map集合概述

前言&#xff1a; 之前接触了单列合集&#xff0c;现在又接触了双列合集。整理下心得&#xff0c;打好基础&#xff0c;daydayup&#xff01;&#xff01; Map集合 Map集合称为双列集合&#xff0c;也被称为“键值对集合”。格式&#xff1a;{key1value1,key2value2...}&#…

【GPT-SOVITS-01】源码梳理

说明&#xff1a;该系列文章从本人知乎账号迁入&#xff0c;主要原因是知乎图片附件过于模糊。 知乎专栏地址&#xff1a; 语音生成专栏 系列文章地址&#xff1a; 【GPT-SOVITS-01】源码梳理 【GPT-SOVITS-02】GPT模块解析 【GPT-SOVITS-03】SOVITS 模块-生成模型解析 【G…

jwt以及加密完善博客系统

目录 一、背景 二、传统登陆功能&强制登陆功能 1、传统的实现方式 2、session存在的问题 三、jwt--令牌技术 1、实现过程 2、令牌内容 3、生成令牌 4、检验令牌 四、JWT登陆功能&强制登陆功能 1、JWT实现登陆功能 2、强制登陆功能 3、运行效果 五、加密/加…

论文阅读——SpectralGPT

SpectralGPT: Spectral Foundation Model SpectralGPT的通用RS基础模型&#xff0c;该模型专门用于使用新型3D生成预训练Transformer&#xff08;GPT&#xff09;处理光谱RS图像。 重建损失由两个部分组成&#xff1a;令牌到令牌和频谱到频谱 下游任务&#xff1a;

二叉树遍历144、94、145

前序遍历_迭代法 public List<Integer> preorderTraversal(TreeNode root){List<Integer> result new ArrayList<>();if(root null) return result;Deque<TreeNode> stack new ArrayDeque();stack.push(root);while(!stack.isEmpty()){TreeNode no…

[数据集][目标检测]铝片表面工业缺陷检测数据集VOC+YOLO格式400张4类别

数据集格式&#xff1a;Pascal VOC格式YOLO格式(不包含分割路径的txt文件&#xff0c;仅仅包含jpg图片以及对应的VOC格式xml文件和yolo格式txt文件) 图片数量(jpg文件个数)&#xff1a;400 标注数量(xml文件个数)&#xff1a;400 标注数量(txt文件个数)&#xff1a;400 标注类别…

Coursera上Golang专项课程2:Functions, Methods, and Interfaces in Go 学习笔记

Functions, Methods, and Interfaces in Go Course Certificate 本文是学习 Functions, Methods, and Interfaces in Go 这门课的学习笔记&#xff0c;如有侵权&#xff0c;请联系删除。 文章目录 Functions, Methods, and Interfaces in GoMODULE 1: FUNCTIONS AND ORGANIZ…

计算机等级考试:信息安全技术 知识点十二

1、在SQL注入程序中&#xff0c;入侵者通常将未授权的数据库语句插入或注入有洞的SQL数据信道中。通常情况下&#xff0c;攻击所针对的数据信道包括存储过程和Web应用程序输入参数。然后这些注入的语句被传递到数据库中并在数据库中热行。使用SQL注入&#xff0c;攻击者可以不受…