微分方程系统不可积性问题研究

研究了周期系统Laurent多项式型首次积分和有理首次积分的不存在性问题。利用Floquet理论,证明了如果系统的特征乘数是瓕-非共振的,则系统在平衡点附近不存在Laurent多项式型首次积分。进一步,还在有理函数空间考虑了这一问题,并得到了相应的结果。     

一类特殊的算术级数存在性的探讨

Heath-Brown具体构造出无穷多组4项算术级数,其中每项均能表示为两个正整数的平方和.本文回答了陈永高教授提出的一个更一般的问题.     

一个代数定理及在组合数学中的应用

本文考察复变函数,(?)(r∈Z,l=2,x_j∈C)的罗朗(Laurent)展武,应用留数定理给出一个代数恒等式,由此再给出一类关于组合数的恒等式。本文的方法为研究组合数学提供又一途径。     

递归结构与语言格萨尔研究

在语言学中,递归指的是相同结构成分的重复或者层层嵌套。以“丘奇-图灵论点”为基本构想,文章从语言学角度探讨了史诗《格萨尔》语篇的主位推进模式递归结构,并分析了史诗《格萨尔》语篇递归结构具有可选性和无限性两个特点,探讨了《格萨尔》说唱艺人语言认知过程也是一个递归结构。     

开展“三性”模式教学 培养复合型人才

针对目前机械专业实验教学的现状,按照"模块化-递进式"的思想,对"三性"即综合性、设计性和创新性实验教学模式进行了探索,给出了实验教学模式具体的实施措施。通过该实验教学模式的实践,实验教学效果取得了长足的进步,学生的工程意识、综合能力和创新能力有了明显提高。     

一类特殊数列的前n项和的探讨

对由等差数列的乘积以及乘积的倒数所构成的一类特殊的数列的前n项和的求解作了探讨,得出两个定理及6个推论以及应用。     

K[x_1,x_2;x_1~(-1),x_2~(-1)]上的分次扩张

设V是域K上的一个全赋值环,B1=i∈ZAi,0Xi1,B2=j∈ZA0,jXj2分别是K[x1,x-11],K[x2,x-12]上V的分次扩张,令A=i,j∈ZAi,jXi1Xj2是K[x1,x2;x-11,x-12]的一个子集,本文对K[x1,x2;x-11,x-12]中V的分次扩张进行了刻画。对B1、B2的所有可能的情形,本文证明了A的存在性,并讨论了B1、B2在若干条件下,A的唯一性。     

福建省县域城市性评价及空间关联格局分析

运用突变级数法,从空间集聚水平、经济增长水平、社会发展水平和基础设施水平4个方面构建县域城市性综合评价指标体系,综合评价2009年福建省县域城市性强弱,并将其分为5个级别。通过空间自相关分析,表明福建省县域城市性发展水平存在正的全局空间自相关现象,具有城市性发展水平高和城市性发展水平低的空间集聚特征;局部空间集聚现象显著,闽东南沿海大部分地区呈现"高-高"正关联,闽西北内陆大部分地区呈现"低-低"正关联。     

基于 H_i(S)和 D_i(S)递推计算的梯形网络理论

本文提出的梯形网络理论,可以比较全面和系统地解决各种类型梯形网络的分析问题。本文所提出的方法同现有其他方法相比较,具有简捷、明了、便于编制程序上机计算等优点。对于某些常用工业过程的模拟电路,诸如复杂的 RC 梯形网络,各种类型的塔形梯形网络,带负载的均匀 RC 梯形网络,运用本文的方法都可迅速和正确地求出其传递函数。此法用于分布参数的梯形网络,也取得了满意的结果。     

Linux进程调度的数据结构

进程调度是Linux操作系统的核心，它对整个操作系统的执行效率至关重要。进程调度控制着进程对CPU的访问，Linux内核利用一个数据结构（task_struct）代表一个进程，task_struct容纳了一个进程的所有信息，是系统对进程进行控制的唯一手段；代表进程的数据结构指针形成了一个task数组，数组的大小代表着系统中允许并发的最大进程数；调度程序一直维护着一个current指针，它指向当前正在运行的进程。