基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

miR-146a-5p、SMAD4在甲状腺滤泡癌组织中表达变化和对FTC-238细胞系增殖迁移侵袭影响及靶向关系

目的通过观察甲状腺滤泡癌(FTC)组织中miR-146a-5p、SMAD4的表达变化及对细胞增殖、迁移、侵袭能力的影响,分析miR-146a-5p与SMAD4之间的靶向关系,以探讨miR-146a-5p是否通过靶向SMAD4促进FTC增殖、迁移、侵袭。方法收集FTC组织标本30例份,非肿瘤甲状腺或距离肿瘤边缘>2 cm癌旁组织30例份,采用RT-qPCR法检测FTC组织及癌旁组织中miR-146a-5p、SMAD4 mRNA。将FTC-238细胞系分为miR-146a-5p mimics组和阴性对照(miR-NC组)分别转染miR-146a-5p mimics(使细胞过表达miR-146a-5p)及miR-NC。采用CCK8法观察两组培养12、24、48 h时的细胞增殖能力,划痕实验观察两组细胞迁移能力,Transwell小室实验观察两组细胞侵袭能力。分别采用RT-qPCR及免疫印迹法检测两组细胞中SMAD4 mRNA及蛋白。双荧光素酶报告基因实验验证miR-146a-5p与SMAD4的靶向关系。结果与癌旁组织相比,FTC组织中miR-146a-5p相对表达量降低(P<0.05);SMAD4 mRNA相对表达量升高(P<0.05)。与miR-NC组相比,各个时间点miR-146a-5p mimics组细胞OD值降低(P均<0.05);与miR-NC组相比,miR-146a-5p mimics组细胞迁移、侵袭数目减少(P均<0.05)。与miR-NC组相比,miR-146a-5p mimics组SMAD4 mRNA及蛋白相对表达量降低(P均<0.05)。miR-146a-5p与SMAD4存在靶向关系。结论FTC组织中miR-146a-5p表达降低、SMAD4表达升高;miR-146a-5p过表达可抑制FTC-238细胞系增殖、迁移、侵袭;miR-146a-5p与SMAD4之间存在靶向关系。miR-146a-5p可能通过靶向抑制SMAD4促进FTC癌细胞的增殖、迁移、侵袭。

基于一阶逻辑FOL的知识交换格式KIF

计算机应用已与我们须臾不可分 ,计算机处理问题离不开相应语言的支持。本文介绍了用于机器的知识交换格式KIF及其作用 。

孕妇血清Fol、VB_(12)和Hcy水平与胎儿CHD相关性研究

目的 比较胎儿先天性心脏病（ CHD）的孕妇和正常孕妇血清叶酸（ Fol）、维生素B12（ VB12）和同型半胱氨酸（ Hcy）水平，以了解3种物质的代谢水平与胎儿CHD的关系。方法 根据有无胎儿CHD将研究对象分为病例组（ n＝46）和对照组（n＝43）。病例组为经B超诊断为孕CHD胎儿确诊的孕妇，对照组为经B超诊断胎儿发育正常的孕妇。检测89例研究对象血清标本Fol、VB12和Hcy水平，比较病例组和对照组血清Fol、VB12和Hcy水平差异。结果 病例组的Fol水平高于对照组，差异有统计学意义（t＝2．426，P＝0．017）；病例组Hcy水平高低于对照组，但差异无统计学意义（P＞0．05）。血清Fol≥44．5nmol／L的孕妇与＜38．6nmol／L的孕妇相比，胎儿CHD发生率降低36倍；Hcy的OR＝1．036（95％CI：0．807～1．329），但并未增加胎儿CHD发生的危险性（P＞0．05）；VB12的OR＝1．007（95％CI：1．001～1．013），增加胎儿CHD发生的危险性（P＝0．015）。 Fol和VB12对CHD的发生都有关联，差异均有统计学意义（P＝0．046，P＝0．020），但是曲线下的面积都＜70％，用这两个指标单独进行诊断无很大价值。结论 孕妇高水平Fol是妊娠胎儿CHD的保护因素，VB12是妊娠胎儿CHD的危险因素，血清Fol和VB12联合检测对胎儿CHD的发生更有预测价值。

