文件名称：Java健身管理系统源码-PolyCARP:多鲤鱼
文件大小：3.17MB
文件格式：ZIP
更新时间：2024-06-25 04:20:56
系统开源
Java健身管理系统源码多鲤鱼 PolyCARP（用于多边形计算的算法和软件）是一个算法包，用 Java、C++ 和 Python 实现，用于计算多边形的包含、碰撞、分辨率和恢复信息。 PolyCARP 的预期应用与但不限于空中交通管理中的安全关键系统。 这个存储库也是原型验证系统中 PolyCARP 算法的正式规范（）。 文档 PolyCARP 的 API 文档仍在开发中。 同时，请参阅发行说明和示例文件以及 . 有关此存储库中定义和算法的技术信息，请访问 。 当前的版本 PolyCARP@FormalATMv2.6.2（2017 年 3 月 18 日） 执照 此存储库中的代码是根据 NASA 的开源协议发布的。 查看目录； 另请参阅本文件末尾的版权声明。 接触 ()，美国宇航局兰利研究中心。 版权声明 版权所有 2016 美国*，由美国国家航空航天局局长代表。 版权所有。 无担保：主题软件“按原样”提供，不提供任何形式的明示、暗示或法定担保，包括但不限于，主题软件将符合 AB 保证、针对特定目的的适用性或免于侵权、对相关软件无错误的任何保证，或对文档（如果提供）与相关软件一致的任