机构

• 软件研究所 [4]
• 力学研究所 [2]
• 国家空间科学中心 [1]
• 数学与系统科学研究院 [1]
• 沈阳自动化研究所 [1]
• 合肥物质科学研究院 [1]
• 更多

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [9]
• 学位论文 [1]

发表日期

• 2016 [1]
• 2011 [1]
• 2010 [1]
• 2009 [1]
• 2003 [1]
• 2001 [1]
• 更多

学科主题

• 空间物理 [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于快速不动点法及神经网络的机动车尾气NO和NO2定量分析研究 期刊论文  OAI收割 大气与环境光学学报, 2016, 卷号: 011 作者:  张恺;  张玉钧;  何莹;  尤坤;  刘国华   |  收藏  |  浏览/下载：20/0  |  提交时间：2020/11/23 机动车尾气  NO  NO2  定量分析  快速不动点  人工神经网络   关于迭代方程∞∑i=1λif^i（x）=F（x）的可微解 期刊论文  OAI收割 数学的实践与认识, 2011, 卷号: 41.0, 期号: 011, 页码: 232-236 作者:  米玉珍;  余秀萍;  俞元洪   |  收藏  |  浏览/下载：14/0  |  提交时间：2021/01/14 迭代方程  算子  不动点  存在性  唯一性   基于最大不动点模型的描述逻辑系统FLε的有穷基 期刊论文  OAI收割 计算机研究与发展, 2010, 卷号: 47, 期号: 9, 页码: 1514-1521 唐素勤; 蔡自兴; 王驹; 蒋运承   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/05/23 描述逻辑  有穷基  形式概念分析  蕴含  最大不动点   特定类有穷结构上的逻辑的表达能力 学位论文  OAI收割 硕士, 中科院软件所5号楼337: 中科院软件所, 2009 周翔   |  收藏  |  浏览/下载：16/0  |  提交时间：2009/06/15 纯算术结构，博弈，平衡图，不动点逻辑，无穷计数逻辑，可比较图，区间图，传递闭包逻辑   谓词μ演算和模态图的语义一致性 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 10, 页码: 1672-1680 刘剑; 林惠民   |  收藏  |  浏览/下载：24/0  |  提交时间：2010/08/24 不动点  谓词(演算  嵌套谓词等式系  模态图 fixed-point  predicate μ-calculus  nested predicate equation  modal graph   无界集上的不动点定理 期刊论文  OAI收割 东北大学学报(自然科学版), 2001, 卷号: 22, 期号: 2, 页码: 226-228 作者:  张国伟;  王朝立;  刘玉蓉   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/11/29 无界集  不动点  不动点指数   一类耦合非线性波相互作用模型初值问题解的全局适定性 期刊论文  OAI收割 吉首大学学报(自然科学版), 1996, 卷号: 17, 期号: 1, 页码: 8-15 冯学尚; 王连圭 收藏  |  浏览/下载：31/0  |  提交时间：2014/04/30 耦合非线性波模型  Banach不动点原理  全局适定性   Melnikov方法和圆型平面限制性三体问题的横截同宿研究 期刊论文  OAI收割 应用数学和力学, 1996, 卷号: 17, 期号: 12, 页码: 1113-1122 作者:  朱如曾 收藏  |  浏览/下载：858/113  |  提交时间：2009/08/03 限制性三体问题  近可积哈密顿系统  高阶不动点  Melnikov方法  横截同宿(异宿)轨   递归数据传送进程的证明系统 期刊论文  OAI收割 计算机学报, 1996, 卷号: 19, 期号: 11, 页码: 854 林惠民   |  收藏  |  浏览/下载：5/0  |  提交时间：2010/08/24 数据传  送进程  互模拟  递归  唯一不动点归纳法   重正化群理论及其在地震预报中的应用 期刊论文  OAI收割 国际地震动态, 1991, 期号: 3, 页码: 34-35 作者:  白以龙;  卢春生 收藏  |  浏览/下载：1280/73  |  提交时间：2009/08/03 重正化群变换  群理论  物理量  分形几何学  观测尺度  几何形状  地震预报  不动点  破碎