检索结果-南通市图书馆

Integrity constraints in OWL ontologies based on grounded circumscription

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第6期7卷 812-821页

作者： Dantong OUYANG College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China National Engineering Research Center of Geophysics Exploration Instruments Changchun 130026 China

The extensions for logic-based knowledge bases with integrity constraints are rather popular. We put forward an alternative criteria for analysis of integrity constraints in Web ontology language （OWL） ontology under the closed world assumption. According to this criteria, grounded circumscription is applied to define integrity constraints in OWL ontology and the satisfaction of the integrity constraints by minimizing extensions of the predicates in integrity con- straints. According to the semantics of integrity constraints, we provide a modified tableau algorithm which is sound and complete for deciding the consistency of an extended ontol- ogy. Finally, the integrity constraint validation is converted into the corresponding consistency of the extended ontology. Comparing our approach with existing integrity constraint validation approaches, we show that the results of our approach are more in accordance with user requirements than other approaches in certain cases.

关键词： semantic Web description logic ontology integrity constraints grounded circumscription

血红素加氧酶-1基因转染对内毒素诱导的ECV304细胞氧化损伤的影响

在线全文

学校读者我要写书评

暂无评论

中国老年学杂志 2011年第24期31卷 4859-4861页

作者：张培胜邢邯英野战鹰武安市第一人民医院神经外科河北省人民医院老年医学重点实验室河北石家庄050051

目的探讨血红素加氧酶-1(HO-1)基因转染对脂多糖诱导的ECV304细胞氧化损伤的影响。方法利用逆转录病毒介导的基因转染技术将HO-1基因转染入人脐静脉内皮细胞(ECV304),应用RT-PCR和Western印迹技术检测转染细胞HO-1 mRNA和蛋白表达水平... 详细信息

目的探讨血红素加氧酶-1(HO-1)基因转染对脂多糖诱导的ECV304细胞氧化损伤的影响。方法利用逆转录病毒介导的基因转染技术将HO-1基因转染入人脐静脉内皮细胞(ECV304),应用RT-PCR和Western印迹技术检测转染细胞HO-1 mRNA和蛋白表达水平。未转染和转染HO-1基因的ECV304细胞分别培养于含或不含脂多糖(5 mg/L)的DMEM培养基24 h后,检测细胞脂质过氧化产物丙二醛(MDA)含量和乳酸脱氢酶(LDH)释放率。结果 HO-1基因和蛋白在转染的ECV304细胞的表达量显著升高。与ECV304细胞相比,转染HO-1基因的ECV304细胞MDA含量和LDH释放率均下降(P<0.05);应用HO-1抑制剂锌原卟啉共孵育后,转染细胞的MDA含量和LDH释放率增高。结论 HO-1的基因转染可增强ECV304细胞对抗脂多糖氧化损伤的能力。

关键词：血红素加氧酶-1 脂多糖基因转染技术

血红素加氧酶-1对内毒素血症大鼠胸主动脉和肺动脉反应性作用的比较

在线全文

学校读者我要写书评

暂无评论

实用医学杂志 2011年第9期27卷 1539-1541页

作者：邢邯英王蓓黄黛张冬会野战鹰河北省人民医院老年病重点实验室石家庄市050051

目的:比较改变血红素加氧酶-1(HO-1)水平对内毒素血症大鼠胸主动脉和肺动脉血管舒缩功能的影响。方法:将SD大鼠随机分为对照组和内毒素模型组(LPS4mg/kg,腹腔注射)。应用RT-PCR技术检测血管HO-1mRNA表达;应用血管张力检测技术检测各组... 详细信息

目的:比较改变血红素加氧酶-1(HO-1)水平对内毒素血症大鼠胸主动脉和肺动脉血管舒缩功能的影响。方法:将SD大鼠随机分为对照组和内毒素模型组(LPS4mg/kg,腹腔注射)。应用RT-PCR技术检测血管HO-1mRNA表达;应用血管张力检测技术检测各组主动脉和肺动脉血管环在HO-1抑制剂和诱导剂孵育前后反应性变化。结果:内毒素组胸主动脉与肺动脉的HO-1mRNA均明显增高。HO-1抑制剂预孵育后,内毒素组胸主动脉对苯肾上腺素(PE)的收缩反应较孵育前提高了31.42%(P<0.01),但对乙酰胆碱的舒张反应无显著变化;内毒素组肺动脉对PE的收缩值亦增加(P<0.01)。HO-1诱导剂预孵育后,内毒素组胸主动脉收缩性较孵育前显著下降,肺动脉收缩性较孵育前虽有下降趋势,但差异无统计学意义。结论:HO-1对内毒素血症胸主动脉和肺动脉的舒缩功能的影响存在差异。

