XiaoMi-AI文件搜索系统
World File Search System自动机
量化网络攻击对网络物理系统安全的影响
摘要：我们提出了一个用于建模信息物理控制系统中攻击场景的新颖框架：我们将信息物理系统表示为一个受约束的切换系统，其中单个模型嵌入了物理过程的动态、攻击模式和攻击检测方案。我们证明，这与混合自动机（即受约束的切换线性系统）中已建立的结果兼容。所提出的攻击建模方法允许大量非确定性攻击策略，并能够将系统安全性表征为渐近性质。通过计算最大安全集，由此产生的新影响指标可以直观地量化安全性的下降以及网络攻击对受攻击系统安全属性的影响。我们通过一个示例展示了我们的结果。
量子行走引起的动态三角剖分
摘要：我们展示了量子细胞自动机的单粒子部分，即量子行走，它位于一个简单的动态三角剖分 2 − 流形上。三角剖分通过 Pachner 移动进行改变，由行走者密度本身引起，从而使表面可以转换为任何拓扑等效的表面。该模型扩展了三角网格上的量子行走，这是作者之一在之前的工作中引入的，其时空极限恢复了 (2+1) 维的狄拉克方程。数值模拟表明，三角形的数量和局部曲率随着 t α e − β t 2 而增加，其中 α 和 β 参数化了几何形状随行走者局部密度变化的方式，并且从长远来看，平坦度会出现。最后，我们还证明了行走者的整体行为在时空随机波动下保持不变。
![arXiv:submit/2990311 [quant-ph] 2020 年 1 月 1 日](/simg/a\a4fb0fa2da8062705003b7485834e7a72fe94c05.webp)
arXiv:submit/2990311 [quant-ph] 2020 年 1 月 1 日
我们引入了强化量子退火 (RQA) 方案，其中智能代理与量子退火器交互，后者扮演学习自动机的随机环境角色，并尝试针对给定的问题迭代地找到更好的 Ising 汉密尔顿量。作为概念验证，我们提出了一种新方法，用于将布尔可满足性 (SAT) 的 NP 完全问题简化为最小化 Ising 汉密尔顿量，并展示如何应用 RQA 来提高找到全局最优解的概率。我们使用 D-Wave 2000Q 量子处理器对两个不同的基准 SAT 问题（即因式分解伪素数和具有相变的随机 SAT）进行了实验，结果表明，与量子退火领域最先进的技术相比，RQA 可以用更少的样本找到明显更好的解决方案。
![[EE381V/CS395T] 非常规计算 - UT Direct](/simg/f\f60a31e6fef9a7f6a9c493c3ce392131aed6810f.webp)
[EE381V/CS395T] 非常规计算 - UT Direct
在电子设备之外还有一个计算的世界：在每个生物细胞中，在你的头脑中，在试图创建 DNA 计算机和量子计算机的尖端实验室中。这种非常规计算启发了超越布尔电路和自动机传统模型的新计算模型。本课程将向您展示计算的新视角：高度分布式和非结构化计算的模型（例如发生在化学反应中的计算）、将构建等同于计算的模型、解决低能计算的最终极限的模型以及通过放松到最低能态进行计算的模型。我们还将介绍量子计算的基础知识。本课程将重点介绍各种模型的重要属性，以及如何使用这些模型来实现所需的计算行为。
由量子行走诱导的动力三角剖分
摘要：我们介绍了量子细胞自动机的单粒子扇区，即量子步行，在简单的动态三角2-歧管上。三角剖分通过沃克密度本身引起的Pachner移动改变，使表面可以转变为任何拓扑等效的。该模型扩展了一位作者在先前工作中引入的三角网格上的量子步行，其时空极限恢复了（2+1）维度中的dirac方程。数值模拟表明，三角形和局部曲率的数量随着tαE -βt 2的形式生长，其中α和β参数化的几何形状在助行器的局部密度上发生了变化，从长远来看，出现了。最后，我们还证明了沃克的全局行为在时空随机爆发下保持不变。
第1页，共2页
部分I（主题 /学科） - 100个问题工程数学离散数学：命题和一阶逻辑。集，关系，功能，部分订单和晶格。组。图形：连接性，匹配，着色。组合学：计数，复发关系，生成函数。线性代数：矩阵，决定因素，线性方程系统，特征值和特征向量，LU分解。微积分：限制，连续性和不同性。Maxima和minima。平均值定理。集成。概率：随机变量。统一，正常，指数，泊松和二项式分布。是指中位数，模式和标准偏差。条件概率和贝叶斯定理。数字逻辑布尔代数。组合和顺序电路。最小化。数字表示和计算机算术（固定和浮点）。计算机组织和架构机器指令和地址模式。alu，数据路径和控制单元。说明管道。内存层次结构：缓存，主内存和辅助存储； I/O接口（中断和DMA模式）。编程和数据结构编程在C.递归中。数组，堆栈，队列，链接列表，树，二进制搜索树，二进制堆，图。算法搜索，排序，哈希。渐近最差的情况和空间复杂性。算法设计技术：贪婪，动态编程和分裂和串扰。运行时环境。图形搜索，最小跨越树，最短路径。计算正则表达式和有限自动机理论。无上下文的语法和推下自动机。普通语言和无语言，泵送引理。图灵机和不可证明的能力。编译器设计词汇分析，解析，语法定向翻译。中间代码生成。操作系统过程，线程，过程间通信，并发和同步。僵局。CPU计划。内存管理和虚拟内存。文件系统。数据库ER模型。关系模型：关系代数，元组演算，SQL。完整性约束，正常形式。文件组织，索引（例如B和B+树）。交易和并发控制。计算机网络
科学机器学习的兴起：将机械建模与系统生物学的机器学习结合的观点
从经典上讲，系统生物学主要集中于使用动态机械模型来阐明自然现象的基础。应用的流行模型形式主义包括普通和部分微分方程（分别为ODES和PDE），布尔网络，培养皿网，蜂窝自动机，基于个体的模型以及这些组合。机械模型的属性（包括方程式或规则的类型，初始条件或参数值）取决于所涉及的研究人员的领域，感兴趣问题以及专业知识，并且经常受到实验数据的可用性和质量的确定或约束。虽然经典，低维模型可以拟合一系列浓度，时间和空间依赖于空间的数据集（Michaelis and Menten，1913; 1913; Lotka，1920; Volterra，1926; Hodgkin and Huxkin and Huxkin and Huxkin and Huxley，1952），对于较大的，高度的高维生物学系统，可以扩散到
课程与教学大纲（2023-2024 学年）
课程核心 CBS1003 数据结构与算法 ETL 2 0 2 0 3 CBS1004 计算机体系结构与组织 ETL 2 0 2 0 3 CBS1005 软件工程方法 ETL 2 0 2 0 3 CBS1006 操作系统原理 ETL 2 0 2 0 3 CBS1007 数据库系统 ETL 2 0 2 0 3 CBS1008 运筹学 ETL 2 0 2 0 3 CBS1009 计算统计学 ETL 2 0 2 0 3 CBS2002 形式语言与自动机理论 TH 3 0 0 0 3 CBS2003 设计思维 ETL 2 0 2 0 3 CBS3001 计算机网络 ETL 2 0 2 0 3 CBS3002 信息安全 ETL 2 0 2 0 3 CBS3003 算法设计与分析 ETL 2 0 2 0 3 CBS3004 人工智能 ETL 2 0 2 0 3 CBS3011 软件应用程序可用性设计 ETL 2 0 2 0 3 CBS3012 IT 项目管理 ETL 2 0 2 0 3 EEE1001 基础电气和电子工程 ETL 2 0 2 0 3 MAT1004 离散数学 TH 3 0 0 0 3 MAT2004 线性代数 TH 3 1 0 0 4 MAT2005 数据科学和统计建模 ETL 2 0 2 0 3 MGT1064 财务和成本会计 TH 3 0 0 0 3 MGT1065 管理学基础 TH 2 0 0 0 2 MGT2002 市场研究与市场营销管理 TH 3 0 0 0 3 MGT2003 财务管理 TH 3 0 0 0 3
课程与教学大纲（2021-2022 学年）
课程核心 CBS1003 数据结构与算法 ETL 2 0 2 0 3 CBS1004 计算机体系结构与组织 ETL 2 0 2 0 3 CBS1005 软件工程方法 ETL 2 0 2 0 3 CBS1006 操作系统原理 ETL 2 0 2 0 3 CBS1007 数据库系统 ETL 2 0 2 0 3 CBS1008 运筹学 ETL 2 0 2 0 3 CBS1009 计算统计学 ETL 2 0 2 0 3 CBS2002 形式语言与自动机理论 TH 3 0 0 0 3 CBS2003 设计思维 ETL 2 0 2 0 3 CBS3001 计算机网络 ETL 2 0 2 0 3 CBS3002 信息安全 ETL 2 0 2 0 3 CBS3003 算法设计与分析 ETL 2 0 2 0 3 CBS3004 人工智能 ETL 2 0 2 0 3 CBS3011 软件应用程序可用性设计 ETL 2 0 2 0 3 CBS3012 IT 项目管理 ETL 2 0 2 0 3 EEE1001 基础电气和电子工程 ETL 2 0 2 0 3 MAT1004 离散数学 TH 3 0 0 0 3 MAT2004 线性代数 TH 3 1 0 0 4 MAT2005 数据科学和统计建模 ETL 2 0 2 0 3 MGT1064 财务和成本会计 TH 3 0 0 0 3 MGT1065 管理学基础 TH 2 0 0 0 2 MGT2002 市场研究与市场营销管理 TH 3 0 0 0 3 MGT2003 财务管理 TH 3 0 0 0 3