一、第一西洛定理的若干注记（论文文献综述）
冯丽霞[1]（2016）在《对偶空间理论的形成与发展》文中研究说明对偶空间理论是泛函分析的核心内容之一,与众多数学分支联系紧密,亦有着广泛应用。本文通过历史分析和文献考证的方法,以“为什么数学”为指导,以“积分方程和线性方程组的求解”为主线,在研读相关原始文献和研究文献的基础上,对对偶空间理论的历史进行了较为深入细致的研究,并对其上重要定理——弱*紧定理的形成与发展脉络进行了探讨,挖掘了蕴涵在相关数学家工作中的深邃思想,探究了数学家之间的思想传承。主要取得如下成果：1.通过分析希尔伯特在积分方程方面的三篇重要文献,追溯其产生无限二次型理论的根源及对积分方程工作的影响,还原了他求解有限线性方程组的方法以及通过内积将积分方程转化为无穷线性方程组的代数化求解过程,揭示出这些工作中蕴含的对偶思想以及希尔伯特对对偶空间理论形成所做出的奠基性贡献。2.在对连续线性泛函概念产生和弗雷歇泛函表示工作分析的基础上,深入细致地研究了里斯在具体空间上的积分方程和线性方程组工作,探寻出里斯求解积分方程和无穷线性方程组的思想渊源,挖掘出其积分方程和线性方程组求解问题与相应空间上连续线性泛函表示之间的联系,勾勒出具体对偶空间的形成过程,揭示出隐藏在其工作中的统一化和抽象化思想以及这些思想对对偶空间抽象理论形成的影响。也分析了斯坦豪斯的具体对偶空间工作,揭示出其工作与前人工作的不同之处。3.深入细致地分析了对偶空间抽象理论形成之际重要数学家们的相关研究工作。通过探讨黑利在凸理论思想下的序列赋范线性空间中的工作,汉恩在泛函方程思想指导下的一般赋范线性空间中的工作,巴拿赫在算子思想指导下的巴拿赫空间中的工作,还原了他们抽象理论建立背后的具体问题来源,探索了他们对偶空间理论的形成过程,建立起以泛函延拓定理为主的对偶空间理论形成的完整思想脉络。4.深入细致分析了弱*紧定理形成过程中一些数学家们所做的变革和发展。围绕“紧,,和“弱收敛”两个核心概念,探讨了弱*紧定理的前史。透过希尔伯特、里斯在积分方程方面的工作揭示了引入“弱收敛”概念的必要性以及其在有限过渡到无限过程中所起的关键作用。从对偶的角度揭示了巴拿赫在对偶空间上引入弱收敛理论的缘由,最后从弱拓扑的深度归结到弱*紧定理。5.系统考察了巴拿赫之后对偶空间理论的发展状况,特别是在这门学科形成之后,测度理论、拓扑理论对其产生的深远影响。同时探讨了对偶空间理论的思想和方法对20世纪数学发展的影响。
彭会清[2]（2006）在《磁选机磁场解析法研究及应用》文中进行了进一步梳理在磁选设备中，磁系设计是关键，所以对磁系磁场的了解是十分重要的，它对分析磁选设备的性能，进而确定适宜的磁系结构参数，磁极形状和尺寸，以及研究磁性颗粒受力情况起着重要的作用。同时，为了优化结构、节省材料，设计制造供不同用途且能满足特定磁场要求的磁系体系，就必须对其磁场的大小与分布，作出严密的分析与准确的计算。基于此，本论文研究了：1、在磁场分布研究中得出，数值计算法的有限差分法、有限元法和边界元法计算相当复杂，各自优缺点明显。目前，有限差分法还在不断发展中，但总的来说用得比较少；有限元法用得最广泛，能处理任意边界和许多不同问题的有限元法分析软件也在不断地发展中，促进了有限元方法的实际应用。因此，在电磁场数值计算分析的各种方法中有限元法居于主导地位。对于线性均匀媒质，边界元法比有限元法更具优势。边界元—有限元混合法兼备了边界元法和有限元法的优点，具有很好的发展潜力，由于有限元法越来越完善，边界元—有限元混合法更依赖于边界元法的研究发展而发展。2、分析了磁场的实验研究法和数值计算法的优缺点，我们决定采用数理方程法、复变函数法和许瓦兹变换法等解析解法来进行磁场分布研究。解析解法是借助于数学方法和物理概念来进行磁场分布研究的方法，可以用完整的数学和理论进行推导，有完整的理论表达式，便于从动力学角度进行磁分离原理研究及建立相应的数学模型。3、采用数理方程法得出了开放磁系指数公式的推导、磁流体静力分选机楔型和双曲线型磁极磁场分布公式；采用复变函数法得出了对辊磁选机、开放型平面磁系、YDQC——500Ⅱ型强磁选机磁场分布公式；采用许瓦兹变换法得出了齿板介质磁场分布公式。计算与测试结果表明：它们能较好的说明这些磁场的分布规律。4、磁流体分选理论中磁系设计方法，为非均匀场磁系设计提供了理论分析方法；磁流体静力分选中垂直沉降理论，为磁选分离动力学研究提供了范例。完善了磁流体分选理论。5、在研究磁场场强的分布情况下，采用新开发出来的稀土永磁体材料，特别是Nd-Fe-B永磁材料的出现，使得磁体的磁能积大幅度地提高，运用材料科学和物理学相结合的方法，研制出了新型的磁系方案，开发了YDQC系列永磁磁选机。6、YDQC-500型强磁选机利用旋转磁系造成高频率的强大离心力对矿粒进行强烈的分选作用，使夹杂在磁性矿粒中的非磁性矿粒和脉石不断暴露出来被冲洗水洗掉，抛掉精矿中夹杂的脉石和非磁性矿粒杂质，从而达到提高精矿品位的目的。该强磁选机的精矿传送带即不导磁不锈钢带具有的多功能性，保护磁系，起移动介质的作用，形成层流边层，起导引颗粒实现分离作用，使之利于设备向大型化、系列化方向发展。从而说明精矿传送带即不导磁不锈钢带这一结构设计的新颖性与多功能性，为分选过程创造了有利条件，同时也节省了材料与成本，使设备结构合理、紧凑。7、在探索分选的最佳形式及其条件的同时，详细分析了YDQC-500Ⅱ型强磁选机的分选空间内矿粒的各种受力，从而得出磁性矿粒在分选区内水平方向的运动方程，得出其数学模型如下：从而为设备参数的优化选择和分选试验提供了量化的关系。8、以某氧化锰矿为矿样，对其进行多因素正交试验，得出YDQC-500Ⅱ型强磁选机的选别试验条件为：磁系转速为400转／分，带速为0.5米／秒，给矿浓度为25％，磁场强度为1.4特斯拉。9、通过对分选试验进行经济效益测算分析，进一步说明YDQC-500Ⅱ型强磁选机的优点及给矿山和社会将带来的良好的经济效益和社会效益。10、基于VB语言开发了集磁选机优化设计，AutoCAD自动绘图和设计文档自动生成为一体的CAD系统，该系统图形界面友好、交互性好、操作者只需按照界面提示输入少量的设计参数，系统就可以自动完成参数优化设计、数据库检索、设计文档和AutoCAD绘图等所有工作，从而达到缩短设计周期，提高设计精度的目的。
于亚璇[3]（2006）在《非线性方程精确解和一类空间的凸性与光滑性》文中认为本文主要作了以下三方面的研究:首先,借助于符号计算和吴方法,研究了非线性微分-差分方程的精确解,提出了双曲函数有理展开法和有理形式的展开法,并推广了非线性发展方程的椭圆函数有理展开法。其次,在Hirota双线性算子推广到超对称的情形下,给出了许多重要的超对称双线性恒等式,并应用它们求得了B（?）cklund变换和孤波解。最后,为了今后在更广泛的空间中研究非线性问题,我们讨论了局部凸空间中凸性与光滑性之间的关系。 第一章主要介绍了本文所涉及到的学科（包括孤立子理论、数学机械化、局部凸空间的凸性与光滑性等）的起源及发展过程,以及国内外学者在这些方面所做的工作和已经取得的一些成果。最后介绍了本文的主要工作。 第二章主要阐述了求解非线性发展方程的AC=BD模式及其应用。首先给出了c-D对和c-D可积系统的基本理论以及构造c-D对的方法.然后把AC=BD理论应用于微分-差分方程和微分方程的双线性形式,这样就给AC=BD理论增加了新的更丰富的内容。 第三章以符号计算软件Maple为工具研究了微分-差分方程的行波解,孤波解,周期解等。推广了双曲函数展开法,提出了微分-差分方程的双曲函数有理展开法,进一步提出有理形式的展开法,并应用这些方法研究了各类Toda晶格方程、Hybrid晶格方程、Ablowitz-Ladik晶格方程和Volterra晶格方程,得到了丰富的新的精确解。 第四章基于非线性发展方程求解代数化,算法化,机械化的指导思想,以吴方法和符号计算为工具,推广了求解非线性发展方程的椭圆函数有理展开法,求解了反对称NizhnikNovikov-Veselov方程、Davey-Stewartson方程和Hirota-Satsuma耦合KdV方程,得到了丰富的双周期解,周期解和三角函数解。 第五章首先简单回顾了Hirota双线性算子的定义和性质,并把Hirota双线性算子推广到超对称的情况,给出了许多新的重要的超对称双线性恒等式。然后,根据物理意义对方程进行了超对称延拓,并由此研究了N=1的超对称Sawada-Kotera-Ramani方程的B（?）cklund变换和孤波解。 第六章引入半范数族P的S-最简化和P-自反局部凸空间的新概念,证明了半范数族P和它的S-最简化不仅生成X上相同的局部凸分离拓扑,而且具有相同的凸性和光滑性,讨论了P-自反与自反的关系,并指出当X是赋范线性空间时,P-自反和自反是
陈松良[4]（2001）在《第一西洛定理的若干注记》文中研究说明给出了第一西洛定理的三种不同的证明方法
李兆华[5]（1980）在《关于 Poincaré 型方程解的渐近性态的若干注记》文中研究说明 Ⅰ.引言假若 n 阶线性微分方程yn+α1（x）y（n-1）+…+αn（x）y=α0（x） （**）的系数αv（x）,当 x 无限增长时渐近于常数αv:（?）αv（x）=αv （v=1,2,…,n）则称方程（**）为 Poincaré 型微分方程（简称为 P 型方程）.θ（λ）=λn+α1λn-1+…+αn=0称为它的特征方程.
二、第一西洛定理的若干注记（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、第一西洛定理的若干注记（论文提纲范文）
（1）对偶空间理论的形成与发展（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 选题背景及意义 |
| 1.2 文献综述 |
| 1.3 本文的方法与目标 |
| 1.4 本文的结构安排 |
| 第二章 对偶空间思想的萌芽 |
| 2.1 希尔伯特在有限方程组解理论中的对偶思想 |
| 2.1.1 有限线性方程组解理论历史的简单回顾 |
| 2.1.2 希尔伯特对有限线性方程组解理论的升华 |
| 2.2 希尔伯特在积分方程解理论中的对偶思想 |
| 2.2.1 希尔伯特对有限二次型的解释 |
| 2.2.2 l~2空间及其上连续线性泛函的引入 |
| 2.2.3 积分方程的代数化 |
| 2.3 小结 |
| 第三章 具体对偶空间的产生 |
| 3.1 连续线性泛函概念的产生 |
| 3.1.1 沃尔泰拉的泛函概念 |
| 3.1.2 平凯莱的泛函思想 |
| 3.1.3 阿达玛的泛函表示思想 |
| 3.2 弗雷歇的连续线性泛函表示工作和思想 |
| 3.2.1 C[a,b]上连续线性泛函表示思想 |
| 3.2.2 C[a,b]上连续线性泛函表示的进一步思考 |
| 3.2.3 L~2[0,2π]上连续线性泛函表示思想 |
| 3.3 里斯的对偶工作 |
| 3.3.1 L~2[a,b]的对偶 |
| 3.3.2 C[a,b]的对偶 |
| 1)的对偶'>3.3.3 L~p[a,b](p>1)的对偶 |
| 1)的对偶'>3.3.4 l~p(p>1)的对偶 |
| 3.3.5 l~1的对偶 |
| 3.4 斯坦豪斯的对偶工作 |
| 3.4.1 L~1[a,b],L~∞[a,b]的引入 |
| 3.4.2 L~1[a,b]上的连续线性泛函 |
| 3.4.3 在级数收敛中的应用 |
| 3.5 小结 |
| 第四章 对偶空间理论的抽象化及建立 |
| 4.1 黑利的对偶空间工作 |
| 4.1.1 问题来源 |
| 4.1.2 序列赋范线性空间及其对偶空间思想 |
| 4.2 汉恩的对偶空间工作 |
| 4.2.1 对黑利工作的进一步发展 |
| 4.2.2 对里斯求解积分方程过程的抽象 |
| 4.2.3 汉恩的抽象对偶空间理论 |
| 4.3 巴拿赫的对偶空间工作 |
| 4.3.1 赋范线性空间理论的建立 |
| 4.3.2 对偶空间理论的建立 |
| 4.4 复赋范线性空间上的汉恩-巴拿赫泛函延拓定理 |
| 4.5 小结 |
| 第五章 弱~*紧定理的形成 |
| 5.1 度量收敛与“紧”概念的产生 |
| 5.1.1 波尔查诺-维尔斯特拉斯定理 |
| 5.1.2 阿尔泽拉-阿斯科利定理 |
| 5.1.3 “紧”概念的引入 |
| 5.2 具体空间上弱收敛与弱收敛定理的产生 |
| 5.2.1 l~2上的弱收敛与弱收敛定理 |
| 5.2.2 L~2[a,b]上的弱收敛与弱收敛定理 |
| 5.2.3 C[a,b]上的弱收敛与弱收敛定理 |
| 1)上的弱收敛与弱收敛定理'>5.2.4 L~p[a,b](p>1)上的弱收敛与弱收敛定理 |
| 1)上的弱收敛与弱收敛定理'>5.2.5 l~p(p>1)上的弱收敛与弱收敛定理 |
| 5.3 弱收敛与弱收敛定理的抽象化 |
| 5.3.1 序列赋范线性空间上的弱收敛定理 |
| 5.3.2 赋范线性空间上的弱收敛定理 |
| 5.4 弱拓扑与弱~*紧定理 |
| 5.4.1 阿劳格鲁关于弱~*紧定理的工作 |
| 5.4.2 迪厄多内关于弱~*紧定理的工作 |
| 5.5 小结 |
| 第六章 对偶空间理论的发展及影响 |
| 6.1 具体赋范线性空间上对偶空间的发展 |
| 6.1.1 不可分希尔伯特空间的对偶空间 |
| 6.1.2 C(K)的对偶空间 |
| 6.1.3 L~p(E,M,μ)(1≤p≤∞)的对偶空间 |
| 6.2 局部凸线性空间及其上的对偶空间理论 |
| 6.3 对偶思想的影响 |
| 6.3.1 对算子代数的促进 |
| 6.3.2 局部紧群上调和分析的研究 |
| 6.3.3 嘉当的外形式法 |
| 6.4 小结 |
| 结语 |
| 1.本文的主要研究成果 |
| 2.问题展望 |
| 参考文献 |
| 攻读博士学位期间发表的学术论文和参加的学术活动 |
| 致谢 |
（2）磁选机磁场解析法研究及应用（论文提纲范文）
| 目录 |
| 摘要 |
| ABSTRACT |
| 前言 |
| 第一章 文献综述 |
| 1 磁场磁系分布研究 |
| 1.1 磁场分布研究方法分类 |
| 1.2 磁场分布的实验研究方法 |
| 1.3 磁场分布的理论计算方法 |
| 1.4 有限差分法、有限元法的 MATLAB 实现 |
| 1.5 有限差分法、有限元法和边界元法的优缺点 |
| 1.6 分离变量法 |
| 1.7 复变函数法 |
| 1.8 电磁场数值计算的无网格算法 |
| 1.9 讨论 |
| 2 任意形状的载流线圈在远处磁场分布的简单计算 |
| 2.1 电流回路元在 DPM 延长线上的磁场 |
| 2.2 电流回路元在垂直于 DPM 方向上的磁场 |
| 2.3 电流回路元在任意一点的磁场 |
| 2.4 任意载流线圈在远处一点的磁场 |
| 3 铠装圆柱形螺线管磁系磁场分布研究 |
| 4 磁选机发展及展望 |
| 4.1 高梯度磁选最新发展 |
| 4.3 弱磁选机的技术进展 |
| 5 研究目的、意义和主要研究内容 |
| 5.1 研究目的、意义 |
| 5.2 主要研究内容 |
| 第二章 开放磁系指数公式的边值条件及分离变量法的理论推导 |
| 1 H=H_0e~(-cx) 的边值条件 |
| 2 H=H_0e~(-cx) 的分离变量法推导 |
| 3 小结 |
| 第三章 磁流体静力分选理论研究 |
| 1 磁流体静力分选机的选分空间的磁场分布和磁场磁力 |
| 2 磁流体静力分选机磁极形状设计 |
| 2.1 矿物的悬浮条件 |
| 2.2 磁极形状的确定步骤 |
| 2.3 几种 C 值处理方法及相应的磁极形状的确定实例 |
| 3 磁流体静力分选机的磁系设计及计算 |
| 3.1 整机结构与工作原理 |
| 3.2 磁系设计 |
| 3.3 复合型磁极磁流体静力分选机的磁场特性 |
| 3.4 结语 |
| 4 磁流体静力分选中矿粒的垂直沉降 |
| 4.1 颗粒的受力 |
| 4.2 运动方程、时间、距离 |
| 4.3 小结 |
| 第四章 对辊磁选机磁场分布研究 |
| 1 复变函数法来研究对辊磁选机辊齿尖之间的磁场分布 |
| 1.1 复磁位函数和磁场复数平面的变换 |
| 2 磁极表面磁位的确定 |
| 3 磁场分布 |
| 4 小结 |
| 第五章 齿板介质磁场分布研究 |
| 1 齿板介质磁场研究的模型确定 |
| 2 计算机编程及其算法 |
| 2.1 复数的算法基础 |
| 2.2 特殊值情况下复磁位函数的算法及程序 |
| 2.3 齿板介质磁场分布复磁位函数的算法及程序 |
| 2.4 计算结果 |
| 3 小结 |
| 第六章 开放型平面磁系磁场分布研究 |
| 1 复变函数法 |
| 2 开放型平面磁系复数平面及复磁位函数的建立 |
| 2.1 开放型平面磁系复数平面及复磁位函数的建立 |
| 2.2 复磁位函数和磁场复数平面的变换 |
| 2.3 开放型平面磁系的磁场分布 |
| 3 小结 |
| 第七章 YDQC-500Ⅱ型强磁选机的研制 |
| 1 YDQC-500Ⅱ型强磁选机 |
| 1.1 整机结构与工作原理 |
| 1.2 磁场分布研究 |
| 1.3 永磁旋转磁系 |
| 2 精矿传送带 |
| 2.1 保护磁系，起移动介质的作用 |
| 2.2 形成层流边层，起导引颗粒实现分离作用 |
| 2.3 利于设备向大型化、系列化方向发展 |
| 3 分选的最佳形式及其条件 |
| 4 矿粒分选过程的数学模型 |
| 4.1 磁性颗粒的受力分析 |
| 4.2 磁性颗粒在分选区内的数学模型 |
| 4.3 分选实验 |
| 5 经济效益测算分析 |
| 5.1 实验取得的经济效益 |
| 5.2 运行费用取得的经济效益 |
| 5.3 经济效益评价 |
| 6 问题及改进 |
| 7 小结 |
| 第八章 YDQC 磁选机磁系结构优化设计及其参数化 CAD 系统研究与开发 |
| 1 YDQC 磁选机结构优化设计 |
| 1.1 优化设计的基本概念 |
| 1.2 YDQC 磁选机优化设计模型的建立 |
| 2 基于 VB 的 YDQC 磁选机参数化 CAD 设计 |
| 2.1 参数化绘图的实现 |
| 2.2 设计文档的生成 |
| 2.3 标准件图形数据库 |
| 3 优化设计 CAD 系统的开发与实现 |
| 3.1 参数优化设计模块 |
| 3.2 参数化绘图模块 |
| 4 小结 |
| 第九章 主要结论 |
| 致谢 |
| 参考文献 |
| 附录 在读期间发表论文及科研情况 |
（3）非线性方程精确解和一类空间的凸性与光滑性（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| §1.1 孤立子的产生及发展概况 |
| §1.2 数学机械化与符号计算 |
| §1.3 局部凸空间的凸性和光滑性理论的历史和发展概况 |
| §1.4 本文的选题和主要工作 |
| 第二章 非线性方程(组)的精确解及AC=BD理论 |
| §2.1 “AC=BD”模式与微分方程的精确解 |
| §2.2 C-D对的构造方法 |
| 第三章 微分-差分方程的精确解 |
| §3.1 推广的双曲函数法求解微分-差分方程 |
| §3.2 微分-差分方程的双曲函数有理展开法 |
| §3.3 微分-差分方程的有理形式展开法 |
| 第四章 非线性方程的精确解-进一步推广的Jacobi椭圆函数有理展开法 |
| §4.1 求解非线性发展方程的一种直接法-Jacobi椭圆函数有理展开法 |
| §4.2 反对称Nizhnik-Novikov-Veselov(ANNV)方程的解 |
| §4.3 Davey-Stewartson方程(D-S方程)的精确解 |
| §4.4 一般的Hirota-Satsuma耦合KdV方程的Jacobi椭圆函数解 |
| 第五章 Hirota双线性算子在超对称方程上的应用 |
| §5.1 双线性微分算子的简介 |
| §5.2 非线性发展方程的超对称延拓 |
| §5.3 双线性微分算子在超对称方程上的延拓 |
| §5.4 N=1的超对称Sawada-Kotera-Ramani方程的B(?)cklund变换和孤波解 |
| 第六章 关于局部凸空间的P-自反及凸性和光滑性的等价关系 |
| §6.1 预备知识和符号 |
| §6.2 S-最简半范数族 |
| §6.3 P-自反及其性质 |
| §6.4 P-自反性在局部凸空间中的应用 |
| 创新点摘要 |
| 参考文献 |
| 攻读博士学位期间发表学术论文情况 |
| 致谢 |
| 大连理工大学学位论文版权使用授权书 |
（4）第一西洛定理的若干注记（论文提纲范文）
| 1 若干引理 |
| 2.定理的证明 |
| 2.1 反证法 |
| 2.2 用群代数的观点 |
| 2.3 用圈积的性质 |
四、第一西洛定理的若干注记（论文参考文献）
- [1]对偶空间理论的形成与发展[D]. 冯丽霞. 西北大学, 2016(04)
- [2]磁选机磁场解析法研究及应用[D]. 彭会清. 武汉理工大学, 2006(05)
- [3]非线性方程精确解和一类空间的凸性与光滑性[D]. 于亚璇. 大连理工大学, 2006(08)
- [4]第一西洛定理的若干注记[J]. 陈松良. 岳阳师范学院学报(自然科学版), 2001(04)
- [5]关于 Poincaré 型方程解的渐近性态的若干注记[J]. 李兆华. 数学学报, 1980(06)