用于与Kappa工具集交互的包装器
项目描述
<img src=”https://rawgithub.com/Kappa-Dev/KaSim/master/man/img/KaSim-Logo.svg” alt=”KaSim logo” title=”Stochastic Kappa Simulator” align=”right” height=”90”/> # KappaTools
[](https://travis-ci.cn/Kappa-Dev/KappaTools) [](https://gitter.im/Kappa-Dev/KaSim?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
KaSim是用于编写在Kappa中编写的基于规则的模型的随机模拟器。KaSa是Kappa模型的静态分析器。
Kappy是一个用于启动和分析Kappa模型运行及其输出的Python库。
## 用户手册请参阅[kappalanguage.org上的文档页面](https://kappalanguage.org/documentation).
Kappy[API文档在线](https://kasim.readthedocs.io/en/latest/kappy.html).
“较旧”的参考手册(以及KaSa手册)的LaTeX源文件可在man/目录中找到。要编译手册,除了合适的LaTeX发行版外,还需要[gnuplot](http://www.gnuplot.info/)和[graphviz](https://graphviz.cn/)来生成图像(确保OS的PATH中包含dot)。要生成手册的PDF,请输入
make doc
## 安装
### 核心工具
发布的版本(https://github.com/Kappa-Dev/KaSim/releases)包含MacOS、Windows和Debian衍生版(如Ubuntu)的二进制文件。[夜间构建](https://tools.kappalanguage.org/nightly-builds/)的master分支由持续集成工具为这些平台构建。
- 如果您需要或想要自己的构建,
安装[opam](https://opam.ocaml.org/doc/Install.html)(OCaml包管理器)并初始化它(通过运行opam init)
在源目录中,通过opam install –deps-only .安装所有依赖项。
dune build
如果您只需要命令行工具(因此可以安装较少的依赖项),可以通过执行opam install –deps-only kappa-binaries然后执行make all来更加细致。
如果以上都没有解决问题。好吧,您基本上是独自一人了…Kappa工具依赖于OCaml本地编译器版本4.05.0或更高版本以及_dune_、_findlib_、_Lwt_(>= 2.6.0)、_Re_、_Fmt_、_Logs_和_Yojson_库。找到安装它们的方法,您只需执行make all就可以获得Kappa二进制文件…
### Kappy
您应该能够执行pip install kappy。
在MacOS和linux(如果您不使用我们尚未注意到其发布的最新Python版本)下,应提供包含核心二进制的_wheels_。
对于其他平台/Python版本,您需要通过opam包管理器自行获取kappa代理,执行opam install kappa-binaries kappa-agents(或使用外部托管的REST API)
为了在kappy中开发并运行所有测试,您需要遵循上面的“获取自己的构建部分”以及安装_requests_(和_future_)。
## 使用
### KaSim
为了运行一个持续100个时间单位、每0.5个时间单位打印可观察值一次的模拟,请输入
bin/KaSim kappa_file_1 … kappa_file_n -l 100 -p 0.5 -o data_file
这将生成一个包含在模拟期间产生的轨迹的200个点的数据文件。
输入
bin/KaSim –help
以获取选项的完整列表。
### Kappy
执行
`python import kappy client = kappy.KappaRest("http://url_of/the_server","project_name")`
以获取一个使用由http://url_of/the_server托管的REST API的kappa客户端,并处理项目project_name。
或者执行
`python import kappy client = kappy.KappaStd()`
以获取一个使用本地安装的kappa代理的kappa客户端。添加一个字符串参数来指定要使用的path/to/KaSimAgent。
使用示例的最小示例是
`python model = "\ %agent: A(x[x.A]) \ %var: n_0 100 \ %var: k_on 1e-2 \ 'rule' A(x[.]), A(x[.]) <-> A(x[1]), A(x[1]) @ k_on, 1 \ %plot: |A(x[.])| \ %init: n_0 A()" client.add_model_string(model) client.project_parse() sim_params = kappy.SimulationParameter(pause_condition="[T] > 100",plot_period=1) client.simulation_start(sim_params) client.wait_for_simulation_stop() results = client.simulation_plot() client.simulation_delete() # Rerun with some overwritten values for algebraic variables client.project_parse(k_on=5e-2,n_0=500) client.simulation_start(sim_params) client.wait_for_simulation_stop() results = client.simulation_plot() client.shutdown()`
## 测试
通过make check启动核心/集成测试。
如果您在输出中更改了某些内容,请使用make build-tests重新生成参考文件。
启动python测试,请先阅读“获取您的构建”部分,然后使用nosetests。
项目详情
散列值 为 kappy-4.1.2-cp312-cp312-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | c4f52747279a20c36e90ac8f149394d58a1258e72c6e9ab237fa2bc3cf8fcca9 |
|
MD5 | 0422fdb85beae400368e64429495ee60 |
|
BLAKE2b-256 | de0ad5cc1e3cff0270b2fb77f562d0b6f1f3699d21b74e14f571d2673f23a50f |
散列值 为 kappy-4.1.2-cp312-cp312-macosx_11_0_arm64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | e7b186d84f0b3a32f91d0cfbfe4e96f00df345b3cc3d97d0466e53f9c37a5337 |
|
MD5 | 4d859d1230af5ba1637975c3642f7fb8 |
|
BLAKE2b-256 | 696d88b830075d3beb3ba0af0c483e91b8a63c2fbb94a4a0175e8b96db7332c0 |
散列值 为 kappy-4.1.2-cp310-cp310-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | dbc6b9e8960c90734ab8eb948b18e3fb357dc98b892877599f7af1400ac07951 |
|
MD5 | a9e01acdf72a44abd2f59c0e86f52e91 |
|
BLAKE2b-256 | 705d8a4f04e0ffd6496820b5999af1c318510059887869fff1625e9cafc3ef85 |
散列值 为 kappy-4.1.2-cp310-cp310-macosx_11_0_arm64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | fa5b38c8289e6888735ac820018a2ead1210af2047489a4bdcfd3ebfb897eeb4 |
|
MD5 | 56db92b5e60387775cfd2cc4c7c80402 |
|
BLAKE2b-256 | 781865a396b7b2f8807034103e04022094db7b84ba17cb5ff87c4c93e6fb804d |
散列值 为 kappy-4.1.2-cp310-cp310-macosx_10_9_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 9dac96c7e7bdc53e59808a5f3e9b41678b84b6cd906a66ec2e8007b0e12713a2 |
|
MD5 | c7d4cdd6c3caff8a8850f7ac6353fe61 |
|
BLAKE2b-256 | 701d321b44c39757eb5f33b5a459013ad1e64bf0a9c6fa891cebc2559110fbc0 |
散列值 为 kappy-4.1.2-cp39-cp39-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 7a5e9f4d87b3f0aa603022cb0c6f49f141c0c64ec5a7aa97e7acecb9e345be30 |
|
MD5 | 7609ed436c2325dcaffa26085f7343e1 |
|
BLAKE2b-256 | 5bef055d99753fd6241cbf287ed8b8b9823c4af6ed3d17b2866ada738b424688 |
散列值 为 kappy-4.1.2-cp38-cp38-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | b8de8bcd857823215fcc3c184f68de5f1d80dc3b3352107749b8156f85d32ff4 |
|
MD5 | 8ce219a325a4432672139ad48a4116c3 |
|
BLAKE2b-256 | aca4306c4aa4aa178df434a56be20225b3429db20e901c38939047436d0fe2f6 |
散列值 为 kappy-4.1.2-cp37-cp37m-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 2fc1e1f1b273382fb06ac5c547fd242cb9a75f2e9822c6f7429794f2b6105324 |
|
MD5 | c1a58f2cb3c6fbdb71e015b4f11e1262 |
|
BLAKE2b-256 | e061c583c460008fb875297ff41ec937eea58abc10c80fe449a92a5b18b99305 |
散列值 为 kappy-4.1.2-cp37-cp37m-macosx_10_15_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | d6ce688ec320aefd4adf4405a16af968b05aeeafb887b3da4737ad66d9e92f4c |
|
MD5 | 1f68c04563d6453bfacff88af8d574b7 |
|
BLAKE2b-256 | c259b25aa36850eb010d5d8695147e4e60bcd020dc332a8847fdc31f1e673178 |
散列值 为 kappy-4.1.2-cp36-cp36m-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 7b6349b5d57c8c21956f1f13ec2ca7a506f47e16fd3bce71477508d408e5eebb |
|
MD5 | 5802d8a9af75079e60cad0eb8aeebc22 |
|
BLAKE2b-256 | af087b0fd476f8bcfe14add68d434fb98fc4d90419d2f3cf4e6c1c96a68ed20f |
哈希值 for kappy-4.1.2-cp36-cp36m-macosx_10_9_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 81fcd2019c17497404160b88345c594899192fff5c86445adcc72b3dda2dbacc |
|
MD5 | 182dd9d4075d1e44c5bbab81e3a67f69 |
|
BLAKE2b-256 | d1bcd911eb398c785483474a96d5f17efc2ff4f68cd9d45b0f895dcad9924523 |
哈希值 for kappy-4.1.2-cp35-cp35m-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 4ff72986deddf7579bddcdf7e3a6c96a281211a1f22ba06ffc1ba89163586e1e |
|
MD5 | 5540448b82f257bfff035bfe3ca65055 |
|
BLAKE2b-256 | ea356b8b0dc9807f02dcbf467dfd6d104060fd077f143da9e55428c04067657c |
哈希值 for kappy-4.1.2-cp27-cp27mu-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | c0f68a7e88898fc47c6904849e1d4f1ab75ec96003e53423ec9a1316a55ad3b4 |
|
MD5 | 7841fda03815e903bcbbd06f284867b1 |
|
BLAKE2b-256 | b4e4c64726ad51c86ef04f5cc234f17156b39eea556f8b09de959215fc36bb52 |
哈希值 for kappy-4.1.2-cp27-cp27m-manylinux2010_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | 6fc36a989af597648557dcdcfdf3b23f8acd536b85302538d007bda6fb1806c8 |
|
MD5 | f447682b318a18f12094fb0e45aaced5 |
|
BLAKE2b-256 | 32f9afeb442446162a002090d72a4bfb92f7c34d70e4b78b04192ebbcb5715c3 |
哈希值 for kappy-4.1.2-cp27-cp27m-macosx_10_15_x86_64.whl
算法 | 散列摘要 | |
---|---|---|
SHA256 | b256d3a4cccf27e7d17cd0f6d0f3051f817b4e3cab92e2d4b576515bcb0e0f88 |
|
MD5 | 62f0423eaecd09faf5ee766cd19569bc |
|
BLAKE2b-256 | 4b1af57cb979b8294ae59edfd87df26bcfa49623db57d0c496f3fece1cad4a78 |