城镇企业职工基本养老金调整方案测算研究

我国尚未针对城镇企业职工基本养老金的调整比例出台公式化的操作规则,给养老金调整政策的出台带来了压力。为此,本研究依据养老金调整目标和人口老龄化形势,设定养老金调整参数;借鉴国际经验,基于2005~2021年全国数据设计并测算3种基本养老金调整方案,从人口结构与经济发展角度衡量各方案;进而基于最优方案对我国2022~2050年间的养老金调整比例和养老金负担水平进行测算,根据测算结果,提出探索建立科学、合理的基本养老金调整机制的政策建议。     

煤炭企业固定工的地位及现存问题的改进

本文对当前煤炭企业用工制度改革存在的问题、改进途径和各种形式用工的比例进行了分析,并指出为适应煤矿安全生产及机械化发展的需要,保持固定工的用工比例,克服“铁饭碗在手”等隋性意识,充分发挥他们的骨干作用是问题的关键。为此,本文提出了改变工资结构、劳动结构等相应的改革措施。     

船运散装液体化学品溢漏扩散形式的研究

根据船运液体化学品的性质及其介质因素,将其溢漏后主要运动形式分成五类,给出部分扩散形式一般数学模型。为船运散装液体化学品溢漏事故应急及处理损害赔偿事务提供依据。     

以圆周为界面两相材料多裂纹反平面问题

运用复变函数及积分方程方法,求解了以圆周为界面的两相材料中的多裂纹反平面问题．为解决该问题,建立了两种类型的基本解,分别对应于单裂纹在圆域内和圆域外的情形．利用叠加原理和所得的基本解把两相材料中的多裂纹问题化为单裂纹问题的叠加,得出了一组以基本解密度函数为未知函数的Ｆｒｅｄｈｏｌｍ积分方程组．通过对该积分方程组的数值求解,可以得出密度函数的离散值,进而得出裂纹尖端的应力强度因子．文中对于两条裂纹分别位于圆域内和圆域外以及两条裂纹均在圆域外的情形进行了数值计算．     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

由L.逐项积分定理所诱发的思考

本文将Lebesgue积分理论中的非负可测函数项级数逐项积分定理,推到一类特殊的一般可测函数项级数上。     

区域自然灾害系统基本单元研究(Ⅲ)──湖南省农业自然灾害灾情综合区划

在区域自然灾害系统基本单元概念体系的指导下,以灾害系统基本单元为最小空间单位,选取对湖南省农业生产影响较大的水灾、旱灾、低温冷害、风雹灾及病虫害5种自然灾害,以民政部1978～1993年农业灾情统计数据为标准,并以综合农业灾情强度（16年年平均状况）为指标,在地理信息系统支持下,“自下而上”逐级综合,提出了湖南省农业自然灾害灾情综合区划方案,将全省划分为东西分异的3个一级区及18个二级亚区．通过检验,分区方案合理,较前人在此方面的研究工作有较大的进展     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

一类拟线性第二边值问题的存在唯一性

本文在ｆ（ｔ,ｘ）,ｆｘ（ｔ,ｘ）,β（ｔ）连续,ｆｘ（ｔ,ｘ）≥－β（ｔ）,β（ｔ）≤π２０＋α２４,β（ｔ）π２０＋α２４,π０为方程αｓｉｎｘ２＋ｘｃｏｓｘ２＝０的最小正根条件下,证明了第二边值问题．ｘ＂＝αｘ＋ｆ（ｔ,ｘ）,ｘ（０）＝ａ,ｘ（１）＝ｂ对于任给实数α,ａ,ｂ都有唯一解