自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

LauZyHou的笔记

https://github.com/LauZyHou

  • 博客(639)
  • 资源 (5)
  • 论坛 (16)
  • 收藏
  • 关注

原创 【数据结构学习笔记】11:树状数组

树状数组,也叫Binary Indexed Tree(很多国内资料翻译成二叉索引树,但是树状数组显然不是二叉的),主要应用在一定规模地同时存在这两个问题的场景下:求数组中某个区间的和修改数组中的某一个数使用树状数组做这两个操作的时间复杂度都是O(logn)O(logn)O(logn)的。想一下和已经学过的做法的比较,对于上面两种操作。一个做法是直接用数组来存每一个数,那么求区间和的操作时间复杂度是O(n)O(n)O(n)的,修改数组中的某一个数的时间复杂度是O(1)O(1)O(1)的。另一个做法

2021-01-02 22:10:18 65

原创 【模型检测学习笔记】10:有限状态迁移系统上的IC3算法

IC3算法全称是Incremental Construction of Inductive Clauses for Indubitable Correctness,可以用来检测迁移系统上的不变性性质。1 术语约定1.1 clause和literal这里逻辑公式(logic formula)一律用合取范式(conjunctive normal form,CNF) 来表示,CNF中的每一项是一个clause,每个clause是若干literal的析取,每个literal是一个逻辑变量或者逻辑变量的非,例如

2020-11-23 15:13:20 312 1

原创 【nuXmv学习笔记】4:模型检测实例

