3种主流现代解剖学本体的器官表征特点对比分析研究

目的/意义分析解剖学本体的器官表征特点,为其他领域本体的研究和构建提供参考。方法/过程对比医学系统命名法——临床术语标准(SCT)、跨物种解剖本体Uberon、解剖学基础模型本体(FMA)3种解剖学本体在器官分类方法、术语映射等方面的异同。结果/结论 SCT与Uberon主要依据器官功能分类,FMA主要依据器官解剖形态分类;FMA和Uberon中器官的概念与SCT中整体器官的概念相同,三者成对器官的表征形式较相近。

SCT型非金属除铁磁选机在石英砂除铁中的应用

通过除铁探索试验及在安徽凤阳地区某石英砂加工厂的应用实践,SCT型非金属除铁磁选机完全适用于非金属矿的除铁工作。该磁选机长时间运转槽体不淤积、不堵矿,并在工业试验取得明显成效,可将原矿中铁含量从0.11%降低到0.02%,石英砂精矿含铁量较普通磁选机降低0.03%,满足客户指标要求。

煤粉燃烧SCT模型氧气可达比表面积的实验研究

本文针对煤粉燃烧SCT模型中的氧气可达比表面积,进行了不同煤种的TG实验和N_2/BET比表面积的测试,研究了煤粉燃烧过程中不同温度下比表面积在不同孔径下与燃尽度和燃烧速率的相关性,研究表明:煤粉在燃烧过程中的平均孔径大于3～11 nm时,该孔径以上的累积比表面积与燃尽度有很好的相关性;高阶煤的氧气可达比表面积在反应过程中逐渐增加,而低阶煤的氧气可达比表面积在反应过程中的变化不是很显著;通过大量的实验说明,不是所有的比表面积在反应过程中都发挥作用,而氧气可达比表面积可以很好地反映燃烧速率的变化。

基于SCT和IS-ECM整合的装备制造企业信息系统持续使用研究

通过文献综述和理论分析,基于SCT理论和IS-ECM模型得到装备制造企业信息系统持续使用理论模型。该模型分析出个人创新能力,组织的信息系统环境以及计算机自我效能感等外生因素对满意度和持续使用意图的影响,识别出企业信息系统持续使用的主要影响因素,并确立了因素之间的关系,为进一步实证研究奠定基础。

基于SCT和TAM的三网融合业务采纳态度模型

立足于IPTV、互动电视、移动电视三网融合消费者行为意愿相关理论,以社会认知理论和技术接受模型为基础,提出了三网融合消费者采纳态度模型,包含感知有用性、感知易用性、感知风险、使用习惯、个人创新性、社会影响因素6个影响因子。采用问卷调研的方式并通过smart PLS进行整体模型验证。实验结果表明,感知易用性和社会影响因素对消费者的态度有显著正向影响,而其余因素对消费者的态度影响并不显著。

新的“S-蛇形”机动目标模型及跟踪方法研究

为了解决三维空间蛇形机动目标跟踪算法中模型失配的问题,提出了新的"S-蛇形"机动目标模型。该模型基于研究分析了平面内原始机动转弯模型,考虑目标在垂直方向做简单的匀速直线运动,对二维机动转弯模型进行了三维补维,但经仿真分析发现,此模型在机动变轨处出现"折返"现象,为了克服此缺点,又对该模型的状态转移矩阵进行了修正,提出了一种新的"S-蛇形"机动目标模型,该模型能够很好地匹配蛇形机动目标真实运动轨迹。最后在扩展卡尔曼滤波算法(EKF)中应用该模型,对真实蛇形机动目标进行滤波跟踪,通过Monte-Carlo仿真,结果验证了此算法跟踪精度高,也进一步证明了改进模型的合理性和实用性,并已经初步应用于某新型武器装备跟踪系统调试中。

基于简单碰撞理论煤粉燃烧动力学模型的研究——PART Ⅰ:理论建模与热重实验

