工作流事务处理的应用解决方案

对事务处理模型做了简要的介绍,着重讨论了高级事务模型——ConTracts,并提出了一套工作流事务处理的应用解决方案．     

安徽省产业结构优化对全要素生产率的影响——基于非空间面板与空间面板模型的实证分析

基于2000～2018年安徽省地级市的面板数据,从产业结构合理化和高级化的角度测度产业结构,运用随机前沿法测度全要素生产率,基于面板模型讨论产业结构优化对全要素生产率产生的影响.研究结果表明,产业结构优化促进全要素生产率的发展,同时会产生空间效应,有效促进当地及周边城市的经济发展,产业结构高级化对全要素生产率的积极效用...     

热镀5%铝-锌钢板在青岛不同海水区带的腐蚀行为

开展了热镀5%铝-锌钢板在青岛不同海水区带的实海腐蚀测试,并利用电化学测试、失重腐蚀测试和扫描电镜首次研究了镀层的海水腐蚀行为.结果表明,由于腐蚀电流密度小,腐蚀产物具有保护性,镀层在全浸区表现出较好的耐蚀性能;镀层在潮差区出现不同程度的生物污损,而比较充分的充气条件又促进了镀层的氧化,其腐蚀速度比全浸区明显降低;镀层在飞溅区未出现生物污损,耐蚀性能最好,可能与良好的充气条件和腐蚀产物层的阻挡作用有关.镀层在飞溅区和潮差区的耐蚀性比全浸区分别提高197%和183%;但在全浸区和潮差区,镀层有局部腐蚀倾向.     

压缩天然气和氢气作为点燃式发动机替代燃料的对比研究

本文介绍了点燃式发动机的两种替代燃料(压缩天然气、氢气)的物化特性,分析了二者在点燃式发动机中的常见应用,最后从使用性能和全生命周期角度比较了二者在发动机中应用的优劣。     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

荆门探区深层页岩储层孔喉特征

深层页岩气是页岩气勘探开发的重要接替领域,页岩气储层研究是页岩气勘探与开发的理论基础.为深入认识荆门深层页岩气储层孔喉特征,选取YT1井五峰组-龙马溪组一段页岩为研究对象,采用氩离子抛光、聚焦离子束扫描电镜和CO2-N2联测孔径的方法,获得微孔、介孔和宏孔的页岩全孔径表征,明确深层页岩孔喉特征及主控因素.结果表明:研究...     

HourglassNet:一种用于遥感目标检测的改进FCOS算法

针对遥感图像中背景复杂、目标分布密集、目标尺度形态多样等问题,该文在单阶段全卷积(FCOS)目标检测模型的基础上,基于沙漏特征金字塔并且与多尺度上下文场景结合,提出了沙漏网(HourglassNet)。针对卷积神经网络(CNN)中不同深度语义信息和空间信息不均衡的问题,提出了一种沙漏特征金字塔,通过将多尺度特征缩放至中间尺度进行融合和优化以获得全局特征。基于注意力机制将全局特征向不同尺度特征传递,在抑制无关特征的同时增强了有效特征,实现了对多尺度特征的补偿。为了将高层特征的语义信息更加充分地融入不同尺寸的特征图内,设计了多尺度上下文融合模块。利用适当的感受野提取高层特征的上下文信息,提升了特征的鲁棒性和辨识性。分别在DOTA v1.5和NWPU VHR-10公开遥感图像数据集上进行了性能对比与消融实验。结果表明,该文算法的均值平均精度(mAP)相比于FCOS在DOTA v1.5和NWPU VHR-10数据集上分别提升了4.3%和3.4%,且检测性能优于YOLOv3等其它对比方法。     

单细胞测序技术及其应用综述

单细胞测序（Single Cell Sequencing,SCS）是下一代测序（Next Generation Sequencing,NGS）方法,主要用于分析细胞之间遗传和蛋白质信息的差异,获取单细胞水平的基因组序列信息,并更好地了解它们在微环境中的具体作用.介绍了SCS的原理和步骤,详细阐述了其单细胞分离方法、核酸扩增和高通量测序类型以及数据分析流程,为理解和设计合适的SCS项目方案并进行数据分析提供了参考.总结了单细胞测序在早期胚胎学、免疫学、肿瘤学、微生物学、神经生物学和干细胞研究等领域的应用并进行展望,有助于更全面地了解SCS的应用情况与发展趋势.     

脑死亡标准辨析——基于个人同一性理论的考察

流行的死亡标准是全脑死亡标准和脑干死亡标准。然而随着脑科学的发展,全脑死亡标准和脑干死亡标准已不足以说明死亡的含义。通过分析流行的死亡标准可以看到,无论在理论还是实践上,全脑死亡标准和脑干死亡标准都面临着根本的困难。基于个人同一性的理论视角,脑半球死亡与新皮层死亡是可以得到合理哲学辩护的死亡标准。     

关于δ-Pinching流形中具有平行第二基本形式的子流形

研究了δ-Pinching流形中具有平行第二基本形式的子流形,获得了这类子流形的第二基本形式模长平方的一个拼挤定理。