NASA开源项目pvslib、dnppy、NTL-ISS-Food-Intake-Tracker介绍

以下为你介绍的NASA开源项目都可用在Linux系统上:pvslib(NASA 开发库集合)、dnppy(python 模块集合)、NTL-ISS-Food-Intake-Tracker(食物摄入追踪应用)。

1、pvslib(NASA 开发库集合)

NASA开源项目pvslib、dnppy、NTL-ISS-Food-Intake-Tracker介绍

pvslib 是美国航空航天局正规开发库集合。

获取开发版本:

对于PVS高级用户,可以从GitHub获得NASA PVS库的开发版本,要克隆开发版本,请从目录<pvsdir>中键入以下命令(美元符号表示操作系统的提示):

$ git clone http://github.com/nasa/pvslib nasalib

上面的命令会将库的副本放在目录<pvsdir>/nasalib中。

此版本的NASA PVS库包含Hypatheon,Hypatheon是一种数据库实用程序,提供了对PVS理论编制索引并使其可通过GUI客户端进行搜索的功能。

安装NASA PVS库:

以下说明假定NASA PVS库位于目录<pvsdir>/nasalib中,首先,设置环境变量PVS_LIBRARY_PATH,使其指向该目录,根据您的外壳,将以下行之一放入启动脚本中,在C shell(csh或tcsh)中,将此行放在~/.cshrc中:

setenv PVS_LIBRARY_PATH "<pvsdir>/nasalib"

在Borne shell(bash或sh)中,将此行放在~/.bashrc或~/.profile中:

export PVS_LIBRARY_PATH="<pvsdir>/nasalib"

如果您以前安装过NASA PVS库,请删除文件~/.pvs.lisp,或者,如果该文件中有特殊配置,请删除以下行:

(load "<pvsdir>/nasalib/pvs-patches.lisp")

最后,转到目录<pvsdir>/nasalib并运行Shell脚本(美元符号表示操作系统的提示符):

$ ./install-scripts

$ ./fetch-hypatheon-db

前一个命令将安装pvsio和provit的更新版本,稍后的命令将获取要由Hypatheon使用的NASA PVS库数据库的更新版本。

下载地址:https://github.com/nasa/pvslib

2、dnppy(python 模块集合)

dnppy 是一个为 DEVELOP 国家计划做代码库的 python 模块集合。

下载地址:https://github.com/NASA-DEVELOP/dnppy

3、NTL-ISS-Food-Intake-Tracker(食物摄入追踪应用)

NTL-ISS-Food-Intake-Tracker 是美国国家航空航天局为国际空间站成员设计的,可用在 iPad 上的食物摄入追踪应用。

注明

以上就是NASA开源项目pvslib、dnppy、NTL-ISS-Food-Intake-Tracker的介绍内容,这些NASA开源项目都能使用在Linux操作系统中。

栏目相关文章