例子1:带有请求操作的四位加法器在笔记2最后例子里的四位加法器之上添加了请求操作的模型。在这个模型里,一开始加法器在闲置状态,请求来了之后,加法器的最低位工作得到结果,同时将请求信号和这一位计算时产生的进位信号送给高一位,如果反复,直到四位加法器的最高位完成计算时,整个加法器的计算就完成了。在计算完成之前,要一直保持请求信号的存在,这样才能保持操作数不变,这样每一位的加法结果才能不丢失。-- 一位加法器(请求,操作数1,操作数2,进位)MODULE bit-adder(req, in1, in2,

2020-11-21 16:17:35 173

原创 【算法学习笔记】8:快速排序中的边界问题

基本思路快排的思想是基于分治法,其思路是:确定分界点:给定要排序的数组q,先在数组中找一个数作为分界点值x,分界点可以取左边界值x = q[l],可以取右边界值x = q[r],可以取数组中间的数x = q[l + r >> 1],也可以随机取一个。调整区间:将数组划分成两个区间,使得左半部分所有的数都<= x,右半部分所有的数都>= x。递归处理左右两个区间。快排有多种实现方法,在y总的模板里,分界点的位置不一定是x,因为x参与交换之后仍然会被留在左右区间中的一个里。

2020-11-20 13:54:51 218

原创 【nuXmv学习笔记】3:模型检测流程

1 对程序建模例如,给出一个使用更相减损术求最大公约数的程序:#include <bits/stdc++.h>using namespace std;int main() { int a = 10, b = 15; while (a != b) { if (a > b) a = a - b; else b = b - a; } cout << a <

2020-11-19 19:00:19 180

原创 【nuXmv学习笔记】2:约束式建模和多模块模型

1 约束式建模前面学习的建模方式都是赋值式(Assignment Style) 的,可以将这些模型转换成一种约束式(Constraint Style) 的,多数时候都会让模型的表达更方便。例如,下面的模型表达的是某种机器在就绪(ready)时,如果有请求来了,就会开始忙碌(busy),否则接下来既可以就绪也可以忙碌:MODULE mainVAR request : boolean; state : {ready, busy};ASSIGN init(state) := re

2020-11-18 22:34:44 116

原创 【nuXmv学习笔记】1:交互Shell和建模元素

nuXmv是一种基于NuSMV开发的符号模型检测器,能够在有限状态系统上使用SAT的一些算法做验证,能够在无限状态系统上(比如含有实数或者整数变量的系统)使用SMT技术做验证。nuXmv支持同步系统,对异步系统不再支持。1 nuXmv交互式Shell在官网下载nuXmv后直接就能拿到一个可执行文件,Windows上就是nuXmv.exe。主要使用的方式就是用它的交互式Shell,使用nuxmv -int即可进入(这里int是interactive的意思)。交互式Shell里有很多命令,使用help可以

2020-11-18 00:42:38 185 2

原创 【模型检测学习笔记】9:Binary Decision Diagrams

1 BDT→\to→BDD→\to→OBDD在符号模型检测中, 用布尔表达式表达一组状态,也就是对布尔公式中的每个变量赋值,可以计算出一个布尔值结果:f: Booln→Boolf: \ Bool^n \to Boolf: Booln→Bool所以可以用一个类似于组合解空间树(如果1视为选,0视为不选)的结构,即Binary Decision Tree (BDT) 来表达一个布尔公式,如下图:图中每个结点vvv有两个孩子分支,一条虚线对应low(v)low(v)low(v)表示v

2020-11-16 19:34:27 122

原创 【算法学习笔记】7:字符串前缀哈希法

字符串前缀哈希法有很多字符串的问题可以用字符串哈希来做,不一定要用KMP算法。这里的哈希方式是一些比较特殊的哈希方式,即字符串前缀哈希。比如有一个字符串abcde,则可以先预处理出来所有前缀的哈希,比如h[1]就表示a的哈希,h[2]就表示ab的哈希,特别的,定义h[0]=0​表示前0个字符的哈希值为0。要定义某一个前缀的哈希值,只要把字符串看成是一个PPP进制的数,那么每一位的ASCII码就表示这一位的数字是多少。那么上面的例子的字符串哈希值(即对应的十进制的数值)为:a×P4+b×P3+c×P2

2020-11-07 22:27:56 144

原创 【UPPAAL学习笔记】1:基本使用示例

这节用三个例子学习UPPAAL的使用。1 简述1.1 性质描述UPPAAL里支持用CTL公式描述功能安全性质:A[] φA⟨⟩ φE[] φE⟨⟩ φ\begin{aligned}& A[] \ \varphi \\& A\langle \rangle \ \varphi \\& E[] \ \varphi \\& E\langle \rangle \ \varphi\end{aligned}​A[] φ

2020-09-14 00:36:12 1158 9

原创 【TTool学习笔记】4:SysML-Sec建模方法(验证和生成)

在学习这节之前要给TTool装配好ProVerif,具体是在TTool/bin/config_*.xml,这里*是linux或者macos或者windows,在里面配置下面的标签。<ProVerifCodeDirectory data="../proverif/" /><ProVerifVerifierPath data="../../proverif/proverif.exe" /><ProVerifVerifierHost data="localhost" />

2020-08-25 11:01:25 188

原创 【TTool学习笔记】3:SysML-Sec建模方法(模型相关)

手册中的例子从TTool远程库导入,File->Open Froom TTool repository->SysMLSecTutorial.xml。1 方法论(Methodology)方法论图和AVATAR中的不太一样,但是大致流程还是一样的,左边单独的一块是假设,然后中间是需求和攻击,其中的信息安全需求(Security Requirement) 和攻击(Attacks) 是AVATAR方法论里没有的,因为SysML-Sec会比较关注去设计安全的(safe and secure)嵌入式系统

2020-08-23 16:27:56 143

原创 【TTool学习笔记】2:AVATAR建模方法(设计和验证)

1 块图(Block Diagram)块图通过New Design添加,描述的是系统的主要结构。其中,建模元素包括:Security pragmas,用规约语言写信息安全性质的地方Safety property (UPPAAL),用规约语言写功能安全性质的地方,用的是UPPAAL的方法Performance property,用规约语言写和性能有关的性质的地方Block,块图中的块,可以添加属性、方法、输入输出信号、原型实现代码Crypto Block,加密块,相比普通的块就只是多添加了各种

2020-08-19 21:07:16 84

原创 【TTool学习笔记】1:AVATAR建模方法(分析相关)

在TTool设计面板上右键,有选择New xxx Methodology,其中包括:DIPLODOCUS,用来做嵌入式系统的划分AVATAR,用来设计嵌入式软件SysML-Sec,用来设计安全的(safe and secure)嵌入式系统这篇了解一下其中的AVATAR建模方法中,和分析相关的一些图。1 方法论(Methodology)最开始要创建一个New AVATAR Methodology大面板,即AVATAR方法论的面板,这个面板可以整合其它的一些建模面板。这里能清楚的看到整个流程

2020-08-18 00:45:11 127

原创 【ProVerif学习笔记】5:理解验证后的输出

ProVerif的输出比较长,格式如下:其中[Equations][Equations][Equations]给出了涉及的等式的内部表示。[Process][Process][Process]给出了将所有的进程宏展开之后的进程,在进程里面会看到一些标号为{n}\{n\}{n}的地方,这只是为了方便引用。[Query][Query][Query]部分就是开始评估用户给出的性质查询(对应输入文件中的query),也就是试图证明违反性质的状态是不可达的,然后在[Goal][Goal][Goal]这一行就会显示

2020-08-14 23:23:17 196

原创 【ProVerif学习笔记】4:信息安全性质(Security Property)

1 Reachability和Secrecy证明Reachability是最基本的能力,因为需要知道攻击者能访问到哪些term,而Secrecy就可以根据这个来评估——能访问到的term不满足Secrecy。要测试项MMM在模型中是否满足Secrecy,在主进程前使用:query  attacker(M).\bold{query} \ \ attacker(M).query  attacker(M).其中MMM是一个最基本的项,即不包含析构器,MMM可以包含

2020-08-13 16:13:45 172

原创 【ProVerif学习笔记】3:进程宏和进程书写的语法规则

1 进程宏进程宏(Process Macros)用来定义子进程,因为在用ProVerif对协议进行建模时,直接一个大的主进程比较混乱,进程宏的形式为:let  R(x1:t1,...,xn:tn)=P.\bold{let} \ \ R(x_1:t_1,...,x_n:t_n)=P.let  R(x1​:t1​,...,xn​:tn​)=P.其中RRR是宏的名字,PPP是子进程,x1,...,xnx_1,...,x_nx1​,...,xn​是PPP里面的fre

2020-08-12 19:12:29 154

原创 【ProVerif学习笔记】2:协议建模中的声明

ProVerif验证的加密协议并发程序通过公共通道来进行信息较交互,最终实现一些目标。认为攻击者对这样的通道有完全的控制能力,包括阅读、修改、删除和注入消息,也可以解密自己持有密钥的消息(视解密为获取密文的唯一途径,不考虑攻击者用其它方式获取密文,所以如果自己没有解密的密钥就不行)。1 握手协议握手协议(Handshake protocol)是有一个客户端A和服务器B,假设每一方都有自己的公私钥对,然后A知道B的公钥pk(skB),协议的目的是让客户端A能向服务器B分享自己的私密信息s。协议按照如下的

2020-08-11 20:26:08 176

原创 【ProVerif学习笔记】1:基本使用流程

1 简介ProVerif可以用来自动分析密码协议的Security性质,功能涵盖对称和非对称加密、数字签名、哈希函数、比特承诺、非交互式零知识证明。ProVerif可以证明可达性(reachability),对应断言(correspondence assertion),和可观察的等价性(observational equivalence)。这个能力使得它能对计算机安全领域中的机密性和认证性质进行分析,也可以考虑一些新兴的性质,如隐私性(privacy)、可追溯性(traceability)、可验证性(ve

2020-08-11 13:30:16 241

原创 【Avalonia学习笔记】2:用ListBox代替ItemsControl作为图形VM容器
原力计划

使用ItemsControl作为容器想要在面板上显示图形,先把图形的VM都创建好,希望能传所有VM到一个列表(ObservableCollection泛型容器)里,然后界面上就能显示出对应的图形。这些图形VM都继承自ViewModelBase,同时有一些是结点, 有一些是连线。结点是直接继承了NetworkItem_VM,然后再间接继承ViewModelBase的。如果直接用ItemsControl作为VM容器,即:<ItemsControl Items="{Binding UserContr

2020-06-27 17:13:46 345

原创 【协议工程学习笔记】1:协议模型,协议通信环境,协议提供的服务
原力计划

这节学习书上2.1~2.2.2节。协议设计是协议工程所有流程中的第一步,用于产生协议文本初稿,也就是用自然语言描述所设计的协议是什么内容。1 协议模型复杂的协议一般用分层的方式设计,如下图是OSI体系结构中的n层协议模型,每个实体(entity) 表示能发送和接收信息的硬件或软件进程,下层为上层提供服务,同层对等实体之间实现该层协议信息交换的数据单元是协议数据单元(Protocol Data Unit)。PDU在物理层就是比特(bit),在数据链路层就是帧(frame)或信元(cell),在网际

2020-06-25 16:25:02 336

原创 【TL学习笔记】2:多任务学习(Multi-task Learning)在图像分类中的应用
原力计划

1 MTL简述1.1 单任务学习早期的机器学习方法都是单任务学习(STL)的,即认为不同任务之间没有关联性,所以都是单独训练的。这样因为每个模型单独训练,数据量只有自己的这一部分,训练出的模型也没有很好的泛化性。另外因为模型之间训练时候没有关联,即没有考虑到这些学习之间可能有共通的地方,最终得到的模型性能也不够好。1.2 多任务学习在多任务学习(MTL)中考虑了不同任务之间的关联,所以将不同任务的训练数据都放在一起,来训练多个任务的模型。1.3 MTL的构建原则找到建模任务之间的相关性同时对

2020-06-22 14:39:30 897 1

原创 【TL学习笔记】1:领域自适应(Domain Adaptation)方法综述
原力计划

1 迁移学习的直观理解人类容易在类似的任务上利用先前的经验,比如学过自行车就很容易学会摩托车,学会打羽毛球也能帮助学习打网球,学过小提琴也会对学习二胡有帮助。也就是把一个领域上学习的知识迁移到另一个领域上,目的也是让计算机有举一反三的能力(大概是实现AGI的一个重要的坎),或者是去尝试充分利用已经训练过的某个领域的知识来解决当前的任务(这样可以解决数据少的问题)。在迁移学习中要强调源域(Source Domain)、源任务(Source Task)、目标域(Target Domain)和目标任务(Tar

2020-06-21 00:54:09 3248 2

原创 【ANTLR学习笔记】5:使用监听器构建翻译程序,在g4文件中定制语法分析过程
原力计划

1 使用监听器构建翻译程序这里对应书上4.3节,需求是把Java类中的方法都抽取出来生成接口文件,并且保留方法签名中的空白字符和注释。要保留空白符和注释就只能用解析源代码的方式了,不能从字节码文件获取。1.1 监听器类import antlr.JavaBaseListener;import antlr.JavaParser;import org.antlr.v4.runtime.TokenStream;// 监听器类,实现ANTLR生成的默认监听器public class ExtractIn

2020-05-26 23:20:30 370

原创 【ANTLR学习笔记】4:语法导入和访问者(Visitor)模式
原力计划

这节以四则运算语句的解析为例学习语法导入和Visitor模式。相比笔记1,这里的语法更通用,允许加减乘除、圆括号、整数出现,并且允许赋值表达式。1 四则运算解析1.1 语法规则文件从下面的文件中可以看到,整体是要匹配若干条语句,每条语句都是以NEWLINE换行符结束的。然后语句可以是表达式语句、赋值语句、空语句。表达式的语法规则定义比较自然,因为这里没有手动消除左递归,ANTLR4可以自己消除直接左递归(文件中13/14行分支expr左侧直接调用自身),这是相比其它工具的一大优势,让语法编写更简单易

2020-05-25 15:56:31 1478

原创 【ANTLR学习笔记】3:数组初始化列表的解析和翻译
原力计划

这节跟着书上第三章学习解析例如{val,val,{val,val},val}这样的数组初始化列表,其中每个val都是一个无符号整数。它可以用来将Java中static short[] data = {1,2,3};转化成等价的Unicode字符串形式:static String data = "\u0001\u0002\u0003";因为Java中的char就是unsigned short,可以用Unicode字符(四个16进制表示的16位字符)来表达。这样转换的目的是使数组初始化不受编译出的

2020-05-24 19:00:31 386

原创 【ANTLR学习笔记】2:基本工作流程和歧义处理方法
原力计划

1 解析的整体流程首先是词法分析器处理字符序列(对应CharStream类),生成Token流(对应TokenStream类,这是连接词法分析和语法分析过程的桥梁)传给语法分析器,语法分析器再用它检查语法正确性,然后解析得到语法树(叶子结点对应TerminalNode类,非叶子结点对应RuleNode类)。在词法分析之后,不仅要标记一个个Token,还需要记录这些Token对应的具体内容(比如知道是一个变量,也要记录变量名是什么)。ANTLR的做法是不去记录这个字符串,而是像上图一样,首先为字符流记录

2020-05-24 10:16:26 321

原创 【算法学习笔记】6:SAT问题的一些经典求解策略
原力计划

1 问题描述布尔可满足性问题是给定一个合取范式(CNF),即一系列析取形式的子句(clause)的合取式,问是否存在一组赋值使得整个式子为真。给出满足条件的赋值(说明是satisfied的),或者证明不存在这样的赋值(说明是unsatisfied的)。显然如果要整个CNF为真,则需要每个子句都为真。而对于每个子句内部是析取,所以需要至少有一项为真子句才能为真。2 不完备算法一类SAT求解算法...

2020-05-08 12:40:30 581

原创 【形式化学习笔记】1:Event-B相继式(Sequent)和推理规则(Inference Rule)
原力计划

1 关于"谓词"和"命题"的理解刚接触的时候对Event-B资料里大篇幅使用"谓词"这个词(而不是"命题")感到非常疑惑,在我以往的印象里,类似"大于",“小于”,"是一只猫"这种表述关系的是叫谓词,其中前两个是二元谓词,最后一个是一个一元谓词。现在理解下来,Event-B里的谓词确实就应该叫"谓词",而不是"命题"。试想2>32>32>3是一个命题(假命题),这没什么问题,...

2020-05-05 01:31:37 375 2

原创 【算法学习笔记】5:基于蚁群算法的柔性作业车间调度问题(FJSP)快速求解
原力计划

简述这是《深度学习与人工智能》课程中很普通的一道作业题,但因为发现了一个更巧妙的搜索目标的形式,让求解过程快了很多,代码实现起来也简单了非常多,而且最终的搜索效果也更好。关于蚁群算法和柔性作业车间调度问题不再赘述。求解策略比较如果用这篇文章中的方法,求解这个问题会很困难。因为同Job的不同工序是有先后顺序的,如果直接在上面这张表里搜索解,也就是说搜索出的是这张表里每一行标一个机器,那么接...

2020-04-26 01:22:22 2567 9

原创 【软件分析学习笔记】5:可达定义分析(Reaching Definitions Analysis)
原力计划

从这节开始两节课先学习数据流分析的应用,再往后两节学习数据流分析的基本原理。这节学习可达定义分析,下节学习活跃变量分析和可用表达式分析,它们都是数据流分析的常见应用。1 数据流分析回顾数据流分析研究的是抽象出的application-specific data如何在控制流图(CFG)上流动,大多数静态分析都是在CFG上进行分析的。1.1 safe-approximation对大多数静态分析...

2020-04-03 19:33:58 1039

原创 【ANTLR学习笔记】1:在IDEA中生成简易加减表达式的解析器
原力计划

ANTLR可以支持生成多种编程语言为载体的Lexer和Parser,可以自动处理LL(*)文法(注意不是LR文法,这里ANTLR实际上是Another Tool for Language Recognition的缩写),目前先在IDEA中用最方便的插件学习一下生成Java版本的。IDEA中的配置首先在IDEA中安装插件,从File->Setting->Plugins搜索并安装ANT...

2020-03-27 10:33:35 1292

原创 【软件分析学习笔记】4:中间表示(Intermediate Representation)

程序源码直接拿来给静态分析器做静态分析是不合适的,像编译一样也需要在程序的中间表示(IR)上进行分析,这样能让静态分析算法比较简洁、高效。IR也没有绝对的标准,这节课学习的是绝大多数静态分析器采取的IR。1 编译的基本流程1.1 词法分析词法分析(Lexical Analysis)会去检查是否输入的源代码是若干合法单词的组合。词法分析器统称Scanner,运行时需要关键字的词典,以及用正则表...

2020-03-08 02:31:01 1687

原创 【软件分析学习笔记】3:静态程序分析(Static Program Analysis)介绍

最近的南大软件分析课,讲的就完全是静态分析的内容,目前先跟着这个课学习软件分析的内容,北大熊老师的课光看课件太难懂了。1 PL和静态分析的背景之前吴老师也提到,做形式化也是在做PL(Programing Language)。这里李老师将PL分成三部分:理论部分:语言设计、类型系统、形式语义和程序逻辑等。即在理论上构建出一个语言。环境部分:编译、运行时系统等。即相应的支撑语言运行的一套系统...

2020-03-06 13:46:21 1763

原创 【DL学习笔记】5:自动编码器(AutoEncoder)及其变种
原力计划

无监督学习的一个重要作用就是降维(Dimension Reduction),比如从大量的人员信息中自动学习到一些对业务有价值的特征,或者用于高维数据的可视化。传统的方法是用PCA、T-SNE或者一些简单的自编码器对数据进行降维。相比监督学习以Label为目标,无监督学习的目标就是原始数据自己。1 简述自动编码器(以下简称AE)是将构造的神经网络模型分为编码器(Encoder) 和解码器(De...

2020-02-28 21:56:47 295

原创 【软件分析学习笔记】2:数据流分析及示例,半格和偏序

简述数据流(dataflow)分析将程序看成数据和数据的流动转移,而将转移的控制条件忽略掉,只关注数据在转移过程中的变化。例如,对于上一节的停机问题的反例程序:void Evil() { if(Halt(Evil)==False) return; else while(True);} 其中的if-else就是控制条件,将它忽略掉,抽象成一对非确定选择(即在这里程序随机选择一...

2020-02-25 18:10:26 467

原创 【软件分析学习笔记】1:软件分析技术前置知识

1 哥德尔不完备定理与软件缺陷判定程序中可能存在各种各样的缺陷,如内存泄漏,假设存在某种软件缺陷的检测算法,即是对输入的程序ppp输出是否有该类型的缺陷的布尔值。根据哥德尔不完备定理,对任意能表示自然数的系统,一定有定理无法被证明。而现今主流编程语言的语法和语义都能表达自然数系统,所以在其上的表达式可能存在无法证明的情况,例如:a = malloc()if(T) free(a);ret...

2020-02-25 10:51:08 383

原创 【PyTorch学习笔记】23:nn.LSTM和nn.LSTMCell的使用

1 nn.LSTM该模块一次构造完若干层的LSTM。1.1 构造方法使用nn.LSTM可以直接构建若干层的LSTM,构造时传入的三个参数和nn.RNN一样,依次是:[feature_len,hidden_len,num_layers][feature\_len,hidden\_len,num\_layers][feature_len,hidden_len,num_layers]其中h...

2020-02-22 21:29:59 7284 7

原创 【DL学习笔记】4:长短期记忆网络(Long Short-Term Memory)

在前面学习的循环网路中,因为梯度中有参数weight_hh的k次幂的存在,所以会导致梯度弥散和梯度爆炸的问题。对于梯度爆炸问题,可以用PyTorch笔记22最后面给出的梯度裁剪的方式解决。但是梯度弥散的问题没法这样直接解决,LSTM一定程度上解决了这样的问题,从而为长序列记忆提供了较好的解决方案。长序列难题在原始的循环网络中,实际上能处理的记忆信息比较短。如对自然语言的处理中,只能记住之前较少...

2020-02-22 01:58:51 560 2

原创 【PyTorch学习笔记】22:使用nn.RNN构建循环网络预测序列数据的例子

简述在这个例子中,从[k,k+n)[k,k+n)[k,k+n)时刻的正弦函数,要去预测[k+t,k+n+t)[k+t,k+n+t)[k+t,k+n+t)时刻的正弦曲线。因为在每个时刻曲线上的点是一个值,所以这个例子中不需要做embedding,也就是feature_len=1。如果要给出49个时刻的点,也就是seq_len=49。如果只提供一条曲线在训练时喂入,也就是batch=1。按照之前...

2020-02-21 12:04:58 643

有关Linux进程家族树

操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。

2017-10-03

举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程

上海大学课程研讨,题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。上海大学课程研讨,题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。

2017-12-03

算符优先分析法

设有文法G[S]:S→SaF | F F→FbP | P P→c | d (1) 构造G[S]的算符优先关系表 (2) 分别给出cadbdac# 和 dbcabc# 的分析过程

2018-05-22

已经整合好的小型S2SH框架(完全注释+依赖jar包)

已经将Struts2和Hibernate与Spring整合,测试可用。含三个框架的核心依赖jar包,不含JDBC驱动,测试例子是用MySQL作为数据库的。请自行更换数据库,添加驱动,修改Hibernate设置和数据库配置。 含有大量注释,适合学生立即上手开发课程项目。

2018-05-13

有关ADSL与调制技术

有关ADSL和相关的调制技术,计算机网络研讨课演讲PPT。

2017-10-04

普通域名和专有域名的显示结果不一样

发表于 2020-08-19 最后回复 2020-08-19

C语言里有%n这个用法吗

发表于 2017-05-07 最后回复 2020-05-19

分类专栏的实际文章数显示有bug

发表于 2020-03-06 最后回复 2020-03-06

【严重bug】文章放不到自己的分类专栏里

发表于 2019-12-22 最后回复 2019-12-22

请问下图中的新功能如何修改和关闭?

发表于 2019-12-06 最后回复 2019-12-06

创建新分类,添加文章显示文章数有bug

发表于 2019-12-02 最后回复 2019-12-03

分类下的博文排序为什么乱了?不按发布时间排序了?

发表于 2019-08-26 最后回复 2019-09-16

自定义模块不再显示了???

发表于 2019-05-31 最后回复 2019-08-25

希望能在【代码片样式】中加入以前默认的那种样式

发表于 2018-09-23 最后回复 2019-05-10

现在怎么白天都要审核了

发表于 2019-04-19 最后回复 2019-04-19

更新后的Markdown编辑器上按回车有问题

发表于 2019-01-13 最后回复 2019-04-19

请帮我删除两个空白专栏吧

发表于 2018-09-18 最后回复 2018-09-20

专栏申请没有响应

发表于 2018-09-07 最后回复 2018-09-11

怎么突然又有审核机制了。。

发表于 2018-04-16 最后回复 2018-09-07

一个BUG

发表于 2017-11-08 最后回复 2017-11-09

新版博客下,写新文章发表后,左上角数字不会增加了

发表于 2017-09-18 最后回复 2017-10-02

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝

提示
确定要删除当前文章?
取消 删除