多值

作品数：945被引量：1977H指数：18
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：汪鹏君刘明张跃军黄如胡良平更多>>
相关机构：华中科技大学湘潭大学陕西师范大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多值交互时序逻辑的模型检验研究
《郑州大学学报（理学版）》2025年第2期78-84,共7页凌灿红 常亮 周洁 潘海玉 
国家自然科学基金项目(61966009,62162014)。
为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,...
关键词：模型检验 多值逻辑 交互时序逻辑 并发博弈结构 
多值动态不确定因果图的参数学习研究
《东莞理工学院学报》2025年第1期19-25,共7页何大材 王洪春 
国家社会科学基金一般项目(13BTJ008);重庆市教育委员会人文社会科学重点项目(22SKGH081);重庆市教育委员会重庆市高等教育教学改革研究项目(213139)。
收集一个复杂系统的多值动态不确定因果图的全局数据是不现实的,但是收集其局部数据相对容易。现有运用局部数据求解多值动态不确定因果图参数的方法是利用模型本身的性质,将参数学习转变为带等式约束条件的非线性规划问题。在此基础上...
关键词：多值动态不确定因果图 参数学习 最优解 
基于解空间裁剪度的多智能体路径规划算法
《计算机与数字工程》2025年第2期389-394,共6页岳荣康 龙吟 
国家自然科学基金项目(编号:62101467)资助。
基于冲突的搜索算法(Conflict Base Search,CBS)是当前多智能体路径规划的主要方法之一,并且它与互斥锁传播(Mutex Propagation,MP)方法结合还能够进一步提升搜索无冲突路径的性能。然而,基于冲突与互斥锁传播的搜索算法(CBS-MP)存在难...
关键词：多智能体 路径规划 互斥锁传播 无障碍环境 多值决策图 
基于生存结果的多值异质性处理效应的双稳健估计
《数理统计与管理》2024年第5期776-788,共13页彭非 张长 易丹辉 
教育部人文社会科学重点研究基地重大项目(11JJD840012)。
处理效应用于分析处理变量对结果变量的影响,由于个体间异质性的存在,处理变量对不同个体的影响可能不同,研究异质性处理效应有其现实意义。生存时间是一类重要的结果变量,估计生存结果下的异质性处理效应需要平衡不同处理水平上删失比...
关键词：多值处理效应 加权最小二乘法 生存结果 异质性 
基本Łukasiewicz m-值条件句逻辑
《逻辑学研究》2024年第5期1-20,共20页霍书全 
国家社会科学基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”(18ZDA032)。
经典条件句逻辑被广泛地研究过,近几年,一些非经典的条件句逻辑也开始出现。多值逻辑承认命题可以取多个真值,具有容错能力,其蕴涵词和经典蕴涵词类似,同样可以刻画条件句,因此我们也应该有多值逻辑条件句逻辑。本文将基于Łukasiewicz m...
关键词：基本条件句逻辑 Łukasiewicz m-值逻辑 多值模态逻辑 Kripke语义 
维万蒂关于多值解析函数值集的思想探析
《中国科技史杂志》2024年第3期423-434,460,共13页王全来 
国家自然科学基金资助项目(项目编号:10771169);天津市教改项目(项目编号:B231006504);天津师范大学教改重点项目(项目编号:JGZD01218010)。
康托尔首先猜测多值函数的值集可能为可数集。维万蒂采用黎曼曲面思想首先发表了遭质疑的证明。依据原始文献,利用历史分析和比较的方法,指出:维万蒂涉及该问题的主动因是雅可比1835年的一篇文章;采用黎曼曲面的思想是受到了卡索拉蒂的...
关键词：多值函数 黎曼曲面 解析开拓 可数集 
由“一题多解”引发的对“一题多值”的思考
《中学物理教学参考》2024年第22期31-34,共4页李晓龙 刘海霞 
以一道考题的多种解法为切入点,思考题目出现多解和学生出现错解的原因,指出由于机械波传播方向的双向性、传播过程中时间和空间的周期性、波形的隐含性等,引起波动问题的多值性,以期提高学生对机械波多值问题的解题能力。
关键词：机械波 一题多解 一题多值 
Banach空间中多值线性算子的集值度量广义逆及其单值选择
《数学学报（中文版）》2024年第4期719-731,共13页刘宏丽 刘冠琦 王玉文 
国家自然科学基金(青年)项目(12101163);黑龙江省教改(重点)委托项目(SJGZ20190031)。
本文利用Banach空间几何方法,特别是运用广义正交分解定理,给出了自反Banach空间中多值闭线性算子的集值度量广义逆的定义域、值域、表达式的精确表示.同时,给出了该度量广义逆的单值齐性选择的构造方法及其特征刻画,使得近期一些相关...
关键词：BANACH空间 多值线性算子 集值度量广义逆 单值选择 
MATLAB在多值函数可视化中的应用被引量：2
《高等数学研究》2024年第4期48-51,共4页徐红 汤婼岚 
中山大学2022年度校级教学质量与教学改革工程项目(2022-801)资助.
本文重点关注了较为复杂的有理数幂次的幂函数和多项式根式函数两类多值函数.这些多值函数在传统的国内外教材和研究文献中均未涉及图像可视化和分析.本文借助MATLAB对这两类多值函数的可视化进行了研究和讨论.
关键词：数学物理方法 复变函数 多值函数 根式函数 幂函数 支点 
货架下方可通行无人仓中多自动导引车系统的路径规划被引量：1
《国防科技大学学报》2024年第4期104-113,共10页杨洪玖 赵国威 李洪波 程富阳 
国家自然科学基金资助项目(61973230)。
多自动导引车(automated guided vehicle,AGV)系统进行搬运作业时容易发生冲突、碰撞和死锁。为此,引入多值栅格和交通规则改进A*算法解决货架下方可通行场景下多AGV系统的轨迹规划问题。为提升系统搬运效率,通过增加货架召回机制、转...
关键词：A~*算法 多自动导引车系统 交通规则 多值栅格 路径规划 
全选清除导出
共95页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部