discrete 第4页

Discrete Mathematics(1) - 命题逻辑

DiscreteMathematics(1)1.命题逻辑1.1命题与逻辑联结词1.1.1命题的概念定义1.1称能判断真假的陈述句为命题。提示：判断一个句子是否是命题，首先要判断它是不是陈述句，然后判断其真值是否唯一。真值唯一表示可以判断真假，但并不是说一定要知道其真假。其真值也不一定为真，而是有两种可能，即真或假。1.1.2逻辑联结词联结词是构成复合命题的要件。1.2命题公式及公式分类1.2.1命

guozhu_zhu·2020-09-11 17:37

CodeForces - 1407D Discrete Centrifugal Jumps(单调栈+dp)

题目链接：点击查看题目大意：给出n个大楼的高度记为h，现在需要从第一个大楼到达第n个大楼，问最小步数是多少，只有满足以下条件时才能从i移动到j，设i=h[cur]，所以满足了情况3，也就是说明了pos的状态是可以直接转移到cur的状态的，同理可证情况2那么如何实现呢，接上一段继续说，如果到了位置cur时，现在的目标是需要找到所有h[pos]>=h[cur]的pos进行状态转移，而思考一下维护单调栈

Frozen_Guardian·2020-09-11 16:13

（译）离散数学Discrete Mathematics James L. Hein

DiscreteMathematicsJamesL.HeinDepartmentofComputerSciencePortlandStateUniversityhttp://www.amazon.com/Discrete-Mathematics-James-L-Hein

keminlau·2020-09-11 14:08

Discrete Centrifugal Jumps(单调栈优化dp)

暂时只考虑max(ai,aj)aj在这个单增栈中的位置pos,如果a[pos]>a_j在这个单增栈中的位置pos,如果a[pos]>aj那么[pos+1,j−1]一定都是大于apos的那么[pos+1,j-1]一定都是大于a_{pos}的那么[pos+1,j−1]一定都是大于apos的因为如果存在一个x使得axusingnamespacestd;constintmaxn=8e5+10;intn,a

issue敲腻害·2020-09-11 14:31

Discrete Mathematics 离散数学——图论

DiscreteMathematics离散数学——图论定理:TheHandShakingTheorem基本的图CompletegraphKnCyclesCnWhellsWnn-cubeQn二分图：BipartiteGraphs定理：二分图的一种判定完全二分图Completebipartitegraph匹配（matching）和最大匹配Hall'sMarriageTheorem定理:TheHandS

weixin_41531090·2020-09-11 13:05

Dynamics AX 2012之于离散制造（Discrete Manufacturing）和工艺制造（Process Manufacturing）

首先什么是离散制造业，什么是流程/工艺制造业，二者有什么区别？离散制造业就是将不同的现成元部件及子系统装配加工成较大型系统，如电脑、汽车及工业用品制造等。主要特征为生产过程中基本没有发生物质改变，只是物料的形状和组合发生改变，即最终产品由各种物料装配而成，并且产品与所需物料之间有确定的数量比例。流程型制造是指被加工对像不间断地通过生产设备，通过一系列的加工装置使原材料进行化学或物理变化，最终得到产

umfish·2020-09-11 13:31

WIP DISCRETE JOBS STATUS TYPE

WIP_DISCRETE_JOBS.STATUS_TYPEValueMeaning7Cancelled8PendingBillLoad9FailedBillLoad10PendingRoutingLoad11Fa

弱弱的羊羔·2020-09-11 12:12

WIP_DISCRETE_JOBS.WIP_SUPPLY_TYPE

WIP_DISCRETE_JOBS.WIP_SUPPLY_TYPEValueMeaning1Push2AssemblyPull3OperationPull4Bulk5Supplier6Phantom7BasedonBill

cnvdkx2837·2020-09-11 12:48

Discrete Mathematics and Its applications - 离散数学及其应用读书笔记（二）