基于FOL方法的数据标准体系建设

数据标准是企业信息化和数据共享的基础。数据标准的适用性问题一直是企业信息化管理中的一个难点问题。提出了一种分级的数据标准体系,按照固定、开放和本地化3个层级进行油田数据标准体系设计,有效解决了数据标准的适用性问题。

参芪扶正注射液配合Fol Fox_4方案治疗进展期胃癌

目的评价参芪扶正注射液联合FolFox4方案治疗进展期胃癌(AGC)的疗效和不良反应。方法治疗组采用参芪扶正注射液联合FolFox4方案治疗AGC 37例,对照组30例单用FolFox4方案化疗,药物剂量及用法同治疗组,两周期后判定疗效。结果治疗组37例完全缓解(CR)7例,部分缓解(PR)19例,有效(CR+PR)26例,总有效率70.3%。对照组30例CR 2例(16.7%),PR 11例(36.7%),总有效(CR+PR)13例,有效率43.3%。主要不良反应:治疗组恶心、呕吐、纳差、口腔黏膜炎、粒细胞减少、末梢神经炎、发热及疼痛、腹泻,较对照组明显减轻,白细胞减少与对照组相比有差异性(P<0.05)。结论参芪扶正注射液联合化疗治疗AGC具有提高化疗有效率,减轻化疗不良反应,提高患者生活质量的作用。

叶酸代谢途径folE基因表达载体的构建及在大豆中的转化

fol E基因是高叶酸调控基因,来源于细菌,已证明在西红柿等植物中,提高了叶酸含量。本试验采用农杆菌介导的大豆子叶节法,将fol E基因在大豆受体材料Williams82中表达。共侵染了200个外植体,得到34株转化苗。通过对转化苗进行除草剂(135 mg·L-1)涂抹鉴定,获得14株除草剂抗性转化苗。PCR检测结果显示其中12株为阳性。Southern杂交结果表明,fol E全长c DNA已成功插入到大豆基因组中,并得到2个单拷贝株系。

黄芪联合丹参注射在胃癌患者FOL-FOX方案化疗期间的临床应用及疗效分析

目的:研究黄芪联合丹参注射在胃癌患者实施FOL-FOX方案化疗期间的临床应用价值及疗效。方法:选择136例进行化疗的胃癌患者为研究对象,随机将其分成观察组(68例)和对照组(68例)。观察组患者在实施FOL-FOX化疗方案期间加用黄芪联合丹参注射治疗,对照组患者仅采用常规FOLFOX方案化疗,比较两组的临床疗效及毒性反应。结果:观察组完全缓解者占11.76%(8/68),有效者占63.24%(43/68),均显著高于对照组(P<0.05),差异具有统计学意义。观察组产生白细胞减少、胃肠道反应以及过敏者均显著少于对照组,差异具有统计学意义(P<0.05)。结论:黄芪联合丹参注射在胃癌患者实施FOL-FOX化疗方案期间的临床应用价值高,能显著减少患者化疗后毒性反应发生率,安全性高,值得临床推广应用。

联合FOL规则的知识图谱表示学习方法

为增强知识图谱表示的预测精度和可解释性,通过改进由表示学习、规则学习和规则融合三个模块组成的IterE框架,提出一种适用各种表示学习算法的联合FOL规则的知识图谱表示学习方法,针对规则学习和融合模块,基于三元组打分函数改进规则置信度计算方法,扩展适用性,并改进软标签计算方法,放松融合要求,扩大融合的数据增量,迭代实现表示更新规则和规则增强表示。链路预测和生成解释实验表明,随着逻辑规则的加入,该方法提高了基模型的预测精度和可解释性,且在越稀疏的数据集中对提高稀疏实体表示的帮助越大。

