关于抽象强阻尼波方程的指数稳定性

本文研究了Ｂａｎａｃｈ空间中的抽象强阻尼波方程ｕｔ＋ａＡｕｔ＋Ａｕ＝０的解析性与指数稳定性，其中Ａ为扇形算子，ａ＞０．该方程的指数稳定性曾被Ｍａｓｓａｔ，Ｐ．不加证明地引用．然而本文通过一个反例说明该方程不一定指数稳定，并且给出了指数稳定的充要条件．本文的结果表明，只有当阻尼系数ａ适当大时，该方程才指数稳定．     

高等学校医院管理的分析研究

本文根据高等学校医院的实际工作情况，进行系统分析，包括目标分解、因果分析和措施探索，研究如何提高管理水平．充分发挥校医院的作用．本文的分析可供企事业单位的职工医院参考．     

非线性整数规划的一个近似算法

利用连续总体优化填充函数法的思想，本文设计了非线性整数规划的一个近似算法．首先，给出了非线性整数规划问题离散局部极小解的定义，设计了找离散局部极小解的局部搜索算法；其次，用所设计的局部搜索算法极小化填充函数来找比当前离散局部极小解好的解．本文的近似算法是直接法，且与连续总体优化的填充函数法相比，本文填充函数中的参数易于选取．数值试验表明，本文的近似算法是有效的．     

房产需求量中的若干数学模型和研究

本文是继2006年研究项目“上海市基础房价走势”后的又一后续课题．其宗旨是研究、预测2007年上海市住宅需求量．基于易居（中国）房地产研究院所提供的数据，本文在数据相关性分析基础上，建立了二个预测模型，每个模型分别用2种方法得出结果，以便验证并消除系统误差．模型一：回归模型．分别利用主成分分析基础上的回归以及逐步回归法．模型二：核密度函数模型．通过核估计以及核回归，进行预测．本文模型具有一定的可操作性，使用简便．所得结果得到有关专家的论证和确认．     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

正变坐标系下完全深度平均湍流方程组

本文针对宽浅型水域，对三维湍流时均方程组逐项进行深度平均，推导出包含自由水面和地形影响的深度平均流动控制方程组．本文还同时获得了深度平均形式的ｋ－ε湍流模型方程组．因计入了水流的三维效应，该模型称为完全深度平均模型．考虑到天然水域几何边界复杂，本文运用较简便的方法，将上述模型方程组交换至正交坐标系下．所得控制方程组可以直接运用于对实际问题的数值模拟．     

部分线性模型参数分量的L_1模估计的渐近正态性

考虑ｉ．ｉ．ｄ．观测数据（Ｔ１，Ｘ１，Ｙ１），…，（Ｔｎ，Ｘｎ，Ｙｎ），其中Ｔｉ∈［０，１］，ｕｉ为观测误差，β０为未知参数向量，ｇ０为未知函数．本文用分段多项式ｇｎ（ｔ）来逼近ｇ０（ｔ），求解得到β０的估计β和ｇ０的估计ｇｎ，其中ｎ是一个ｍ阶分段多项式类．在一定条件下，本文证明了渐近正态．     

关于半线性热方程的死角性质

本文考虑下述问题：这里，．本文证明了在发生死角时只有有限个死角点．     

RAR模型的参数估计方法

本文考虑零均值的平稳AR（P）序列与一个非随机的趋势项的这合模型．假设趋势项可以表咸有限个已知的线性无关基画数的线性组合.这种模型有广泛的应用．本文针对这类模型，给出了参数估计方法，并给出了计算参数估计值的迭代算法．模拟计算表明，这种方法计算方便，精度高．     

带风险指数的金融均衡的存在性定理及其结构特征(下)

