阻尼RLW方程的周期强解

中用Galerkin方法和先验估计证明了带有阻尼项的RLW方程周期边界问题周期强解的存在唯一性，并在较弱的光滑性条件下，得到了强解的光滑性。     

分子进化与生物进化

分子与物种、恒速进化和非恒速进化、基因树与物种树，是分子进化中三个最基本的方面。如果不搞清其中的基本概念，就会产生一些纠缠不清的误解，挑起一些毫无意义的争论。     

一类退化拟线性发展方程的初边值问题

研究一类退化拟线性发展方程ua-uxx-β(uxt)x=f(x,t)的初边值问题,其中β(s)∈C1,β(s)≥0.利用单调算子方法,在关于β(s)的增长阶较弱的条件下,得到整体强解的存在性与唯一性,从实质上改进和推广了Prestel[1]的结果.     

合作对策的σ值和τ值与协商解的一致性

通过对合作对策构造公理化协商模型和参考点协商模型，证明了合作对策的σ值和τ值与所构造的协商模型的Ｒａｉｆｆａ协商解及参考点Ｒａｉｆｆａ协商解的一致性。从而使合作对策理论与公理化协商方法在一定范围内得到了统一。     

非线性退缩抛物型方程组初边值问题的可解性

应用上、下解方法证明非线性退缩抛物组初边值问题当1相似文献   

简支平行四边形底扁壳大挠度问题的准确解

本文将 S·Levy 在1949年解矩形板大挠度问题的双三角级数解法推广到平行四边形板和扁壳的情形。     

IBM大力支持开放文档格式

随着全球政府与新兴经济市场越来越关注使用开源软件来替代专有软件，IBM近日宣布，将扩大面向桌面的开放标准支持范围。除了IBM基于标准的广泛服务器软件组合，IBM宣布IBM Workplace Managed Client即将发布的版本将支持最近由结构化信息标准促进组织批准的办公应用标准开放文档格式。通过扩大面向桌面的开放标准支持范围，IBM客户现在能够确保公司文档的一致性、可靠性与可访问性，从而有效保护企业在公司数据方面的投资。     

不可再生资源的最优开发与利用

在考虑资源效用最大化的基础上,通过对不可再生资源开发率模型和利用率模型的分析,给出了在有效开发率及有效利用率制约条件下的一种新模型.同时,利用极大值原理对综合模型进行求解,得到了最优控制策略.