秩函数

作品数：49被引量：65H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：李轶吴文渊杨晓静冯勇黄源源更多>>
相关机构：中国科学院重庆绿色智能技术研究院中国科学院大学陕西师范大学北京理工大学更多>>
相关期刊：《数理统计与管理》《科技通报》《软件学报》《电子与信息学报》更多>>
相关基金：国家自然科学基金渭南师范学院科研基金重庆市自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
两阶段设计中单比例的精确置信区间构造
《数理统计与管理》2024年第6期1053-1064,共12页尹环 王维真 
国家自然科学基金资助项目(12101233);北京市自然科学基金资助项目(1222002)。
在Ⅱ期临床试验中药物疗效不确定的情况下,通常要求参与试验的人数尽可能少。二项分布下单比例的估计多使用基于大样本的渐近区间。Ⅱ期临床试验中大样本一般得不到,因此希望给出参数的精确置信区间,即极小覆盖概率不低于1-α。在两阶...
关键词：二项分布 Ⅱ期临床试验 期望区间长度 秩函数 置信系数 
单分支线性约束循环程序的终止性分析
《软件学报》2024年第3期1307-1320,共14页李轶 唐桐 
重庆市自然科学基金(cstc2019jcyj-msxmX0638);国家自然科学基金(11771421);中国科学院“西部之光”人才培养计划。
秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上...
关键词：循环程序 线性秩函数 增函数 终止性 多阶段秩函数 
面向矩阵秩函数准确估计的自表示子空间聚类方法
《计算机应用研究》2024年第1期72-75,158,共5页刘明明 羊远灿 杨研博 张海燕 
国家自然科学基金资助项目(61801198);江苏省自然科学基金资助项目(BK20180174);江苏省青蓝工程资助项目。
传统子空间聚类方法通常使用矩阵核范数代替矩阵秩函数进行低秩矩阵恢复,然而在目标优化过程中主要关注低秩矩阵大奇异值的影响,容易导致矩阵秩估计不准确的问题。为此,在分析矩阵奇异值长尾分布特点的基础上,提出使用基于截断Schatten-...
关键词：子空间聚类 长尾分布 小奇异值 截断Schatten-p范数 矩阵核范数 
基于迭代轨迹划分的单分支循环程序终止性分析
《计算机科学》2023年第9期108-116,共9页王垚 李轶 
国家自然科学基金(61572024,11771421,61103110);重庆市自然科学基金(cstc2019jcyj-msxmX0638);重庆市院士专项(cstc2018jcyjyszxX0002,cstc2019yszx-jcyjX0003);国家重点研发计划(2020YFA07123000);中国科学院“西部之光”。
秩函数作为循环程序终止性分析的重要方法已得到广泛研究。文中着重研究了单分支循环的终止性。首先提出了双向迭代循环概念,将单分支循环分为双向迭代循环和非双向迭代循环。其次,针对双向迭代循环程序,建立了一种划分思路,提出了三段...
关键词：程序验证 秩函数 机器学习 程序终止性 
关于双极点模糊秩函数的注记
《渭南师范学院学报》2023年第5期82-86,共5页李尧龙 
陕西省自然科学基础研究计划项目:拟阵的模糊化与模糊拟阵的优化算法研究(2014JM1026)。
文章指出了双极点模糊拟阵秩函数定义存在的问题。通过举例深入分析该定义是错误的,并给出了错误的原因,最后给出了双极点模糊拟阵秩函数的正确定义。
关键词：秩函数 双极点模糊拟阵 双极点模糊秩函数 
基于深度学习和反例制导的循环程序秩函数生成
《软件学报》2022年第8期2918-2929,共12页林开鹏 梅国泉 林望 丁佐华 
浙江省自然科学基金(LY20F020020);上海工业控制系统安全创新功能型平台开放课题;上海工业控制安全创新科技有限公司资助课题。
程序终止性判定是程序分析与验证领域中的一个研究热点.针对非线性循环程序,提出了一种基于反例制导的神经网络型秩函数的构造方法.该方法采用学习组件和验证组件交互的迭代框架,其中,学习组件利用程序轨迹作为训练集合构造一个候选秩函...
关键词：秩函数 反例制导方法 深度神经网络 终止性分析 循环程序 
([0,1],[0,1])-模糊拟阵的基和秩函数
《厦门大学学报（自然科学版）》2022年第4期697-700,共4页代恩华 修振宇 
中国博士后科学基金资助项目(2017M622563)。
给出了闭的完备的([0,1],[0,1])-模糊拟阵的基和秩函数,即模糊基的模糊族和模糊秩函数.证明了模糊基的模糊族和模糊秩函数与闭的完备的([0,1],[0,1])-模糊拟阵是一一对应的.
关键词：模糊拟阵 模糊族 模糊基 模糊秩函数 
循环程序的界函数合成
《计算机应用》2022年第2期565-573,共9页谭旺 李轶 
国家自然科学基金资助项目(11771421);中国科学院“西部之光”;国家重点研发计划项目(2020YFA07123000);重庆市自然科学基金资助项目(cstc2019jcyj-msxmX0638)。
作为循环程序终止性分析的主流方法,当前的秩函数方法大多局限于线性或多项式秩函数的求解。针对循环程序若不存在对应的线性或多项式秩函数,现有秩函数方法就无法证明其终止性的问题,提出一个新的方法来合成给定循环程序对应的界函数...
关键词：程序验证 循环程序终止性 支持向量机 界函数 秩函数 
闭模糊拟阵中模糊秩的计算被引量：2
《西南师范大学学报（自然科学版）》2021年第12期5-12,共8页吴德垠 
国家自然科学基金项目(61374078).
本文利用普通拟阵的秩函数理论讨论闭模糊拟阵的模糊秩函数的性质,设计从普通拟阵的秩函数来计算模糊拟阵的模糊秩的方法.首先定义了2个概念:模糊集合的下截短模糊集和针对某闭模糊拟阵的模糊集的非空导出独立集界.通过讨论这些概念的性...
关键词：拟阵 模糊拟阵 导出拟阵 秩函数 模糊秩函数 模糊秩的计算 
仿射秩最小化问题的一种解法
《中国海洋大学学报（自然科学版）》2021年第4期142-146,共5页王展梁 刘新国 
国家自然科学基金项目(11871444,11701538)资助。
低秩矩阵恢复问题在众多领域有重要应用。由于秩函数的复杂性,通常寻求其替代函数进而求解松弛问题。核范数是普遍使用的替代函数之一,但其恢复能力有限。本文提出了一种新的松弛模型用于求解低秩矩阵恢复问题,并给出了邻近梯度下降算法...
关键词：低秩矩阵 核范数 邻近算子 松弛模型 秩函数 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部