精华内容
下载资源
问答
  • 常用Petri网模拟软件工具简介

    万次阅读 2016-04-29 09:23:15
    常用Petri网模拟软件工具简介 首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World: http://www.informatik.uni-hamburg.de/TGI/PetriNets/ 我这里介绍的软件大部分在该网站中的Tools and Software...

    常用Petri网模拟软件工具简介

          首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World:

          http://www.informatik.uni-hamburg.de/TGI/PetriNets/

          我这里介绍的软件大部分在该网站中的Tools and Software中的Petri Nets Tool Database里可以找到相关的链接。

           Petri网的相关模拟仿真软件现在已经相当成熟了,在国外已经有很多投入商用的案例。但目前每年的国际性Petri网学术会议上都有一个专题就是:Petri Nets Tools的开发。也就是说Petri网界对于新的模拟软件的开发是十分重视。

          这里不是要跟大家说如何开发软件,而是想跟大家分享如何下载和使用适合我们自己的Petri网学习工具软件。

          下面介绍我比较熟悉的几款软件,大家不妨自己下载安装使用(注意,其中有些是要钱的,不管打不打折,对于我们来说肯定不会下):

    Visual Object Net ++

          Tool homepage: http://www.systemtechnik.tu-ilmenau.de/~drath/visual_E.htm

          Visual Object Net ++可以说是一款入门级的模拟软件了。我用得最多。具有非常直观的操作和非常强大的功能。支持时间以及混杂网,但是我们用得最多的还是使用它来队最普通的P/T网建模。这款软件虽然很好用,但感觉就是太普通、太普通了。

    Tina

          Tool homepage: http://www.laas.fr/tina

          Tina是一款对时间Petri网支持得比较好的软件,也是我用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他的移植性很好。

          Tina的操作也比较特别,很多操作需要借助键盘按键来完成,如:

          Ctrl + g用来切换软件背景网格线的有无;鼠标中键用来添加库所;Ctrl +鼠标中键用来添加变迁;用鼠标中键在库所与变迁间拖拽可以添加弧。

          它有专门的模拟模块,点击菜单的tools-stepper simulator可以切换到运行模拟器中,如图。其中Rand表示随机运行,完了之后可回复到初始状态进行单步运行分析等。

     

    CPNTools

          Tool homepage: http://www.daimi.au.dk/CPNTools/

          CPN Tools是颜色Petri网领域鼎鼎大名的建模软件,操作界面如下图所示。

          其操作也独具特色--添加库所、变迁以及弧的方法是使用鼠标右键点击不放,在出现的圆形弹出菜单内用左键选择相应的项目。

          下图大家一看就明白,乃是经典的哲学家进餐问题的CPN模型。

     

          更多的操作细则请参看在线帮助文档:

          http://wiki.daimi.au.dk/cpntools-help/cpntools-help.wiki

    JFern、PIPE

          Tool homepage: http://sourceforge.net/projects/jfern

          之所以放在一起讲是因为JFern和PIPE都是基于Java平台的Petri网模拟软件。所以不管是在Windows下还是Linux下都必需有JDK/JRE作为运行环境方可使用。

          JFern支持面向对象Petri网,目前支持OOPN的软件比较少,所以很有价值。

          PIPE 是Platform Independent Petri Net Editor的缩写,没有给下载地址因为Petri Nets World上没有。而我是从西北大学一位研究生处得到的,当我问起他们一般使用什么Petri网模拟软件时,他只说了PIPE,可见它还是很有影响力的。

          下载到JRE,并设置好PATH后运行PIPE软件包中的pipe.bat(Windows下,Linux下的启动程序是pipe.sh)文件就可以打开操作界面了(见图) 。

          可见其界面也很直观易懂,且采用分页结构。

          附:PNAE下载地址(点击下载)

          另外我想提出的一点说明是:在PIPE所建模型的库所属性框里可是有“Capacity”一栏的哦!这是我看到的第一个设置了库所容量的成熟软件。

    说了这么多,最后想说一点:Petri网模拟软件其实还有很多很多,只要是不要钱的大家都可以拿来下着玩玩,弄不好就被你发现点什么玄机了,呵呵。如果觉得这些软件的操作你不熟悉,拿着不知道怎么用,最有效也是最直接的办法是:看帮助文档或者说用户手册!

    展开全文
  • 工具分享-Windows 的绿色软件工具

    千次阅读 2018-10-13 19:50:45
    最近想写博客,但没什么可写的,想了想,博客就是用户记录或者分享自己的知识库的,自己...今天主要分享一款最近发现的一款Windows 的绿色软件工具集的软件–盘姬工具箱 盘姬工具箱 是一款 Windows 下的绿色工具集,...

    最近想写博客,但没什么可写的,想了想,博客就是用户记录或者分享自己的知识库的,自己日常也经常会逛一些论坛啥的,过程中也发现了一些好用的工具,自己电脑上也会安装着尝试着去使用,以后在也会陆续的分享一些自己觉得不错的,实用的系统工具、开发工具、优秀的开源软件等等。

    今天主要分享一款最近发现的一款Windows 的绿色软件工具集的软件–盘姬工具箱

    盘姬工具箱 是一款 Windows 下的绿色工具集,包含了修复系统、恢复网络、抓包、热点分享、资源下载、图像识别等非常多的工具,「集媒体读取编辑、开发者、娱乐和实用工具于一身」。
    主要包括:

    1、首页快捷指令、快捷宝箱等等

    快捷指令
    快捷宝箱

    2、系统工具

    在这里插入图片描述

    3、实用工具

    在这里插入图片描述

    4、高级工具

    在这里插入图片描述

    5、其他工具

    在这里插入图片描述

    6、工具设置

    在这里插入图片描述

    工具下载

    百度网盘:https://pan.baidu.com/s/1KC__4GvCo0KDL7_766lTEg 密码:rquv

    发现这款软件之前,里面的很多软件我也都经常会用到,也会单独下载,但发现有了这款工具,省去了对各种常用工具软件的归类,一款软件就可以搞定,另外也包含了一些自己不知道但又非常实用的工具,给作者点个赞,也希望大家有类似的软件可以推荐下。

    展开全文
  • Auto.js软件工具集合

    千次阅读 2019-12-25 11:34:11
    在学习和使用Auto.js时用到的软件工具等等; 学习/教程/文档 社区: https://www.autojs.org Auto.js 源码: https://github.com/hyb1996/Auto.js 官方文档: https://hyb1996.github.io/AutoJs-Docs Auto.js官方...
    在学习和使用Auto.js时用到的软件工具等等;

    学习/教程/文档

    案例/现成脚本

    电脑端

    1. 开发软件

    2. 投屏

    3. 安卓模拟器

    免费API

    展开全文
  • DeepinOS安装部分软件工具总结

    千次阅读 2019-01-27 22:51:15
    linux系统装软件工具等和windows很不相同,其中有一些软件是可以从应用商店中找到的,直接进行安装就可以,还有一些可以从官网下载到deb包进行安装,那么除此之外怎么办呢?之前我是通过各种网上搜索教程,现在总结...

    前言:昨天安装win10把电脑装崩了,幸亏U盘里还有deepinos的安装包,索性装了deepin单系统。linux系统装软件工具等和windows很不相同,其中有一些软件是可以从应用商店中找到的,直接进行安装就可以,还有一些可以从官网下载到deb包进行安装,那么除此之外怎么办呢?之前我是通过各种网上搜索教程,现在总结这些软件和工具的安装教程,避免下次还是需要重新火急火燎的搜索安装。
    update in 2019.08.17: 更新部分工具的安装使用说明

    Deepin常用工具安装

    1.curl:同wget都是下载文件的工具,wget deepin自带,但有些工具安装需要使用curl。具体安装方式是:

      sudo apt-get install curl libcurl3 libcurl3-dev php5-curl
      # 上述命令在新版本如15.11里面可能会报错“软件包 php5-curl 没有可安装候选”,尝试使用以下命令
      sudo apt-get install curl
    

    2.sdkman:很好的工具可以帮助进行软件开发工具包的管理,比如java等。安装方式如下:

      curl -s "https://get.sdkman.io" | bash
      source "$HOME/.sdkman/bin/sdkman-init.sh"
      sdk version #出现版本信息说明安装成功
    

    安装java可以使用下面的命令,可以说非常方便了

      sdk install java
      java -version # 安装完成可以看一下版本了
    

    说实话我是为了使用公司的vpn,需要easyconnnect才去装jdk的,但是发现下载安装好了还是不成。easyconnent有linux安装包,但是安装了显示服务器和此版本不匹配,折腾了一中午好像这个问题还是无解。而且使用crossover安装,也不好用,不知道是什么问题。看来只能在windows上使用了。
    3.VPN工具
    deepin官方商店提供shadowsocks-qt5的下载,但是实际安装操作后发现扫描屏幕二维码功能貌似不正常(可能和我机器有关),另外就是需要自己配置系统代理(当然也可以配置应用代理,系统代理的设置方式是:设置->网络->系统代理->手动->socks代理一般是127.0.0.1,端口是1080,选择确定),最重要的是不能使用PAC模式,这样浏览本地可以访问的网站也会走代理,白白浪费流量。所以这里推荐使用shadowsocks-deepin,个人使用挺正常而且界面简洁,系统代理会自动设置成配置url的模式,支持PAC,在访问需要使用代理的网站时还会在图标上有贴心的展示(图标上出现蓝色的小点点)。安装方式很简单,直接在github下载deb包安装即可。
    注:因为当前deepin版本(15.11)采用稳定版本的debian,QT环境有降级,而shadowsocks-deepin1.2.1版本采用高版本的qt环境,所以安装时会出现依赖不满足的情况,暂时不能使用。不排除之后版本有更新解决此问题。
    4.node:node官网并没有为我们提供deb包,所以需要自己编译安装,这有点麻烦。不过我们可以简单使用nvm进行安装,反正我们使用node的一般都要用到nvm来保持多个版本共存的。所以先安装nvm

      wget -qO- https://raw.githubusercontent.com/creationix/nvm/v0.34.0/install.sh | bash
      # 也可以使用curl方式
      curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.34.0/install.sh | bash
      # 重启终端或输入以下命令更新配置文件
      source ~/.bashrc
    

    有了nvm后一切都很简单了,接着安装node最新版本和指定版本命令如下:

      nvm install node # 安装最新版本nodejs
      nvm install 10.15.0 # 安装10.15.0版本的node
    

    5.git:我们免不了使用git管理源代码,git安装方式官网有说明,对于deepin系统只需要使用sudo apt-get install git进行安装即可。但这样安装的并不是git的最新版本,目前(2019-0816)最新版本为2.23.0,如果指定安装版本sudo apt-get install git=2.23.0会提示找不到最新版本,这时怎么办呢?

    Deepin常用软件安装

    1.Chrome安装:在没有翻墙的情况下是不能进入Chrome官方网站下载deb安装包的,所以只能使用wget方式了,然后在需要选择时候输入Y即可。

      wget https://dl.google.com/linux/direct/google-chrome-stable_current_amd64.deb
    

    这样就下载了Chrome的deb包,这时就可以打开文件管理器,找到主目录下刚下载的chrome的deb文件,点击安装即可。有问题可以查看这篇文档如何在Linux上安装Google Chrome 63
    因为windows上习惯使用360浏览器,而且账号里有很多收藏内容,所以我在deepin上一般也使用360浏览器,安装包可以去360社区下载,也可以去深度应用商店进行下载安装。

    Deepin常用配置

    1.快捷命令配置
    我在linux系统中常使用ll命令,但在deepinos默认不存在,实际上是注释掉了,这就需要打开注释

    sudo vim ~/.bashrc #找到配置文件
    # 在vim命令模式下,输入/alias 找到#alias ll='ls -l‘命令,把前面的#号去掉就好了
    source ~/.bashrc #立即生效
    

    暂时就写这么多,以后会继续更新的。感觉有时间去进行些归纳总结还是很好的,起码不会做一些重复的工作,像之前就是每次安装都要重新进行反复的搜索,浪费了很多精力。

    Deepin问题解决

    1.前面提到有些应用可能因为系统核心依赖版本问题导致无法安装,如果使用dpkg能强行安装,不过这样会破坏系统本身依赖关系,导致诸如应用商店应用不能正确进行安装和不能进行系统更新等问题,通过百度搜索找到解决方案,使用下列命令一步步解决即可

    # 清除已经下载的安装包
    sudo apt-get clean 
    # 重新更新软件列表
    sudo apt-get update 
    sudo apt-get dist-upgrade
    
    展开全文
  • bmd文件用什么软件工具打开编辑?请各位大神就说明下载那种软件怎么用,谢谢
  • 自然语言处理NLP开源软件工具

    千次阅读 2019-06-24 11:49:34
    自然语言处理(NLP) 开源软件工具包 基础研究领域 1、文本分类 2、依存分析 3、命名实体 4、词性标注 5、中文分词 6、情感分析 7、信息抽取 8、文本摘要 一、NLTK NLTLK官方文档地址:http://www.nltk.org/ ...
  • UI设计需要用到哪些软件工具呢?

    万次阅读 2018-03-28 18:07:10
    很多零基础的非专业人士准备入行学习UI设计,但是对UI设计所需要使用的软件工具不是很清楚。大多数人的认知只停留在Photoshop上,然而作为一名优秀的UI设计师,需要学习掌握的工具远不止Photoshop。下面就和重庆中软...
  • 最好用的卸载软件工具(Your Uninstaller! PRO) 引言 在 windows 系统的使用过程中我们不可避免地需要安装和卸载软件。大多数时候通过 windows 系统自带的工具卸载软件是完全 ok 的。我们也完全不在意卸载是否...
  • 汽车电子开发设计常用软件工具有哪些|更新:2016-06-05 13:591234567分步阅读 当今汽车电子控制器越来越多,技术越来越复杂,一般正常电子控制器有:电喷发动机,电动车窗,电动座椅,电控车身稳定系统,电子显示屏...
  • 金旭亮软件工具系列之WPF开发“查找大文件”工具

    万次阅读 热门讨论 2012-08-22 11:12:29
    软件工具开发系列”之 WPF开发“查找大文件”工具说明: 出于各种原因和目的,我先后写了一些实用小程序,打算有时间的话将它们公布出来,一是希望这些小工具能确实能解决一些人的实际问题,二是给我的许多学生...
  • 总结一下自己在java开发中常用的一些软件工具,插件,容器,中间件等。 常用软件及插件 一.intellij idea(及好用的集成插件): 1.iBATIS/MyBatis mini-plugin:可以直接从sql接口类点入配置mapper.xml文件。 2....
  • 软件开发方法 软件开发方法是一种使用早已定义好的技术集及符号表示习惯来组织软件生产的过程。 结构化方法 结构化方法由结构化分析、结构化设计、结构化程序设计构成,它是一种面向数据流的开发方法。结构化分析...
  • 当固态硬盘掉速很严重时,可以下载相关辅助软件来解决。例如cclear等软件,相当于恢复出厂设置。因此,按照软件的操作步骤做完以后,硬盘的运行速度会明显提升,可以参考下面的内容下载软件。1、下载软件ccleaner,...
  • 数据分析好用的软件工具

    千次阅读 2020-02-15 12:32:56
    做数据分析除了需要良好的数学统计基础,对数据的敏感性,有一个熟练使用的“家伙什儿”是很重要的,那么常用的数据分析挖掘工具都有哪些呢?有哪些又是适合自己工作场景的呢?1 PythonPyt...
  • 教程包括:windows环境下载安装curl,bat批处理程序使用curl工具调用http-get接口 下载地址:https://curl.haxx.se/windows/ 百度网盘备份:https://pan.baidu.com/s/1yHYon2DGaMZR90cFse32wQ提取码:6wm2 ...
  • 项目管理、Bug管理软件工具:禅道,BugFree,Redmine  BugFree是借鉴微软的研发流程和Bug管理理念,使用PHP+MySQL独立写出的一个Bug管理 系统xx。简单实用、免费并且开放源代码(遵循GNU GPL)。 命名Bug...
  • 免费的文本分析 文本挖掘软件工具(第一部分)

    万次阅读 多人点赞 2020-02-18 13:29:08
    这里针对非编程人员,介绍几个免费文本分析和文本挖掘软件,可以直接导入中文文本,得出一些统计和可视化信息。另外如果是编程人员,推荐使用一下文本挖掘的工具包。下面是两个可选的工具。 KH Coder 链接为:...
  • 杰克·瓦伦列出了他最喜爱的五个便携防病毒/反恶意软件工具,所有这些工具都是便于携带且马到功成的,你有最喜爱的便携反病毒工具吗?将你的建议与大家分享吧。
  • YLMF装机人员常用软件工具盘 Y6.0

    千次阅读 2008-01-12 23:57:00
    YLMF装机人员常用软件工具盘 Y6.0 工具盘里大部分软件均收集自互联网,由雨林木风收集整理,仅供雨林木风会员内部交流使用,请勿用于商业目的,否则由此产生的责任自行负责。对于软件的版权,归软件原作者所有! 工具...
  • 软件工具——Git下载安装

    千次阅读 2019-02-27 10:10:41
    Git 下载安装 下载地址:https://git-scm.com/download/win 百度网盘备份:链接:https://pan.baidu.com/s/1Wfw1Mob7ueoFbBXzm1D77A 提取码:s6ae  1.1 官网下载截图 网页打开后其实已经开始下载了,如果......
  • 以下内容转自作者关于工具箱发表 {盘姬工具箱CruiserEXPforWin版是一款以萌化为主题的绿色综合整合包; 它集成惹一些Win平台你所能想或不能想到大大小小的功能; 你可以利用它修复抢救设置或者优化美化你的电脑; ...
  • 裁剪工具分为裁剪工具,透视裁剪工具,切片工具和切片选择工具裁剪工具   作用1:图片的增加边框(调整背景色)  作用2:裁剪固定尺寸照片(一寸照片大小 2.5cm*3.5cm*300px)  作用3  重新确定水平线(拉直功能...
  • 软件工具——pycharm打包python程序

    千次阅读 2019-07-03 11:34:24
    打开pycharm工具 写个简单的python文件 点击左下角的 Terinal 输入打包指令 pyinstaller -F -w TestMain.py ,第一次使用可能由于环境变量问题或压根没安装pyinstaller的原因而失败。 pyinstaller指令需要...
  • 矩形选框工具分为矩形选框工具,椭圆选框工具,单行选框工具和单列选框工具矩形选框工具和椭圆选框工具  复制框选的图形:点shift+m框选完后,点ctrl+c复制的是图层;点alt加左键,复制的仅仅是内容,并和原图粘在...
  • 音速启动-软件工具箱制作

    千次阅读 2017-12-04 02:21:41
    私人工具箱制作PS
  • 污点修复画笔工具包含了污点修复画笔工具,修复画笔工具,修补工具,内容感知移动工具和红眼工具污点修复画笔工具  用于吸附污点的,磨皮,祛痘,去图片水印,模式:正常(多用) ,类型:内容识别(多用)修复画笔...
  • 大数据常用的软件工具有哪些?

    千次阅读 2019-05-24 17:30:02
    首先,对于传统分析和商业统计来说,常用的软件工具有Excel、SPSS和SAS。  Excel是一个电子表格软件,相信很多人都在工作和学习的过程中,都使用过这款软件。Excel方便好用,容易操作,并且功能多,为我们提供了...
  • 3款Python 开源爬虫软件工具

    千次阅读 2018-04-22 14:54:26
    Python爬虫1.QuickReconQuickRecon是一个简单的信息收集工具,它可以帮助你查找子域名名称、perform zone transfe、收集电子邮件地址和使用microformats寻找人际关系等。QuickRecon使用python编写,支持linux和 ...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 307,086
精华内容 122,834
关键字:

软件工具