近距离煤层上行开采技术研究与应用

针对翟镇煤矿实际情况,研究围绕覆岩运动与应力分布,进行工程地质调查分析,在全面论证分析的基础上,通过研究和应用上行开采,掌握上行开采的基本原则和主要技术问题,使开采设计方法与时空参数、安全技术措施科学合理,满足工程设计需要,为以后上行开采积累数据和经验。     

基于全局自注意力的小麦图像识别

在实际应用场景下,通过图像识别的方式来识别小麦的病虫害具有极大的挑战性。与以往纯粹基于卷积神经网络（Convolutional Neural Network, CNN）的方法相比,将小麦图像转换成一系列视觉语言,并从全局视角进行小麦识别的方法是更可行和实用的。运用Convolutional Visual Transformers（CVT）来解决小麦识别分为2个环节。首先,利用2分支CNN生成的2种特征图来实现注意选择性融合(Attentional Selective Fusion, ASF)。ASF通过融合多个特征和全局-局部注意力来获取有区别的信息,并投射成一系列的视觉语言。其次,受Transformers在自然语言处理方面的成功启发,用全局自注意力来建模这些视觉语言之间的关系。将CVT与经典分类网络LeNet-5、ResNet-18、VGG-16、EfficientNet对比,识别率有所提升,同时该方法具有良好的泛化能力。     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

焊接与切割设备的使用和维修(七十八)——烘干箱、变位机、操作机的使用与维修

针对维修难度较大的自控远红外焊条烘干箱,简单介绍了其结构和工作原理.并以ZYH-100型、DH-60型、YHX-80型3种烘干箱为例,整理出电路原理图,并介绍了工作程序以及常出现的故障和排除方法.     

模电教学中工程观念的培养

"模拟电子线路"课程是工科本科电子信息类专业的一门重要的专业基础课程.本文以集成运放电路在压力检测中的应用为例,探讨了模拟电子线路课程教学中如何将理论联系实际、如何培养工程观念、如何将基本理论与工程应用相结合等问题.通过课程教案示例,阐述了工程观念的培养在教学实践中的具体做法.     

超声键合变频式超声波发生器设计

用于超声键合工艺的超声波发生器是引线键合封装设备中的主要装置,其作用是驱动换能器并使其处于谐振工作状态,多工作频率点是未来换能器发展的一个重要方向。因为传统超声波发生器不具备多频段频率跟踪功能,所以构建了一种变频式超声波发生器,它可动态适应不同特性的换能器,具有通用、应用面广等特性。变频式超声波发生器基于嵌入式系统,采用快捷准确的直接数字频率合成(DDS)及锁相环(PLL)反馈方案,实现了自动查找换能器各谐振频率以及频率自动跟踪的功能。实践证明,变频式超声波发生器可驱动各种不同谐振频率的引线键合超声波换能器,并达到换能系统工作时的快速锁相和准确锁频要求。     

SVD based scale transform invariant observable degree for LTI system

Dear editor, The basic concept of observability is used to express the possibility to recover the state from measurements in modern control theory [1-3].It is a...     

使用荷载传递法分析抗拔桩的位移

研究了抗拔桩的桩侧极限摩阻力的确定方法,并且根据荷栽传递理论,提出了一个计算抗拔桩位移的十分有效的迭代算法.通过与实际工程中试桩的试验结果进行对比,结果表明该方法预测的桩顶位移与实测结果是非常吻合的.     

时效工艺对6008铝合金型材组织与性能影响

研究了不同时效工艺对6008铝合金挤压型材组织与性能的影响。结果表明：随时效时间的延长,型材强度先迅速增加后缓慢降低,断后伸长率先降低后趋于平稳,最佳时效工艺为175℃×8 h和200℃×3 h,屈服强度分别达到288 MPa和273 MPa,抗拉强度则分别达到304 MPa和287 MPa。随着时效时间的延长,时效析出相先快速增多后增速减缓,强度增加;随着时效过程的进行,析出相逐渐向β″相转变,此时析出相呈现包晶状态,力学性能达到最大值;继续延长时效时间,发生过时效,析出相发生粗化,力学性能下降。