摘要： 1、APR和RAPR协议到底属于哪层？ 教材上把ARP协议划到网络层，是因为ARP协议属于TCP/IP协议簇。在TCP/IP模型中，所有定义的协议至少是在网际层以上的。 但按照OSI的标准，数据向下传递时每层会加上自己的信息。当网络层的IP包进入链路层时，链路层通过ARP协议添加链路头，这显然不是网 阅读全文

摘要： 1、模型检查 建立内核的抽象模型 给出内核的行为规范 采用工具进行全自动化地检查 2、定理证明（基于定理证明的程序验证） 用逻辑公式定义内核编程语言的语义 用逻辑公式定义内核的行为规范 采用工具进行半自动地证明 【模型检查和定理证明到底怎么操作，我的工作更偏向哪种，有时间跟王博士探讨下】 阅读全文

摘要： 1. 质量为μ的粒子在中心势场 V(r)=λrν， -2＜ν＜∞ (1) 中运动． 只讨论能够出现束缚态的情形，即λν＞0的情形． (a)找出特征长度的量纲构造式，将径向方程无量纲化； (b)视h、μ、λ为参量，确定能级构造和它们的关系； (c)分别就ν=2、1、-1三种特例作具体讨论． 2. 态就 阅读全文

摘要： 航天词库： http://www.spacechina.com/n25/n148/n272/n348309/index.html 网站： http://www.spacechina.com/n25/n148/n272/n4787/index.html 1、装订诸元 诸元：诸多元素，各种参数。 装订诸 阅读全文

摘要： 1、创建视图语法 语法提示命令：? CREATE VIEW Name: 'CREATE VIEW' Description: Syntax: CREATE [OR REPLACE] [ALGORITHM = {UNDEFINED | MERGE | TEMPTABLE}] [DEFINER = { 阅读全文

摘要： struct的成员变量是函数类型？ 这到底是什么情况？？看不懂？？ type T struct { Fu func(int) int } 参考： 【struct的成员变量是函数类型？】 https://blog.csdn.net/taoshihan/article/details/101249407 阅读全文

摘要： 可以先看：go的数据类型 下面是针对不同类型，方法如何定义和使用。 1、方法定义 go可以为任意类型定义方法！！【指针类型除外】 方法比函数的好处：方法名可以简短。当我们在包外调用的时候这种好处就会被放大，因为我们可以使用这个短名字，而可以省略掉包的名字。 在函数声明时，在其名字之前放上一个变量，即 阅读全文

摘要： 1. 指针的创建 指针创建有三种方法 第一种方法 先创建指针，分配好内存后，再给指针指向的内存地址写入对应的值。 // 创建指针 astr := new(string) // 给指针赋值 *astr = "Go编程时光" 第二种方法 先定义对应的变量，再通过变量取得内存地址，创建指针 // 定义普通 阅读全文

摘要： 三、空闲分区分配算法 首先适应算法：当接到内存申请时，查找分区说明表，找到第一个满足申请长度的空闲区，将其分割并分配。此算法简单，可以快速做出分配决定。 最佳适应算法：当接到内存申请时，查找分区说明表，找到第一个能满足申请长度的最小空闲区，将其进行分割并分配。此算法最节约空间，因为它尽量不分割到大的 阅读全文

摘要： 1、#include 1.1 .c文件可以被include吗 问：#include能不能include一个(多个).c文件？ 答：从理论上讲可以，但是不推荐。 （1）include语法：内容替换 从语法角度讲，include的意思就是从当前位置包含另外一个文件，就像宏替换一样把当前行用另外一个文件的 阅读全文