XiaoMi-AI文件搜索系统
World File Search System应用软件
职位描述 - 文职
服务运营部门 (SOB) 负责根据 SLA 和其他协议为 CIS 服务的提供提供本地支持，以直接支持本地和远程客户。在 NCI 机构 OPS 中心的协调下，SOB 指导、协调、监督和执行支持所有服务线所需的所有本地服务运营活动。SOB 直接或根据运营中心的指示和/或与相应的服务线协调提供本地 1 级和 2 级支持。SOB 致力于持续服务和流程改进，并向相应的服务线报告关键绩效指标。SOB 在本地负责安装、操作、维护和管理指定的 IT、网络、电缆、VTC、语音和视频设备，以及所有操作系统、核心和特定应用软件。SOB 确保监控和维护物理安全，并按照网络安全 SL 的委托执行网络安全活动。它与本地托管总部协调实际支持。 SOB 负责问题管理、访问管理、事件管理、请求履行、发布和部署、测试和验证、配置管理和变更管理，以支持适当的服务线并与服务管理部门协调。SOB 负责为 CSU AOR 内的企业客户提供有限的支持。SOB 负责开发和持续改进配置、问题、变更和发布管理流程和程序。
基于 DO-178C/DO-331 的精益、高度自动化的基于模型的软件开发流程
摘要 — 城市空中交通和无人机系统全球市场的兴起吸引了世界各地的许多初创企业。这些组织在民航用于开发软件和电子硬件的传统流程方面几乎没有接受过培训或经验。他们还受到资源限制，无法分配给专业团队遵循这些标准化流程。为了填补这一空白，本文提出了一种自定义工作流程，该工作流程基于从安全关键软件基础标准 DO-178C/DO-331 派生的一组目标。从标准中选择目标是基于特定目标的重要性、自动化程度和可重用性。该自定义工作流程旨在建立精益且高度自动化的开发生命周期，从而为研究和原型飞机提供更高质量、可维护性更好的软件。它还可以作为某些应用软件（如无人机系统、城市空中交通和通用航空）的合规手段。通过生成必要的开发和验证工件集，自定义工作流程还为未来符合 DO-178C/DO-331 的潜在认证提供了可扩展的基础。自定义工作流程在自动驾驶仪手动断开系统案例研究中得到演示。索引术语 —DO-178C、DO-331、软件保证、安全关键系统、精益软件开发、基于模型的开发、需求管理、敏捷开发
经过形式化验证的基于 SAT 的 AI 规划
简介：不同的规划竞赛 (Long 等人 2000；Coles 等人 2012；Vallati 等人 2015) 表明，规划系统正变得越来越可扩展和高效，使其适合实际应用。由于规划的许多应用都是安全至关重要的，因此提高规划算法和系统的可信度对于它们的广泛采用至关重要。因此，目前正在做出大量努力来提高规划系统的可信度 (Howey、Long 和 Fox 2004；Eriksson、R¨oger 和 Helmert 2017；Abdulaziz、Norrish 和 Gretton 2018；Abdulaziz 和 Lammich 2018)。提高软件的可信度是一个研究得很透彻的问题。文献中尝试了三种方法 (Abdulaziz、Mehlhorn 和 Nipkow 2019)。首先，通过应用软件工程技术，例如在正确的抽象层次上编程、代码审查和测试，可以提高系统的可信度。虽然这些做法相对容易实现，但它们并不完整。其次，有认证计算，给定的程序除了计算其输出外，还要计算一个证书，说明为什么这个输出是正确的。这将可信度的负担转移到证书检查器上，证书检查器应该比要认证其输出的系统简单得多，因此不容易出错。认证计算是由 Mehlhorn 和 N¨aher 于 1998 年率先提出的，他们将其用于他们的 LEDA 库。在规划领域，这种方法是由 Howey、Long 和 Fox 率先提出的，他们开发了规划验证器 VAL（Howey、Long 和 Fox 2004）。此外，认证规划的不可解性是由 Eriksson 率先提出的，
Sigonella (ITA) 职位描述是管理员 ...
服务运营和支持部门 (SOSB) 负责根据 SLA 和可能的其他协议为直接支持本地客户的 CIS 服务提供本地支持。在 NCI 机构运营中心 (OC) 的协调下，SOSB 指导、协调、监督和执行支持所有服务线所需的所有本地服务运营活动。SOSB 直接或根据企业服务运营中心的指示和/或与相应的服务线协调提供本地 1 级和 2 级支持。SOSB 是默认的谈判和接受本地工作计划 (PoW) 的实例，以支持指挥官指示的服务线或项目经理。SOSB 有助于持续服务和流程改进。SOSB 协助向机构内适当的服务中心报告关键绩效指标。SOSB 在当地负责标准化分配的 IT、网络、电缆、VTC、语音和视频设备以及所有操作系统、核心和特定应用软件的安装、操作、维护和管理的分散剩余部分。SOSB 在当地确保对物理安全进行监控和维护，并按照委托执行网络安全活动。SOSB 为问题管理、访问管理、事件管理、请求履行、发布和部署、测试和验证、配置管理和变更管理方面的商定工作计划做出贡献，以支持服务线并与服务管理部门协调。SOSB 负责为 CSU AOR 内的公司客户提供有限的支持。SOSB 负责开发和持续改进配置、问题、变更和发布管理流程和程序
NSK KIXXXXX
服务运营部门 (SOB) 负责为过渡中的 CIS 服务提供本地支持，并负责所有指定核心的运营和维护，以及联合情报监视和侦察服务、服务支持和业务应用程序以及 CIS 系统，根据 SLA 和其他协议为本地和远程客户提供直接支持。在 NCI 机构 OPS 中心的协调下，SOB 指导、协调、监督和执行所有业务领域所需的本地服务运营活动。SOB 直接或根据企业服务运营中心的指示和/或与相关业务领域协调提供本地 1 级和 2 级支持。SOB 致力于持续服务和流程改进，并向相关业务领域报告关键绩效指标。SOB 负责本地指定的 IT、网络、电缆、VTC、语音和视频设备以及所有操作系统、核心和特定应用软件的安装、运行、维护和管理。 SOB 确保物理安全得到监控和维护，并按照 Cyber Security SL 的委托执行网络安全活动。它与当地托管总部协调实际支持。SOB 致力于问题管理、访问管理、事件管理、请求履行、发布和部署、测试和验证、配置管理和变更管理，以支持适当的业务领域并与服务管理部门协调。SOB 负责为 CSU AOR 内的公司客户提供有限的支持。SOB 负责开发和持续改进配置、问题、变更和发布管理流程和程序。
航空电子架构 - Google 网上论坛
本章讨论了航空电子架构及其从分布式模拟控制系统到当今高性能集成模块化航空电子架构的演变。它探讨了航空电子功能按照航空运输协会 (ATA) 章节大致划分为不同领域，以及数据总线技术如何补充航空电子系统架构复杂性的增长。然后，本章回顾了 20 世纪 80 年代中期民用运输空客飞机的分布式联合数字航空电子架构中采用的主要特性和架构原则，这些架构已在波音 737、757 和 767 系列以及空客 A300、A320 和 A330 系列飞机中实现。接下来讨论综合模块化航空电子 (IMA) 架构的演变，从波音 777 飞机信息管理系统 (AIMS) 中专有的、部分实施 IMA 原则开始，到空客 A380 和波音 787 飞机上的完全开放系统 IMA 实施。我们将探讨这两种实施的主要特点和架构原则，并回顾它们的相同点和不同点。最后，本章讨论了成功实施和认证作为 IMA 架构实施的航空电子系统所需采取的设计流程。它探讨了虚拟（逻辑）系统架构的概念以及该架构在 IMA 平台上的物理实现。我们将回顾冗余、容错、隔离和分区的架构原则的实施，以支持系统安全目标并促进硬件平台和托管应用软件的独立和增量认证。
航空电子架构 - Google 群组
本章讨论了航空电子架构及其从分布式模拟控制系统到当今高性能集成模块化航空电子架构的演变。它探讨了与航空运输协会 (ATA) 章节大致一致的航空电子功能分组到域中，以及数据总线技术如何补充航空电子系统架构复杂性的增长。然后，本章回顾了 20 世纪 80 年代中期民用运输空客飞机的分布式联合数字航空电子架构中采用的主要特性和架构原则，这些架构已在波音 737、757 和 767 系列以及空客 A300、A320 和 A330 系列飞机中实现。接下来讨论集成模块化航空电子 (IMA) 架构的演变，从波音 777 飞机信息管理系统 (AIMS) 中专有的、部分实施 IMA 原则开始，到空客 A380 和波音 787 飞机上的完整开放系统 IMA 实施。我们将探讨这两种实现的主要特征和架构原则，并回顾它们的相同点和不同点。最后，本章讨论了成功实施和认证作为 IMA 架构实施的航空电子系统所需采取的设计流程。它探讨了虚拟（逻辑）系统架构的概念以及该架构在 IMA 平台上的物理实现。我们将审查冗余、容错、隔离和分区的架构原则的实施，以支持系统安全目标并促进硬件平台和托管应用软件的独立和增量认证。
信息技术愿景 2035 - VDE
执行摘要 4 1. 介绍和动机 5 2. 信息技术的一般宏观趋势和关键趋势 7 2.1 一般宏观趋势和挑战 7 2.2 信息技术的关键趋势 8 3. 信息技术愿景 2035 的技术基础 11 3.1 方法 – 基础技术推动因素、系统、服务和应用 11 3.2 以硬件为中心的基础技术推动因素的趋势 12 3.2.1 数据传输 12 3.2.2 数据处理 13 3.2.3 数据内存和存储 13 3.2.4 数据输入和输出设备 14 3.3 以软件为中心的基础技术推动因素的趋势 14 3.3.1 应用软件的创新 15 3.3.2 系统软件的创新 15 3.4 与信息技术系统的集成 16 3.4.1 硬件和软件技术的集成 16 3.4.2 超连接的信息技术基础设施和设备-边缘-云连续体 16 3.4.3 联合通信、计算和传感 17 3.4.4 人工智能、机器学习和无处不在的数据 17 3.4.5 未来信息技术系统的安全性和可持续性 18 3.5 服务和应用 19 4. 2035 年及以后的信息技术用例 20 4.1 能源 20 4.2 制造业 21 4.3 汽车和智能交通 21 4.4 医疗保健 21 4.5 其他行业 22 5. 技术以外的成功因素 23 6. 结论和建议 26 词汇表 29 参考文献 32
抗击乳腺癌的活力二人组
应用软件用于辅助诊断乳腺癌。然而，人工智能 (AI) 的最新进展正在解决与不同类型肿瘤的检测、分类和监测相关的挑战。AI 可以应用深度学习算法对乳房 X 线摄影或组织学检查进行自动分析。数字化乳房 X 线摄影或全幻灯片图像生成的大量数据可以通过先进的机器学习进行互操作。这可以快速评估图像上的每个组织块，从而实现更快、更灵敏、与人类表现相比更可重复的诊断。另一方面，癌细胞外泌体是癌细胞释放到血液循环中的细胞外囊泡，正在被探索作为癌症生物标志物。最近对癌症外泌体内容物的研究表明，封装的 miRNA 和其他生物分子可指示肿瘤亚型、可能的转移和预后。因此，从理论上讲，通过纳米基因组学，可以构建每种乳腺肿瘤亚型、雌激素受体状态和潜在转移部位的概况。然后，可以使用装有 AI 程序的实验室仪器通过将疑似患者的血清 miRNA 和生物分子组成与可用的模板概况进行匹配来诊断疑似患者。在本文中，我们讨论了建立基于纳米基因组学 AI 的乳腺癌诊断方法的优势，与目前正在适应 AI 的金标准放射学或组织学方法相比。此外，我们还讨论了基于外泌体包裹的内容物而非游离循环 miRNA 和其他生物分子构建乳腺癌诊断和预后生物分子谱的优势。
印度理工学院德里分校
计算机服务中心系统架构师：- x 拥有 3 年经验的计算机科学/工程/应用科学博士学位或 x 拥有 5 年经验的计算机科学/工程/应用科学理学硕士学位或 x 拥有 7 年经验的计算机科学/工程/应用科学理学学士或理学硕士学位或计算机应用硕士；以及 x 拥有各学科所有大学学位的一级或同等学历，且学术成绩一贯良好； x 拥有计算机系统或计算机系统/应用软件（包括高性能计算）或计算机网络方面的强大学术背景和工作经验。以下针对每个学术单位提到的领域仅供参考，并非详尽无遗。学院欢迎在这些领域和其他相关领域具有专长的优秀候选人申请。学术单位：- 1. 应用力学：设计工程、固体力学、流体力学和力学跨学科领域，包括但不限于生物力学、纳米力学、多功能材料、固流相互作用、船舶建筑等。 2. 生物化学工程与生物技术：生物过程和代谢工程（哺乳动物细胞技术、酶生物反应器、生物分离工程（专门从事色谱和纳过滤、基因组工程）、系统和计算生物学（定量生物学、合成生物学）和疾病分子生物学、诊断学和生物纳米技术（纳米生物传感器、治疗学/药物输送） 3. 化学工程：化学工程的所有领域，候选人应具有化学或相关工程学科的本科教育。 4. 化学：生物化学 5. 土木工程：环境：水和废水工程。空气污染控制工程。固体和危险废物工程。岩土工程：岩土工程、地质环境工程、岩石力学和岩石工程，结构：结构工程。建筑材料、建筑管理，交通运输：交通和交通规划、交通运输和交通工程、路面工程，水资源：水资源工程和相关领域。6. 计算机科学与工程：高性能计算和可视化、机器学习和人工智能、有线和无线网络、移动计算网络物理系统和物联网 (IOT)、算法和复杂性、逻辑和验证、信息管理、