基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,603 浏览量: 1,897
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
非线性项依赖于导数的奇异半正非局部边值问题正解的存在性The Existence of Positive Solutions for Singular Semi-Positive Non-Local Boundary Value Problems with Nonlinear Term Depending on Derivatives
赵宇, 于秀洁 下载量: 1,132 浏览量: 1,381 科研立项经费支持
应用数学进展 Vol.7 No.8, August 27 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.78120 被引量
基于中国剩余定理和混沌系统的高低位图像分治加密Divide-and-Conquer Encryption of High and Low Bit Images Based on Chinese Remainder Theorem and Chaotic System
曾皓炜, 白恩健, 吴 贇 下载量: 326 浏览量: 514
图像与信号处理 Vol.12 No.2, April 26 2023, PDF, HTML, XML DOI:10.12677/JISP.2023.122012 被引量
无穷区间上奇异边值问题正解的存在性Existence of Positive Solutions for Singular Boundary Value Problems on the Infinite Interval
王 克, 王 颖 下载量: 1,873 浏览量: 3,291 科研立项经费支持
应用数学进展 Vol.6 No.9, December 22 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69140 被引量
基于混合式教学的课程思政教学设计——以“全概率公式和贝叶斯公式”为例Teaching Design for Course Ideology and Politics Based on Blended Learning —A Case Study of “Law of Total Probability and Bayes’ Theorem
白永昕, 孙 妍 下载量: 98 浏览量: 256 科研立项经费支持
教育进展 Vol.14 No.5, May 28 2024, PDF, HTML, XML DOI:10.12677/ae.2024.145790 被引量
一类带有p-Laplacian算子的分数阶积分边值问题的多重正解Multiple Positive Solutions for Fractional In-tegral Boundary Value Problems with p-Laplacian Operators
武 瑜, 刘 畅 下载量: 236 浏览量: 366
应用数学进展 Vol.12 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.123136 被引量
INAR模型的多变点探测Multiple Change Point Detection for INAR Model
陈加琪, 卢飞龙 下载量: 162 浏览量: 229 科研立项经费支持
数据挖掘 Vol.14 No.2, April 22 2024, PDF, HTML, XML DOI:10.12677/hjdm.2024.142009 被引量
基于PCL的点云数据粗配准算法研究PCL-Based Coarse Registration Algorithm for Point Cloud Data
曾如铁, 徐金鸿 下载量: 1,403 浏览量: 5,224 科研立项经费支持
测绘科学技术 Vol.7 No.1, December 14 2018, PDF, HTML, XML DOI:10.12677/GST.2019.71004 被引量
一种基于3D点云的规则化模型自动构建方法A Method of Building a Regularized Model Automatically Based on a 3D Point Cloud
高 阁, 李 鹏, 章 震, 许鹏程 下载量: 518 浏览量: 1,321 科研立项经费支持
测绘科学技术 Vol.9 No.3, July 21 2021, PDF, HTML, XML DOI:10.12677/GST.2021.93012 被引量
固定拓扑下带有时延的二阶多智能体系统的一致性问题Consensus Problem of Multi-Agent Systems with Time-Delay under Fixed Topology
韩摩西, 唐 芳 下载量: 1,044 浏览量: 1,487
应用数学进展 Vol.8 No.8, August 19 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.88163 被引量