摘要：基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.

摘要：在分析软件构件的基础上,设计一种在小型领域中通用的基于PDA信息管理系统类软件的构件开发的方法。

摘要：目的：设计一套能构建内壁直径为2mm的组织工程小血管的生物反应器。方法：根据计算流体力学原理和方法对组织工程小血管托架材料进行分析，设计一套用于培养2mm小血管的生物反应器。采用压注成型技术制作了小血管的托架。结果：确定了硅胶管的尺寸结构并获得了成型产品，设计完成了培养室内相应的辅助结构，使整个反应器系统能够对PGA-细胞材料复合物进行动态培养。结论：小血管托架的流体力学仿真分析是合理的，在此基础上构建的血管生物反应器性能稳定、可靠。

摘要：目的根据流体力学的分析改进支撑PGA-细胞材料复合物的硅胶管,设计一种应用于体外培养组织工程血管的生物反应器。方法利用计算机仿真分析的方法对硅胶管内腔的压力场进行仿真计算,通过计算分析确定硅胶管的结构,进而开发一种新型血管生物反应器。结果确定了硅胶管的尺寸结构以及培养室内相应的辅助结构,使整个反应器系统能够对PGA-细胞材料复合物进行动态培养。结论改进后的硅胶管结构合理,整个血管生物反应器系统运行稳定。

摘要：目的探讨使用EDDA软件设计三维气管血管成像导航单孔胸腔镜联合吲哚菁绿荧光法在解剖性肺段切除术中处理段间交界面,并与目前临床较常用的改良膨胀萎陷法相比较,评价其可行性与优势。方法回顾性分析2018年4月至2019年5月在南京胸科医院胸外科进行荧光法单孔胸腔镜解剖性肺段切除术100例患者(荧光法组)的临床资料,其中男性43例,女性57例,年龄23~78岁;另选取同期行改良膨胀萎陷法单孔胸腔镜解剖性肺段切除术患者100例,作为改良膨胀萎陷法组,其中男性48例,女性52例,年龄38~76岁。术前将所有患者的CT扫描数据导入三维智能交互式定性和定量分析(IQQA-3D)图像分析系统,对结节位置进行识别,并对支气管、动脉、静脉等肺部结构进行三维重建,模拟肺段切除所涉及的靶段支气管、动脉和静脉,并确定保留的段间静脉及虚拟的段间交界面。荧光法组患者术中离断靶段肺血管和支气管后,外周静脉注射吲哚菁绿,随后打开PINPOINT荧光胸腔镜的荧光模式,显示明显段间交界面后用电凝烧灼标记。改良膨胀萎陷法组则在精准离断靶段结构后,重新使全肺完全复张,而后恢复健侧单肺通气,随着时间的推移形成一清晰的分界线并予以电凝烧灼标记。记录两组患者的临床资料,对比分析早期临床结果。结果荧光法组除6例右上肺尖段的交界面相对较模糊外,94%(94/100)均可显示清晰的段间交界面,持续时间(179.75±48.81)s,足以完成交界面的标记;与改良膨胀萎陷法组相比,段间交界面清晰出现时间明显提早[(23.59±4.47)s vs(1 026.80±318.34)s,P0.05),且均无术后30 d死亡,荧光法组无吲哚菁绿注射相关并发症。结论荧光法除右上肺尖段交界面显示模糊外,所有肺段的交界面均可以快速、准确、清晰地显示,可为单孔胸腔镜解剖性肺段切除术提供安全可靠的技术保障,相比改良膨胀萎陷法可以达到同样的肿瘤学要求,并明显缩短手术时间,更符合快速康复理念要求,有一定的临床应用价值。