XiaoMi-AI文件搜索系统
World File Search System软件体系结构
计算机科学（CMSI）
CMSI 540软件体系结构（3个学期）在软件密集型系统中使用的常见体系结构模式。从不同观点对建筑的检查，以发展对实践中重要因素的理解，而不仅仅是理论上。用于不断发展软件密集生态系统的策略，包括域名适当的体系结构以及成为可发展的架构的含义，建筑如何融入软件密集型系统的规范，可视化软件密集型体系结构的技术，以及它们为解决的问题而设计的问题。服务，对象和面向数据的设计原理，嵌入式和企业架构解决方案，集中和分布式体系结构以及云计算体系结构。
安全软件
如今，对安全有要求的应用程序已无处不在，可在各种边缘设备中找到。然而，这些设备中的微控制器尽管通过实现多核和缓存层次结构提供了中等性能，但可能无法提供足够的支持来实施最高完整性级别所需的某些安全措施，比如锁步执行，以避免所谓的共因故障（即影响冗余组件的故障导致所有冗余组件出现相同的错误）。为了解决这一限制，最近在 [ 2 ] 中提出了一种基于软件监视器的方法，该方法在内核之间强制执行某种基于软件的锁步执行，并提供了概念证明。本文介绍了 SafeSoftDR，这是一个库，它提供了一个标准接口，用于在非原生锁步内核上部署基于软件的锁步执行，从而减轻了最终用户创建冗余进程、复制输入/输出数据和执行结果比较的负担。我们的库已经在基于 x86 的 Linux 上进行了测试，目前正在集成到针对安全相关应用的开源 RISC-V 平台上，从而为安全关键型应用提供了便捷的环境。
Emedgene™ 软件
新一代测序 (NGS) 在研究罕见病和其他遗传病、药物基因组学、细胞遗传学、其他生殖系疾病或携带者筛查研究中的应用，对于加深我们对人类遗传学的理解和转化为精准医疗至关重要。全基因组测序 (WGS)、全外显子组测序 (WES)、靶向和虚拟面板分别提供了对整个基因组、编码区域或靶基因区域的高分辨率、无偏见的视图。然而，分析和解释这些方法产生的大量数据会给实验室带来巨大的瓶颈。特别是，变异解释是一个耗时的手动过程，需要大量重复的步骤，每个基因组最多需要 7 个小时。1 对于高通量面板应用，例如健康或携带者群体筛查项目，实验室通常希望使用自动化、变异管理和高效研究报告生成工具来最大限度地提高效率和准确性。
