- 博客(18)
- 收藏
- 关注
RSS订阅原创 python错误日志(logging)
python错误日志文件内写法获取错误文件名、函数名、行数、错误详情try：'''code'''except Exception as e: filename = sys._getframe().f_code.co_filename function = sys._getframe().f_code.co_name lineno = sys._getframe().f_lineno exception = str(e)
2021-01-20 12:20:23
1264
9
原创 模型检测--工具KeYmaera
论文：KeYmaera: A Hybrid Theorem Prover for Hybrid Systems作者：Andre Platzer and JanKeYmaera摘要1 介绍2用于混合系统的KeYmaera验证工具3混合系统，混合自动机和混合程序摘要KeYmaera是一种用于混合系统的混合验证工具，它结合了演绎，实数代数和计算机代数证明者技术。它是自然的自动和交互式定理证明器 混合系统的规范和验证逻辑。 KeYmaera支持差分动态逻辑，它是用于混合程序的实值一阶动态逻辑，是混合自动机的程
2021-01-19 17:01:38
806
原创 模型检测--工具PRISM
PRISM下载地址： http://www.prismmodelchecker.org/download.php#download-box我们使用两个变量来表示系统状态： s，表示当前正在执行算法的哪个步骤（即，上图中的哪个圆圈），d，表示骰子的值（0表示没有值）选择）。dtmcmodule die // local state s : [0..7] init 0; // value of the die d : [0..6] init 0; [] s=0 -> 0.5 :
2021-01-19 17:00:55
1212
原创 python配置文件读写（ConfigParse）
配置文件1. 配置文件（config.ini）2. 读取配置文件3. 写入配置文件1. 配置文件（config.ini）ini文件格式：[section0] key0 = value0key1 = value1[section1]key2 = value2key3 = value示例[config]NUM = 40COLUMN = 8CREATE_SIZE_X = 400CREATE_SIZE_Y = 300[color]# 深蓝DARK_BLUE =rgba(1,77
2021-01-15 15:54:32
267
2
原创 Python文件带图片打包exe（Pyinstaller）
1.安装pip install pywin32pip install pyinstaller2.打包pyinstaller -F --noupx -w -i favicon.ico main.py -n name-F:打包成一个EXE文件-w:不带console输出控制台，window窗体格式–paths：依赖包路径–icon：图标–noupx：不用upx压缩–clean：清理掉临时文件注意事项：1.在import其他py文件时必须写绝对路径，写相对路径会报错找不到module
2021-01-15 09:48:37
8258
6
原创 pyqt5踩坑记录
pyqt51. QTableWidget的速度问题2. QEditText监听文字变化3. QpushButton循环动态创建按钮，对应同一个槽函数，响应输出对应的按钮名称1. QTableWidget的速度问题数据库分页查询写入表格时，表格刷新过慢，平均耗时15s。导致时长原因是self.table_widget.horizontalHeader().setSectionResizeMode(col, QHeaderView.ResizeToContents)'''刷新表格''' def
2021-01-14 13:38:43
386
1
原创 论文解读：Dynamic Fusion Network for Multi-Domain End-to-end Task-Oriented Dialog
论文解读：Dynamic Fusion Network for Multi-Domain End-to-end Task-Oriented Dialog作者：Libo Qin, Xiao Xu, Wanxiang Che, Yue Zhang, Ting Liu点击论文下载地址文章源码下载地址题目翻译：用于多域端到端任务导向对话的动态融合网络摘要1 介绍2 模型架构2.1 Seq2Seq对话生成三级目录摘要最近的研究表明，在端到端的面向任务的对话系统中取得了巨大的成功。但是，大多数神经模型都依赖
2020-06-29 15:37:15
1540
原创 论文解读：Generating Diverse and Consistent QA pairs from Contexts with Information-Maximizing...
论文解读：Generating Diverse and Consistent QA pairs from Contexts with Information-Maximizing Hierarchical Conditional VAEs摘要1介绍2相关工作3方法3.1分层条件VAE嵌入先验网络后验网络问题产生网络3.2一致的QA对生成和互信息最大化题目翻译：使用信息最大化分层条件采用可变自动编码器从上下文中生成不同且信息一致的QA对摘要问答（QA）中最关键的挑战之一是标签数据的稀缺性，因为获取带有人
2020-06-23 13:14:17
1222
原创 RNN 的 output 和 state 的区别
RNN 的 output 和 state 的区别问题记录简单RNNLSTM问题记录学习模型验证，要提取RNN的隐藏状态的时候遇到了一个难题，就是RNN的output 和 state 的区别。也就是说，model.predict()输出的是不是我想要的s呢简单RNN最简单的RNN单元，它每次接受一个当前输入 x_t 和前一步的隐层状态 s_{t-1}，然后产生一个新的隐层状态 s_t，也即：s_t = f(x_t, s_{t-1})，其中 f 代表某个函数，对应于 RNN 内部的运算过程。这种情
2020-05-14 09:15:33
547
原创 软件过程--XP 与 RUP 的比较与分析
文章目录1 背景2 简述(1) RUP(2) XP4 总结基于 RUP 四个阶段,并集成 XP 技术的小型开发过程：1 起始阶段(Inception)1. 1 活动 阐明系统的范围。1. 2 制品 项目可行性报告。2 加工阶段(Elaboration)2. 1 活动2. 2 制品3 构造阶段(Construction)3. 1 活动3. 2 制品构件4 移交阶段(Transition)4. 1 活...
2019-12-23 14:44:47
1178
原创 论文名词简化笔记
DNN(深度神经网络)神经网络是基于感知机的扩展，而DNN可以理解为有很多隐藏层的神经网络。多层神经网络和深度神经网络DNN其实也是指的一个东西，DNN有时也叫做多层感知机（Multi-Layer perceptron,MLP）。DNN存在的局限： 参数数量膨胀。由于DNN采用的是全连接的形式，结构中的连接带来了数量级的权值参数，这不仅容易导致过拟合，也容易造成陷入局部最优。 ...
2019-12-04 20:56:21
101
原创 模型检测Model Checking---学习记录（三）时序逻辑简介
文章目录时序逻辑计算树逻辑CTL*CTL和LTL逻辑公正性时序逻辑计算树逻辑CTL*CTL *公式描述了计算树的属性。计算树显示了从初始状态开始的所有可能的执行。路径量词A（对于所有计算路径）E（用于某些计算路径）临时运算符X（下一次）要求属性保持在路径的第二状态F（最后）该属性将保持在路径上的某个状态G（全局）该属性在路径上的每个状态均成立U（直到）在路径上存在第二...
2019-11-26 16:05:17
1808
1
原创 模型检测Model Checking---学习记录（二）系统建模
文章目录系统建模一阶逻辑表示法系统建模设AP是一组原子命题，即对变量，常量和谓词符号的布尔表达式。 Clarke等人在AP上定义Kripke结构为4元组M =（S，I，R，L）由…组成一组有限的状态S.一组初始状态I⊆S.完全变迁关系R⊆S×S，即∀s∈S∃s’∈S使得（s，s’）∈R。L：S→2AP是标记函数，它标识在该状态下为真的原子命题集合。由于R是左总数，因此总是可以通过...
2019-11-26 11:32:43
933
原创 模型检测Model Checking---学习记录（一）绪论
被拉去模型检测方向了。。太难了。。。一、概念模型检测(model checking)是一种针对有限状态并发系统的自动验证技术,主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。基本思想：用状态迁移系统(S)表示系统的行为，用模态逻辑公式(F)描述系统的性质。这样“系统是否具有所期望的性质”就转化为数学问题“状态迁移系统S是否是公式F的一个模型?”，用公式表示为...
2019-11-25 10:59:31
3058
原创 安卓三维绘图--OpenGL ES（学习记录三）绘制三维坐标系
大多数教程都是画三角锥、立方体，而我的需求是以画一个坐标系为基础，类似图一首先，要确定想画顶点//定义XYZ坐标 float xyzVertices[] = new float[]{ -0.6f, 0f, 0f,//x轴起点 0.6f, 0f, 0f,//X轴的终点 0.5f,0.1f,0f,//X轴箭...
2019-10-24 21:28:11
2526
1
原创 安卓三维绘图--OpenGL ES（学习记录二）绘制三角形
OpenGL基本图形：点、线段、和三角形如何开始？通过顶点聚合。第一步 了解坐标系 图1：左手坐标系与右手坐标系其中左手坐标系广泛应用于计算机图形学、D3D之中，而右手坐标系广泛应用于OpenGL、线性代数、3DSMax之中。...
2019-10-22 17:17:56
335
原创 安卓三维绘图--OpenGL ES（学习记录一）
概念：1. OpenGL(Open Graphics Library开发图形接口)是一个跨平台的图形API，用于指定3D图形处理硬件中的标准软件接口。2. OpenGl ES（OpenGl for Embedded System）是免费的跨平台的功能完善的2D/3D图形库接口的API,是OpenGL的一个子集。（Android开发环境下，OpenGl提供了android.opengl...
2019-10-22 10:22:50
720
原创 Unable to tunnel through proxy. Proxy returns "HTTP/1.1 400 Bad Request"解决办法
总是同样问题记不住的我。还是把问题记录下来吧。按网上的方法：改Gradle home的路径（Settings -> Build,Execution,Deployment->Gradle 选择 using local gradle distribution）出现了新的问题Could not GET 'https://dl.google.com/dl/android/...
2019-04-05 10:41:01
11112
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人