关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

p－形式有限元法

应用微分几何语言，给计算０～３－形式物理量的ｐ－形式有限元法作了一般性的定义，并导出了１～３－形式的线性插值基函数。     

PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

工程地形图自动绘制系统

介绍了工程地形图自动绘制系统实现过程中所采用的几个有效技术。系统中开发了“地面断层”算法，并且通过对三角网的动态变化，来保证等高线走向的合理正确，同时构造了一个实用三样条函数，解决了等高线稠密区拟合时易发生相交这个较难解决的问题。并利用维消隐算法解决了地物图示符号之的１交叉覆盖问题。     

一类非自治非线性系统解的模之估计

运用向量Ляпунов函数法,对线性系统、非线性系统的稳定性已经有了一些研究,但对于它们解的模之估计却不多见。Wazewski曾就变系数线性系统,给出了一个解的模之估计。本文运用向量Ляпунов函数法和Wazewski的方法,在文[1,2,3]的基础上对一类非自治非线性系统给出其解的模之估计,并给出了一类非自治非线性系统零解不稳定的充分条件,举出了应用实例。     

脉冲运动与浮体运动响应

本文以解析法推导了浮体脉冲运动时引起的速度势与浮体运动响应关系，得出由 脉冲速度势和自由表面速度势直接确定浮体运动响应函数解析式，从而使浮体运动响 应函数的计算得到简化．     

双曲Riemann曲面上有界调和函数的共轭空间

本文证明了l是HX(R)上的有界线性泛函的充分必要条件是存在h∈L~1(v)使另外还有|l|=|h|_1.其中HX=HB、HBD; v对应地表示R的关于Wiener和Royden边界的调和测度。     

Construction of Resilient Functions

Based on the relationship Between nonlinearity and resiliency of a multi-output function, we present a method for constructing nonintersecting linear codes from packing design. Through these linear codes, we obtain n-variable, moutput, t-resilient functions with very high nonlinearity. Their nonlinearities are currently the best results for most of cases.     

A Proof for the Nonexistence of Some Homogeneous Bent Functions

By the relationship between the first linear spectra of a function at partial points and the Hamming weights of the sub-functions, and by the Hamming weight of homogenous Boolean function, it is proved that there exist no homogeneous bent functions of degree rn in n= 2m variables for m＞3.     

自然科学论文中摘要写作应涵盖的主要内容之浅见

摘要是学术论文的精华所在,是展示学术水平信息的窗口,是被收录和被运用的主要依据之一。摘要的内容是衡量摘要质量的决定因素。通过对林业科学等多种国家级自然科学期刊近年来所登刊的800多篇学术论文的中外文摘要开展检索并上传到网上,发现凡是被国内外收录和被引用频率高的学术论文,其摘要的内容既包括了目的、方法、结果、结论等传统4要素,又增加了创新或特色、展望等新内容。说明当代自然科学学术论文摘要的内容既要反映论文的完整性,更要反映论文的创新性和展望研究领域的发展趋势。