- 博客(14)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 【完结】毕设全记录——JavaBDD的应用（布尔表达式的运算、CTL公式解析、模型检验）
这是一个鸽了很久的系列，本来是要记录完成本科毕设《状态机自动生成与图形化仿真系统研究与实现》的过程，因为使用的JavaBDD算是一个很老的包了，文档很少，而且这个领域的资料也很少，所以想着整理一下，方便后来人使用。但写了前三篇《开端》、《探索 Graphviz》和《探索 JavaBDD》之后，因为各种事情搁置了。时光飞逝，到现在已经过了一年半的时间，从当时的本科毕设，到现在都开始做研究生毕设了????本来是打算弃坑的，因为觉得它的价值随着时代变化已经越来越少了，但仍然偶尔能看到有朋友私信问我相关的问题。我
2021-03-26 22:08:31
1356
2
原创 Debian10 更换软件源 & 配置中文环境 & 安装中文输入法
说明：看了一下，距离发布上篇文章都快半年了????♂️很抱歉这段时间由于各 (wo) 种 (de) 原 (lan) 因 (duo) 迟迟没有更文，实际上我有不少东西准备和大家分享的。。。目前研一上学期已经结束，虽然自己水平都没有多少提升，但期间也积累了一些想法，在后面我尽量坚持多写写，没人看不要紧，就当是自己的一个记录了✨研究生期间，可能我主要方向会集中在车联网仿真的这部分，会用到 SUMO、Ve...
2020-02-13 21:20:07
4305
原创 毕设全记录——探索 JavaBDD
这篇文章会介绍一种能高效操作 BDD（Binary Decision Diagrams，二叉决策图）和布尔函数的数据结构 —— JavaBDD。二叉决策图广泛用于模型检查，形式验证，优化电路图等方面。同时，该数据结构也可以和上一篇文章中介绍的 Graphviz 联系起来。提示：本篇内容略多，但如果坚持读完，一定会有收获 : )BDD与布尔函数毕设刚开始不久，指导老师让我学习一下 Java...
2019-09-09 18:21:18
954
6
原创 毕设全记录——探索 Graphviz
这一篇会介绍画图利器 Graphviz，并展示一些有侧重点的应用，并记录在完成毕设过程中探索 Graphviz 的过程。Graphviz 是一个开源的图形可视化软件，官网： http://graphviz.org/用户只需要使用 DOT 语言声明图中应该有哪些节点和边，Graphviz 就可以自动生成一个布局美观的输出（支持几十种输出，常见的图片格式都包括在内）。在官网的 Gallery ...
2019-09-09 18:19:44
395
原创 毕设全记录——开端
我的本科毕设，从四月中下旬开始到六月中上旬结束，共耗时将近两个月。期间学到了很多，收获颇丰，在此对于毕设做一个完整的记录，分享给大家。动机与心态其实，对于我们学校的学生来说，毕设想怎么做，做得怎么样，全看自己怎么想。由于学校比较重视就业率、升学率之类的数据，因此到了大四下学期的时候，只希望学生能够安安稳稳的，不出什么岔子，好好完成毕设，顺利毕业就好了，因此在毕设这个最后的考核中，一般是比较...
2019-09-09 18:18:41
602
原创 实习二三事（下）
继续上篇的内容。经过寒假前的一次失败的面试，也让我知道了自己努力的方向，于是在寒假期间和刚开学的那段时间就开始学习 Java 后台的方向…寻觅开学以后就是春招的时期了，这个时候大四的都在找工作（有的是考研失利的，有的是之前一直没找的），当然也有部分优秀的同学在去年秋招就已经签了。而大三的同学这会儿就开始找日常实习或者暑期实习了。而我则比较特殊，因为六月份毕业，九月份还要去读研，所以想找一...
2019-09-09 18:17:13
304
1
原创 实习二三事（上）
近期毕设差不多已完成，现在可以开始补上这两个月见计划写但没写的文章了????缘起还要从去年年底说起。那会儿快放寒假了，大四上学期即将结束。我的时间还算充足，就想着抓紧时间提高一下自己的技术。但是仔细思考过后，发现自己并没有一个擅长点前端还没入门，Java 相对熟悉点，之前做过几个课设都是用 Java 编写 Swing 界面。。。C++ 大一学的，后面再也没碰过，连语法都忘得差不多了。这就是意识...
2019-09-09 18:16:04
309
原创 推荐几个优质的 Python 学习资料（良心推荐！非广告！）
首先需要和大家说明一下。。。最近一两个月我都没怎么更新文章，一是因为发生的事情比较多，时间不是很够（四月份去北京找了实习，五月份回到学校做毕设），二是因为我比较懒 ???? 没有坚持一两周写一篇，在此和大家说一声抱歉了，之后我会努力坚持写文章的！！！???? 除此之外，这两个月也经历了很多明白了很多，之后的文章中会和大家详细分享~~~ 敬请期待 : )大家看到这个题目是不是觉得像广告？然而这篇并不是广告...
2019-09-09 18:12:35
790
原创 用 Python 实现一个网页下载工具
几个月前，我完成了一次网络综合实验的课设，内容是要设计并实现一个网站下载程序。感觉里面有几个地方挺有意思的，于是在此记录下自己的思路，与大家分享。实验要求网站下载程序可以按照要求下载整个网站的网页，其原理是分析每个页面中的所有链接，然后根据该链接下载单个文件，并保存下来，采用递归方式进行扫描下载，直到下载页数达到设定好的最大值或者下载层数达到了设定的最大层数才停止。主要功能(1) 设定站...
2019-09-09 18:11:21
1788
原创 使用 WPF 和 MySQL 搭建小型人资管理系统——打印功能
本系列的第四篇~~~主要会介绍一下打印是怎么实现的，以及表格的排版怎么做开始！最终效果这是员工详情页的界面，当点击右上方点击绿色的打印按钮后，就会弹出打印窗口。打印窗口最终效果如下，可以根据录入的员工的信息生成表格。代码结构在查找资料的时候，看到了一篇前辈的文章，建议大家看看，我就是基于他的示例项目进行修改和整合从而实现的功能。下面按照先后顺序进行说明。首先看一下打印按钮的点...
2019-09-09 18:09:58
383
原创 使用 WPF 和 MySQL 搭建小型人资管理系统——主要页面
大家过年好！祝大家新年快乐~~~ 在新的一年身体健康，心想事成~~~开始第三篇！这一篇的主要内容会说一下剩下的几个页面，它们之间的逻辑关系，以及每个页面中比较难实现的部分。#页面说明在第二篇中，我们介绍了登录界面和主页面的布局及难点，今天我们主要介绍人事管理页、用户管理页、员工详情页、添加信息页以及修改信息页。先放图给大家看一看~~~人事管理页，点击菜单栏的第一项即可转到此页面。可...
2019-02-10 23:07:03
1284
原创 使用 WPF 和 MySQL 搭建小型人资管理系统——登录页与主界面
终于开始写第二篇了… 加油加油，我要坚持写完这个系列…从这一篇开始，我会从项目的流程和结构角度来介绍，中间穿插介绍遇到的问题和坑。开始！（本篇主要介绍登录页和主界面的框架布局）项目情况说明主要功能：对员工信息进行增删改查，生成特定格式的评估表单并打印，用户管理（可能有多个使用者通过不同的用户名和密码登录，需要管理）用户：高管以及人资部门的员工。前者通过程序查看员工的详细信息不进行其他...
2019-02-10 23:04:28
1039
原创 使用 WPF 和 MySQL 搭建小型人资管理系统——引言
前言本人是某211的计算机系大四学生，虽然菜但是热爱学习，希望能在各方面提高自己。九月刚开学不久，经同学介绍，接到了一个小项目，主要内容是给某公司做一个人资管理系统，用于管理员工的信息。当时一听，觉得并不难，不就是写个界面加上个数据库吗！通过这个还可以练练手，在项目履历上再加上一笔~~~于是就答应开始做。没想到，自己正在慢慢走向一个大坑... ...项目历时两个多月才磕磕绊绊地完成。期间由...
2019-01-27 13:37:18
856
原创 关于Android图表开源库HelloChart的坐标属性设置
[code=java]public void makeChart1(View rootView){ ArrayList values1 = new ArrayList(); values1.add(new PointValue(0, 20)); values1.add(new PointValue(1, 19));
2017-03-23 12:13:13
2637
空空如也
WPF中flow document如何实现在代码中删除Table的列？
2018-12-04
TA创建的收藏夹 TA关注的收藏夹
TA关注的人