read

CF1374E2 Reading Books(hard version) 题解

# CF1374E2 Reading Books(hard version) 这道题是在 [CF1374E1 Reading Books(easy version)](https://www.luogu.com.cn/problem/CF1374E1) 的基础上出的,而且仅仅增加了一个 $m$ 的限 ......
题解 Reading version 1374E Books

通过ENQUEUE_READ判断单据是否被锁定

## 使用场景 公司的外向交货单需要传到WMS进入出库操作,传输成功后调用BAPI外向交货单的一个状态,如果不判断单据是否被锁定,那么下传wms成功后改变单据状态时就会报错,进而导致状态修改失败,从而导致wms和SAP数据不一致的问题。 ## 解决方式 通过ENQUEUE_READ函数判断某个单据是 ......
单据 ENQUEUE_READ ENQUEUE READ

Proj CDeepFuzz Paper Reading: Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests

## Abstract 背景:In fact, some of the latest findings suggest that the existence of adversarial attacks may be an inherent weakness of deep learning mod ......

Proj CDeepFuzz Paper Reading: NeuRI: Diversifying DNN Generation via Inductive Rule Inference

## Abstract 背景:The correctness of DL systems is crucial for trust in DL applications 本文: NeuRI BaseTool: FreeFuzz Github: https://github.com/ise-uiuc/ ......

Proj CDeepFuzz Paper Reading: Natural attack for pre-trained models of code

## Abstract 背景:目前大多数的adversarial attack method on pre-trained models of code忽略了perturbations should be natural to human judges(naturalness requirement ......

Proj CDeepFuzz Paper Reading: COMET: Coverage-guided Model Generation For Deep Learning Library Testing

## Abstract 背景:已有的方法(Muffin, Lemon, Cradle) can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. 本文:COMET Gi ......

Proj CDeepFuzz Paper Reading: IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks

## Abstract 本文:IvySyn Task: discover memory error vulnerabilities in DL frameworks BugType: memory safety errors, fatal runtime errors Method: 1. 利用na ......

MAPF Paper Reading Note

随便写写记录一下 ## 1. 2005-Cooperative Pathfinding ### 1.1. LRA* local repair A* - 依次做A* - 即将开始碰撞时,replan - a general replan solution: 每次重规划时,新增noise,按照比例加入$ ......
Reading Paper MAPF Note

Proj CDeepFuzz Paper Reading: Invariance-inducing regularization using worst-case transformations suffices to boost accuracy and spatial robustness

## Abstract 本文: Task: 1. prove invariance-inducing regularizers can increase predictive accuracy for worst-case spatial transformations 2. prove that ......

Proj CDeepFuzz Paper Reading: Framework for Evaluating Faithfulness of Local Explanations

## Abstract 本文: Task: 1. study the faithfulness of an explanation system to the underlying prediction model on consistency and sufficiency 2. introduc ......

Proj CDeepFuzz Paper Reading: Differential Testing of Cross Deep Learning Framework APIs: Revealing Inconsistencies and Vulnerabilities

## Abstract 背景:目前对cross-framework conversion中的inconsistencies和security bugs的研究少有 本文:TensorScope Task: test cross-frame APIs in Machine Learning Librar ......

Proj CDeepFuzz Paper Reading: DeepTest: automated testing of deep-neural-network-driven autonomous cars

## Abstract 本文: DeepTest Task: a systematic testing tool for DNN-driven vehicles Method: 1. generated test cases with real-world changes like rain, fo ......

Proj CDeepFuzz Paper Reading: DeepGauge: multi-granularity testing criteria for deep learning systems

## Abstract 本文: DeepGauge Task: provide multi-granularity testing criteria for DL systems Method: multi-granularity testing criteria for DL systems: 1 ......

Proj CDeepFuzz Paper Reading: Combinatorial Testing for Deep Learning Systems

## Abstract 本文:DeepCT Task: Testing DL Models with Combinatorial Testing Method: 1. 将输出值的空间离散化为区间,以便覆盖每个区间,对不同层内的神经元交互进⾏采样,并减少必须执⾏的测试输⼊的数量。 2. a set o ......

Proj CDeepFuzz Paper Reading: Automatic differentiation in PyTorch

## Abstract 本文:描述automatic differentiation module of PyTorch 包括:Lua Torch, Chainer, HIPS Autograd Task: Provides a high-performance environment on dif ......