关键词：血红素加氧酶-1 脂多糖胸主动脉肺动脉

在线全文

学校读者我要写书评

暂无评论

再认记忆的事件相关电位多域特征值研究

西安交通大学学报 2014年第2期48卷 137-142页

作者：尤二涛徐进张永兴西安交通大学生物医学信息工程教育部重点实验室西安710049

为了更好地了解再认记忆状态下的事件相关电位(ERP)在时域、频域和空间域的性质,与传统的ERP信号特征提取方法往往都局限于时域特征不同,该研究采用非负张量分解(NTF)技术,提取再认记忆实验中与"Old"和"New"刺激相关的ERP的多域特征值... 详细信息

为了更好地了解再认记忆状态下的事件相关电位(ERP)在时域、频域和空间域的性质,与传统的ERP信号特征提取方法往往都局限于时域特征不同,该研究采用非负张量分解(NTF)技术,提取再认记忆实验中与"Old"和"New"刺激相关的ERP的多域特征值。多域特征值是从多个导联ERP信号的时频转换中提取的,因此可以同时反映ERP在时域、频域和空间域上的性质。研究结果发现,多域特征值可以明显地反映出不同刺激类型下ERP信号的差异,与额区新旧效应相关的FN400在"New"刺激下的多域特征值显著大于"Old"刺激下的,与顶区新旧效应相关的P600在"Old"刺激下的多域特征值显著大于"New"刺激下的,说明多域特征值能很好地用于区分和识别再认记忆中的新旧刺激,这不仅为再认记忆的研究提供了一个新方法,而且为基于ERP的认知功能研究提供了新的思路和途径。

关键词：事件相关电位非负张量分解再认记忆多域特征值

血管性痴呆患者脑电信号的多通道线性描述符特征研究

在线全文

学校读者我要写书评

暂无评论

西安交通大学学报 2011年第4期45卷 121-125页

作者：娄武涛徐进盛恒松赵松珍西安交通大学生物医学信息工程教育部重点实验室西安710049 西安交通大学第一附属医院神经内科西安710061

为提取能有效区分血管性痴呆(VaD)患者与正常老年人的神经电生理特征标识,采用多通道线性描述符对两组受试者在执行oddball视觉探测任务过程中的脑电(EEG)信号进行特征提取研究.通过对任务状态和平静状态下多通道EEG的3个多通道线性描... 详细信息

为提取能有效区分血管性痴呆(VaD)患者与正常老年人的神经电生理特征标识,采用多通道线性描述符对两组受试者在执行oddball视觉探测任务过程中的脑电(EEG)信号进行特征提取研究.通过对任务状态和平静状态下多通道EEG的3个多通道线性描述符分析表明,在执行探测任务过程中,VaD患者的场强变化率Φ和空间复杂度Ω明显高于正常老年人,而在平静状态下却无显著差异,两组受试人群的有效场强均没有显著差异.分别对比不同受试人群在任务状态和平静状态下的3个描述符,结果表明,两组受试者在任务状态下的有效场强Σ比平静状态明显增高,Φ和Ω明显降低,而且VaD患者3个描述符任务状态相对于平静状态的变化率要明显低于正常老年人.因此,多通道线性描述符可以有效地反映人脑认知功能的衰退,为VaD患者的脑电特征提取提供了一种新的方法.

关键词：血管性痴呆脑电多通道线性描述符

姜黄素对慢性低O_2高CO_2作用下大鼠脑组织Fas/FasL表达的影响

在线全文

学校读者我要写书评

暂无评论

中国应用生理学杂志 2014年第2期30卷 165-167页

作者：李俊丽范琰琰叶光华董缪武林刻智李峰喻林升浙江省温州医科大学法医学系司法鉴定科学技术研究所温州325035

目的:观察慢性低O2高CO2作用下大鼠脑组织Fas/FasL表达及神经细胞超微结构变化,探讨姜黄素是否能影响慢性低O2高CO2作用下Fas/FasL表达以及脑神经细胞的超微结构变化。方法:将健康SD雄性大鼠15只,随机分为常氧对照组、慢性低O2高CO2组... 详细信息

