InverseDistancetoaPower（反距离加权插值法）Kriging（克里金插值法）MinimumCurvature（最小曲率）ModifiedShepard"sMethod（改进谢别德法）NaturalNeighbor（自然邻点插值法）NearestNeighbor（最近邻点插值法）PolynomialRegression（多元回归法）RadialBasisFunction（径向基函数法）TriangulationwithLinearInterpolation（线性插值三角网法）MovingAverage（移动平均法）LocalPolynomial（局部多项式法）"＞InverseDistancetoaPower（反距离加权插值法）Kriging（克里金插值法）MinimumCurvature（最小曲率）ModifiedShepard"sMethod（改进谢别德法）NaturalNeighbor（自然邻点插值法）NearestNeighbor（最近邻点插值法）PolynomialRegression（?[更多]
2024/3/3 17:18:33
30KB
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
使用唯相位的方法实现阵列天线的波束赋形状，是使用基于DFP和BFGS变尺度优化算法来实现求值，是该算法的应用实例
2024/2/15 22:37:31
507KB
1
针对铝土矿连续磨矿过程球磨机节能降耗问题以及铝土矿来源复杂、品位差异大等特点,提出了球磨机多目标多模型预测控制方法.该方法首先建立状态空间浓度预测模型和粒级质量平衡加权多模型细度预测模型.然后构建了包含磨机排矿浓细度区间控制和经济性能指标的多目标优化结构的多模型预测控制策略.最后采用乘子罚函数法求解控制器局部最优解.仿真及现场试验结果表明了该方案的有效性.
2024/2/7 21:24:48
1.12MB
1
【完整程序+直接可运行+实验结果截图】方便学习。
克里金(Kriging)插值法又称空间自协方差最佳插值法，它是以南非矿业工程师D．G．Krige的名字命名的一种最优内插法。
克里金法广泛地应用于地下水模拟、土壤制图等领域，是一种很有用的地质统计格网化方法。
它首先考虑的是空间属性在空间位置上的变异分布．确定对一个待插点值有影响的距离范围，然后用此范围内的采样点来估计待插点的属性值。
该方法在数学上可对所研究的对象提供一种最佳线性无偏估计(某点处的确定值)的方法。
它是考虑了信息样品的形状、大小及与待估计块段相互间的空间位置等几何特征以及品位的空间结构之后，为达到线性、无偏和最小估计方差的估计，而对每一个样品赋与一定的系数，最后 进行加权平均来估计块段品位的方法。
但它仍是一种光滑的内插方法在数据点多时，其内插的结果可信度较高。
克里金(Kriging)插值法又称空间自协方差最佳插值法，它是以南非矿业工程师D．G．Krige的名字命名的一种最优内插法。
克里金法广泛地应用于地下水模拟、土壤制图等领域，是一种很有用的地质统计格网化方法。
它首先考虑的是空间属性在空间位置上的变异分布．确定对一个待插点值有影响的距离范围，然后用此范围内的采样点来估计待插点的属性值。
该方法在数学上可对所研究的对象提供一种最佳线性无偏估计(某点处的确定值)的方法。
它是考虑了信息样品的形状、大小及与待估计块段相互间的空间位置等几何特征以及品位的空间结构之后，为达到线性、无偏和最小估计方差的估计，而对每一个样品赋与一定的系数，最后 进行加权平均来估计块段品位的方法。
但它仍是一种光滑的内插方法在数据点多时，其内插的结果可信度较高。
2024/2/6 15:01:11
184KB
1
对分布式网络数据包优先级传输模型进行优化，可以提高分布式网络中资源调度和信息传输性能。
传统方法采用时频耦合尺度分解算法，在大量的冗余数据干扰下，降低了数据的优先级识别精度和传输性能。
建立一种基于自适应加权量化特征分解和冗余数据滤除的分布式网络数据包优先级传输模型。
首先构建分布式网络数据包优先级传输的信道结构模型，采用级联滤波算法对数据包中冗余数据进行滤波预处理，对数据库中的信息传输流进行自适应加权量化特征分解后，通过特征提取实现优先级的自适应识别，实现传输模型改进。
仿真实验结果表明，采用改进模型进行分布式网络数据包优先级传输，数据传输的吞吐性能较好，执行时间较短，展示了较好的应用性能。
传统方法采用时频耦合尺度分解算法，在大量的冗余数据干扰下，降低了数据的优先级识别精度和传输性能。
建立一种基于自适应加权量化特征分解和冗余数据滤除的分布式网络数据包优先级传输模型。
首先构建分布式网络数据包优先级传输的信道结构模型，采用级联滤波算法对数据包中冗余数据进行滤波预处理，对数据库中的信息传输流进行自适应加权量化特征分解后，通过特征提取实现优先级的自适应识别，实现传输模型改进。
仿真实验结果表明，采用改进模型进行分布式网络数据包优先级传输，数据传输的吞吐性能较好，执行时间较短，展示了较好的应用性能。
2024/1/17 9:41:06
1.07MB
1
我们提出了一种基于超分辨和焦外虚化渲染的光场重聚焦方法。
本方法将超分辨和焦外虚化渲染按照场景深度加权整合在一起，同时实现聚焦区域的超分辨以及焦外区域的虚化渲染，从而可以利用多个低质量的摄像头合成单反相机级别的摄影图像。
另外，本算法可以后期调节聚焦深度与景深，从而可以根据实际场景渲染出具有美学价值的摄影图像。
算法的相关细节请参考论文：Y.Wang,J.Yang,Y.Guo,C.Xiao,andW.An,Selectivelightfieldrefocusingforcameraarraysusingbokehrenderingandsuperresolution.IEEESignalProcessingLetters,2018.
本方法将超分辨和焦外虚化渲染按照场景深度加权整合在一起，同时实现聚焦区域的超分辨以及焦外区域的虚化渲染，从而可以利用多个低质量的摄像头合成单反相机级别的摄影图像。
另外，本算法可以后期调节聚焦深度与景深，从而可以根据实际场景渲染出具有美学价值的摄影图像。
算法的相关细节请参考论文：Y.Wang,J.Yang,Y.Guo,C.Xiao,andW.An,Selectivelightfieldrefocusingforcameraarraysusingbokehrenderingandsuperresolution.IEEESignalProcessingLetters,2018.
2024/1/11 12:33:38
13.7MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB