[数值算法/人工智能] 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-28 上传 | 大小：5kb | 下载：0

[matlab例程] psozq

说明：灰度图像的增强，效果相当可以，可以实现灰度图像的对比度增强-Gray-scale image enhancement, the effect can be considerable, can enhance the contrast of gray image
<王豆豆> 在 2025-04-28 上传 | 大小：30kb | 下载：0

[matlab例程] deltaE2000

说明：matlab zip format line
<Sohail> 在 2025-04-28 上传 | 大小：182kb | 下载：0

[数学计算/工程计算] bianchanggaihua

说明：可以实现大地测量中的边长改化，简单易行，运算速度快。-Geodesy can change in the technology side, simple, fast operation.
<小雷> 在 2025-04-28 上传 | 大小：196kb | 下载：0

[数学计算/工程计算] migong

说明：输入详细的矩阵内容求出你输入矩阵的课走路径，并且输出-Details of the contents of the input matrix derived classes you take the path of the input matrix and output
<田俊涛> 在 2025-04-28 上传 | 大小：1kb | 下载：0

[matlab例程] GA-paper

说明：这是一篇硕士论文,题目是多目标优化的遗传算法研究-This is a master' s thesis topic is a multi-objective optimization by genetic algorithm
<lizhi> 在 2025-04-28 上传 | 大小：944kb | 下载：0

[matlab例程] QoS-GA

说明：这是通信学报2004年的一篇论文，一种QoS路由多目标遗传算法-This is the communication of a paper in 2004, a multi-objective genetic algorithm for QoS routing
<lizhi> 在 2025-04-28 上传 | 大小：163kb | 下载：0

[matlab例程] multi-GA

说明：这是2007年安徽理工大学 多目标遗传算法应用研究硕士论文-This is 2007, Anhui University of application of multi-objective genetic algorithm pp
<lizhi> 在 2025-04-28 上传 | 大小：2.98mb | 下载：0

[matlab例程] tianxian

说明：关于蝶形宽带微带天线的设计 索引：蝶形宽带微带天线. 设计方案 排列效率 摘要：现在提出一种基于绝缘体衬底的有限长度的宽带微带天线的设计方法。这种方法快速、对计算精度要求较低，是建立在一蝶形天线进行二等分而形成的两个梯形天线的 。首先设计出单边的梯形部分，然后制作出相同的另一部分并在其顶点处将其连接。与理论计算相比在X波段上实验测量表现得很好。其有效带宽达到10.6％。 -One approach to an antenn
<hanwenting> 在 2025-04-28 上传 | 大小：313kb | 下载：0

[matlab例程] single-and-multi

说明：单目标和多目标全局优化算法设计，这是一篇硕士论文。-Single objective and multi-objective global optimization algorithm, which is a master' s thesis.
<lizhi> 在 2025-04-28 上传 | 大小：1.36mb | 下载：0

[数据结构常用算法] queue

说明：ns2中一个队列类，描述队列是如何建立的- a queue model
<libera> 在 2025-04-28 上传 | 大小：3kb | 下载：0

[matlab例程] weidaitianxian

说明：关于蝶形宽带微带天线的设计 索引：蝶形宽带微带天线. 设计方案 排列效率 摘要：现在提出一种基于绝缘体衬底的有限长度的宽带微带天线的设计方法。这种方法快速、对计算精度要求较低，是建立在一蝶形天线进行二等分而形成的两个梯形天线的 。首先设计出单边的梯形部分，然后制作出相同的另一部分并在其顶点处将其连接。与理论计算相比在X波段上实验测量表现得很好。其有效带宽达到10.6％ -One approach to an antenna
<hanwenting> 在 2025-04-28 上传 | 大小：1.82mb | 下载：0