期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
非线性最优化的抽象算法模型及非闭性收敛条件的研究(下)
1
作者 韩继业 《运筹学杂志》 CSCD 1990年第2期1-10,共10页
本文叙述了具有单调性的最优化算法的若干重要的收敛性条件,包括这方面最近的新成果,并且证明了新的收敛性条件比文献中已有的条件要严格地弱;其次讨论了常见的可行点算法类的一致可行性收敛条件,证明了本文介绍的新的收敛性条件比一致... 本文叙述了具有单调性的最优化算法的若干重要的收敛性条件,包括这方面最近的新成果,并且证明了新的收敛性条件比文献中已有的条件要严格地弱;其次讨论了常见的可行点算法类的一致可行性收敛条件,证明了本文介绍的新的收敛性条件比一致可行性收敛条件要弱。 1.单调最优化算法的全局收敛性大多数具体的最优化算法是单调算法,即对应于迭代点列{x_i}的某一函数f(目标函数或特定的另一函数)的值{f(x_i)}是单调数列,所以文献中对于单调的抽象算法模型的全局收敛性研究很多。Zangwill提出的第一个抽象算法和相应的收敛性条件就是关于单调算法的。对于这类算法,函数值{f(x_i)}的单调性与算法的全局收敛性有密切关系。一般而言,单调算法的收敛性条件比较简单些,见文献以[1~6],[8~15]。在文献[12]中, 展开更多
关键词 非线性 最优化 抽象算法 收敛条件
下载PDF
非线性最优化的抽象算法模型及非闭性收敛条件的研究(上)
2
作者 韩继业 《运筹学杂志》 CSCD 1990年第1期1-9,共9页
本文叙述了若干种具有重要意义的抽象算法模型的结构,以及相应的收敛性条件。其次叙述了在去掉闭性和严格单调性的限制下目前得到的几组新的收敛性条件,并且对一些重要的收敛条件的关系进行了讨论。最后考虑了一种广义单调算法,讨论了... 本文叙述了若干种具有重要意义的抽象算法模型的结构,以及相应的收敛性条件。其次叙述了在去掉闭性和严格单调性的限制下目前得到的几组新的收敛性条件,并且对一些重要的收敛条件的关系进行了讨论。最后考虑了一种广义单调算法,讨论了相应的收敛性结果。 展开更多
关键词 非线性 最优化 抽象算法 收敛条件
下载PDF
一个抽象算法的收敛性定理
3
作者 俞建 《贵州工学院学报》 1989年第3期66-68,共3页
本文提出了一个抽象算法,并证明了收敛性定理。
关键词 点到集映象 抽象算法 收敛性
下载PDF
抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明
4
作者 杨祥金 《计算机研究与发展》 EI CSCD 北大核心 1993年第12期1-11,共11页
ABSTRACT,C-T-ABS 是把λ表达式转换成SKI 表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算、SKI 演算的基本理论出发,对这两个算法进行了理论推导及功能上的等价性证明。展示了对同一输入,C-T-ABS 能生成较优化的代码,并... ABSTRACT,C-T-ABS 是把λ表达式转换成SKI 表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算、SKI 演算的基本理论出发,对这两个算法进行了理论推导及功能上的等价性证明。展示了对同一输入,C-T-ABS 能生成较优化的代码,并对它们生成代码的长度及归约效率进行了比较。 展开更多
关键词 抽象算法 Λ演算 SKI演算
下载PDF
直观算理与抽象算法的深度数学课堂
5
作者 李慧 《文理导航》 2022年第18期40-42,共3页
郑毓信教授曾说过深度学习应该深在哪里?他指出首先深在人的心灵与精神境界,其次深在系统结构与教学规律。因此,深度的数学课堂要找准知识生长点,促进学生思维的深度发展。笔者从案例描述、我的思考、改进策略三个方面进行阐述。
关键词 直观算理 抽象算法 深度数学
下载PDF
基于特殊选择的抽象进化算法的收敛性
6
作者 薛明志 朱秀阁 焦李成 《应用科学学报》 CAS CSCD 2004年第3期407-410,共4页
首先定义了抽象选择算子和抽象进化算子,基于这两种算子给出了一般抽象进化算法的定义.特别讨论了一种基于特殊选择的抽象进化算法,根据状态空间的分类,分析了这种特殊选择进化算法种群的一步转移概率矩阵的性质,最后证明了这种算法的Ma... 首先定义了抽象选择算子和抽象进化算子,基于这两种算子给出了一般抽象进化算法的定义.特别讨论了一种基于特殊选择的抽象进化算法,根据状态空间的分类,分析了这种特殊选择进化算法种群的一步转移概率矩阵的性质,最后证明了这种算法的Markov链存在极限概率分布. 展开更多
关键词 抽象进化算法 收敛性 抽象选择算子 转移概率矩阵 状态空间 MARKOV链
下载PDF
游戏法教学:抽象性算法的最佳溶剂
7
作者 蔡晓云 《信息技术教育》 2006年第6期37-39,共3页
关键词 游戏法教学 抽象算法 溶剂 教学 游戏 技术学科 程序设计
下载PDF
一种改进的AVL系统中车位显示修正算法 被引量:1
8
作者 聂洪山 徐捷 王鸿谷 《国防科技大学学报》 EI CAS CSCD 北大核心 2003年第1期61-64,共4页
AVL系统就是GIS与GPS技术集成的成功应用。AVL系统中GPS信号在GIS地图上显示时,由于各种因素的影响,存在很大的偏差。对这种偏差的校正是十分必要的。为了解决这个问题,对以前提出的误差校正算法———"线性抽象算法"进行了改... AVL系统就是GIS与GPS技术集成的成功应用。AVL系统中GPS信号在GIS地图上显示时,由于各种因素的影响,存在很大的偏差。对这种偏差的校正是十分必要的。为了解决这个问题,对以前提出的误差校正算法———"线性抽象算法"进行了改进,提出了另一种误差校正方法———"缓冲区线性抽象算法",实验结果表明这种方法能在很大程度上校正偏差,不但具有较高的精度,而且还提高了算法效率。 展开更多
关键词 AVL系统 GPS GIS MapInfo地图 道路拟合 偏差校正 缓冲区线性抽象算法 车位显示 电子地图
下载PDF
Promela行为模型的自动抽象
9
作者 支小莉 陆鑫达 戎璐 《计算机工程》 CAS CSCD 北大核心 2004年第16期7-8,44,共3页
提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型。抽象模型与原模型迹等价,且具有状态变量最少、状态空间最小的特点。它可代替详细模型用作环境模型或参与全局性质检查,减小模型检查的状态空间... 提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型。抽象模型与原模型迹等价,且具有状态变量最少、状态空间最小的特点。它可代替详细模型用作环境模型或参与全局性质检查,减小模型检查的状态空间以提高验证效率。 展开更多
关键词 抽象算法 行为分析 Promcla
下载PDF
无线通讯系统端到端通讯传输时延保障性分析
10
作者 杜家祺 《佳木斯大学学报(自然科学版)》 CAS 2023年第6期32-35,共4页
由于无线传输的时延缺陷会导致网络精密控制失准,因此研究以无线通讯系统为载体,利用鞅域技术建立端到端可靠性框架,并在此基础上利用可靠性分解带宽抽象算法设计端到端切片定制算法。对该方法进行仿真实验,结果显示,研究设计的端到端... 由于无线传输的时延缺陷会导致网络精密控制失准,因此研究以无线通讯系统为载体,利用鞅域技术建立端到端可靠性框架,并在此基础上利用可靠性分解带宽抽象算法设计端到端切片定制算法。对该方法进行仿真实验,结果显示,研究设计的端到端可靠性框架时延性能分析中得出的结果是更加精准。由此可见该方法可以有效对端到端传输时延状况进行分解和分析,并在此基础上通过优化资源配置的方式达到缩短时延、提升传输速率的效果。 展开更多
关键词 可靠性分解带宽抽象算法 通讯延时 端到端切片 鞅域
下载PDF
基于形式化方法的混成系统验证
11
作者 唐敏 吴熊 +2 位作者 李平 唐晨 杨国荣 《软件导刊》 2018年第4期39-41,44,共4页
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽... 对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。 展开更多
关键词 形式化方法 抽象算法 混成系统 温控系统
下载PDF
基于ALAP元模型的产品功能模型 被引量:1
12
作者 郝泳涛 唐涛 马冲 《计算机辅助工程》 2010年第3期73-78,共6页
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流... 针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流程;提出用于描述产品功能模型的功能对象方法树(Function Object Method Tree,FOMT),并给出座椅设计描述的实例.ALAP具有一般性、开放性和通用性的特点,可为新的产品功能模型开发提供参考,也能规范已有模型,使不同模型之间可以通信. 展开更多
关键词 产品功能模型 应用—逻辑—算法—物理分层抽象模型 智能设计 功能对象方法树
下载PDF
Minimax问题的约束变尺度法 被引量:1
13
作者 李广振 施保昌 胡新生 《南昌职业技术师范学院学报》 1994年第4期78-83,共6页
本文利用广义伪方向导数的概念及其性质给出了无(?)M(?)问题的抽象算法模型及其全局收敛性定理。以此为依据,从有效性和适应性等方面讨论了改进约束变尺度法及其相关方法的若干措施,并提出了需进一步研究的问题。
关键词 极小极大问题 约束变尺度法 抽象算法模型
下载PDF
The Convergence of the Abstract Evolutionary Algorithm Based on a Special Selection Mechanism
14
作者 BIYong-qing XUEMing-zhi 《Chinese Quarterly Journal of Mathematics》 CSCD 2003年第2期213-220,共8页
There has been a growing interest in mathematical models to character the evolutionary algorithms. The best-known one of such models is the axiomatic model colled the abstract evolutionary algorithm. In this paper, we... There has been a growing interest in mathematical models to character the evolutionary algorithms. The best-known one of such models is the axiomatic model colled the abstract evolutionary algorithm. In this paper, we first introduce the definitions of the abhstract selection and evolution operators, and that of the abstract evolutionary algorithm, which describes the evolution as an abstract stochastic process composed of these two fundamental abstract operators. In particular, a kind of abstract evolutionary algorithms based on a special selection mechansim is discussed. According to the sorting for the state space, the properties of the single step transition matrix for the algorithm are anaylzed. In the end, we prove that the limit probability distribution of the Markov chains exists. The present work provides a big step toward the establishment of a unified theory of evolutionary computation. 展开更多
关键词 abstract evolutionary algorithm a transition matrix CONVERGENCE
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部