Prolog程序正确性的一种证明方法

提出了一种Prolog程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Prolog程序的正确性。同时，以整数划分问题的Prolog改进程序和证明为例，说明程序设计应立足于程序说明和程序正确性的证明。

医疗设备带配套耗材采购模式的探索与实践

目的探讨医疗设备带配套耗材采购的最佳方案。方法通过分析整体划分权重法、价格划分权重法、设备价格稀释法的优缺点,判断3种评审模式的稳妥性;采用层次分析法,判断最佳评审模式;设置不同设备/耗材价格和设定不同评分,测试整体划分权重法评审模式的效果。结果整体划分权重法的优点更加明显,评审要素更加全面,能够有效降低投标供应商不诚信竞标的现象;层次分析法计算得出整体划分权重法、价格划分权重法、设备价格稀释法的权重分别为0.5651、0.2418、0.1486,整体划分权重法为最佳评审模式;测试结果显示耗材价格显著高于设备价格时,使用整体划分权重法,设备价格评分对综合评分的影响较小;仿真效果验证表明整体划分权重法评审模式成效明显。结论整体划分权重法是医疗设备带配套耗材采购的最佳评审模式。