简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:以社会、经济、环境与资源和制度作为基础指标,建立了评价国家可持续发展的综合指标体系。首先,利用熵值法计算各基础指标值,并将每个国家的基础指标值画在同一轴线的雷达图上,直观描述和比较各个国家目前的可持续发展情况。同时,以4个基础指标值为顶点的四边形面积大小作为一个国家可持续发展的综合指数。通过对10个国家的分析,验证了模型的有效性。其次,综合考虑4个基础指标,建立了4维静态趋势分析的优化模型,用以描述每个国家可持续发展程度的变化过程及相关政策与援助对可持续发展指标的影响。最后,基于雷达图模型的分析,选取埃塞俄比亚作为研究对象,借助4维静态趋势分析模型,制定了埃塞俄比亚未来20年的发展规划,并通过雷达图模型验证了规划的有效性,同时对模型的优势与不足进行评述。