JSP全称Java Server Pages，是一种动态网页开发技术。它使用JSP标签在HTML网页中插入Java代码。标签通常以<%开头以%>结束。JSP是一种Java servlet，主要用于实现Java web应用程序的用户界面部分准确的说，jsp实在tomcat等j2ee容器中被编译的，访问jsp，等于先让jsp 生成一个html在输出流里面，然后浏览器接到（浏

rm就是remove的缩写，用于Linux系统中删除文件的命令。基本语法　　rm [option] 要删除的文件或目录　　常用选项　　-r: 递归删除整个文件　　-f: 强制删除不提示

该函数的声明为：int startTimer(int interval, Qt::TimerType timerType = Qt::CoarseTimer);参数一为时间间隔，单位毫秒；Qt::VeryCoarseTimer（很粗略的定时器，只保留完整的第二精度，大约为500毫秒）；Qt::PreciseTimer（精确的定时器，尽量保持毫秒精度，试图保持精确度在1毫秒）；Qt::CoarseT

由于，会，所以进行调试（选择gdb端口即可，上面那个文章有讲），还是比较容易的。但是本文要讲的是如何，而不是调试。其中有两种把程序下载到板子上的方法（win10，stm32f103ZET6单片机，st-linkv2硬件调试器，OpenOCD版本OpenOCD-20211118-0.11.0）...

软件（debug版exe或者release版exe）在正常运行状态下（不是gdb调试运行），如果软件崩掉，那么会直接闪退，软件什么也做不了，此时无法保存软件中的状态信息，此外，也无法提供任何软件崩溃原因的信息。我们只需要在main函数中，SetUnhandledExceptionFilter(callback)，软件崩掉时就会自动调用到callback函数中来，然后将相关信息（获取方法为开源类CC

我的word是2010 64位版本，因为论文定稿了，编辑部要求公式全部用math type编辑才行，而我论文一开始写用的就是word自带公式编辑器（说实话我也觉得很地道，很方便），无奈之举，首先去好好学习了math type详细功能以及使用方法（大家可以看我这篇博客 Math Type使用方法，比起word自带公式编辑器的优点总结），然后搞明白了math type的使用方法后，看到有个公式转换选项

eclipse导入别人的Java web项目时会出现这种情况：仅项目名出现红叉而其他地方没有红叉的问题。这可能是以下几种情况导致的，其解决方法如下：1.导入项目之前，请确认工作空间编码已设置为utf-8：window->Preferences->General->Wrokspace->Text file encoding->Other 选择UTF-8。2.导入后，由于

把代码补全设置为1个字母，这样没敲一个字母，都会出来提示了，但是仍然有个问题，加入中途输错了，那么得删除完，重新输入这个单词，才会出现提示，很不方便的，其实，默认有个快捷键（无法在快捷键中设置的）ctr+alt+space，可以手动控制出现代码提示，非常方便，但是win10系统该快捷键刚好会发生输入法切换，导致代码提示不出来了，因此我们需要关闭系统中该快捷键导致的输入法切换，如下图：取消勾选即可.

现在我们来正式开始讲解。qt中能称为布局的有如下6个：水平布局（QHBoxLayout）垂直布局（QVBoxLayout）表单布局（QFormLayout）：其实就是只有两列的网格布局而已。网格布局（QGridLayout）：类似一个表格，多行多列，能自动对齐，挺好用的。栈布局（QStackLayout）：设计师界面无法直接产生出来，需要用代码创建出来分裂器布局（QSplitter，可以设置为水平

以自然规律刻画变迁及变迁间的关系，使Petri网具有区别于其它模型的许多优点。”表达了Petri网就是直接给物理世界的自然规律建立的计算模型。最好的两个建模技术，自动机模型和Petri网模型（我觉得跟非确定性自动机差不多），其实我觉得还有图论里的图。下面总结了一下比较浅显易懂的文章，看完对Petri网就明白了。关于自动机，可以看我这篇文章，形式语言与自动机总结。文章一Petr...