一种介于B—性质与P—性质之间的拓扑性质

引入了一种介于Ｂ－性质与Ｐ－性质之间、介于中紧与可数中紧之间的拓扑性质－－中Ｂ性质，并对这种性质作了系统的研究，分别讨论了它的等价条件、遗传性质和映射保持性，还讨论了乘积空间的中－Ｂ性质，最后举例说明中Ｂ－性质严格介于Ｂ－Ｐ－性质之间，严格是于中紧与可数中紧之间。     

对流方程的一族高精度恒稳格式

为求解对流方程u1=aux构造一族新的含3参数3层隐式差分格式（在特殊情况下是2层），其截断至少可达O[(Δt)2 (Δx)4]在条件α1＝α3，α2小于地2α1或α1大于等于0，α2≥0，α3≥α0，α1＞α3，α1＋α2＋α3＝1，α2≤1／2之下，绝对稳定，特别地，当参数α1＝α2，α3＝0时得到一个两层恒稳的差分格式，所有这些格式都可用追赶法求解，它包含对流方程的已有文献中的隐式高精度恒稳格式。     

基于研发人力资本价值升值的软件企业治理模式研究

随着软件企业研发人力资本要素谈判力的不断增强,软件企业治理结构安排表现出对研发人力资本价值的状态依存性,由此引发软件企业治理模式的创新.本文通过理论阐释,初步探讨软件企业共同治理的模式及相应的制度安排,并指出今后有待于进一步研究的方向与问题.     

面向云数据中心资源均衡分配需求的聚类调度算法研究

针对云数据中心资源利用率较低、能源消耗较高的问题,提出了基于资源需求差异的资源均衡调度策略。在包簇框架模型基础上,利用与资源需求相关的距离度量因子,将资源需求差异大的包通过改进的k-means算法进行聚类;利用资源之间的相关性作为包与簇之间的距离,在资源分配的过程中使包能够集中映射到簇中,从而减少簇的使用个数。实验结果表明,在包簇框架的概念下,基于资源需求差异的改进后的k-means聚类算法能够优化包聚类步骤,资源调度算法能够提高云数据中心各类资源利用率、降低资源分配过程中产生的能耗,具有有效性和可扩展性。     

[Co(Ⅲ)(三元胺)(二元胺)Cl]2+型配合物的研究进展

在前人对[Co(Ⅲ)(三元胺)(二元胺)Cl]型配合物研究的基础上,结合作者的研究工作,对这类配合物的目前的研究现状、研究方法进行了归纳,并提出了一些正在开展或拟开展的研究。     

流动折现

研究了大投资者的行为．在金融市场中，投资者的交易在标的股票价格过程下产生不连续的跳跃．并且．跳跃在有限时间内发生．我们在随机脉冲控制下研究此问题．通过这个研究，这篇文章揭示了流动折现的特征，所谓流动折现就是交易者的头寸价值与在进行清理以后的价值的差．     

正交异性板的三维渐近方程

从正交异性薄弹性体的三维弹性方程出发,应用在板的内部区域展开为无量纲厚度参数ε的渐近级数的方法,系统地推导出由板中面位移表示的二维高阶板方程,包含了体积力和板表面力的作用效应.进一步在边界层区域将三维的边值问题分解成二维的平面应变和扭转问题.与工程的方法不同,推导过程仅基于ε→0的渐近分析,对板的变形不作任何假定.结果表明,板内域解渐近级数的首项正是熟知的K irchhoff假定或直法线假定下的板理论解.     

数字校园共享数据平台模型探讨

共享数据平台作为全校范围内全面完善而且规范的数据源。为数字化校园的应用系统建立了全面综合的数据源,为应用系统开发个人综合数字档案、学校决策分析档案提供支持。有效解决目前高校普遍存在的信息孤岛问题,逐步推进校园各项应用系统,形成完整全面的数字化校园体系。通过对共享数据平台建设在整个数字化校园建设中所起的作用和目的为着手点,对共享数据库平台的数据交换和共享的实现方案的作初步探讨。并简单介绍了数据交换集成平台的基本原理。     

三角函数不等式的自动证明

本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是"可读"的.     

高校信息化部分基础设施建设的实证分析

以我国教育信息化建设与应用专题研究报告的部分数据为样本,针对我国高校信息化基础设施建设的抽样调查情况进行主成分分析、图形聚类分析和系统聚类分析.结果表明,我国高校信息化基本设备配置存在着不平衡现象.东部沿海地区在信息化基础设施建设方面要远远优于中西部地区,各地区应针对各自不同特点有重点地加以改善.