本文主要论证了在不完全市场条件下带风险指数的金融均衡的存在性，并揭示其均衡结构的特征．本文中建立的模型是一、二期货币投入产出金融经济且具有可微的资产结构，这一模型包括了许多具有特殊资产结构的均衡模型，如实资产结构、虚资产结构、恒秩资产结构的均衡模型．因此本文的这一模型具有广泛的应用前景和实用价值．接着给出了本文的金融均衡的存在性定理，再借助微分拓扑给出它的证明过程，这一证明过程较之以前证明均衡存在性的经典方法（如Duffie，D＆W．Shfer（1985）的方法）要简便得多．同时也应注意到本文的这一结论既适用于资产市场下会随机风险因素的情形，也适用于商品空间为无限维的情形，除此之外，还给出了怎样判别资产结构是否属于T类的判别法，为检验均衡存在性提供了更为便利的途径．最后，本文论证了在金融市场里，尽管由于稀缺性的存在，从而导致均衡分配的多样化，然而均衡分配集却形成了一光滑子流，但该流形的维数与稀缺性有关．换句话说，尽管市场是不完全的，但均市分配不确定性的反却是可比的．如此使得人们对均衡资产结构的认识更进一步．     

拟相似算子的右本质谱的连通分支

设算子S和T拟相似,通过引进RT类算子、R类算子和RR类算子的概念,给出右本质谱σre(S)的连通分支与σre(T)相交的充分条件和必要条件以及σre(S)的连通分支与本质谱盯σe(T)的某些子集的相交关系,并给出算子是属于RT类算子和RR类算子的充分条件和必要条件.     

Numerical solution of a free boundary problem associated to investments with instantaneous irreversible environmental effects

In this work, some numerical methods are proposed to solve a problem which models the joint utility of starting at optimal time an industrial process that provides some benefits but also implies some irreversible effects on the environment. The mathematical model is posed in terms of an obstacle problem associated to an elliptic equation on an unbounded domain. First, following Díaz and Faghloumi [5], an equivalent formulation on a bounded domain is proposed by means of adequate changes of variables and unknown. Next, projected Gauss-Seidel and Lions-Mercier type algorithms to solve the finite elements discretized problem are proposed; the latter is combined with multigrid techniques and adaptive refinement. The algorithms efficiency is first illustrated by some numerical tests on examples with known analytical solution or theoretically stated properties. Finally, some more realistic examples are presented for which there are not known properties of the solution.     

遍历性及其应用──(Ⅰ)基本性质(英)

在一般意义下，给出了函数的遍历性定义．指出遍历函数是比概周期函数、渐近概周期函数及弱概周期函数更广的一类函数．文章讨论了遍历函数的一些性质，其中一个主要结果是给出了一个不等式的明确表达式．     

Some properties of skew codes over finite fields

After recalling the definition of some codes as modules over skew polynomial rings, whose multiplication is defined by using an endomorphism and a derivation, and some basic facts about them, in the first part of this paper we study some of their main algebraic and geometric properties. Finally, for module skew codes constructed only with an automorphism, we give some BCH type lower bounds for their minimum distance.     

Key-Dependent S-Boxes and Differential Cryptanalysis

Key-dependent S-boxes gained some prominence in block cipher design when Twofish became an AES finalist. In this paper we make some observations on how the cryptanalyst might work with key-dependent S-boxes, we begin to develop a framework for the differential cryptanalysis of key-dependent S-boxes, and we introduce some basic techniques that were used in an analysis of reduced-round Twofish.     

Directoid groups

We continue the study of directoid groups, directed abelian groups equipped with an extra binary operation which assigns an upper bound to each ordered pair subject to some natural restrictions. The class of all such structures can to some extent be viewed as an equationally defined substitute for the class of (2-torsion-free) directed abelian groups. We explore the relationship between the two associated categories, and some aspects of ideals of directoid groups.     

关联单形和一点的一类几何不等式

本文建立联系单形和一动点的几个新颖不等式,并提出几个有待进一步讨论的猜想.     

可逆矩阵在保密通信中的应用

作为工科“线性代数”课中相关知识的一个具体应用的例子,从理论与实践相结合的角度论述了可逆矩阵在保密通信中的应用及其存在的问题与对策等.     

Generalized KKM-type theorems for weakly generalized KKM mapping with some applications

In this paper, we establish some new generalized KKM-type theorems based on weakly generalized KKM mapping without any convexity structure in topological spaces. As applications, some minimax inequalities and an existence theorem of equilibrium points for an abstract generalized vector equilibrium problem are proved in topological spaces. The results presented in this paper unify and generalize some known results in recent literature.     

Some considerations on amoeba forcing notions

In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it satisfies the Laver property. We also show some application to regularity properties. We finally present a generalized version of amoeba and discuss some interesting associated questions.