形式主义 周报 形式 主义
速通 形式语言与自动机
有啥要学的？ DFA/NFA 的记号：\((Q,\Sigma,\delta,q_0,F)\)。 NFA 到 DFA：子集构造（到 \(2^n\) 级别的构造：所有最后第 \(n\) 位为 \(1\) 的 01 串）。 \(\varepsilon-\)NFA 到 DFA：类似地进行子集构造，每次转移时 ......
在日语中，动词有三种基本形式
在日语中，动词有三种基本形式：基本形、终止形和连体形。这些形式也称为“辞書形”、“終止形”和“連体形”。它们分别表示不同的语法功能和意义。https://zhuanlan.zhihu.com/p/33276872 1. 基本形（辞書形）：基本形是动词的原形，通常用于辞典中。它表示动词的一般意义，没有 ......
WPF的DataGrid控件DataGridComboBoxColumn三种binding形式
下面代码binding没办法实现 // View中代码 <DataGridComboBoxColumn x:Name="comboBoxDev" Header="类型" ItemsSource="{Binding DeviceType}" DisplayMemberPath="{Binding DN ......
输入一个整数，将这个整数以字符串的形式逆序输出 程序不考虑负数的情况，若数字含有0，则逆序形式也含有0，如输入为100，则输出为001
描述 输入一个整数，将这个整数以字符串的形式逆序输出 程序不考虑负数的情况，若数字含有0，则逆序形式也含有0，如输入为100，则输出为001 数据范围： 0 \le n \le 2^{30}-1 \0≤n≤2 30 −1 输入描述： 输入一个int整数 输出描述： 将这个整数以字符串的形式逆序输出 ......
ABAP——内表转xml文件以Excel形式发送邮件
转载：https://www.cnblogs.com/dy-debug/p/13920667.html 之前做的比较简单的邮件发送Excel程序无法更改单元格格式，比如遇到数字栏位内容较长，则内容显示如下 从 Office2007开始, 当我们新建一个word、excel等文档时，后者遵循了一个开源 ......
余弦值(正弦值)连乘形式
前言 给定余弦值(正弦值)连乘形式求值，本质属于三角函数中的给角求值类问题，这类题目的特点比较明显：①余弦值连乘形式；②给定的角一般都不是特殊角，但相互成倍数关系；③分母为\(1\)，给分子分母同时乘以最小角的 \(2\) 倍正弦[比如例 \(1\) 的 \(2\sin\cfrac{\pi}{17} ......
（转）马斯洛的人本主义哲学
研究发现，自我实现者无一例外的都献身于一项身外的事业，献身于自身以外的某种东西，他们专心致志地从事某项工作、某项他们非常珍视的事业，他们从事于命运以某种方式安排他们去做的事，他们做这些事也喜欢这些事，(他们也喜欢做这些事时的自己)。因而工作与娱乐的分歧在他们身上也就消失了，他们往往能和他们的工作打成 ......
湘潭大学马克思主义基本原理错题集（自留）
湘潭大学马克思主义基本原理错题集（自留） 一、单选题（147道） 二、多选题（112道） 三、填空题（41道） 四、判断题（78道） ......
2024年，苟住求活，才是长期主义
新年第一篇文章， 不聊技术，聊聊当下的大环境，以及技术同学如何职场求生。 原谅我用求生这个词，但真实的情况，比我们想象和感受到的还要严峻。说一句不太中听的话，很多人会在这一波经济下行和裁员失业浪潮下彻底被淘汰掉，成为时代奔涌向前趋势下，沉入河底的泥沙，再难以出头。 可能有人会说我在危言耸听，这个不重 ......
二进制简写形式
1、计算机使用的是二进制 计算机中存储的任何文件，接收的任何指令都是0和1组成的 不是说计算机中存储的任何文件，接收的任何指令都是0和1组成的吗？那什么会有2 3 4 5 6 7 8 9 A B C D E F的符号 这里先用二进制来书写 0000-1111 0000->0001->0010->00 ......
KubeSphere 社区双周报 ｜ 2023.12.21-2024.01.04
KubeSphere 社区双周报主要整理展示新增的贡献者名单和证书、新增的讲师证书以及两周内提交过 commit 的贡献者，并对近期重要的 PR 进行解析，同时还包含了线上/线下活动和布道推广等一系列社区动态。 本次双周报涵盖时间为：2023.12.21-2024.01.04。 贡献者名单 新晋 K ......
设置VSCode左边文档树文件夹不以紧凑形式呈现文件夹
一个文件夹只有一个子文件夹时会出现如下情况： 对于笔者来说并不习惯 解决办法 打开【设置】=》【功能】=》【资源管理器】=》【Compact Folders】 ......
周报_第十九周
完成内容 1.在评估部分做了相应的修改 2.将服务器上的代码搬运到了工作站上，因为工作站是windows系统并且是裸机，整个安装到成功运行也花费了大概两天的时间。 3.之前加的GMM模块对于长期的预测，效果有提升，但是短期效果跟原模型差不多，还在看最近的论文，有无对于时序关系学习的比较好的网络结构。 ......
形式主语+强调句型
形式主语 ti + be ……+ that…… it + be ……+ to…… 先翻译 that/to后面的句子 that 后面是完整的从句 是 名词从句做主语 逻辑主语是完整句子用 that to 后面不是完整句子 to do 是不定式作主语 逻辑主语是动词用 to it was pretty ......
第三十四周_周报
学习时间：12.25-12.31 一、完成内容 学习方面： 1.跟苏老师沟通，修改了评估部分的代码 2.将代码从服务器搬到了实验室的工作站上，配置了相关环境。 3.准备期末考试。 二、下周计划 1.准备期末考试。 2.修改之前加的时序差分的代码 3.加上形变卷积。 ......
自动查询12306余票，结果以txt形式放到nginx网站目录下
1 #!/bin/bash 2 3 # yum install glibc-common jq 4 5 6 date=2024-01-01 7 from=BJP 8 to=HBB 9 10 echo -en "$date from $from to $to \n查询时间：$(date)\n\n" > ......
NDK-以十六进制字符串的形式打印char[]数组到logcat
NDK-以十六进制字符串的形式打印char[]数组到logcat 1. 在Java中打印 public static String convertByteArr2String(byte[] bArr) { StringBuilder builder = new StringBuilder(); fo ......
4、zabbix 调用API 发送邮件，告警周报统计
#coding=utf-8 import requests,json,codecs,datetime,time,pandas from email import encoders from email.header import Header from email.mime.text import ......
Shell脚本实现SFTP传输文件，通过密码形式
读取SFTP连接信息cat 读取文件内容grep server : 查找文件内容中包含server字符的，行内容awk -F ‘=’ :实现字符串分割，分割字符’‘=’${print $2}: 其中$2 表示切割后数组中第几值base -d :解码base64字符串，转为可识别字符串 #sftp配置 ......
一名普通程序员的正确理财方式:建立思维模型，选中好公司，坚持长期主义
记得在有了第一次的公司股票之后，通过公司开通了美股和港股的银行账户，我当时就嗨起来了，因为大陆人民想直接开通香港或者海外的一些银行卡是非常麻烦的，要不就是亲自去国外，要不就是有雄厚的资金证明。因此当开通了这个银行卡后，我觉得自己可牛逼了，毕竟我已经超过了中国至少十几亿老百姓，能够拥有国外的账户了。 ......
《安富莱嵌入式周报》第329期：圣诞前夕，各种软件井喷式更新，开源600Wh的UPS低压电源，各种插件类型介绍，ADI推出的六位半电压测量模块，手势音频调节
周报汇总地址：http://www.armbbs.cn/forum.php?mod=forumdisplay&fid=12&filter=typeid&typeid=104 圣诞前夕，各种软件井喷式发布新版本 视频版： https://www.bilibili.com/video/BV19Q4y1u ......
第三十三周_周报
学习时间：12.18-12.24 一、完成内容 学习方面： 把DCT放到GMM提取完信息之后，然后在全局和局部信息融合时，使用交叉注意力机制，训练出来得到的结果在长时间预测上面有了一定的提升。 【倒数第二行是我的代码跑出来的结果，倒数第一行是原模型】 项目方面： 根据需求，加了一个积分榜，根据测试的 ......
数据分析涉及的标准库及导入形式
import pandas as pd import numpy as np import matplotlib.pyplot as plt import datetime from dateutil.parser import parse import seaborn as sns %matplo ......
obsidian dataview写周报：统计一周内的文件
使用场景
工作中经常每周要将一周的工作汇总成周报。汇报内容会包括任务的开始结束时间和进展情况。obsidian dataview可以按照时间条件将库里的文件统计出来形成表格，并且可以自定义每一栏的标题。 ......
关于kkfileview文件流形式、本地测试html
<html> <input type="text" id = "url" > <input type="button" value="转换"> <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/js-base64@3.6 ......
每天日报，每周周报的处理录入平台
需求背景/使用场景介使用场景介绍: 1.新闻处理平台相似新闻弹窗改造。 2.前台校验记录存表，用于后续分析。 3.新规划业务新建校验表单和字段，提升质量。 4.新闻舆情消费逻辑改造优化，提升消费速度和质量。 5.新闻处理平台，上传模块以及总控模块适配redis集群，以及动态前缀； 6.用户模块依赖升 ......
常见名词单复数形式
（一）number of （1）a number of 许多的，大量的 复数形式 不用三单 （2）the number of …的数量 什么什么的数量 数量属于三单 （二）quantity of （1）quantities of 大量的…… （2）a quantity of 1.of 后面跟不可数名 ......
周报_第十七周
完成内容 在原位置直接加上GMM模块的效果并不好，然后进行以下尝试： 在中间使用交叉注意力进行信息补充。 加上残差连接。 替换使用的均值模板...，但是效果还是不好 目前推测原因： 1.可能输入GMM的数据是经过DCT压缩了的数据，可能得到的数据跟现实的相差比较大，进而导致了效果不好。 2.原来在做 ......
【反汇编3】基本数据类型的表现形式
参考书籍，《C++反汇编与逆向分析技术揭秘》。 这次主要研究各种数据在计算机里怎么存的，又要涉及补码、科学计数法等基础内容。这些课程计算机专业的都会学，但作为程序员未必有直观的体验，比如java或python程序员，他们不用自己管理内存，也就根本不会接触到这类内容，例如int i = -1; 对于他 ......
Databend 开源周报第 124 期
Databend 是一款现代云数仓。专为弹性和高效设计，为您的大规模分析需求保驾护航。自由且开源。即刻体验云服务：https://app.databend.cn 。 What's On In Databend 探索 Databend 本周新进展，遇到更贴近你心意的 Databend 。 新增对 De ......