《Discrete》书中关于BayesianSpamFilter的应用，中文可以翻译为“基于贝叶斯理论的垃圾邮件过滤器”先是一个简单的例子，基于单个单词的删选词，原文有个例子：Supposethatwehavefoundthattheword

dbLenis·2020-09-11 12:47

WIP_DISCRETE_JOBS.STATUS_TYPE

WIP_DISCRETE_JOBS.STATUS_TYPEValueMeaning7Cancelled8PendingBillLoad9FailedBillLoad10PendingRoutingLoad11FailedRoutingLoad12Closed13Pending-MassLoaded14PendingClose15FailedClose1Unreleased3Released4Com

田攀·2020-09-11 12:22

Oracle Discrete Manufacturing vs Process Manufacturing

DiscreteManufacturingDiscreteManufacturing（离散制造）显著的特点就是所生产的产品需要使用BOM和Routing来决定成本和交付周期。比如：汽车，电脑，电视...ProcessManufacturingProcessManufacturing（流程制造），需要多种原料，一般会有副产品生成；并需要多种配方或者公式来生产。比如：食品，制药，啤酒，化工....Di

iteye_4537·2020-09-11 12:19

Discrete Centrifugal Jumps(单调栈+dp)

https://codeforces.com/contest/1407/problem/D首先定义dp[i]:当前共有i栋楼表示到第i栋楼的最小步数。根据条件有如下转移:1.dp[i]=dp[i-1]+1;2.i前面有一个下标假设为j，且这个j满足(a[j]>max(a[j+1]......,a[i-1]);dp[i]=dp[j]+1;3.i前面有一个下标假设为j,且这个j满足(a[j]h[dow

小菜鸡加油·2020-09-11 12:53

概率论与数理统计(三)

离散型随机变量当我们的samplespaceΩ\OmegaΩ的outcome都是discrete的时候，从事件的samplespace映射到随机变量的samplespace的outcome也是discrete

耐耐~·2020-09-11 08:07

【论文笔记】Discrete-State Variational Autoencoders for Joint Discovery and Factorization of Relations

文章目录Discrete-StateVariationalAutoencodersforJointDiscoveryandFactorizationofRelations导读Abstract1.Introduction2

DrogoZhang·2020-08-26 11:30

openAI gym动作空间

importgymenv=gym.make('CartPole-v0')print(env.action_space)#>Discrete(2)print(env.observation_space)#

qq_16568205·2020-08-24 15:19

[SIGIR‘20] Certifiable Robustness to Discrete Adversarial Perturbations for Factorization Machines

FM对离散对抗扰动的可信鲁棒性现有的健壮性训练方法忽略了离散特征，并且缺少有效的检验机制。本文首次进行了FM对离散对抗扰动的鲁棒性研究。Motivation核心的想法是通过训练让真实的样本更可信，让扰动影响的样例最少。在一个确定的扰动空间中（比如可变特征数是最大维度），生成离散的worst-case。在worst-case下的模型依旧健壮，足以证明模型在一般情况下的鲁棒性。RelatedWorks

_Mogician·2020-08-22 14:46

离散傅立叶变换（Discrete Fourier Transform）

离散傅立叶变换概述傅立叶分析以法国数学家和物理学家JeanBaptisteJosephFourier命名，是一种将信号分解为谐波的方法。如下三图所示，一个包含16个点的离散信号可以用9个余弦和9个正弦波来表示。在表达任意一个离散信号时，这些三角波的周期是一定的，不同的只是振幅(amplitude)。图1-1离散信号与对应的三角波信号可以是连续的或离散的，同时也可以是周期性的或非周期性的，根据信号的

jubincn·2020-08-22 12:00

离散余弦变换（Discrete Cosine Transform）

DCT变换和FFT变换都属于变换压缩方法(TransformCompression)，变换压缩的一个特点是将从前密度均匀的信息分布变换为密度不同的信息分布。在图像中，低频部分的信息量要大于高频部分的信息量，尽管低频部分的数据量比高频部分的数据量要小的多。例如删除掉占50%存储空间的高频部分，信息量的损失可能还不到5%。变换编码有很多种。K–L变换的压缩效率很高，但算法实现困难；FFT变换算法实现简