本文根据反应动力学的简单碰撞理论(SCT),建立了气固两相反应通用模型,进一步研究了煤焦燃烧和燃尽的统一动力学模型;粉煤悬浮燃烧时挥发分的析出模型也可包含在该模型中;该模型充分考虑了粉煤在热天平中与在炉内燃烧条件下氧气浓度和氧气可达比表面积变化规律的差异,并给出了计算活化能函数和氧气可达比表面积的新方法,可提高利用热天平获取的动力学参数对炉内煤粉燃烧速率预报的准确性。通过热重分析和已经报道的试验数据对模型的合理性进行了检验。

煤粉加压燃烧过程中氧气可达比表面积的实验研究

针对煤粉燃烧SCT模型中的氧气可达比表面积,进行了不同煤种的加压热重分析(PTGA)和不同燃尽度下煤焦N_2/BET比表面积的测试,研究表明:煤粉加压燃烧过程中,当平均孔径大于2 nm时,累积比表面积和氧气可达比表面积均随燃尽度的增加而增加,说明该孔径以上的比表面积与燃尽度有很好的相关性;常压下TGA中不同燃尽度下煤焦氧气可达比表面积是PTGA下的1.5～2倍,这部分说明了加压反应速率不可能与压力等倍数增加。

命令式程序终止性验证方法综述

作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比。总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架。

P-数据模型与数据的智能获取

文中首次提出具有动态特征的P-数据(Packet data)模型。P-数据模型通过改进P-集合(Packet sets)模型而得到,其由内P-数据(internal Packet data)与外P-数据(outer Packet data)共同构成。给出了P-数据模型与模型结构,得到了P-数据模型与它的属性合取范式扩展-萎缩生成定理,进而得到了P-数据推理(Packet data reasoning)模型与数据的智能获取定理;最后利用这些概念和结果,给出内P-数据智能获取与风险数据估计的应用。

基于EFI驱动-协议模型的自我认证测试系统

可扩展固件接口(EFI)规范为操作系统与平台固件之间的接口定义了一个崭新的模型。它们为启动一个操作系统与执行启动前程序提供了一个标准环境。可扩展固件接口的自我认证测试系统(SCT)利用EFI的驱动-协议模型通过统一的测试协议管理测试用例集合,用于验证一个EFI的实现是否符合EFI1.1规范,并且实现了EFI测试的可扩展性和可移植性。该文介绍了EFI自我认证测试系统的原理,框架和流程。

“互联网+”对产业升级的促进机制研究——基于SCP模型

中国已成为世界第二大经济体,但产业发展质量依然不高,产业升级需求越来越迫切。互联网可以减少信息不对称,加速信息流转,提高社会连通度,为中国产业升级提供了难得的战略机遇。本研究在产业经济学SCP(结构-行为-绩效)模型基础上建立了“互联网+”促进产业升级的理论模型。“互联网+”可通过改变市场行为和市场结构来提升市场绩效,三者相互作用,逐步优化,从而实现产业转型升级。“互联网+”还可提升政府服务水平,优化政府监管职能,间接促进产业升级。作为我国最早与互联网融合的产业之一,打车产业的发展进化过程是“互联网+”促进产业升级的经典样本。基于该产业的研究,本文为企业和政府如何利用“互联网+”促进产业升级提出了针对性对策与建议。

基于直觉模糊时变时间序列的预测方法

提出了一个基于时变的直觉模糊时间序列预测模型,这个模型利用直觉模糊集理论来对一些观察值是语言值的时间序列问题进行预测。该模型通过建立直觉模糊转移关系,实现动态过程问题的处理。把提出的模型应用到广西大学的学生招生数的预测。通过与现有的方法进行比较来说明本文所给出方法的优越性。

基于单分散氟化物纳米晶的成核生长模型

在纳米介观尺度范围内实现对材料尺寸与形貌的调控,是纳米材料合成、制备、功能化及其应用的关键,对认识并解纳米晶的成核与生长规律具有重要意义.基于单分散氟化物纳米晶合成提出的扩散控制动力学模型(DCK,diffusion-controlled kinetic)和表面化学热力学模型(SCT,surface chemical thermodynamics)旨在探讨纳米晶的成核与生长规律.本文围绕纳米晶的成核、生长机理,在综述前人工作的基础上,归纳和总结了上述模型,有望对纳米晶的可控合成提供理论指导与借鉴.