简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:本文讨论了目前我国养老保险体制改革的相关问题。首先,通过分析年工资增长趋势,对其数据进行回归分析,构造出年工资的Logistic模型,并预测出职工未来年份的年平均年工资;其次,构造养老金替代率模型,并得到多种情况下的替代率;再次,建立养老金缺口模型,用来分析养老基金缺口情况以及达到平衡时领取养老金的年数;最后,分析得出影响养老金替代率和收支平衡的4个因素,即社会统筹基金的缴费比例、基金收益率、退休年龄和开始缴纳养老保险的年龄,对其进行敏感性分析,并提出一些相应的改进建议。