摘要：
什么是IDL和MIDL？ IDL是接口定义语言。 MIDL是Microsoft的IDL编译器。 在用IDL对接口和组件进行了描述后，可以用MIDL进行编译，生成相应的代理和存根DLL的C代码。 参考： https://www.cnblogs.com/weiqubo/archive/2011/03/2 阅读全文
摘要：
1、概念 ###（1）dll：Windows所支持的动态链接（dll） dll把程序分成若干个模块，某个模块更新的时候，只需要更新对应的dll即可。编译器按照一定调用约定，调用dll中的函数，并返回值。函数、成员的地址，是通过编译时的环境所决定的。 ###（2）COM 简单地说，COM是一种跨应用和 阅读全文
摘要：
1. 概念 1.1. 代理和存根 代理和存根在COM，RPC等方面使用。 1.1.1. 列集marshaling 列集，对函数参数进行打包处理得过程，因为指针等数据，必须通过一定得转换，才能被另一组件所理解，列集完成后，RPC调用就会产生。可以说列集是一种数据格式的转换方法。 //列集有3种方式： 阅读全文
摘要：
1、定义 (1)总线：通道 总线是一组传输通道，是各种逻辑器件构成的传输数据的通道，一般由数据线、地址线、控制线等构成。 (2)接口：定义参数，形参 接口是一种连接标准，又常常被称之为物理接口。 (3)信号：实际传输的转瞬即逝的电压或波信号，实参 (4)协议：数据传输规则，到底是怎么通信的 协议即总 阅读全文
摘要：
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. 态就 阅读全文