分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.展开更多
在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking...在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking,Analyzing and Processing System)。在结构试验进行中,TestDTAS可以实时地监测结构试验件中应力和位移的变化情况,并与理论分析结果进行对比,而在试验结束后,TestDTAS可以进行试验数据回放和分析,从而将试验与理论分析有机的结合在一起,对结构静力试验和结构设计有很高的实用价值。展开更多
目的观察右归饮联合MSCs介入治疗早期股骨头缺血性坏死(avascular necrosis of the femoral head,ANFH)的疗效及促进再血管化、再骨化的作用。方法取健康雄性成年毕格犬24只,体重(10.0±0.5)kg,随机分为4组:A组(模型组)、B组(右归饮...目的观察右归饮联合MSCs介入治疗早期股骨头缺血性坏死(avascular necrosis of the femoral head,ANFH)的疗效及促进再血管化、再骨化的作用。方法取健康雄性成年毕格犬24只,体重(10.0±0.5)kg,随机分为4组:A组(模型组)、B组(右归饮组)、C组(MSCs介入组)、D组(MSCs介入加右归饮组),每组6只。通过液氮冷冻法建立早期ANFH模型。分离、培养并以BrdU标记MSCs。造模3周后,C、D组动脉灌注标记后的浓度为(0.5～1.0)×106个/mL的MSCs1mL,B、D组每天予右归饮100mL灌胃,A、C组以100mL蒸馏水灌胃。连续治疗4周及8周后行股骨头大体观察,DSA和MRI观察股骨头供血血管的数量及直径的变化情况,行组织学及免疫组织化学染色观察VEGF、BrdU阳性表达情况,实时荧光定量RT-PCR检测VEGF mRNA表达。结果治疗后4、8周,A组股骨头外形扁平,呈蘑菇状;B、C、D组股骨头外形基本正常。DSA观察示C、D组治疗后供血血管分支增粗、增多,原阻塞血管再通。治疗后4、8周,C、D组间血管数和血管直径比较差异均有统计学意义(P<0.05);两组血管直径与治疗前比较差异有统计学意义(P<0.05),D组血管数与治疗前比较差异有统计学意义(P<0.05)。MRI检查示B、C、D组较A组明显改善,D组尤为明显,T1W略低信号,T2W略低信号,STIR略高信号。组织病理学及免疫组织化学染色示:B、C、D组较A组结构有明显改善,D组较其他各组的VEGF阳性表达率均明显增高(P<0.05),D组较C组的BrdU阳性率、阳性成骨细胞数、阳性血管数表达均明显增高(P<0.05)。实时荧光定量RT-PCR检测示:D组较其他各组VEGFmRNA表达量增多(P<0.05),B、C、D组的VEGF表达均高于A组(P<0.05)。结论右归饮联合MSCs介入治疗早期ANFH疗效显著,可改善坏死股骨头的血供、促进修复、预防塌陷。展开更多
文摘分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.
文摘在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking,Analyzing and Processing System)。在结构试验进行中,TestDTAS可以实时地监测结构试验件中应力和位移的变化情况,并与理论分析结果进行对比,而在试验结束后,TestDTAS可以进行试验数据回放和分析,从而将试验与理论分析有机的结合在一起,对结构静力试验和结构设计有很高的实用价值。
文摘目的观察右归饮联合MSCs介入治疗早期股骨头缺血性坏死(avascular necrosis of the femoral head,ANFH)的疗效及促进再血管化、再骨化的作用。方法取健康雄性成年毕格犬24只,体重(10.0±0.5)kg,随机分为4组:A组(模型组)、B组(右归饮组)、C组(MSCs介入组)、D组(MSCs介入加右归饮组),每组6只。通过液氮冷冻法建立早期ANFH模型。分离、培养并以BrdU标记MSCs。造模3周后,C、D组动脉灌注标记后的浓度为(0.5～1.0)×106个/mL的MSCs1mL,B、D组每天予右归饮100mL灌胃,A、C组以100mL蒸馏水灌胃。连续治疗4周及8周后行股骨头大体观察,DSA和MRI观察股骨头供血血管的数量及直径的变化情况,行组织学及免疫组织化学染色观察VEGF、BrdU阳性表达情况,实时荧光定量RT-PCR检测VEGF mRNA表达。结果治疗后4、8周,A组股骨头外形扁平,呈蘑菇状;B、C、D组股骨头外形基本正常。DSA观察示C、D组治疗后供血血管分支增粗、增多,原阻塞血管再通。治疗后4、8周,C、D组间血管数和血管直径比较差异均有统计学意义(P<0.05);两组血管直径与治疗前比较差异有统计学意义(P<0.05),D组血管数与治疗前比较差异有统计学意义(P<0.05)。MRI检查示B、C、D组较A组明显改善,D组尤为明显,T1W略低信号,T2W略低信号,STIR略高信号。组织病理学及免疫组织化学染色示:B、C、D组较A组结构有明显改善,D组较其他各组的VEGF阳性表达率均明显增高(P<0.05),D组较C组的BrdU阳性率、阳性成骨细胞数、阳性血管数表达均明显增高(P<0.05)。实时荧光定量RT-PCR检测示:D组较其他各组VEGFmRNA表达量增多(P<0.05),B、C、D组的VEGF表达均高于A组(P<0.05)。结论右归饮联合MSCs介入治疗早期ANFH疗效显著,可改善坏死股骨头的血供、促进修复、预防塌陷。
