一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

新兴水果──甜柿

新兴水果──甜柿省农科院园艺所郭青萌柿原产我国，甜柿是涩柿的一个自然变种。我国大别山区的罗田、麻城、商城、金寨还保留着大片的半野生状态的甜柿林区，这是宝贵的甜柿种质资源。甜柿的果实在成熟过程中自然脱涩，保存了果实成熟后的食用新鲜感，引起国内外行家的重...     

用木材造舰艇

美国海军决定构造的一种现代化新式大型海下探雷舰所用的原料竟是极为普通的木材。海军部门以无可辩驳的事实冰释了人们提出的疑窦。海下探雷舰需要的即是此类不受磁力影响的材料,而且在施工、加固、修理和保养方面操作简     

航天群雄逐鹿太空

中国:载人航天三步走 按照中国航天事业发展规划,中国载人航天计划分三步来实施,其中,第一步是发射无人和载人飞船,将航天员安全地送入近地轨道,进行对地观测和科学实验.第二步是继续突破载人航天的基本技术,并发射短期有人照料的空间实验室.     

圆弧拱形断面在巷道设计中的应用

圆弧拱形断面，近几年在我矿得到了广泛的应用，并取得比较好的效果。     

基于TAM模型的体育场馆预订系统再购 意愿影响因素研究

以科技接受模型(TAM)为基础,根据相关理论对模型进行修正,建立体育场馆预订系统再购意愿影响因素模型,探讨体育场馆预订系统再购意愿影响因素.采用问卷调查的方式进行材料的收集,以立意抽样的方法对体育场馆预订系统消费者进行调查.以SPSS进行资料处理,通过Amos对模型进行分析,探讨各影响因素之间的关系.结果显示:界面服务和服务落实对消费者认知有用性有正向影响且间接导致再购意愿;认知有用性并不能直接影响再购意愿,而是通过使用态度间接正向影响再购意愿;认知易用性通过认知有用性间接引致再购意愿.最后,根据结果提出建议,以期为相关研究和决策做出参考,为运动资源整合有所帮助.     

沟谷地形对高填方盖板涵受力及填土沉降特性的影响

为探明山区沟谷地形对高填方盖板涵受力特性和填土沉降变形特性的影响,通过离心模型试验,选用自主研发的能够反映地形-涵洞-填土相互作用的模型试验平台,分析了不同沟谷宽度B和不同沟谷坡度α下盖板涵的涵-土界面土压力、涵顶填土沉降变形、涵洞结构内力以及涵顶垂直土压力集中系数K_s的变化特征,并提出了相关的工程技术建议。研究结果表明:涵-土界面土压力、涵顶垂直土压力集中系数K_s与沟谷宽度呈正相关,与沟谷坡度呈负相关;盖板涵涵顶土体沉降变形呈W形分布,随沟谷宽度的增大,涵顶土体内外沉降差δ逐渐增大;随沟谷坡度的增大,涵顶土体内外沉降差变化为δ→0→-δ;沟谷宽度为1.5D～5D时(D为涵洞计算跨径),对应等沉面高度变化范围为12.2～13.7 m;沟谷坡度为0°～60°时,对应等沉面高度变化范围为12.5～13.7 m,提出可用等沉面高度界定高填方涵洞,可取14 m作为其界定高度;盖板涵盖板下缘、涵底上缘中部受拉应力,盖板下缘为盖板涵结构受力最不利位置;高填方盖板涵施工时应充分利用原有地形,在确保边坡稳定的前提下,尽量保留边坡,或人为反开挖施工,增加沟坡、减小沟宽,坡体以沟谷宽度B≤3D、沟谷坡度α≥45°为宜。     

深度学习源代码缺陷检测方法

针对由于传统的源代码缺陷分析技术依赖于分析人员的对安全问题的认识以及长期经验积累造成的缺陷检测误报率、漏报率较高的问题,提出了一种深度学习算法源代码缺陷检测方法.该方法根据深度学习算法,利用程序源代码的抽象语法树、数据流特征,通过训练源代码缺陷分类器完成源代码缺陷检测工作.其依据的关键理论是应用深度学习算法及自然语言处理中的词嵌套算法学习源代码抽象语法树和数据流中蕴含的深层次语义特征和语法特征,提出了应用于源代码缺陷检测的深度学习一般框架.使用公开数据集SARD对提出的方法进行验证,研究结果表明该方法在代码缺陷检测的准确率、召回率、误报率和漏报率方面均优于现有的检测方法.      

基于卷积神经网络的病理细胞核分割

针对病理图像中细胞核的精准分割问题,结合全卷积网络框架和高分辨率网络框架的特点,提出一种卷积网络对细胞核进行自动精准地分割;基于稀疏非负矩阵分解的方法将具有严重颜色分布差异的病理图像进行颜色分布归一化,以归一化后的图像为输入,利用所提出的卷积网络对细胞核进行分割;该网络通过减少下采样算子的使用,使图像信息在前向计算过程中不会过分丢失,并使用扩张卷积扩大深层神经元的局部感受野尺度大小;所采用的分割方案在2017年MICCAI病理数字图像分割数据集中达到0. 848的平均dice分数;实验表明,融合全卷积网络框架和高分辨率网络框架的卷积网络在病理图像中实现了细胞核自动精准的分割,可以有效减轻影像医师的工作负担。