FOL、FOX化疗方案对贲门癌患者生存质量的影响及毒副作用比较

目的:观察FOL、FOX化疗方案治疗晚期贲门癌患者改善生存质量及毒副作用发生情况。方法:将98例晚期贲门癌患者随机分为FOL组、FOX组,每组各49例,FOL组采用FOL方案,FOX组采用FOX方案。2组均以2周为1个治疗周期,治疗8个治疗周期后观察临床疗效、不良反应及生存质量改善情况。结果:2组有效率观察组为36.66%,对照组为17.24%,2组相比较差异有统计学意义(P<0.05)。2组均有不同程度的骨髓毒性反应,其中Ⅰ～Ⅱ级相比差异无统计学意义(P>0.05),Ⅲ～Ⅳ发生率相比差异有统计学意义(P<0.05)。2组均出现不程度呕吐症状,但观察组反应较轻,2组相比差异有统计学意义(P<0.05)。2组均有不同程度的外周神经毒性反应,但以Ⅰ～Ⅱ级为主,2组相比差异无统计学意义(P<0.05)。治疗后2组KPS评分均明显增高(P<0.05),治疗后组间相比差异有统计学意义(P<0.05)。结论:FOL、FOX化疗方案均对晚期贲门癌有较好的临床疗效,但FOL方案疗效更好,副作用更小,改善生存质量更为显著。

基于Flow-3D的汴西湖水沙数值模拟

采用开封市汴西湖引水源——黑岗口水库的引流量数据,结合汴西湖地形条件,依据插值和拟合数学理论,利用Flow-3D软件进行建模并计算,综合分析引沙量与时间、流量的关系,得到总的引沙量及空间分布,最终预测汴西湖未来的水沙分布及趋势分析。

香砂六君子汤结合FOL-FOX4化疗方案对腹腔镜结肠癌根治术后免疫因子变化研究

目的评价香砂六君子汤结合FOL-FOX4化疗方案对腹腔镜结肠癌根治术后患者免疫因子变化。方法选择2013年2—2018年7月医院收治的结肠癌患者70例,根据随机数字表法将患者分为研究组和对照组,每组35例。对照组患者术后给予FOL-FOX4方案化疗,并给予受体拮抗剂常规止吐以及营养支持等。1个治疗周期为21 d,共治疗6个周期。研究组在对照组治疗的基础上,口服香砂六君子汤治疗。连续治疗6个月。比较两组治疗疗效,治疗前后营养指标变化,治疗前后细胞因子及细胞免疫因子水平,治疗前后KPS评分和治疗过程中不良反应程度。结果研究组治疗总有效率为85.71%(30/35)高于对照组治疗总有效率的62.86%(22/35)(P<0.05);研究组治疗后体质量、总蛋白、白蛋白和前白蛋白水平高于对照组(P<0.05);研究组治疗后细胞因子及细胞免疫因子IgG、IgM、IgA、IL-2水平高于对照组,治疗后细胞因子IL-6水平较对照组低(P<0.05);研究组治疗后KPS评分高于对照组(P<0.05);研究组治疗中恶心呕吐、腹痛腹泻、便秘和白细胞异常明显优于对照组(P<0.05)。结论香砂六君子汤可有效的改善结肠癌术后患者的免疫功能和营养状况,提高患者的生存质量,积极抵抗化疗带来的一系列不良反应,术后化疗患者的康复起促进作用。

丁香—肉桂药对挥发油的抗氧化作用研究