Further reading: Theory of computation

找了些:https://en.wikipedia.org/wiki/Theory_of_computation 提到的书籍: Textbooks aimed at computer scientists (There are many textbooks in this area; this lis ......
computation Further reading Theory of

Got fatal error 1236 from master when reading data from binary log: 'Client requested master to start replication from position > file size', Error_code: 1236

MySQL主从复制报错,MySQL主主复制结构,MySQL版本5.7.32 2023-08-31T09:08:29.316553+08:00 1 [ERROR] Error reading packet from server for channel '': Client requested mas ......
from master 1236 replication Error_code

Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators

## Abstract Github: https://github.com/shijy16/ACETest 背景: 1. DL operators 用来计算多维tensors,很重要 本文:ACETest Task: automatically extract input validation c ......

Proj CDeepFuzz Paper Reading: AutoML: A survey of the state-of-the-art

## Abstract Github: https://github.com/marsggbo/automl_a_survey_of_state_of_the_art 本文: 1. intro AutoML methods: data preparation, feature engineering ......

【CF1374E1】Reading Books (easy version)(贪心)

**题目大意:** 给出$n(1\le n\le2\times 10^{5})$个三元组$(t,a,b)(0\le a,b\le 1)$,选出其中任意个,使得被选中的元素$a$、$b$的总和均为$k$,求$t$总和的最小值 *** 因为被选中的元素$a$、$b$的总和均为$k$,所以被选中的三元组中 ......
Reading version 1374E Books 1374

Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation

## Abstract 背景: 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......

Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation

## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ![](https://img2023.cnblo ......

Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

## Abstract 背景: 1. unsafe能够绕开rust type system 2. rust libraries中常有许多unsafe keyword 本文:SyRust Task: fuzz Rust library APIs Challenge: synthesize well-t ......

Proj CDeepFuzz Paper Reading: Deepxplore: Automated whitebox testing of deep learning systems

## Abstract 背景:现有的深度学习测试在很⼤程度上依赖于⼿动标记的数据,因此通常⽆法暴露罕⻅输⼊的错误⾏为。 本文:DeepXplore Task: a white-box framework to test DL Models 方法: 1. neuron coverage 2. diff ......

20.LINUX中的read函数

# 20.LINUX中的read函数 ## 1.read函数的函数原型 ``` #include ssize_t read(int fd,void *buf,size_t count); ``` 函数原型为:ssize_t read(int fd, void *buf, size_t count); ......
函数 LINUX read 20

Cannot read property 'clearValidate' of undefined

Cannot read property 'clearValidate' of undefined ![](https://img2023.cnblogs.com/blog/1119068/202308/1119068-20230827143618946-1052389559.png) 这个错误是因 ......
clearValidate undefined property Cannot 39

PacBio long read error correction

PacBio长读错误校正算法有多种,每种算法都具有各自的优点和缺点。以下是常用的几种算法及其特点: Pacific Biosciences (PacBio) SMRT Analysis软件套件: - 优点:PacBio提供了一套完整的错误校正工具,包括PacBioToCA、Quiver、Arrow等 ......
correction PacBio error long read

Long-read error correction: a survey and qualitative comparison (长读错误纠正:一项调查和定性比较)

Basic Information: Title: Long-read error correction: a survey and qualitative comparison (长读错误纠正:一项调查和定性比较) Authors: Pierre Morisse, Thierry Lecroq, ......

Java maven 工程报错:cannot be read or is not a valid ZIP file

原因:这个报错,其实jar包是个异常的jar。我是通过maven下载的后缀.lastupdate,然后我就直接把.lastupdate改成了.jar。 但是其实这个并不是实际意义上的jar包。 解决办法:找到匹配的jar包替换掉这个无效的jar包就可以了 ......
cannot 工程 maven valid Java

Maven报错:Failed to read artifact descriptor for xxx:jar的问题解决

问题: 这种报错非常具有迷惑性,因为不知道是什么导致的,而一般如果是maven找不到依赖的话,会提示missing 这样。 其实这种报错,我遇到的原因,因为下载包异常导致的。 你看到也把jar和pom下载下来了,但是jar包很可能是个无效的jar包。其实你可以看jar包的大小,如果是几KB这种 显然 ......
descriptor artifact Failed 问题 Maven