本课题的目的是对几种波束形成方法进行讨论,即分别对时延波束形成方法、相移波束形成方法、内插波束形成方法、移边带波束形成方法及时延一相移混合波束形成方法进行仿真,通过对几种波束形成的研究对比,以及各种参数的变化对波束形成质量的影响比较,来找到各种波束形成方法的优缺点及适用范围。
2024/3/27 20:22:55
360B
1
并发加权mu－演算(concurrentweightedmu－calculus，CWC)是对Kim．G．Larsen所提出的并发加权逻辑的强有力的扩充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
2024/2/22 3:52:31
516KB
1
【完整程序+直接可运行+实验结果截图】方便学习。
克里金(Kriging)插值法又称空间自协方差最佳插值法，它是以南非矿业工程师D．G．Krige的名字命名的一种最优内插法。
克里金法广泛地应用于地下水模拟、土壤制图等领域，是一种很有用的地质统计格网化方法。
它首先考虑的是空间属性在空间位置上的变异分布．确定对一个待插点值有影响的距离范围，然后用此范围内的采样点来估计待插点的属性值。
该方法在数学上可对所研究的对象提供一种最佳线性无偏估计(某点处的确定值)的方法。
它是考虑了信息样品的形状、大小及与待估计块段相互间的空间位置等几何特征以及品位的空间结构之后，为达到线性、无偏和最小估计方差的估计，而对每一个样品赋与一定的系数，最后 进行加权平均来估计块段品位的方法。
但它仍是一种光滑的内插方法在数据点多时，其内插的结果可信度较高。
克里金(Kriging)插值法又称空间自协方差最佳插值法，它是以南非矿业工程师D．G．Krige的名字命名的一种最优内插法。
克里金法广泛地应用于地下水模拟、土壤制图等领域，是一种很有用的地质统计格网化方法。
它首先考虑的是空间属性在空间位置上的变异分布．确定对一个待插点值有影响的距离范围，然后用此范围内的采样点来估计待插点的属性值。
该方法在数学上可对所研究的对象提供一种最佳线性无偏估计(某点处的确定值)的方法。
它是考虑了信息样品的形状、大小及与待估计块段相互间的空间位置等几何特征以及品位的空间结构之后，为达到线性、无偏和最小估计方差的估计，而对每一个样品赋与一定的系数，最后 进行加权平均来估计块段品位的方法。
但它仍是一种光滑的内插方法在数据点多时，其内插的结果可信度较高。
2024/2/6 15:01:11
184KB
1
作者:WilliamH.Press/BrianP.Flannery/SaulA.Teukolsky/WilliamT.Vetterling本书编写了300多个实用而有效的数值算法C语言程序。
其内容包括：线性方程组的求解，逆矩阵和行列式计算，多项式和有理函数的内插与外推，函数的积分和估值，特殊函数的数值计算，随机数的产生，非线性方程求解，傅里叶变换和FFT，谱分析和小波变换，统计描述和数据建模，常微分方程和偏微分方程求解，线性预测和线性预测编码，数字滤波，格雷码和算术码等。
全书内容丰富，层次分明，是一本不可多得的有关数值计算的C语言程序大全。
本书每章中都论述了有关专题的数学分析、算法的讨论与比较，以及算法实施的技巧，并给出了标准C语言实用程序。
这些程序可在不同计算机的C语言编程环境下运行。
本书可作为从事科学计算的科技工作者的工具书，计算机软件开发者的参考书，也可以作为大学本科生和研究生的参考书或教材。
其内容包括：线性方程组的求解，逆矩阵和行列式计算，多项式和有理函数的内插与外推，函数的积分和估值，特殊函数的数值计算，随机数的产生，非线性方程求解，傅里叶变换和FFT，谱分析和小波变换，统计描述和数据建模，常微分方程和偏微分方程求解，线性预测和线性预测编码，数字滤波，格雷码和算术码等。
全书内容丰富，层次分明，是一本不可多得的有关数值计算的C语言程序大全。
本书每章中都论述了有关专题的数学分析、算法的讨论与比较，以及算法实施的技巧，并给出了标准C语言实用程序。
这些程序可在不同计算机的C语言编程环境下运行。
本书可作为从事科学计算的科技工作者的工具书，计算机软件开发者的参考书，也可以作为大学本科生和研究生的参考书或教材。
2024/2/6 5:38:02
10.13MB
1
不好意思传错了！！！！不要下了不好意思传错了！！！！不要下了不好意思传错了！！！！不要下了这里下“http://download.csdn.net/source/2225957”
2024/1/29 22:33:05
91B
1
等高线追踪基于TIN绘制等高线直接利用原始观测数据，避免了DTM内插的精度损失，因而等高线精度较高；
对高程注记点附近的较短封闭等高线也能绘制；
绘制的等高线分布在采样区域内而并不要求采样区域有规则四边形边界。
而同一高程的等高线只穿过一个三角形最多一次，因而程序设计也较简单。
但是，由于TIN的存贮结构不同，等高线的具体跟踪算法跟踪也有所不同。
基于三角形搜索的等高线绘制算法如下：对于记录了三角形表的TIN，按记录的三角形顺序搜索。
其基本过程如下：1）对给定的等高线高程h，与所有网点高程zi（i=1,2,?，n），进行比较，若zi=h，则将zi加上（或减）一个微小正数ε＞0（如ε=10-4），以使程序设计简单而又不影响等高线的精度。
2）设立三角形标志数组，其初始值为零，每一元素与一个三角形对应，凡处理过的三角形将标志置为1，以后不再处理，直至等高线高程改变。
3）按顺序判断每一个三角形的三边中的两条边是否有等高线穿过。
若三角形一边的两端点为P1（x1，y1，z1），P2（x2，y2，z2）则(z1-h)(z2-h)0表明该边无等高线点。
直至搜索到等高线与网边的第一个交点，称该点为搜索起点，也是当前三角形的等高线进入边、线性内插该点的平面坐标（x，y）：
对高程注记点附近的较短封闭等高线也能绘制；
绘制的等高线分布在采样区域内而并不要求采样区域有规则四边形边界。
而同一高程的等高线只穿过一个三角形最多一次，因而程序设计也较简单。
但是，由于TIN的存贮结构不同，等高线的具体跟踪算法跟踪也有所不同。
基于三角形搜索的等高线绘制算法如下：对于记录了三角形表的TIN，按记录的三角形顺序搜索。
其基本过程如下：1）对给定的等高线高程h，与所有网点高程zi（i=1,2,?，n），进行比较，若zi=h，则将zi加上（或减）一个微小正数ε＞0（如ε=10-4），以使程序设计简单而又不影响等高线的精度。
2）设立三角形标志数组，其初始值为零，每一元素与一个三角形对应，凡处理过的三角形将标志置为1，以后不再处理，直至等高线高程改变。
3）按顺序判断每一个三角形的三边中的两条边是否有等高线穿过。
若三角形一边的两端点为P1（x1，y1，z1），P2（x2，y2，z2）则(z1-h)(z2-h)0表明该边无等高线点。
直至搜索到等高线与网边的第一个交点，称该点为搜索起点，也是当前三角形的等高线进入边、线性内插该点的平面坐标（x，y）：
2023/11/9 22:08:01
1.42MB
1
Cass等高线修改内插工具Cass等高线修改内插工具Cass等高线修改内插工具Cass等高线修改内插工具Cass等高线修改内插工具Cass等高线修改内插工具
2023/9/11 7:26:41
71KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB