XiaoMi-AI文件搜索系统
World File Search System开源软件
通过科学和物理知识的机器学习降低模型来加速数值模拟
○ITHACA，实时高级计算应用程序，是整合已经建立了良好的CSE/CFD开源软件○RBNICS作为新手ROM用户（培训）的教育计划（FEM）。○ Argos A dvanced R educed order modellin G O nline computational web server for parametric S ystems ○ PINA a deep learning library to solve differential equations ○ EzyRB data-driven model order reduction for parametrized problems ○ PyDMD a Python package designed for Dynamic Mode Decomposition ( in collaboration with University of Texas, CERN, and University of Washington)
2023-24 年度报告
1) 助理教授 Usha CR 女士参加了 2023 年 11 月 10 日至 11 日由 AMC 工程学院 CSE 系与卡纳塔克邦自由软件运动 (FSMK) 合作举办的使用基于 Python 的自由开源软件进行数据分析和可视化的 FDP 2) 助理教授 Lakshmi KK 女士作为代表参加了 2023 年 9 月 14 日至 15 日举行的为期两天的全国研讨会“增强现实和虚拟现实在工程中的应用”。
课程：计算科学与工程硕士
显式有限元方法和瞬态分析 3 BV330008 有限元 5 MW0612 航空航天结构中的有限元方法 (FEM) 4 MW1268 有限元方法 1 6 BV320016 有限元实践课程 4 MW0286 等几何元素 6 BV440005 等几何结构分析与设计 3 BV320007 多体仿真 3 MW0866 多学科设计优化 5 MW0085 多尺度建模 5 MW2359 非线性有限元方法 6 BV320009 优化 6 BV320017 结构动力学 6 BV430008 结构动力学计算机实验室 4 MW2296 使用开源软件进行流体结构相互作用的有限元方法 5 BGU32024
宇宙 | 2024 年 4 月 | 第 1 页 - cloudfront.net
Verma 已在 JPL 担任软件架构师 15 年，专注于端到端解决方案，使数据对科学界有用且相关。他曾在实验室参与过各种各样的项目：机器人建模、深空网络、癌症生物标志物研究、国防、气候科学数据系统设计和开源软件战略。目前，他是遥感分析终端用户观测产品科学数据系统组件的首席架构师和系统工程师，也是多任务地面系统和服务计划办公室赞助的开源项目的经理。他还与 JPL 设计师合作开展与数据可视化相关的外展工作。
在人道主义环境中使用DHIS2进行医疗机构股票管理
背景DHIS2开源软件平台得到奥斯陆大学健康信息系统计划（HISP）中心（UIO）的一个项目的支持。灵活的通用数据平台具有一系列可捕获，管理和分析信息的功能，可以通过Web API和应用程序框架扩展。全球80多个国家使用DHIS2来收集和分析健康数据。DHIS2作为全球公共物品免费提供，并提供了一个简单，用户友好的应用程序，用于在设施和社区层面管理库存和设备。它可以与全面的，上游的国家物流管理信息系统（LMI）无缝集成。
安全的云原生应用程序和红帽上的API OpenShift
Red Hat是全球领先的企业开源软件解决方案提供商，采用社区动力的方法来提供可靠且高性能的Linux，混合云，容器和Kubernetes Technologies。红色帽子可帮助客户整合新的和现有的IT应用程序，开发云本地应用程序，标准化我们的行业领先操作系统，并自动化，安全和管理复杂的环境。屡获殊荣的支持，培训和咨询服务使红帽成为财富500强的值得信赖的顾问。作为云提供商，系统集成商，应用程序供应商，客户和开源社区的战略合作伙伴，Red Hat可以帮助组织为数字未来做准备。
学院与实践的交汇——构建……
开源建筑是一种新兴的范式，在建筑设计中倡导点对点的收集、包容和参与文化。这些条件支持了人们对新兴设计技术教育、研究和实践交叉领域的广泛兴趣，这些技术致力于形式完整性、性能、仿生性和响应性。在过去十年中，为参数化和算法设计、可视化编程和物理计算领域创建和设计的丰富参与者、开源社区、开源软件和开源硬件应运而生，为建筑教育的变革带来了机会。我们讨论在建筑设计中引入开源文化路径以及专业发展的个人学习网络的教学方法。
基于实时设计稳健的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。
2023 年信息技术政策
喀拉拉邦是印度人类发展指数最高的邦，也是印度电子和 IT 行业发展的先行者之一。该邦早在 1990 年就建立了印度最大的也是第一个 IT 空间——科技园。信息园和网络园以及 KSITIL 的建立进一步促进了 IT 技能和就业机会的提升。为了发展一个包容性的 IT 生态系统，该邦在 KSITM 和 C-DIT 下发起了多项电子政务计划，其中许多计划后来成为以公民为中心的政府服务的国家典范。喀拉拉邦是第一个在 KSUM 倡议下制定创业公司发展政策的邦，因此，在印度各邦中，该邦的创业发展一直名列前茅。喀拉拉邦采用了自由和开源软件 (FOSS) 理念，并在包括 IT@School 计划（现为喀拉拉邦教育基础设施和技术 (KITE)，以及后来的国际自由开放软件中心 (ICFOSS)）在内的各种知识协会/社区的领导下进行了推广，这导致了一个充满活力的 FOSS 社区的发展和开源软件在关键应用中的广泛应用。在 IT 人才发展领域，该邦也取得了重大进展，建立了 IIITMK、喀拉拉邦数字大学、喀拉拉邦 ICT 学院等专门机构。最近启动的 KFON 项目将极大地促进该邦的 IT 发展。喀拉拉邦太空公园项目为喀拉拉邦的 IT 领域增添了新的维度。自 1998 年出台第一项 IT 政策以来，通过各种政策措施，喀拉拉邦可以开发一个全面的生态系统来包容性地使用信息技术。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。