-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分:1
-
使用傅里叶描述子识别形状(matlab)
有整个程序和测试图片在文档里,测试可运行。 有整个程序和测试图片在文档里,测试可运行。 有整个程序和测试图片在文档里,测试可运行。 有整个程序和测试图片在文档里,测试可运行。
- 2020-12-04下载
- 积分:1
-
基于TCP协议的Labview无线视频接收及显示、温湿度监测及控制指令远程发送上位机vi
基于TCP协议的Labview网络摄像头视频接收及显示、温湿度监测及控制指令远程发送上位机.vi,机器人下位机装载温湿度传检测、人体感应、红外、烟雾监测等传感器以及网络摄像头,下位机实时采集的图像视频、传感器数据等经过WiFi无线传输,上位机通过TCP协议实时接收下位机传输的数据,显示温湿度、人、烟雾等状态信息,还可以通过Labview上位机向机器人下位机远程发送转弯、前进、上楼梯等运动控制指令,并进行了简单的控件、界面美化
- 2020-12-06下载
- 积分:1
-
The_Zynq_Book_ebook_chinese中文版
The_Zynq_Book_ebook_chinese中文版,xilinx公司官方出版,非常好,有用
- 2020-12-03下载
- 积分:1
-
量子粒子群算法的matlab实现,有程序说明
量子粒子群算法的matlab实现,有程序说明
- 2020-12-07下载
- 积分:1
-
机器视觉经典教材
【实例简介】机器视觉领域经典教材 机器视觉中的多视图几何 相机标定 3d姿态估计
- 2021-10-31 00:32:17下载
- 积分:1
-
基于optisystem的OFDM系统的三个仿真实例
三个仿真包括100 Gbps Coherent Detection Dual-Polarization Optical OFDM System、100 Gbps DP-QPSK、Coherent Detection Optical OFDM System16qam
- 2020-11-05下载
- 积分:1
-
超级PDF编辑器,目前市场上唯一一款真正意义上的PDF编辑器
【实例简介】目前市场上唯一一款真正意义上的PDF编辑器,可以对现有的任何PDF文档内容进行简单、高效率的编辑修改。
主要功能优势
1、轻松修改PDF文档内容
2、以所见即所得的方式实现可靠、方便的编辑
3、无需了解PDF格式知识
4、快捷、完美的PDF页面显示
5、简洁、清晰的用户界面
6、体积小巧、轻松下载
2.1版本的最新功能
支持渐变对象
支持文本对象到图形对象的转换
非图形编辑模式下添加图形
一键去除试用标记
支持对象对齐
调整图像和渐变对象的透明度
检查更新功能
改进的文本对象创建
属性列表设置
新增快捷键
全新的图标
BUG修复
2.1版本新功能
支持渐变对象
允许用户创建和编辑渐变对象。Foxit PDF Editor为用户提供了两种渐变方式,一种是线性渐变,另一种是径向渐变。
支持文本对象到图形对象的转换
允许用户把选中的文本对象转换成图形对象,方便进行印前处理,特别是当计算机不支持或无法显示某些内嵌字体的情况。Foxit PDF Editor同时为用户提供一个菜单选项,允许将PDF文件中的所有文本一次性转换为图形对象, 而后另外生成一个新的文档。
非图形编辑模式下添加图形
该版本允许用户直接在Foxit PDF Editor主窗口中添加一些简单的形状图形。
一键去除试用标记
注册用户可以通过选择“Help”>“Remove Evaluation Marks”,一次性删除Editor 2.1产生的所有试用标记。
支持对象对齐
用户可以使用工具栏中的对象对齐按钮自动排列对齐选中的对象,使得PDF页面更加整齐美观。
调整图像和渐变对象的透明度
允许用户设置图像的透明度。在透明度文本框里输入0%--100%之间的任何值调整图像透明度,图像则从完全透明变至完全不透明。
检查更新功能
单击“帮助”菜单下的“检查更新”,您可随时检查下载最新版本的Foxit PDF Editor。
改进的文本对象创建
新版本在“添加新文本对象”对话框中添加了一个对象属性选项,方便用户为添加的文本对象设置相关参数,如字体大小,文本模式,字符间距,颜色等。 <
属性列表设置
用户可以通过“选项”对话框来设置是否在启动时显示“属性列表”。
新增快捷键
为了使用户能更方便的使用Foxit PDF Editor, 新版本中添加了一些快捷键操作。如:ESC键可保存并退出即时编辑模式,Alt+ Delete 组合键则用前景色填充选择部分,Ctrl + Delete 组合键用背景色填充选择部分,Ctrl +D 为取消选择。
全新的图标
全新的Foxit PDF Editor图标蕴含着新版本更加强大的编辑功能。
BUG修复
- 2021-11-06 00:36:33下载
- 积分:1
-
Qt实现浏览器
看到很多人在查找使用Qt如何能做出浏览器的效果,网上却没有这样的例子,闲聊无事做了一个简单的demo ,实现了浏览,拖拽创建新窗口,拖拽停靠等功能(后两个功能我限制了只有多余一个标签时才可拖拽可自行根据需求修改),样式等没有做处理可自行qss处理,这只是个思路,可在基础上扩展,Qt版本是5.1, 显示网页使用的是QWebView,QWebPage,如果是5.4以上版本可以使用QWebEngineView和QWebEnginePage,后者使用谷歌内核对html5支持比前者优秀,但是目前尚不太稳定。直接上代码
- 2020-12-06下载
- 积分:1
-
贝叶斯压缩感知稀疏信号重构方法研究
贝叶斯压缩感知稀疏信号重构方法研究
- 2021-05-06下载
- 积分:1