摘要：由于血管成像设备的限制和血管本身形态结构的复杂性,使得血管分割成为一个难题。针对CT肝脏血管图像的特征,设计一种将Hessian矩阵多尺度滤波、形态学和三维区域生长相结合的方法,实现血管分割。首先,使用灰度变换突出目标区域,利用基于Hessian矩阵的多尺度滤波方法对血管进行增强;其次,对增强后的血管图像进行闭运算,并进行三维区域生长;最后,利用膨胀运算将血管的弱连接进行连接。实验表明该方法具有一定的可行性和有效性,能够很好地实现血管的分割,所产生的血管连续光滑,很适合作为三维重建的数据集。

摘要：往复式活塞压缩机动力、热力计算是压缩机设计中最基本的，又是最重要的一项计算工作，但工程计算量大。本文主要研究目前通用的压缩机的热力和动力计算数学模型，并根据相应的数学模型编制了软件，效果较好。

摘要：SOA是一种将信息管理系统模块化为服务的架构风格,可简单地通过服务重新编排组合来灵活应对业务流程上的不断变化,从而为企业信息化的深入开展提供了强有力的保障。该文利用SOA思想,设计了基于SOA的企业供应链平台架构,实现了该平台的主要功能服务;在实际的应用中,降低了供应链成本,提升了供应链服务水平,取得了良好的经济效益。

摘要：针对目前无线射频识别RFID(Radio Frequency Identification)技术在仓储管理应用推广中的局限性,提出了采用图像技术实现仓库货物检测与计量。设计了一种三层结构的图像中间件模式,对其各组成部分的构成与作用做了详细说明。通过所集成的仓储管理系统在某石化公司的现场测试,对图像中间件的准确性、高效性与可扩展性进行了验证。

摘要：针对单步交互的系统,基于MVC(Model View Controller)和command模式设计系统结构,对交互命令及其参数进行封装;按照最后输入参数优先的原则实现用户选择和捕捉后,根据用户输入的参数预测候选命令集的交互方式;按照任务一致性原则根据用户以前的操作模式预测其当前行为;通过命令信息的保存和恢复,实现Undo,Redo及操作回放等功能.通过该方法实现的交互设计在虚拟施工软件中取得良好的效果.

摘要：首先简要地分析SaaS(Software as a Service)模式的特点,在此基础上,提出基于SaaS模式、包含运营管理和服务管理等模块的公共服务平台。然后论述平台的功能和使用流程,实现平台的概要设计,并在综合考虑元数据配置、多租户数据模型、安全模型等多方面因素后,给出一种初步实现SaaS模式公共服务平台的方法。

摘要：形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。运用此技术和模型检测器SPIN找到了两种针对TMN协议的攻击,证明了此方法的实用性,可方便地用于其它网络安全协议验证。

摘要：在3D CT影像分析上应用深度学习技术时,通常需要采用交互标注工具标注一组训练数据.针对3D CT影像一般包含数量较多的切片,医学影像交互标注工作量非常巨大且标注成本非常高的问题,提出一种面向3DCT影像数据交互标注的无监督推荐标注算法,通过构造稠密深度自动编码器DCDAE (densely-connected deep auto encoder)提取3D影像的高层特征,同时采用密度-谱聚类来筛选最具标注价值的影像,从而极大减少需要标注的数据量.算法提出了全自动的推荐标注流程,在提取图像特征时采用稠密连接结构改进DCDAE,减少了参数量并使得提取的特征更有区分度,同时对特征采用密度-谱聚类算法进行孤立点鉴别,并依据相关性矩阵自适应调整聚类个数;在肺结节语义分割任务上采用LIDC-IDRI数据集对算法进行了实验.

摘要：FSPcad系统是一个计算、图形显示及绘图的完整系统,由数据预处理、静动力分析、前后图形处理、钢筋配置、独立基础计算和绘图等8个子系统组成。该系统的研制过程,按照土建专业有关设计规范,遵循软件工程的要求,采用内部文件传输,人机交互等技巧,用C语言编程,经多家用户近百个工程的应用,认为这个系统在微机上是工程化。