目的:观察慢性低O2高CO2作用下大鼠脑组织Fas/FasL表达及神经细胞超微结构变化,探讨姜黄素是否能影响慢性低O2高CO2作用下Fas/FasL表达以及脑神经细胞的超微结构变化。方法:将健康SD雄性大鼠15只,随机分为常氧对照组、慢性低O2高CO2组、慢性低O2高CO2姜黄素组(姜黄素采用灌胃给药,150 mg/(kg·d);应用免疫组织化学法和蛋白免疫印记法对脑神经细胞凋亡分子Fas/FasL的表达进行定性、定量测定,透射电镜下观察大脑皮质神经细胞超微结构形态学改变。结果:①免疫组织化学和蛋白免疫印记法显示,慢性低O2高CO2组中脑组织Fas/FasL的表达显著高于常氧对照组和慢性低O2高CO2姜黄素组。②脑组织的透射电镜结果显示,常氧对照组神经细胞及细胞器结构形态正常;慢性低O2高CO2组可见神经细胞和细胞器肿胀,细胞核染色质边集,出现凋亡小体;慢性低O2高CO2姜黄素组神经细胞核、细胞器、血管的形态结构基本正常。结论:①慢性低O2高CO2可上调脑组织Fas/FasL的表达,并诱导脑神经细胞呈现凋亡的超微结构变化;②姜黄素可能通过抑制Fas/FasL的表达减轻慢性低O2高CO2诱导的脑神经细胞的超微结构变化。

关键词：慢性低O2高CO2 神经细胞姜黄素

姜黄素改善慢性肺动脉高压肺血管重塑作用途径的研究

在线全文

学校读者我要写书评

暂无评论

中国应用生理学杂志 2014年第5期30卷 451-455页

作者：李俊丽范琰琰叶光华董缪武林刻智李峰喻林升温州医科大学基础医学院司法鉴定科学技术研究所温州325035

目的：探究姜黄素改善慢性低O2高CO2大鼠肺动脉高压肺血管重塑作用途径的研究。方法：建立慢低O2高CO2肺血管重塑模型，以24只雄性大鼠为受试对象，随机分为四组（n=6）：I组（常氧空白对照组），Ⅱ（低O2高CO2模型组），Ⅲ组（色甘酸... 详细信息

目的：探究姜黄素改善慢性低O2高CO2大鼠肺动脉高压肺血管重塑作用途径的研究。方法：建立慢低O2高CO2肺血管重塑模型，以24只雄性大鼠为受试对象，随机分为四组（n=6）：I组（常氧空白对照组），Ⅱ（低O2高CO2模型组），Ⅲ组（色甘酸钠对照组），Ⅳ组（姜黄素实验组）。将后3组动物放入常压低O2高CO2舱中，吸入O2浓度8％～11％，CO2浓度3％～5％，每天8h，每周6d，连续4周，Ⅲ组给予色甘酸钠以20mg／kg体重腹注射处理，Ⅳ组给予姜黄素混悬液按150mg/kg体重灌胃处理。光镜下、透射电镜下观察肺动脉血管壁及其周围大细胞超微结构形态学改变，甲苯胺蓝染色法和免疫组织化学法对肺动脉周围的肥大细胞及其脱颗粒状态进行性定量测定。结果：①电镜下，Ⅱ组肺细小动脉中膜平滑肌增生，外膜胶原纤维密集，内弹力板扭曲，内皮细胞起，血管外肥大细胞内颗粒减少，胞膜不完整；光镜下，Ⅱ组相比1组肺细小动脉管腔／管总面积（WA／TA）明显升（P〈0．05）、管腔／管总面积（EA／TA）明显降低（P〈0．05），甲苯胺蓝染色肥大细胞细胞数（NMC）、肥大细胞脱颗率（DR）及免疫组化检测类胰蛋白酶阳性细胞数（TBS）高于I组（P〈0．05）；②干预后，电镜下，Ⅲ组、Ⅳ组血管结基本正常，平滑肌增生及胶原增生较Ⅱ组轻，肥大细胞膜完整；光镜下，两干预组相比Ⅱ组WA／TA明显降低（P〈0．05）、ET／TA明显升高（P〈0．05），甲苯胺蓝染色NMC、DR、TBS阳性细胞数分别低于Ⅱ组（P〈0．05）。结论：姜素可通过Mc途径抑制慢性低O2高CO2导致的大鼠肺血管重塑改变。

关键词：慢性低氧性肺动脉高压肥大细胞肺动脉姜黄素

基于AC与LmaxRPC的自适应约束传播求解算法

在线全文

学校读者我要写书评

暂无评论

湖南大学学报（自然科学版） 2013年第7期40卷 86-91页

作者：王海燕欧阳丹彤张永刚杨明明吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测... 详细信息

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.

关键词：人工智能约束程序约束满足问题自适应约束求解约束传播

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

分布式离散事件系统的可诊断性判定策略

吉林大学学报（工学版） 2015年第5期45卷 1541-1549页

作者：王晓宇欧阳丹彤迟晋进韩正服吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学网络中心长春130012

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不... 详细信息

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不参与同步。定量讨论了分布式系统的可诊断性,用同步操作及同步成本作为参数,分析了分布式系统结构对可诊断性的影响。

关键词：人工智能可诊断性分布式离散事件系统同步