programming language choose first
SV Interface and Program 2
Clocking：激励的时许 对于testbench,input（DUT输入）要延迟进行采样，就是在时钟上升沿之前1个时间单位采样 output（输入给DUT) - 没有延时时间 input向时钟上升沿之前多少时间单位进行采样，output向时钟上升沿之后多少个时间输出 ......
SV Interface and Program
内容 验证平台与待测设计的连接 VTB driver和dut之间的连线通过tb中声明wire连线 通过例化dut的方式进行连接 A module的input连接到B module的output SVTB SV：*端口连接 SV：name端口连接 Verilog传统连接方式的缺点 interface ......
The Main Idea of Basic Dynamic Programming Side A
Front 对 zjk 的 Basic Dynamic Programming Side A 的补充、总结以及 Code。 Side A: DP 状态设计。 常见的 DP 状态 树 树上 DP 常见的状态是考虑子树内的情况，然后通过子树的状态向上合并。复杂度一般是 \(O(n^3)\) ，一些特殊的 ......
【论文阅读笔记】【多模态-Referring & Grounding】 Grounded Language-Image Pre-training
GLIP CVPR 2022 (Oral, Best Paper Finalist) 读论文思考的问题 论文试图解决什么问题？写作背景是什么？ 问题： 如何将视觉-语言预训练技术应用在以目标检测为代表的 fine-grained image understanding 上面？ 如何在增加训练数据的同 ......
Windows Programing 快捷键
Windows Programing 快捷键 1 Ctrl+← 左移一个单词 2 Ctrl+→ 右移一个单词 3 Ctrl+↑ 上移一段 4 Ctrl+↓ 下移一段 5 End 移至行尾 6 Home 移至行首 7 PageUp 上移一屏 8 PageDown 下移一屏 9 Ctrl+PageDow ......
论文阅读：2023_Semantic Hearing: Programming Acoustic Scenes with Binaural Hearables
论文地址：语义听觉:用双耳可听器编程声学场景 论文代码：https://semantichearing.cs.washington.edu/ 引用格式：Veluri B, Itani M, Chan J, et al. Semantic Hearing: Programming Acoustic S ......
《REBEL Relation Extraction By End-to-end Language generation》阅读笔记
论文来源 代码地址 相关视频（YouTube） 相关概念： 1.What is natural language understanding (NLU)? Natural language understanding (NLU) is a branch of artificial intellige ......
GLIP:Grounded Language-Image Pre-training
Grounded Language-Image Pre-training 目录Grounded Language-Image Pre-training简介摘要Introduction统一的损失函数方法总结参考资料 GLIPv1: Grounded Language-Image Pre-trainin ......
The 2023 ICPC Asia Hong Kong Regional Programming Contest (AEFHKL)
在考试周打比赛就像在刀尖上跳舞，在赌桌上下筹码 我只希望专业课它别挂 不然搞钱吃饭就麻烦了 A.TreeScript 学弟写的，阅读理解题，读对了就是简单树dp #include<bits/stdc++.h> using namespace std; const int N=2e5; int n,f ......
[AGC061C] First Come First Serve 题解
题目链接 点击打开链接 题目解法 易知总情况数为 \(2^n\) 考虑重复计算的情况为：存在 \([l_i,r_i]\)，满足没有 \([l_j,r_j](i\neq j)\) 选在此区间中 可以得到一个容斥的 \(dp\) 做法 这个转移虽然感觉很显然，但卡了我一个晚上，一直调不出 令 \(f_i ......
The 13th Shandong ICPC Provincial Collegiate Programming Contest
A. Orders 按照订单的结束时间排序，然后遍历一遍即可 #include<bits/stdc++.h> using namespace std; #define int long long using pii = pair<int, int>; using i32 = int32_t; voi ......
国际化-语言代码表-Language Codes
af Afrikaans 南非语 af-ZA Afrikaans (South Africa) 南非语 af Afrikaans 南非语 af-ZA Afrikaans (South Africa) 南非语 ar Arabic 阿拉伯语 ar-AE Arabic (U.A.E.) 阿拉伯语(阿联酋) ......
The 13th Shandong ICPC Provincial Collegiate Programming Contest
Preface 昨天VP的那场没有字符串还没有原形毕露，今天遇到一个后期字符串直接和祁神大眼瞪小眼了 最后一个半小时祁神狂冲F成功写出两个version的假算法，而我已经滚去补之前欠下的题目了 赛后被徐神狠狠拷打了，评价为徐神是我们的红太阳，没有他我们都不能活 A. Orders 签到，按截止时间处 ......
Daiwa Securities Co. Ltd. Programming Contest 2023（AtCoder Beginner Contest 331）
Daiwa Securities Co. Ltd. Programming Contest 2023（AtCoder Beginner Contest 331） A - Tomorrow int main() { IOS; for (_ = 1; _; --_) { int M, D, y, m, ......
什么是 SAP XML annotation language server
来自 SAP 官方的解释： The XML annotation language server accelerates how you work with annotations in the code editor. Context-sensitive code completion displ ......
ALGO ARTIS Programming Contest 2023 Autumn（AtCoder Regular Contest 168）
Preface 先补一下这场ARC的博客，因为在来回合肥的路上一直在想这场的CD，所以有空后就先把这场补了 A - <Inversion> 不难发现对于一段连续的<，设其长度为\(x\)，则它最少要贡献\(\frac{x(x+1)}{2}\)的答案 而我们很容易构造一种方案刚好满足这个下界，只要让每 ......
The 2021 Sichuan Provincial Collegiate Programming Contest
Preface 下下周还要去打重庆市赛，最近就找些省赛来练练手 不得不说省赛的签到题是真的多，人均10+的过题看起来还是很恐怖的 这场虽然因为徐神缺席，而且前面的题目都让祁神来写导致罚时略高，但无所谓反正最后也摸到了11题（主要是没有字符串） A. Chuanpai 某不知题意的签到 #includ ......
Leveraging Pre-trained Large Language Models to Construct and UtilizeWorld Models for Model-based Task Planning
0 Abstract 将LLM直接作为planner的方法实用性不足的几个原因：plan的正确率有限，严重依赖于feedback（与sim或者真实环境的交互），利用人类feedback的效率低下。 作者在两个IPC域和一个Household域证实了GPT-4可以用来生成高质量的PDDL模型（执行超过 ......
Towards Reasoning in Large Language Models A Survey
Reasoning 定义 推理：以逻辑和系统的方式进行思考，利用证据和过往经验来得出结论或作出抉择。 演绎推理Deductive Reasoning 结论来源于前提假设的阳性 前提假设：哺乳动物都有肾脏 前提假设：鲸是哺乳动物 结论：鲸有肾脏 归纳推理Inductive Reasoning 结论来源 ......
[KEYENCE Programming Contest 2023 Autumn（AtCoder Beginner Contest 325） E
KEYENCE Programming Contest 2023 Autumn（AtCoder Beginner Contest 325） - AtCoder E E - Our clients, please wait a moment (atcoder.jp)(分层图最短路) 因为只能从坐公司汽 ......
docker故障：driver failed programming external connectivity on endpoint
故障现象 Error response from daemon: driver failed programming external connectivity on endpoint jenkins (ffdc7c9cda72c575d6b045574d1432b256603a3d986a05da ......
Programming Abstractions in C阅读笔记：p202-p234
《Programming Abstractions in C》学习第65天，p202-p234总结。 一、技术总结 完成第五章学习，第五章介绍递归在实际问题中的进一步应用，例如汉诺塔问题，数学中的排列问题，更有难度。使用递归解决问题时有时候需要借助wrapper function。 二、英语总结 1 ......
Confidence First: Yale University's ideal of mind
“客观规律”、“科学”与“真理”无处不在， 只待“有缘人”. 艺术化形象化的通俗表达: “道物法术器具”遇到“有缘人”会通灵;-) Yale University's ideal of mind: First, Unconditional self-confidence, even when it' ......
Programming Abstractions in C阅读笔记：p197-p201
《Programming Abstractions in C》学习第64天，p196-p201总结。 一、技术总结 很难，唯有继续往下看才能让其变容易。 二、英语总结 1.psychologically是什么意思？ 答： (1))psychology > psychological > psycho ......
yarn : 无法加载文件 C:\Program Files\nodejs\yarn.ps1,因为在此系统上禁止运行
问题分析： 这个错误提示说明在电脑系统上禁止运行 PowerShell 脚本，因此导致无法加载 Yarn 的安装脚本。这是由于系统的执行策略（Execution Policies）设置所导致的。 解决方法： 1. 以管理员身份运行 PowerShell。 2. 在窗口中执行 set-Executio ......
TOYOTA SYSTEMS Programming Contest 2023(AtCoder Beginner Contest 330)
TOYOTA SYSTEMS Programming Contest 2023(AtCoder Beginner Contest 330) A - Counting Passes int main() { IOS; cin >> n >> m; int ans = 0; rep (i, 1, n) ......
什么是 Web 应用性能参数中的 First Contentful Paint
"First Contentful Paint"（简称 FCP）是一个非常重要的性能指标，用于测量我们的网页在用户的设备上渲染出第一片有意义内容的时间点。这个指标是 Web 性能用户体验的关键部分，因为它直接关系到用户对网站加载速度的第一印象。在互联网世界中，每一毫秒的延迟都可能影响用户的满意度，甚 ......
office the language DLL 'VBE7INTL.DLL' is not be found
其实是缺少vba，安装组件就可以了 解决方案：在卸载程序的面板中，找到office，右键选择更改，选择添加或删除功能，勾选如下两项就可以了 记得关掉office后再打开就好了 ......
ISOM 3029 - Computer Programming Using C++
以下是C++程序的问题。 作业的硬拷贝和软拷贝都应按时提交。全部的 程序（.cpp文件）将被压缩并上传到 “提交作业1”按钮。压缩文件应与您的学生一起命名 编号，例如“ba12345_Ass1.zip”。 问题1：彩票计划（50%） 编写一个C++程序，在开始时输出一条问候信息，然后生成6个肯定 ......