03 2021 档案

307打印机-共享打印设置
摘要：1.连接307 WiFi 2.打开设备->打印机和扫描仪->添加打印机或扫描仪 3.点击我需要的打印机不在列表中 4.选择按名称选择打印机 输入：\307-HP\Brother HL-2260D Printer 然后下一步，安装驱动，测试打印页 阅读全文
posted @ 2021-03-30 13:39 ouyangyangyang 阅读(231) 评论(0) 推荐(0) 编辑
交通灯 spin/promela 建模 交通灯LTL性质刻画
该文被密码保护。
posted @ 2021-03-25 13:12 ouyangyangyang 阅读(1) 评论(0) 推荐(0) 编辑
Latex listings 高亮promela语言
摘要：promela的配置文件位置 \安装目录\texlive\2020\texmf-dist\tex\latex\listings\lstlang3.sty 搜索Promela 如下所示： 阅读全文
posted @ 2021-03-02 13:30 ouyangyangyang 阅读(98) 评论(0) 推荐(0) 编辑
LaTeX 转义符号
摘要：符号 latex命令 # \# % \% { \{ } \} \ \textbackslash or $\backslash$ & \& _ \_ ~ \~ 空格 \quad 阅读全文
posted @ 2021-03-02 11:11 ouyangyangyang 阅读(1826) 评论(0) 推荐(0) 编辑
latex 问题描述和解决方案
摘要：`h' float specifier changed to `ht'. https://blog.csdn.net/xovee/article/details/106539797 latex Label(s) may have changed. Rerun to get cross-referen 阅读全文
posted @ 2021-03-01 17:06 ouyangyangyang 阅读(982) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示