一类仓库货物储存模型经典解的存在唯一性

文章用特征线法给出一类仓库货物储存模型解的递推表达式,并证明其光滑性从而得到了经典解的存在唯一性。     

基于中间件的软件系统特征交互问题在线检测与消除

作为主流的Intemet软件系统运行支撑平台，中间件必须支持越来越丰富的交互模式．交互的多样和复杂以及Intemet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加．这些非预期的交互可能导致服务降级，功能损失，甚至系统崩溃等严重后果．文中从电信领域特征交互问题的角度研究Intemet软件中的非预期交互问题，并提出了一个基于中间件的在线检测与消除方法．首先，对中间件使能的系统交互进行分类，与电信系统进行多角度的比较，并分析了4个实例，从而论证了Intemet软件特征交互问题的存在并考察其与电信系统特征交互问题的异同．随后，提出了以运行时软件体系结构为核心的在线检测和消除方法．该方法在J2EE环境中得以实现并成功解决了4个实例．     

探究n阶常系数线性非齐次方程L[y]=e^ax的公式解

本文探究了n阶常系数线性非齐次方程L[y]=e^ax的公式解，得到了几个重要的公式，进而应用在求解L[y]=e^ax类型的方程上，使此类问题的求解更简单明了。     

基于可拓-集对的经济策略生成方法

提出经济策略的概念，经济策略不是最优策略，经济策略也不等同于满意策略。经济策略的生成是决策科学研究的一个重要内容。以可拓方法和集对分析为基础，提出一种适合于生成经济策略的新方法——基于可拓一集对的经济策略生成方法，并以赈灾物资的管理为例．介绍该方法的应用步骤。     

寄主对棉铃虫(Helicoverpa armigera Hübner)越冬蛹抗寒能力的影响

通过对滞育蛹过冷却点的测定,初步明确寄主对棉铃虫的越冬抗寒性有影响,采自棉花的滞育蛹过冷却点低于采自玉米的滞育蛹,即前者的抗寒能力高于后者;但用抗虫棉喂养后的棉铃虫滞育蛹抗寒能力下降.     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

方程f″—zf=0解的零点

首先于实数域内，用ｓｔｕｒｍ比较定理证得ｆ″－ｘｆ＝０的非平凡解的零点集含有可列个负数；尔后延拓到复数域内，把特解Ａｉｒｙ积分Ａｉ（ｚ）用Ｍａｃｄｏｎａｌｄ函数表示。通过复围线积分计算证得Ａｉ（ｚ）仅有负数的零点，从而获得了ｆ″－ｚｆ＝０的非平凡解有且仅有可列个负数零点的结论。     

四边形内勃罗卡点的充要条件

本文定义框形及其勃罗卡点，由此推出四边形内存在勃罗卡点的充要条件，并给出有勃罗卡点的四边形的一个不等式。     

一类由Hamilton对生成的Hamilton算子

设θ１与θ２组成一个Ｈａｍｉｌｔｏｎ对，且设θ２可逆。记Φ＝θ１θ１－１。本文证明了：Φｉθ２是一类Ｈａｍｉｌｔｏｎ算子，其中ｃｉ（ｉ＝０，１，２，３）是任意常数。