jubincn·2020-08-22 12:00

dft()离散傅里叶变换（Discrete Fourier Transform）

离散傅里叶概念离散傅里叶变换，是指傅里叶变换在时域上和频域上都呈离散的形式，将时域信号的采样变换为在离散时间傅里叶变换频域的采样。简单的说，对一张图像使用傅里叶变换就是将它们分解成正弦和余弦两部分，也就是将图像从空间域（spatialdomain）转换到频域（frequencydomain）。F（x,y）=∑i=0N−1∑j=0N−1f(i,j)e−i2π(kiN+ljN)\displaystyl

Destiny_zc·2020-08-22 12:38

【小波变换】离散小波分解Discrete Wavelet Transform

lightis_tian·2020-08-22 11:49

离散傅里叶变换

离散傅里叶变换复习一下信号与系统知识离散傅里叶变换（DiscreteFourierTransform，缩写为DFT），是傅里叶变换在时域和频域上都呈离散的形式，将信号的时域采样变换为其DTFT（离散时间傅里叶变换，Discrete-timeFourierTransform

哈珀朋友·2020-08-22 10:10

AI数学基础27-离散卷积（Discrete convolution）

上节详细介绍了连续可积函数的卷积运算，本节介绍在数字图像处理中，常用的离散卷积对于定义在整数域里面的两个函数f[n]和g[n]，g[n]的长度为M，其卷积运算定义为：离散卷积定义通过上式可以看出，离散卷积是：平移翻转相乘再求和。跟连续卷积相比，把积分运算换成了相乘再求和。我们明白离散卷积定义就好，在实际工程实现中，比如Python程序开发中，我们通常直接调用numpy.convolve(a,v,m

LabVIEW_Python·2020-08-20 18:03

离散非周期信号傅里叶变换 — Fourier Transform of Discrete-Time Aperiodic Signals

离散非周期傅里叶变换的思想就是将非周期信号拼接成为周期的离散信号来处理。如下图所示：离散非周期信号x[n]x[n]x[n]拼接成周期信号x~[n]\widetilde{x}[n]x[n]，n2−n1=Nn2-n1=Nn2−n1=N。从而我们可以得到x~[n]\widetilde{x}[n]x[n]的傅立叶级数表示：x~[n]=∑k=<N>Xkeik2πNn\widetilde{x}[n

_R·2020-08-19 04:42

ns3安装教程-A guide to learn the network discrete event simulator ns3

Ithinkitmaybehelpfultowriteaguidefornewbieonthenetworksimulatorns3forchinese.ButthisguidewillbeinEnglish.TodeveloptheabilitytogooglethepossiblesolutiontoproblemsinEnglishisamustforprogrammers,whichne

Soonyang Zhang·2020-08-19 04:33

ural1010 Discrete Function

不难发现倾角最大的肯定是相邻两点。#includeusingnamespacestd;typedeflonglongLL;constintN=100005;LLa[N];intmain(){intn;scanf("%d",&n);for(inti=1;itmp){tmp=abs(a[i]-a[i-1]);ans=i;}}printf("%d%d\n",ans-1,ans);return0;}

允雨琉·2020-08-18 16:46

clustering_kmeans

addpath(genpath('utils'))result=zeros(10,3);%std=zeros(1,3);fori=1:10tic;%loadCOIL20.mat;k=20;%loadlung_discrete.mat

LeonMakise·2020-08-18 13:00

scipy.stats.norm

所有连续随机变量都是rv_continuous的派生类的对象，而所有的离散随机变量都是rv_discrete的派生类的对象。可以使用下面

傅君阳·2020-08-17 18:12

离散小波变换(Discrete Wavelet Transform)

离散小波变换(DiscreteWaveletTransform)(来自维基百科）离散小波变换（DiscreteWaveletTransform）在数值分析和时频分析中很有用。第一个离散小波变换由匈牙利数学家发明，离散小波变换顾名思义就是离散的输入以及离散的输出，但是这里并没有一个简单而明确的公式来表示输入及输出的关系，只能以阶层式架构来表示。定义首先我们定义一些需要用到的信号及滤波器。x[n]：离

繁小华·2020-08-17 02:20

卡尔曼滤波Kalman filter原理

ControlledbyaLinearstochasticdifferenceequation）:(大写为矩阵，小写为一维变量）真实过程为线性：\(w_{k-1}"title="x_k=Ax_{k-1}+Bu_{k-1}+w_{k-1}\)discrete

adu620282·2020-08-15 22:02

qesa Efficient zero-knowledge arguments in the discrete log setting 学习笔记

1.引言Hoffmann等人2019年论文《Efficientzero-knowledgeargumentsinthediscretelogsetting》。相应的代码实现可参见：https://github.com/crate-crypto/qesahttps://github.com/emsec/QESA_ZK本文主要关注zero-knowledgeproofsinthediscretelog

mutourend·2020-08-15 07:48

opencv c++函数基础8 离散傅立叶变换

dft(),getOptimalDFTSize(),log()和normalize().源码你可以从此处下载源码或者通过OpenCV源码库文件samples/cpp/tutorial_code/core/discrete_fourier

淡淡的生活·2020-08-15 07:02

3.20 k近邻/数据集举例 ——读《python机器学习基础教程》第二章

样本数据集forge数据集包含26个数据点和2个特征（shape函数）#生成数据集X,y=mglearn.datasets.make_forge()#数据集绘图mglearn.discrete_scatter

RainbowCoral·2020-08-15 07:29

sage求解离散对数

discrete_log：通用的求离散对数的方法,discrete_log(a,base,ord,operation)discrete_log_rho：求离散对数的Pollard-Rho算法,discrete_log_rho

gaeackm·2020-08-14 19:00

大步小步法解决离散对数问题 by——miskcoo

转自：http://blog.miskcoo.com/2015/05/discrete-logarithm-problem扩展大步小步法解决离散对数问题May16,2015miskcooAlgorithm

风所在的街道·2020-08-14 07:41

POJ 2417 Discrete Logging 离散对数

链接：http://poj.org/problem?id=2417题意：思路：求离散对数，BabyStepGiantStep算法基本应用。以下转载自：AekdyCoin【普通BabyStepGiantStep】【问题模型】求解A^x=B(modC)中0m,插入Hash(i,A^imodC)(2)枚举i,对于每一个枚举到的i,令AA=(A^m)^imodC我们有AA*A^j=B(modC)显然AA,

ooooooooe·2020-08-14 05:41

POJ-2417 Discrete Logging (BSGS算法，离散对数)

DiscreteLoggingTimeLimit:5000MSMemoryLimit:65536KDescriptionGivenaprimeP,2#include#include#include#include#include#defineLL__int64usingnamespacestd;classhash{public:hash(){memset(a,0xff,sizeof(a));//初

Ccaledd·2020-08-14 04:33

【BZOJ】【P3239】【Discrete Logging】【题解】【BSGS】

传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=3239裸题Code:#includeusingnamespacestd;typedeflonglongLL;LLp,a,b;LLpw(LLx,LLk,LLp){LLans=1;for(;k;k>>=1){if(k&1)ans=(ans*x)%p;x=(x*x)%p;}returnans;}vo

iamzky·2020-08-13 19:12

概率论中常见分布总结以及python的scipy库使用

两点分布、二项分布、几何分布、泊松分布、均匀分布、指数分布、正态分布...概率分布有两种类型：离散（discrete）概率分布和连续（continuous）概率分布。

DLANDML·2020-08-11 03:56

OrCAD中常用元件在库中存放的位置（最近更新2012-7-30）

这周开始学习使用OrCAD制作原理图，刚开始接触的时候，查找常用的元件都需要花好长时间，在这里做一个小小的总结（不断更新）：日期：2012-7-30二极管：diode蜂鸣器：piezobuzzer两个均在Discrete.olb

revilwang·2020-08-10 20:56

【BSGS】POJ2417[Discrete Logging]&POJ3243[Clever Y]题解

POJ2417题目概述求满足Ax≡B(modC)的最小x，C是素数。解题报告这就是经典的BSGS，由于要求最小的，所以哈希表储存时刷个小的就行了。示例程序#include#include#include#includeusingnamespacestd;typedeflonglongLL;constintMAXINT=((1#include#include#includeusingnamespac

ZigZagK·2020-08-09 16:15

密码学硬核笔记——特殊离散对数问题

当时自己是用sagemath的discrete_log()函数的直接秒解的（另外第三题必须要用cmd打开flag才出来就很坑）。

Gm1y·2020-08-05 19:17

sage之离散对数求解

sage中求解离散对数我目前知道的四个函数：(1)discrete_log：通用的求离散对数的方法：discrete_log(a,base,ord,operation)(2)discrete_log_rho

ckm1607011·2020-08-05 18:41

How to do Zero-Knowledge from Discrete-Logs in under 7kB

WerecentlyhadourannualconferencefortheAcademicCentresofExcellenceintheUKandIamproudthatJonathanBootlefromUCLwonthePhDstudentelevatorpitchcompetition.I’llnowhandovertherestoftheblogposttoJonathantoexpl

跨链技术践行者·2020-08-05 11:33

Proof Systems for General Statements about Discrete Logarithms 学习笔记

JanCamenisch和MarkusStadler1997年论文《ProofSystemsforGeneralStatementsaboutDiscreteLogarithms》。1.背景知识MonotoneBooleanfunction定义：Concatenationoftuples：ModifiedCartesianProduct：Knowledgespecificationset：2.一些

mutourend·2020-08-05 10:17

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting学习笔记

1.引言Bootle和Groth等人2016年论文《EfficientZero-KnowledgeArgumentsforArithmeticCircuitsintheDiscreteLogSetting》。在本论文中，主要为(只有加法门和乘法门的)arithmeticcirccuitsatisfiability提供了一种零知识证明算法，具有的communicationcomplexity为O(l

mutourend·2020-08-05 10:06

神舟笔记本安装Ubuntu 16 双系统安装卡死

神州笔记本战神系列在安装双系统时经常卡死，在此给出自己常用的解决方案在bios界面关闭核显，只使用独显Advanced-->AdvancedChipsetControl中进入将MSHybrid那一项由MSHybrid改为DISCRETE

烨然_·2020-08-05 03:49

IIR滤波器分阶计算

generatedbytheFilterDesignandAnalysisToolGeneratedbyMATLAB®7.6andtheSignalProcessingToolbox6.9.Generatedon:03-Dec-201010:41:03*//*Discrete

奔跑在路上！·2020-08-04 17:33

Cadence每日一学_06 | OrCAD中自有默认元器件（原理图）库详细介绍

`Discrete.olb`最近在学习小马哥的Cadence课程，该系列课程为学习笔记：使用CadenceAllegro绘制小马哥DragonFly四轴飞行器(STM32F4主控)PCB四层板教程。

Mculover666·2020-08-04 12:32

CSMA/CA 缺点

MAC层资源控制协议CSMA/CA能有效协调无线资源共享，然而也有缺陷：1.不同node竞争资源依靠randombackoff，不良后果是有可能带来过长的delay2.randombackoff的选择是discrete

yzhsuper·2020-08-04 09:33

群延迟函数(group delay function)&群延迟滤波器

假设有N个样本的脉冲响应为h(n)的数字滤波器，n为时间序列标号，对该数字滤波器进行离散时间傅里叶变换(discrete-timeFour

xiaoding133·2020-08-04 08:08

推荐频道

discrete