浅论气象术语标准研制的问题与对策

为避免气象术语中出现循环定义、定义不协调、定义与术语不匹配、定义重复术语名称或使用代词等问题,运用术语学原理分析,提出研制术语时要注意“语料收集、定义研制、术语分类、辨析关系”的对策建议,这对提高术语研制质量,增强表达交流效果,完善气象标准体系具有重要作用。     

Theoretical construction in physics – The role of Leibniz for Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’

This paper aims at closing a gap in recent Weyl research by investigating the role played by Leibniz for the development and consolidation of Weyl's notion of theoretical (symbolic) construction. For Weyl, just as for Leibniz, mathematics was not simply an accompanying tool when doing physics—for him it meant the ability to engage in well-guided speculations about a general framework of reality and experience. The paper first introduces some of the background of Weyl's notion of theoretical construction and then discusses particular Leibnizian inheritances in Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’, such as the general appreciation of the principles of sufficient reason and of continuity. Afterwards the paper focuses on three themes: first, Leibniz's primary quality phenomenalism, which according to Weyl marked the decisive step in realizing that physical qualities are never apprehended directly; second, the conceptual relation between continuity and freedom; and third, Leibniz's notion of ‘expression’, which allows for a certain type of (surrogative) reasoning by structural analogy and which gave rise to Weyl's optimism regarding the scope of theoretical construction.     

一类Schrödinger-Poisson系统非平凡解的存在性

利用变分方法和临界点理论,研究了一类Schrödinger-Poisson系统,其中泊松项为更一般的形式,通过给非线性项加拟临界增长和AR条件,得到了该系统非平凡解的存在性。补充和推广了以往研究Schrödinger-Poisson系统的相关结果。     

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。     

语言符号任意性原则视角下的辞格应用--以莫言《蛙》为例

修辞手法的使用是一种语用行为。将索绪尔任意性原则与《蛙》中辞格建立有效的联系，依据能指—所指理论对修辞进行剖析，可以进一步丰富该理论，有助于分析作者使用的修辞手法。所作的具体阐述表明，辞格的应用是建立在绝对任意性下的相对任意性的联系。     

解决一类优化问题的变分迭代法

考虑利用变分迭代方法求解最优化问题,分别给出了求解一般的有约束和无约束最优化问题的基本步骤,并通过实例说明了所给方法的有效性.     

路易斯·I·康作品中关于结构设计的研究

路易斯·I·康作为一位将结构，材料，空间秩序及哲学理念完美融合在一起的建筑大师，他的设计作品传达着对结构设计独特的诠释。本文通过解析其作品中结构设计与建筑设计的关系，挖掘出内在所遵循的结构理性和设计启示。     

SystemView 在通信原理课程实验教学中的应用研究

文章研究了 SystemView 仿真软件在通信原理课程实验教学中的应用，表明 SytemView 仿真平台有利于加强学生的学习动机，培养学生的兴趣，加深了学生对调制、解调电路的理解，拓展了实验范围，提高了教学效率。     

基于应用驱动的编译原理教学研究

针对当前编译原理教学效率低下的问题,研究了基于应用驱动的编译原理课程教学方法.分析了理论教学与实验教学相融合的应用驱动教学基本原理与方法,对于每个知识点设计两个层次的题目,在第一层次题目的作用下,形成以教师为主导,以实验题目为主线,学生积极参与讨论的教学模式,增强授课效率,提高学生实验的自信心;通过第二层次题目,进行知识的巩固与强化,培养学生团队协作的能力.讨论了应用驱动教学法在编译原理教学中实施的具体措施以及应该重点注意的问题,这对于改善编译原理课程的教学现状,提高编译原理课程的教学效率具有重要的参考意义.     

基于自然边界元的一类拟线性问题的数值算法

基于自然边界归化原理，利用非重叠型区域分解算法（即Dirichlet-Neumann交替算法）研究了长条形区域拟线性方程问题.在得到椭圆人工边界上的自然积分方程后，构造出相应的交替算法，并根据非线性算子的特性，证明了算法在连续和离散条件下的收敛性.数值实例的结果表明，算法是可行且有效的.