资源列表
[数值算法/人工智能] xcthulhu-Int_Logic-838502a.tar
说明:Intuitionistic Logic developed in Isabelle/HOL, using a shallow embedding of the lambda-calculus by way of the Curry-Howard isomorphism<Matt> 在 2025-04-04 上传 | 大小:5kb | 下载:0
[数学计算/工程计算] bianchanggaihua
说明:可以实现大地测量中的边长改化,简单易行,运算速度快。-Geodesy can change in the technology side, simple, fast operation.<小雷> 在 2025-04-04 上传 | 大小:196kb | 下载:0
[matlab例程] tianxian
说明:关于蝶形宽带微带天线的设计 索引:蝶形宽带微带天线. 设计方案 排列效率 摘要:现在提出一种基于绝缘体衬底的有限长度的宽带微带天线的设计方法。这种方法快速、对计算精度要求较低,是建立在一蝶形天线进行二等分而形成的两个梯形天线的 。首先设计出单边的梯形部分,然后制作出相同的另一部分并在其顶点处将其连接。与理论计算相比在X波段上实验测量表现得很好。其有效带宽达到10.6%。 -One approach to an antenn<hanwenting> 在 2025-04-04 上传 | 大小:313kb | 下载:0
[matlab例程] single-and-multi
说明:单目标和多目标全局优化算法设计,这是一篇硕士论文。-Single objective and multi-objective global optimization algorithm, which is a master' s thesis.<lizhi> 在 2025-04-04 上传 | 大小:1.36mb | 下载:0
[matlab例程] weidaitianxian
说明:关于蝶形宽带微带天线的设计 索引:蝶形宽带微带天线. 设计方案 排列效率 摘要:现在提出一种基于绝缘体衬底的有限长度的宽带微带天线的设计方法。这种方法快速、对计算精度要求较低,是建立在一蝶形天线进行二等分而形成的两个梯形天线的 。首先设计出单边的梯形部分,然后制作出相同的另一部分并在其顶点处将其连接。与理论计算相比在X波段上实验测量表现得很好。其有效带宽达到10.6% -One approach to an antenna<hanwenting> 在 2025-04-04 上传 | 大小:1.82mb | 下载:0