📚 一阶技术资料

📦 资源总数：277

💻 源代码：571

🔥 一阶热门资料

查看全部277个资源 »

针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题，对安全协议一阶逻辑模型进行扩展，对逻辑推理中的规则及合一化操作进行分类，给出操作置换规则，在此基础上开发能对攻击进行重构的协议验证原型...

👤 qingfengchizhu ⬇️ 5 次下载

安全协议逻辑

吉尔法求解一阶微分方程组的算法...

👤 英雄 ⬇️ 60 次下载

微分方程算法

Huffman编码1．给出信源符号的一阶概率分布，并计算信源符号熵和单字符Huffman码表。2．计算每信源的平均字长，并与信源符号熵比较。3．比较压缩效果。...

👤 爺的气质 ⬇️ 198 次下载

Huffman 编码信源符号

u-boot启动过程的第一阶段，全部是汇编语言...

👤 王小奇 ⬇️ 68 次下载

u-boot 过程

用欧拉法、四阶龙格库塔法、预估校正法求解连续系统的一阶微分方程...

👤 LouisT ⬇️ 1 次下载

数值积分一阶微分方程

📂 一阶资料分类