机车运输调度系统的HCPN模型及性能测量方法

机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。     

通用电子对抗干扰吊舱关键技术研究

通用电子对抗干扰吊舱（主要是雷达对抗和通信对抗）是一种重要的空中电子对抗装备,它将以其装载平台的机动、灵活、快速及地面或水面装备所无法替代的宽广的空域作战范围而受到越来越多的军事专家的关注,而软件无线电技术及雷达／通信的射频综合一体化又为吊舱的多功能、小型化以及通用性创造了综合的可行性。提出了一种通用电子干扰吊舱的总体设想,并对其作战模式、工作原理及关键技术进行了分析。     

抗性糊精对急性溃疡性结肠炎小鼠的保护作用

抗性糊精(resistant dextrin, RD)可调节肠道健康,对溃疡性结肠炎(ulcerative colitis, UC)影响较大。该研究探讨了RD对葡聚糖硫酸钠(dextran sulfate sodium, DSS)诱导的急性UC小鼠的保护作用。雄性7周龄C57BL/6 J小鼠随机分为3组,分别为对照组(饮无菌水,10 mL/kg生理盐水灌胃)、模型组(饮3%DSS水,10 mL/kg生理盐水灌胃)和抗性糊精组(饮3%DSS水,3.25 g/kg RD灌胃),持续7 d,记录小鼠体重、疾病活动指数(disease activity index, DAI)评分;检测小鼠结肠组织病理、血清炎症因子、结肠黏蛋白2(mucin 2, MUC2)、紧密连接蛋白表达和肠道菌群改变。与模型组相比,抗性糊精可显著逆转UC小鼠体重降低、DAI评分升高、结肠缩短、脾脏肿大、血清炎症因子浓度升高和结肠组织炎性浸润(P<0.05),可部分恢复肠道屏障完整性;抗性糊精可降低急性UC小鼠肠道Turicibacter、Oscillospira和Akkermansia菌属的丰度,升高Lactoba...     

基于多隐层Gibbs采样的深度信念网络训练方法

深度信念网络（Deep belief network，DBN）作为一类非常重要的概率生成模型，在多个领域都有着广泛的用途.现有深度信念网的训练分为两个阶段，首先是对受限玻尔兹曼机（Restricted Boltzmann machine，RBM）层自底向上逐层进行的贪婪预训练，使得每层的重构误差最小，这个阶段是无监督的；随后再对整体的权值使用有监督的反向传播方法进行精调.本文提出了一种新的DBN训练方法，通过多隐层的Gibbs采样，将局部RBM层组合，并在原有的逐层预训练和整体精调之间进行额外的预训练，有效地提高了DBN的精度.本文同时比较了多种隐层的组合方式，在MNIST和ShapeSet以及Cifar10数据集上的实验表明，使用两两嵌套组合方式比传统的方法错误率更低.新的训练方法可以在更少的神经元上获得比以往的训练方法更好的准确度，有着更高的算法效率.     

玉米抗性淀粉研究进展

以玉米为原料的抗性淀粉具有来源广泛,制备简单、在食品当中稳定性好的特点。围绕着玉米抗性淀粉的制备方法、结构分析、理化指标、功能性及应用等内容,对国内外的玉米抗性淀粉的相关研究进行综述,同时对玉米抗性淀粉未来的应用进行展望。     

基于阻抗匹配的超声手术刀频率跟踪方法研究

随着科技的发展,超声手术刀在医疗上的运用越来越广泛。在实际应用中,为了让超声手术刀的换能器能尽可能高效率地将电能转换成机械能,利用并联阻抗匹配实现了超声手术刀的阻抗匹配,让超声手术刀的换能器呈现纯阻抗,从而使换能器的输出功率最大,并且减少了换能器的发热,延长了使用寿命。另外超声手术刀的换能器在使用过程中,换能器的各项参数会随着温度以及环境等发生改变,因此设计了一种针对换能器的谐振频率进行变频的频率跟踪方法,通过对电流和电压的相位差进行跟踪,然后送入到FPGA进行运算,得到一个相位差,当相位发生偏差的时候,则采用一个变频公式调整输出频率,从而达到频率跟踪的效果。通过实际验证,所设计的超声手术刀阻抗匹配和频率跟踪方法可以很好地实现在不同负载下的频率自动跟踪,并且运行可靠。     

结合多尺度条件生成对抗网络的井下轨道检测

目的 传统的轨道检测算法受环境干扰因素大导致检测效率低,基于卷积神经网络（CNN）算法的轨道检测结果缺乏对于对象的细腻、独特刻画且过多依赖可视化后处理技术,因此本文提出一种结合多尺度信息的条件生成对抗网络（CGAN）轨道线检测算法。方法 在生成器网络中采用多粒度结构将生成器分解为全局和局部两个部分;在判别器网络中采用多尺度共享卷积结构,进一步监督生成器的训练;引入蒙特卡罗搜索技术通过对生成器的中间状态进行搜索,并将结果再送入到判别器中进行对比。结果 在井下巷道场景测试集中,本文方法取得了82.43%像素精度和0.621 8的平均交并比,并且对轨道的检测可以达到95.01%的准确率;与现有的语义分割的算法相比,表现出了优越性。结论 本文方法能够有效应用于井下复杂环境,一定程度上解决了传统的图像处理算法和卷积神经网络算法存在的问题,从而有效服务于井下自动驾驶。     

天津某工程项目取用地热水的合理性分析

为保证地下水资源的可持续利用,建设项目取用地下水必须遵循合理开发利用原则。天津市地下热水资源供暖利用广泛,以某建设项目为例,计算分析项目取用地热水的合理性,为相关水资源管理工作提供技术支持。     

基于Android的智能家居程序开发与研究

Android手机应用程序开发需要着眼于它的整个体系构架,文中介绍了Google新近推出的移动设备软件平台Android的基本构成和层次结构,同时给出以EXPLORERF-CC2530系统为基础平台的智能家居终端应用程序的开发方法。