回答集程序设计(Answer Set Programming,ASP)是基于回答集语义的逻辑程序设计,它是一种新的知识表示和推理的工具,是近几十年来逻辑程序的研究热点,然而,根据回答集程序设计得到的回答集往往不是同等可选的。本课题使用逻辑程序设计这...
详细信息
回答集程序设计(Answer Set Programming,ASP)是基于回答集语义的逻辑程序设计,它是一种新的知识表示和推理的工具,是近几十年来逻辑程序的研究热点,然而,根据回答集程序设计得到的回答集往往不是同等可选的。本课题使用逻辑程序设计这种描述性语言,对现实世界中的各种问题进行知识表示和推理,并对推理结果进行优化。在此基础上,研究了模糊情况下的推理以及推理结果的优化。\n 首先,本文对回答集程序设计和具有优先关系的逻辑程序进行了深入的研究,并将其应用于产品配置解的优化。主要是在用户的需求集逻辑程序的每一条规则上增加一个权值,该值表示配置问题的合理解不满足用户的需求时的代价,即用户的偏好。根据每一个合理解的代价确定一个偏序关系,找到最接近用户需求解决方案。\n 其次,现实世界中,不确定性信息和非精确性信息非常普遍,而且更多的是模糊信息。比如:在安排座位时,有些人是相互熟悉的(friends),可能就希望座位离得比较近(near)。其中的friends和near都是模糊信息,这类问题就是在模糊情况下,求解满足用户需求的最优回答集。为此,本文提出了一种模糊回答集优化的方法:借鉴模糊回答集程序设计(Fuzzy Answer Set Programming,FASP)和回答集优化程序(Answer Set Optimization,ASO),将模糊回答集程序设计和定性的优先关系结合起来,引入具有优先关系的模糊回答集程序设计,并给出了其语义。该设计解决了一类带有偏好的不确定性推理问题,在理论研究和实际应用中具有重要意义。\n 最后,回答集语义的计算要用到基例化操作和固定点语义,这给计算带来很大不便。同时,程序的回答集语义和相应的“程序的完成(program completion)”语义具有某种等价关系,这给我们计算回答集提供了一种好的方法。所以,文章的最后从“程序的完成”语义的角度,计算模糊优先回答集语义。这部分内容具有很好的研究前景,是在将来在高阶情况下从“程序的完成”语义的角度求解逻辑程序的语义的一个基础研究。
目的:通过建立大鼠肝脏不均匀损伤的新型模型,探讨钆塞酸二钠(gadolinium ethoxybenzyl diethylenetriaminepentaacetic acid,Gd-EOB-DTPA)增强磁共振评估肝脏分段损伤程度的价值。方法:将70只雄性Sprague-Dawley大鼠随机分为对照组(n=10)和秋水仙碱组(n=60)。通过脾静脉注射0.25%秋水仙碱0.4ml/kg,建立大鼠肝脏不同叶段间损伤程度不均匀的模型。对照组大鼠,脾静脉注射等量生理盐水。术后秋水仙碱组第3天,1周,2周,4周随机选择7只大鼠,第8周和12周随机选择10只,麻醉后进行核磁共振(MRI)检查,扫描结束后过量麻醉处死。对照组大鼠术后第3天,1周,2周,4周,8周和12周麻醉后进行MRI检查,并在第12周MRI扫描结束后过量麻醉处死。MRI扫描序列为:T2加权成像(T2WI);弥散加权成像(DWI);Gd-EOB-DTPA增强MRI成像,获得增强前图像和增强后20分钟肝胆期图像。进行MRI图像分析,分别获得反映T2WI信号强度的LMR;DWI的表观弥散系数(ADC)值;反映Gd-EOB-DTPA肝胆期信号强度的ΔLMR。分别比较对照组和秋水仙碱组肝脏左、右叶ΔLMR差值,LMR2差值,ADC差值,统计检验差异显著性为0.05。扫描结束后留取大鼠肝脏标本,分别取肝左、右叶,进行苏木精-伊红(HE)及马松三色(Masson’s Trichrome staining)染色,应用统计学方法检验大鼠肝脏左、右叶病理评分差异。结果:脾静脉注射秋水仙碱后,大鼠肝脏组织随着时间变化有明显的病理学改变,秋水仙碱引起肝脏左、右叶损伤的病理评分统计学差异明显(P<0.05)。在各时间点,秋水仙碱组和对照组肝左、右叶LMR差值(3天:0.85±0.045 vs 0.016±0.01;1周:0.067±0.015 vs 0.007±0.004;2周:0.081±0.027 vs 0.008±0.006;4周:0.110±0.062 vs 0.007±0.005;8周:0.090±0.040 vs 0.006±0.007;12周:0.092±0.046 vs 0.007±0.005;P<0.05),ADC(×10 mm/s)差值(3天:0.110±0.121vs-0.001±0.005;1周:0.091±0.027 vs 0.010±0.010:2周:0.234±0.087 vs 0.009±0.011;4周:0.171±0.053 vs 0.011±0.008;8周:0.173±0.058 vs 0.035±0.022;12周:0.190±0.078vs 0.021±0.011;P<0.05),ΔLMR差值(3天:0.182±0.054 vs 0.014±0.007;1周:0.140±0.044 vs 0.015±0.007:2周:0.149±0.079 vs 0.016±0.009;4周:0.172±0.069 vs 0.010±0.010;8周:0.171±0.061 vs 0.013±0.005;12周:0.163±0.085vs 0.012±0.004;P<0.05)的差异具有统计学意义。随着肝损伤病理评分的升高,LMR值下降,且相关性具有统计学意义(r=-0.245,P=0.018);随着肝损伤病理评分的升高,ADC值下降,且相关性具有统计学意义(r=-0.682,P=0.000);随着肝损伤病理评分的升高,ΔLMR值下降,且相关性具有统计学意义(r=-0.807,P=0.000);ΔLMR与肝损伤病理评分的相关系数显着高于LMR和ADC值与肝损伤病理评分的相关系数。结论:通过大鼠脾静脉注射秋水仙碱可建立肝脏不均匀损伤的动物模型;Gd-EOB-DTPA增强MRI对定量检测肝脏分段损伤程度有潜在的应用价值。
暂无评论