XiaoMi-AI文件搜索系统
World File Search System形式语言
基于意图的正式轨迹描述语言
摘要 — 本文介绍了一种改进的意图相关形式语言层次结构，用于描述飞机轨迹。这些语言允许在不同级别上完整或部分地指定飞机轨迹，本文所述功能的扩展使其适用于定义更复杂的任务，例如无人驾驶汽车或军用飞机的任务。本文对每种语言的词汇、语法和图形表示细节进行了完整的描述，并通过一组具有不同粒度的飞行规范的清晰示例展示了它们的适用性。所描述的语言层次结构已被证明是一种适合描述具有不同详细程度和不同应用的飞机轨迹的框架。它的多功能性和灵活性通过一组识别特征操作示例的场景得到证明。索引词 — 空中交通管理；形式语言；飞机意图；飞行意图；轨迹计算
mlregtest：普通语言的机器学习基准
由形式语言构建的合成数据集允许对序列分类的机器学习系统的学习和泛化功能进行细粒度检查。本文在序列分类中为机器学习系统提供了一个新的基准，称为MLREGTEST，其中包含来自1,800种普通语言的培训，开发和测试集。不同种类的形式语言代表了不同种类的长距离依赖，并且正确识别序列中的长距离依赖性是ML系统成功概括的已知挑战。mlregtest根据其逻辑复杂性（Monadic的二阶，第一顺序，命题或受限命题）及其逻辑文字（字符串，层，弦，弦，子序列或组合）的种类组织语言。逻辑上的复杂性和文字选择提供了一种系统的方式来理解普通语言中不同种类的长距离依赖性，因此可以理解不同的ML系统的能力，以学习这种长距离依赖的依赖。最后，检查了不同神经网络（简单的RNN，LSTM，Gru，Trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans-trans）的性能。主要的结论是，性能在很大程度上取决于测试集，语言类别和神经网络体系结构。
Eclipse Papyrus 案例研究系列
系统的使用（即操作描述）及其功能架构。通过使用形式语言而不是文档，目的是提高规范的质量和理解，并处理系统的复杂性。事实上，可以执行正式的分析和验证，减少错误数量并在开发周期的早期发现它们。此前，空客依靠可用且完善的 COTS 工具取得了令人鼓舞的成果，但由于其复杂性，其部署受到限制。因此，新工具的一个关键要求是它必须足够灵活，以适应空客系统工程词汇和概念，并随着流程和方法的逐渐成熟，轻松适应不断变化的需求。
学术课程
4.专业核心课程（C） 课程 学时/周 代码 名称 LTPC 18CSC201J 数据结构与算法 3 0 2 4 18CSC202J 面向对象设计与程序设计 3 0 2 4 18CSC203J 计算机组织与体系结构 3 0 2 4 18CSC204J 算法设计与分析 3 0 2 4 18CSC205J 操作系统 3 0 2 4 18CSC206J 软件工程与项目管理 3 0 2 4 18CSC207J 高级程序设计实践 3 0 2 4 18CSC301T 形式语言与自动机 3 0 0 3 18CSC302J 计算机网络 3 0 2 4 18CSC303J 数据库管理系统 3 0 2 4 18CSC304J编译器设计 3 0 2 4 18CSC305J 人工智能 3 0 2 4 18CSC350T 理解 0 1 0 1 18CSC208L 竞技职业技能-I 0 0 2 1 18CSC306L 竞技职业技能-II 0 0 2 1 18CSC307L 竞技职业技能-III 0 0 2 1 总学习学分 51
从人工智能角度看一些哲学问题
能够在世界中智能运作的计算机程序必须具有对世界的一般表示，并根据该表示来解释其输入。设计这样的程序需要承诺什么是知识以及如何获得知识。因此，人工智能中出现了一些主要的传统哲学问题。更具体地说，我们希望计算机程序能够通过形式语言推断某种策略将实现其指定目标来决定做什么。这需要将因果关系、能力和知识的概念形式化。哲学逻辑也考虑了此类形式主义。本文的第一部分以一个哲学观点开始，一旦我们认真考虑实际制造智能机器的想法，这种观点似乎就会自然而然地出现。我们继续讨论形而上学和认识论上充分的世界表示的概念，然后从世界的表示的角度解释可以、原因和知道
如何操作你的大脑 作者：蒂莫西·利里
现在我们有了数字通信。我们可以创造我们的幻想。我们可以创造我们的节奏，在屏幕上设计。一种新的语言将会出现，一种全球性的语言，它不是基于字母，不是基于语法，而是我们都理解的语言，它基于光波和声波的集群。我们都理解。我们都庆祝。我们都为光明、照明、接触、交汇、来自世界各地的互动、形式语言而感到自豪。我们将创造一种国际性的、全球性的大脑连接语言。任何文化的人看到这个屏幕都会得到一个大致的画面。这是一个地球村。这是一个全球性的人类精神，一个全球性的人类种族。当我们通过屏幕连接起来，通过电子和光子连接起来时，我们将首次创造一个全球性的人类，不再被语言、思想、国籍或宗教偏见所分割。
课程与教学大纲（2020-2021 学年）
课程核心 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
计算机科学硕士课程：课程目录
学分 252-3005-00 自然语言处理 AS 7 263-2400-00 可靠且值得信赖的人工智能 AS 6 263-5005-00 教育中的人工智能 AS 3 263-5056-00 深度学习在图形上的应用 AS 4 263-5300-00 机器学习的保证 AS 7 263-5351-00 基因组学机器学习 AS 6 263-5902-00 计算机视觉 AS 8 252-0579-00 3D 视觉 SS 5 261-5120-00 医疗保健机器学习 SS 5 263-5000-00 自然语言处理的计算语义 SS 6 263-5051-00 机器学习中的 AI 中心项目 SS 4 263-5052-00 交互式机器学习：可视化与可解释性 SS 5 263-5059-00 大规模人工智能工程 SS 3 263-5255-00 强化学习基础 SS 7 263-5352-00 高级形式语言理论 SS 6 263-5353-20 语言与计算哲学 II SS 3 263-5354-00 大型语言模型 SS 8 227-0434-10 信息数学 SS 9 401-3632-00 计算统计学 SS 8