1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。
可以去这里下载运行环境:http://www.skycn.com/soft/3116.html2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。
3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。
由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。
4.计算前请选择变元个数(默认为3元)并对变元赋值。
变元个数最高为5,基本能满足日常的计算。
5.计算器有自动检查表达式能否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
作者qq:86143838email:qiaomuf@163.com
2018/5/21 17:08:33 6.79MB java swt 开源 离散
1
利用shapefile对栅格图像进行裁剪.;:Syntax;RasterSubsetViaShapefile,Fid,shpFile=string,[pos=array],;[inside={0|1}],[outFile={string|variable}],[r_fid=variable];;:Params:;Fid--输入文件FID;注:可通过ENVI_OPEN_FILE、ENVI_SELECT、ENVIRasterToFID等获取;;:Keywords:;pos--保留波段索引数组(可选),默认保留所有波段。
;shpFile--用于裁剪的shapefile完整路径;inside--保留shp文件外或内(可选,0或1),默认保留内部。
;注:设置0时,保留外部;
设置1时,保留内部。
;outFile--裁减结果文件路径(可选);注:如果不设置或设置为变量,则裁剪结果保存在临时目录中,outFile将保存输出文件名;注:如果设置为文件路径,则裁剪结果保存在指定路径中;r_fid--前往裁剪结果文件FID,如果范围-1,则表示裁剪失败。
2018/1/14 12:02:39 5KB IDL shapefile 影像 裁剪
1
Android源码,实现邮箱登陆,收件箱/草稿箱/发送邮件/联系人等功能。
留意:邮箱必须开通pop3/SMTP协议,例如126邮箱,现在注册的时候默认是没有开通此服务的,须到设置里面,开通完会产生一个密钥,通过此密钥登陆,而不是普通的邮箱密码!!
2016/11/5 15:31:06 3.61MB Android 邮箱 pop3 smtp
1
NIKE销售系统源码源码描述:一、源码特点1、winform窗体实现nike销售系统二、菜单功能1、权限管理2、收银台界面三、留意事项1、开发环境为VisualStudio2012,数据库为SqlServer2008,使用.net2.0开发。
2、数据库文件在DB_51aspx文件夹中,附加即可3、默认数据库连接字符串在DBHelper.cs配置文件中修改4、管理员用户名为手机号;
密码为:123456;
2021/3/18 16:51:04 10.69MB C# SQL2012
1
vimfiler用Vim脚本实现的功能强大的文件浏览器注意:vimfiler.vim上的活动开发已停止。
未来唯一的更改将是错误修复。
请参阅。
引见vimfiler是一个用Vim脚本编写的功能强大的文件浏览器(“filer”)。
用法要启动vimfiler,请运行以下命令::VimFiler如果将g:vimfiler_as_default_explorer设置为1,则vimfiler将用作默认资源管理器(而不是netrw)。
:letg:vimfiler_as_default_explorer=1vimfiler取决于。
在安装vimfiler之前,请安装unite.vim3.0或更高版本。
屏幕截图常用操作资源管理器功能(类似于NERDTree)黑暗主题与其他文件浏览器相比,vimfiler提供哪些优势?整合与集成外部来源(例如
2021/11/26 1:28:36 85KB Vimscript
1
默认情况下,Chrome的–proxy-server="http://ip:port"参数不支持设置用户名和密码认证。
但在启动代理IP时大多数会遇到需要通过用户名和密码验证来添加代理,本博客就遇到了这样的问题,查阅材料后,对整个思路做了一个封装,与大家共勉
2015/5/22 5:33:26 3KB 代理IP
1
C#WinForm系统框架包括:版本控制、动态权限管理、数据字典、可扩展的功能接口。
方便学习使用Access数据库。
版本管理1.创建版本,创建本版本下的角色,用户2.修正版本,如果是加入权限,只加默认角色,如果删除,则删除所有本版本下的角色中含有的模块3.删除版本,删除版本下的功能,所有角色,所有用户,不能删除默认版本功能管理1.添加,修正无关联2.删除,删除版本下的功能,删除角色的功能用户管理1.本版本用户只能看到本版本下的非黙认用户,如果默认版本管理员,可看到本版本的人员,还有其它版本的人员2.修正,只能选择本版本下的角色,不能修正登陆帐号。
其它版本的人员不能修正角色3.删除角色1.只能看到本版本下的非默认的角色2.添加角色,只能从现有角色中加功能。
3.修正一样。
4.删除,删除角色下的功能,本角色的用户设置为没有角色的人员
2015/11/18 7:20:42 426KB C# WinForm框架
1
cadence快捷键文件,在默认的env文件基础上进行修正,使操作更方便,文件内快捷键附有中文解释。
2018/4/20 15:06:30 13KB cadenc
1
简约好用的串口调试助手:1界面清爽简单;
2默认显示字体为Consolas12号(等宽,清楚分辨1ilL,o0),并支持设置;
3支持实时记录Log;
4显示发送内容;
5支持手动设置波特率;
6记录输入历史;
7支持CTRL+F直接在软件上搜索;
8自由软件,任意使用和传播;
2015/10/1 12:23:55 10.57MB 串口调试助手 简洁 好用 记录发送数据
1
1,SBP能根据图框大小自动婚配合适的纸张,即不用指定纸张。
2,SBP可以根据图框识别打印范围,即不用手动点选打印范围。
3,SBP可以根据图框自动旋转大小。
4,SBP可以多种比例混合打印,不同比例打印对于普通打印方式是个头痛问题。
5,SBP可以用标签和图片属性命名打印文件,这样可以避免进行文件整理。
6,SBP的打印设置一次设置好后,可以用于所有dwg文件,所以选择打印机和打印样式基本可以默认。
7,SBP可以多个文件一起批量打印。
2018/7/6 11:27:45 1.53MB CAD批量打印 cad批量转pdf smartbatchpl sbp
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