目的:分析丁香-肉桂药对共提取挥发油(丁香-肉桂挥发油)的成分及其抗氧化作用,为该药对临床合理应用于关节炎性病症提供实验依据。方法:通过GC-MS分析丁香-肉桂挥发油成分,DPPH、ABTS+自由基清除实验及总还原力测定丁香-肉桂挥发油的抗氧化能力,MTT法测定丁香-肉桂挥发油对RAW264.7细胞的细胞活力影响;H2O2刺激RAW264.7细胞建立氧化损伤模型,试剂盒检测丁香-肉桂挥发油对细胞CAT、SOD、GSH-PX、MDA水平的影响。结果:GC-MS分析鉴定出丁香-肉桂挥发油20种成分,其中丁香酚、α-古巴烯、β-石竹烯、肉桂醛等成分相对含量较高,丁香-肉桂挥发油对ABTS+自由基和DPPH自由基都有较好的清除作用,其IC50分别为(24.15±1.03)μg/mL和(47.23±1.89)μg/mL,其总抗氧化能力FRAP值与丁香-肉桂挥发油浓度呈现量效关系;10~80μg/mL丁香-肉桂挥发油对RAW264.7细胞活性没有影响;40μg/mL的丁香-肉桂挥发油能显著提高抗氧化因子SOD、GSH水平,并降低过氧化脂质产物LDH、MDA水平(P<0.01)。结论:丁香-肉桂挥发油通过提高抗氧化因子活性,抑制脂质过氧化酶反应,改善细胞氧化损伤,具有较好的抗氧化能力。

椎弓根螺钉椎旁肌间隙与后正中入路内固定修复胸腰椎骨折:稳定性比较

背景:脊柱后路手术是胸腰段椎体骨折最常用的治疗方法,传统后路手术显露过程中,大范围椎旁肌的剥离和牵拉,容易发生腰椎手术失败综合征。目的:比较椎弓根螺钉椎旁肌间隙入路与传统后正中入路内固定修复胸腰椎骨折的复位情况及稳定性。方法:对62例无神经损伤胸腰椎骨折的患者进行回顾性分析,采用椎旁肌间隙入路并GSS内固定系统治疗22例,传统正中入路并GSS内固定系统治疗21例,传统正中入路并AF内固定系统治疗19例。通过比较3组患者的手术时间、术中出血量、术后引流量、术毕切口内残腔体积、腰背痛目测类比评分、切口并发症、伤椎高度、Cobb角等各项临床指标,对比3种内固定方案的治疗效果。结果与结论:3组患者手术时间、术中出血量、术毕切口内残腔体积、内固定后引流量比较,椎旁肌间隙入路并GSS内固定组优于传统正中入路并GSS内固定组及传统正中入路并AF内固定组(P<0.05)。3组内固定后3 d椎体高度、Cobb角比较,差异无显著性意义(P>0.05)。腰痛目测类比评分内固定后1周3组差异无显著性意义(P>0.05),内固定后3,6个月椎旁肌间隙入路并GSS内固定组明显低于传统正中入路并GSS内固定组及传统正中入路并AF内固定组。3组患者均未见切口感染。提示椎旁肌间隙入路显露方式与传统后入路显露方式比较,具有创伤小,出血少,术后恢复快、患者满意度高等优势,GSS内固定系统与AF内固定系统修复胸腰椎骨折内固定效果相近,但GSS内固定系统操作简单,具有省时、出血量少、固定牢靠和复位良好的优点,结合椎旁肌入路,是目前修复胸腰段脊柱骨折较好的方法之一。

全膝关节置换修复老年重度膝骨关节炎:疗效及生活质量评估

