计算经典Ramsey数R (3,q)下界的新方法

发现计算经典Ramsey数R(3,q)下界的一种新方法——自同构循环图的方法,并得到6个经典Ramsey数的新下界:R(3,35)≥226,R(3,37)≥241,R(3,38)≥246,R(3,40)≥261,R(3,43)≥281,R(3,44)≥293.     

偶数阶微分方程解的振动性

考虑偶数阶带强迫项偶数阶中立型微分方程,且得到了其解的振动性的充分条件.     

对粗糙集两种新算子的注记

在粗糙集中，定义了集合并的下增近似和交的上减近似2种算子，它们与确定增量算子和不确定减量算子是等价的．这2种算子简单、直观，成功地解决了粗集运算中将包含关系转化为相等关系的问题，同时，利用它们可以、简化有关算子性质的证明．     

Banach空间一阶常微分方程的整体解

讨论了在无限区间上Banach空间中的常微分方程初值问题的整体解的存在性，对于初值问题，采用上下解的单调迭代方法求解，针对无限区间的特点，采用适当的控代程序，在较弱的条件下，获得了整体解的一些存在性与唯一性结果，并给出了在一阶非线性偏微分方程中应用例子。     

桂中坳陷东部下石炭统鹿寨组泥页岩有机地球化学特征

基于对桂中坳陷东部下石炭统鹿寨组泥页岩总有机碳含量(TOC)、有机质成熟度(Ro)、显微组分、饱和烃色谱-质谱等有机地球化学特征分析,发现其TOC主体2.0%,Ro为0.84%~2.95%,有机质类型属于Ⅱ1-Ⅱ2型。通过对比国内外主要页岩气盆地富有机质泥页岩有机地球化学特征和分析研究区页岩气保存条件,判断下石炭统鹿寨组泥页岩具有较好生烃潜力。在此基础上,分析了鹿寨组泥页岩的沉积环境和有机质来源,发现:Pr/Ph1,伽马蜡烷/αβC30霍烷比值为0.72~0.75,具有升霍烷系列,C27重排甾烷/C27规则甾烷比值为0.13~0.15,孕甾烷/C29-20R规则甾烷比值为0.03~0.04,研究区属于高咸度贫氧-缺氧的强还原环境;正构烷烃分布范围宽,C、N原子比为42.23~50.89,三环萜烷中C21、C23、C24呈倒"V"形分布,αβC30霍烷/∑C29甾烷比值为0.48~0.51,C29具有明显优势,伽马蜡烷指数平均值为0.370.2,不同显微组分在剖面上对TOC贡献率不同,判断鹿寨组泥页岩有机质来源多样,以高等植物和水生生物为主,顶部和底部层位有机质来源以低等细菌、藻类为主,具有较好的生烃潜力。     

AE0A＊与A＆E0A的特征值问题

本文研究了Ｈｅｒｍｉｔｅ矩阵ＡＥ＿０Ａ￣＊（Ａ￣＊Ｅ＿０Ａ）与Ａ￣＊Ａ（ＡＡ￣＊）特征值之间的关系，并给出ＡＥ＿０Ａ￣＊及Ａ￣＊Ｅ＿０Ａ特征值的一个上、下界。这里Ａ是任何ｍ×ｎ复矩阵，Ｅ＿０是Ｂａｃｋｗａｒｄ单位阵。     

基于多维费用阵列的工程项目信息管理

为使工程项目信息管理系统在企业运作上更具有指导、预测、控制的效能,开发了以费用管理与算法为基础的工程综合信息管理系统。在原有二维费用结构矩阵的基础上,提出了多维费用结构阵列,说明了在多维费用阵列结构中费用的分摊、跟踪、分析和控制。按照F ID IC条款的理念和处理问题方法设计的软件系统,以索赔和证据管理模块为例进行了说明。该系统适应了企业经营中以提高核心竞争力为目标的管理模式的要求,更便于管理人员对工程项目运营信息的全方位监控。     

概率语言多属性群决策方法及其在新型智慧城市市民获得感评价中的应用

针对公众参与的语言信息多属性群决策问题,研究了考虑参与者满意度的概率语言多属性群决策方法。首先,根据参与者的语言评价信息确定并规范化概率语言决策矩阵。然后,对大群体进行共识分析,由最大化参与者群体的满意度构建线性规划模型,确定参与者群组的权重;构造正、负理想方案的评价向量,构建多目标规划模型,用拉格朗日乘子法求解属性权重;定义各方案的加权贴近度,并以此对方案进行排序和优选。最后,通过新型智慧城市市民获得感评价案例验证了模型的可行性和有效性。     

气粒混合物非灰辐射特性合并宽窄谱带K分布模型

气粒混合物辐射问题具有全场性、非灰性、耦合性等特点,准确预估高温燃气/粒子非灰辐射特性是非常重要的。本文将合并宽窄谱带K分布模础(CWNBCK)与离散坐标法(DOM)结合,开展了非灰气粒混合物辐射换热问题的模拟工作,分别验证了一维和三维情况下应用该模型的准确性,给出不同工况下的热流源项、壁面热流或辐射热流等。结果表明:该模型能够给出与SNB模型精度基本相同的结果,考虑其计算效率的提高,可以在工程实际中应用该模型计算非灰气粒混合物辐射换热。     

决定热传导方程源项的一个正则化策略

确定热传导方程中的线性源项是一类有重要应用背景的反问题,它在Hadamard意义是不适定的,讨论了获得其稳定数值解的计算方法,给出一种新的离散正则化策略.理论分析与数值试验结果表明给出的算法是稳定和有效的.