微软开源Bio Model Analyzer,助力云端生物学研究

∮仗剑ノ天涯 UID.437137
2017-02-14 发表

本帖最后由 newsmanager 于 2017-2-19 11:45 编辑

如果你是一名生物方面的科研人员,并且倾向于使用云服务来加速科研进程,那么微软最近的动向可能会让你非常高兴。因为这家公司最新开源了旗下基于云服务的生物研究工具 —— 《Bio Model Analyzer》。

***附件停止解析***

微软目前已经把源代码上传到了 ***链接停止解析*** 上。

这里简单介绍一下《Bio Model Analyzer》。该工具允许生物学家轻松快捷地构建复杂的生物行为模型,并使用来自正式验证领域的技术分析这些模型。其后端基于 F# 语言,而图形界面是基于 HTML5,并使用了 SAT Z3 求解器。

Bio Model Analyzer 包含如下内容:

[list]
[*]HTML5 用户界面
[*]命令行工具
[*]命令行混合物理层/可执行仿真器
[*]聊天框
[*]一系列相关工具
[/list]
相关视频

[flash]http://player.youku.com/player.php/sid/XMjUxMjE2Mzk0OA==/v.swf[/flash]

标签: Microsoft

敬告:
为防止不可控的内容风险,本站已关闭新用户注册,新贴的发表及评论;
你现在看到的内容只是互联网用户曾经发表的言论快照,仅用于老用户留存纪念,且仅与科技行业相关,全部内容不代表本站观点及立场;
本站重新开放前已针对包括用户隐私、版权保护、信息安全、国家政策在内的各种互联网法律法规要求,执行了隐患内容的自查、屏蔽和删除;
本站目前所属个人主体,未有任何盈利安排与计划,且与原WFUN.COM所属公司不存在任何关联关系;
如果本帖内容或者相关资源侵犯到您的合法权益,或者您认为存在问题,那么请您务必点此举报或投诉!
全部回复:
cw****50 UID.1097223
2017-02-15 使用 Lumia 950 XL 回复

好东西

本站使用Golang构建,点击此处申请开源鄂ICP备18029942号-4联系站长投诉/举报