XiaoMi-AI文件搜索系统
World File Search SystemPapyrus
asx 公告 - Papyrus Australia
合资生产设施将实现 Papyrus 最新专利申请中的第 2 阶段技术的商业化和部署。此次合作是 Papyrus Australia 继续扩展其创新技术的重要机会，该技术将香蕉种植园的农业废弃物转化为越南的模制纤维包装。Thanh Dung Co 是一家多元化制造公司，利用回收的纸板和废纸生产大量纸板。该地点拥有海阳省周围 13,000 公顷的香蕉种植园，有足够的原材料用于初始开发阶段，并且在同一地点具有巨大的扩建潜力。计划在 2025 年初进行详细的项目可行性评估和尽职调查，随后签署具有约束力的合资协议。2. Papyrus 聘请基石投资者 L39 Capital Pty Ltd 支持开发
基于行为树的ROS 2应用程序用纸莎草纸的低代码编程
来自意大利比萨的Scuola Superiore Sant'anna的计算机科学医生（新兴数字技术，专注于嵌入式系统），Matteo Morelli是CEA列表的嵌入式和自主系统设计实验室（LSEA）的研究工程师和项目经理。他的研究重点是用于自动且值得信赖的机器人软件系统体系结构的工具辅助设计过程。Matteo是多个欧盟项目的PI，包括Robmosys H2020，并说服了他和主题组«软件工程，系统集成，系统工程»（Eurobotics AISBL TG）和法国研究工作组«GT4：GT4：建筑物De ControtorturesdeContorôlePourôlePourpour la Robotique»（GDR Robotique）。自2022年9月以来，Matteo一直是“基于模型的自主软件系统体系结构”的CEA专家，他为CEA CEA列表列表研究计划的战略路线图的定义和实现做出了贡献。
Eclipse Papyrus 案例研究系列
系统的使用（即操作描述）及其功能架构。通过使用形式语言而不是文档，目的是提高规范的质量和理解，并处理系统的复杂性。事实上，可以执行正式的分析和验证，减少错误数量并在开发周期的早期发现它们。此前，空客依靠可用且完善的 COTS 工具取得了令人鼓舞的成果，但由于其复杂性，其部署受到限制。因此，新工具的一个关键要求是它必须足够灵活，以适应空客系统工程词汇和概念，并随着流程和方法的逐渐成熟，轻松适应不断变化的需求。