背景:全膝关节置换是治疗膝关节骨关节炎的有效方法,基于生物-心理-社会医学模式的转变,生活质量的概念在医学领域中逐渐得到了关注。目的:观察人工全膝关节置换对老年重度膝关节骨关节炎患者疼痛、功能及生活质量的影响。方法:选择2010年1月至2013年1月在内蒙古医科大学第二附属医院就诊治疗重度膝关节骨关节炎的患者102例,进行临床观察及12个月随访。将行人工全膝关节置换患者59例作为全膝关节置换组,确诊但未行手术而采用药物等保守治疗患者43例作为对照组。在治疗前和治疗后12个月均对患者进行美国纽约特种外科医院评分(HSS评分)和健康相关生活质量的WHOQOL-100量表评价,并分析各相关因素与HSS评分及WHOQOL-100各项评分之间的相关性。结果与结论:患者治疗后12个月,全膝关节置换组膝关节HSS评分等级为良,总分为(82.03±10.17)分,明显优于对照组(P<0.01);全膝关节置换组WHOQOL-100评分显著优于对照组,组间差异有显著性意义(P<0.01),心理子项评分接近于正常人群(P>0.05)。回归分析结果显示,婚姻状况(β=1.988)、并发症(β=2.035)及HSS评分(β=2.108)为影响患者置换后生活质量的主要因素。提示HSS评分能较好地评估人工全膝关节置换改善老年重度膝关节骨关节炎疼痛及功能障碍的疗效,将WHOQOL-100评分引入到人工全膝关节置换的疗效评估中能更全面的评价置换后患者的生活质量。婚姻状况、并发症及HSS评分是影响膝关节骨关节炎患者生活质量的主要因素。其中深静脉血栓影响患者离床时间,研究发现随访期间有配偶照顾对患者生活质量及心理状态都有正面的影响。

钉棒置入与椎间融合修复极外侧型腰椎间盘突出症:远期腰椎稳定性随访

背景:极外侧腰椎间盘突出症是临床上比较少见的一种腰椎间盘突出类型,目前的治疗方法多样,但治疗效果和复发率报道不一。目的:探讨应用腰椎椎弓根钉棒内固定联合椎间融合器置入椎间融合修复极外侧型腰椎间盘突出症的临床效果。方法:回顾性分析2006年3月至2009年1月行腰椎椎弓根钉棒系统联合椎间融合器置入椎间融合治疗的19例极外侧型腰椎间盘突出症患者的临床资料,根据目测类比评分标准及Macnab评价标准进行疗效判定,观察治疗后腰椎稳定性,通过数据库文献检索方法评估腰椎椎弓根钉棒内固定联合椎间融合器置入椎间融合修复极外侧型腰椎间盘突出症的效果。结果与结论:19例患者均得到随访,随访时间13个月-3年。所有患者治疗后即有下肢及腰部疼痛不同程度的缓解,治疗前目测类比评分为(7.3±1.3)分,治疗后为(2.1±0.8)分,差异有显著性意义(P<0.05)。根据Macnab评价标准,优15例,良3例,可1例,差0例,优良率为95%。所有患者均未发生断钉、断棒及松动现象,所有椎间融合器均达到融合,未发生继发性腰椎管狭窄。提示腰椎椎弓根钉棒系统内固定联合椎间融合器置入椎间融合修复极外侧型腰椎间盘突出症症状缓解快,内固定牢固,可获得良好的腰椎稳定性。

活动平台假体人工膝关节置换后的中期随访

背景:虽然活动平台人工膝关节假体具有理论上的设计先进性以及体外运动学和磨损方面的优势,但临床效果是否优于固定平台假体目前尚不明确。目的:评估国人活动平台假体人工膝关节置换后的中期临床效果,为人工膝关节置换假体的选择提供临床依据。方法:纳入2006年12月至2009年6月于北京同仁医院采用旋转平台假体(PFC sigma RP)进行初次人工膝关节置换的膝关节骨关节炎和类风湿关节炎患者,对比观察患者置换前及置换后末次随访KSS评分、KSS功能评分、髌骨评分、膝前痛评、膝关节活动度、最大屈伸膝角度。记录患者置换后包括感染、髌骨弹响、聚乙烯垫片脱位、深静脉血栓等并发症情况。拍摄置换后标准的膝关节前后位、侧位及Merchant位X射线片,观察假体的力线、假体周围透亮区、髌骨脱位情况。将本组活动平台假体的随访结果与文献报道的固定平台假体人工膝关节置换的中期随访结果进行比较。结果与结论:最终共有31例45膝纳入试验,患者年龄(64.56±10.33)岁,随访时间3.9-7.6年。置换后末次随访时的各项评分、膝关节活动度及最大屈伸膝角度均较置换前明显改善,但与文献报道的固定平台置换后中期随访结果相当。未发现透亮线、假体松动、聚乙烯垫片脱出;虽然仅做了有限的髌外侧松解,所有患者均未出现髌骨脱位或半脱位;2例患者(2膝)出现髌骨弹响。提示活动平台膝关节置换后的中期临床效果满意。虽然仅做了有限的髌外侧松解,但没有发现髌骨脱位和半脱位,这可能是旋转平台设计上髌股关节方面优势的体现。

