西伯尔 - 博客园

2022年3月2日

摘要： 1、火箭结构单级火箭：只有一组燃料箱和一组火箭发动机，从地面到太空都是同一个结构。多级火箭：很多个类似单级火箭的结构组装在一起，每个结构叫做一级。每飞一段距离就抛掉一级，即是多级火箭。最底下为第一级。上面级：上面级是多级火箭的第一级以上的部分，通常为第二级或第三级。概念：广义上，上面级是指阅读全文

posted @ 2022-03-02 17:37 西伯尔阅读(2413) 评论(0) 推荐(0)

2022年3月1日

IDL

摘要：什么是IDL和MIDL？ IDL是接口定义语言。 MIDL是Microsoft的IDL编译器。在用IDL对接口和组件进行了描述后，可以用MIDL进行编译，生成相应的代理和存根DLL的C代码。参考： https://www.cnblogs.com/weiqubo/archive/2011/03/2 阅读全文

posted @ 2022-03-01 18:51 西伯尔阅读(410) 评论(0) 推荐(0)

COM编程

摘要： 1、概念 ###（1）dll：Windows所支持的动态链接（dll） dll把程序分成若干个模块，某个模块更新的时候，只需要更新对应的dll即可。编译器按照一定调用约定，调用dll中的函数，并返回值。函数、成员的地址，是通过编译时的环境所决定的。 ###（2）COM 简单地说，COM是一种跨应用和阅读全文

posted @ 2022-03-01 18:42 西伯尔阅读(158) 评论(0) 推荐(0)

代理和存根

摘要： 1. 概念 1.1. 代理和存根代理和存根在COM，RPC等方面使用。 1.1.1. 列集marshaling 列集，对函数参数进行打包处理得过程，因为指针等数据，必须通过一定得转换，才能被另一组件所理解，列集完成后，RPC调用就会产生。可以说列集是一种数据格式的转换方法。 //列集有3种方式：阅读全文

posted @ 2022-03-01 18:21 西伯尔阅读(298) 评论(0) 推荐(0)

接口 vs 协议 vs 总线

摘要： 1、定义 (1)总线：通道总线是一组传输通道，是各种逻辑器件构成的传输数据的通道，一般由数据线、地址线、控制线等构成。 (2)接口：定义参数，形参接口是一种连接标准，又常常被称之为物理接口。 (3)信号：实际传输的转瞬即逝的电压或波信号，实参 (4)协议：数据传输规则，到底是怎么通信的协议即总阅读全文

posted @ 2022-03-01 17:23 西伯尔阅读(680) 评论(0) 推荐(0)

网络（一）APR和RAPR协议

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

posted @ 2022-03-01 15:44 西伯尔阅读(712) 评论(0) 推荐(0)

毕设（四）内核形式化验证

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

posted @ 2022-03-01 11:10 西伯尔阅读(55) 评论(0) 推荐(0)

量子力学——课程总结

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

posted @ 2022-03-01 10:56 西伯尔阅读(423) 评论(0) 推荐(0)

2022年2月28日

航天基础术语

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

posted @ 2022-02-28 18:17 西伯尔阅读(929) 评论(0) 推荐(0)

2022年2月25日

mysql（一）视图

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

posted @ 2022-02-25 17:56 西伯尔阅读(92) 评论(0) 推荐(0)