- Coding Theory Lecture Notes by Nathan Kaplan - Lecture Notes - Coding Theory - Introduction to cryptography by Nigel Smart - GTM 138

人工智人-家居设计-部分智能优化算法的改进及其数学理论分析.pdf

B站网课：https://www.bilibili.com/video/BV11A411P7kT?spm_id_from=333.337.search-card.all.click

我们构建了一个系统，为冯·诺依曼RISC体系结构上的程序执行提供简洁的非交互式零知识证明（zk SNARKs）。该系统由两部分组成：一个用于验证算术电路可满足性的密码验证系统，以及一个用于将程序执行转换为此类电路的电路生成器。与之前的工作相比，我们对这两个组件的设计在功能和效率方面都有所提高，如下所示。我们的电路生成器是第一个通用的：它不需要知道程序，只需要知道它的运行时间。此外，输出电路的大小取决于程序大小（而不是乘法），从而允许验证较大的程序。加密证明系统通过利用新算法和根据协议定制的配对库，提高了证明和验证时间。我们对我们的系统进行了评估，以获得多达10000条指令的程序，运行多达32000个机器步骤，每个步骤都可以任意访问随机存取存储器；并演示了如何执行使用即时编译的程序。我们的证明在80位安全性时长230字节，在128位安全性时长288字节。不管原始程序的运行时间如何，典型的验证时间为5毫秒。

通信的数学理论 A Mathematical Theory of Communication Shannon 香农

离散数学(理论、分析与题解) 左孝凌 刘永才 上海科学技术文献出版社 离散数学是计算机科学中重要的基础理论之一。

http://baike.baidu.com/link?url=5dvZTVaXmkuImLDUEOKncgixPRDzl3irw7KCueFGcaKSVmEJQrBcDQLkPAjfgf9BtoGC3pgzHt3bPJF_PTpbUa :《通信的数学理论》\nA Mathematical Theory of Communication信息论的奠基性论文，美国数学家C.E.香农所著。1948年发表在《贝尔系统技术杂志》第27卷上。原文共分五章。香农在这篇论文中把通信的数学理论建立在概率论的基础上，把通信的基本问题归结为通信的一方能以一定的概率复现另一方发出的消息，并针对这一基本问题对信息作了定量描述。香农在这篇论文中还精确地定义了信源信道信宿编码、译码等概念,建立了通信系统的数学模型，并得出了信源编码定理和信道编码定理等重要结果。这篇论文的发表标志一门新的学科──信息论的诞生

自控专业必备，介绍了关于现代控制理论中的一些数学问题的详细解说，一本非常棒的指导书

深度卷积神经网络特征提取的数学理论 . pdf

實際生活中的每一個現象都具有相當程度的不確定性或隨機性，裝備的可靠度與 壽命自然也不例外。這種不確定特性的意義是，當要我們要用定量的方式表示或描述 這種現象時，我們無法說出其正確的數值。在可靠度工作在使用定量的方式描述或討 論產品可靠度時，可將其構成組件的可靠度視為事件，然後根據這些事件的機率特性 求得產品的可靠度，亦可針對產品的特性及可靠度定義直接以機率理論加以說明。可 靠度函數為說明可靠度隨時間變化關係的數學式，由此一關係可推導出物品壽命或失 效時間的機率分佈函數，失效率函數則表示失效率與時間的關係。可靠度函數用於表 示壽命數據、品質特性、應力、維護時間等與可靠度有關的特性的機率分佈情形，具 有各種形式。因此，分析各種機率分佈的形狀與特色，不但可以瞭解與可靠度相關的 現象的機率性質，進而掌握其所代表問題的本質。本報告首先回顧機率理論，說明機 率的概念、基本機率定理；其次討論機率分佈函數及其特徵量；最後就常態、對數常 態、指數、韋伯、伽瑪、二項及波桑等可靠度工程技術常用的機率分佈，簡要說明其 機率密度函數、累積分佈函數、可靠度函數、失效率函數、期望值等各項特性。