微型钛板在颈椎后路椎板成形中的应用:近期随访

背景:颈椎后路单开门椎管扩大成形术治疗多节段颈椎病时,椎管发生再狭窄、颈椎生理曲度的丢失、轴性症状的发生是影响疗效的重要原因,持久维持椎管的扩大状态和减少颈椎后部组织结构的干扰在临床治疗中非常有必要。目的:观察微型钛板置入内固定在颈椎后路单开门椎管扩大成形治疗过程中的临床效果及近期随访结果。方法:回顾性分析厦门大学附属中山医院2006年4月至2013年4月具有完整资料的采用颈椎后路单开门椎管扩大成形术治疗脊髓型颈椎病的患者共67例,其中微型钛板组27例使用微型钛板置入内固定,缝线组40例采用传统缝线悬吊"门轴"。两组的减压节段均为C3-7。比较两组手术时间、术中出血量、随访时JOA评分改善率、颈椎曲度变化值、轴性症状及椎板掀开角度。结果与结论:两组手术时间、术中出血量、JOA评分改善率差异均无显著性意义(P>0.05)。两组曲度变化值,术后6个月微型钛板组颈椎曲度丢失不明显,缝线组颈椎曲度部分丢失(P<0.05),两组差异有显著性意义(P<0.05)。术后6个月轴性症状发生率微型钛板组明显低于缝线组(P<0.05)。末次随访时椎板开门角度微型钛板组(35.2±6.2)°与缝线组(34.0±4.7)°比较差异无显著性意义(P>0.05)。提示颈椎后路单开门椎管扩大成形治疗脊髓型颈椎病,使用微钛板与传统缝线悬吊固定方法,均能获得较好的临床效果,但微型钛板固定法能减轻术后的轴性症状以及防止颈椎曲度丢失。

关节置换与关节镜下修复肩关节复发性前脱位伴重度骨缺损:3年随访对比

背景:随着外科技术、重建材料技术的发展,关节置换在肩关节脱位中也得到了广泛应用,特别是各种定制型或装配型假体使得置换适应证明显提高。目的:观察与随访关节镜与关节置换治疗肩关节复发性前脱位伴重度骨缺损的远期疗效。方法:纳入肩关节复发性前脱位伴重度骨缺损患者144例,根据随机抽签分为治疗组与对照组,每组72例。对照组行关节镜下内固定治疗,治疗组行关节置换治疗。通过电话调查与复诊完成3年随访,记录患者Neer肩关节功能评分、肩关节活动度及并发症发生情况。结果与结论:随访3年,治疗组的肩关节功能优良率90%明显高于对照组81%(P<0.05)。两组3年随访时的前屈上举幅度都明显提高,而体侧外旋幅度明显降低,组内对比差异有显著性意义(P<0.05);同时3年随访时治疗组的前屈上举与体侧外旋幅度与对照组相比差异有显著性意义(P<0.05)。治疗组随访期间的切口感染、肩关节脱位、固定物松动等并发症发生率明显低于对照组(P<0.05)。提示相对于关节镜下内固定治疗,关节置换修复肩关节复发性前脱位伴重度骨缺损在随访远期可明显改善肩关节功能及肩关节活动度,并发症少,从而有效重建肩关节。