[转]osgconv工具简介
osgconv是一种用来读取3D数据库以及对它们实施一些简单的操作的实用应用程序，同时也被称作 一种专用3D数据库工具。用osgconv把其他格式的文件转换为OSG所支持的格式 osgconv是一种非常有用的的工具来读取标准的3D格式，如OpenFlight,3DS,Alias ...
原文：【转】ModelChecking工具UPPAAL安装与简介
UPPAAL是使用较多的基于时间自动机的验证工具。它是由丹麦Aalborg大学和瑞士Uppsala大学联合开发的对实时系统模拟和验证的工具。时间自动机是对自动机理论的扩展，提供了形式化的方法来建立和分析实时系统的行为，在模型检测方面有着重要的应用。时间自动机为实时系统的自动化分析和验证提供了一种形式化的理论模型。 在http: www.uppaal.org 网站下载UPPAAl安装包，安装UPPA ...
2019-05-12 18:33 0 691 推荐指数：
相关推荐
内核工具 – Sparse 简介【转】
转自：https://www.cnblogs.com/wang_yb/p/3575039.html Sparse是内核代码静态分析工具, 能够帮助我们找出代码中的隐患. 主要内容： Sparse 介绍 Sparse 使用方法 Sparse 在编译内核中的使用 补充 ...
【转】selenium简介及安装方法
转自：http://www.cnblogs.com/fnng/p/3157639.html 1. selenium 介绍 selenium 是一个web 的自动化测试工具，不少学习功能自动化的同学开始首选 selenium ，相因为它相比QTP 有诸多有点： 免费，也不用再为破解 ...
性能监控的好工具 - NewRelic 简介(转)
我们蝉游记服务器端性能监控一直用 http://newrelic.com/ ，用它的免费版本N长时间，有必要为好工具义务宣传一下。 首先你需要在网站上注册一个新帐号，根据服务器端的应用框架选择安装对应的插件，它提供了很多常见应用框架插件，以Rails为例子，只需要在Gemfile配置，执行 ...
可视化工具Grafana：简介及安装
随着业务的越发复杂，对软件系统的要求越来越高，这意味着我们需要随时掌控系统的运行情况。因此，对系统的实时监控以及可视化展示，就成了基础架构的必须能力。 这篇博客，介绍下开源的可视化套件grafana的安装及其功能特点。。。 官网地址：Grafana 官方文档：Grafana文档 环境 ...
Gerrit - 代码评审工具Gerrit简介与安装
1 - 前言 Code Review 代码评审是指在软件开发过程中，对源代码的系统性检查，改进代码质量，查找系统缺陷，保证软件总体质量和提高开发者自身水平。 简单的说，Code Review是用来确认方案设计和代码实现的质量保证机制。 2 - Gerrit简介 Gerrit 是建立在Git ...
数据采集工具Telegraf：简介及安装
接着上一篇博客：InfluxDB简介及安装，这篇博客介绍下Linux环境下Telegraf安装以及其功能特点。。。 官网地址：influxdata 官方文档：telegraf文档 环境：CentOS7.4 64位 Telegraf版本：0.11.1-1 一、Telegraf介绍 ...
可视化工具Grafana：简介及安装
随着业务的越发复杂，对软件系统的要求越来越高，这意味着我们需要随时掌控系统的运行情况。因此，对系统的实时监控以及可视化展示，就成了基础架构的必须能力。 这篇博客，介绍下开源的可视化套件grafana的安装及其功能特点。。。 官网地址：Grafana 官方文档：Grafana文档 环境 ...