摘要：在作业成本法的基础上,分析了该理论在制造企业成本信息系统设计中的作用。详细介绍了如何利用成本动因构建系统模型,指导用户建立成本信息系统体系,构建成本预测模型以及进行成本性态分析,并阐明了该系统的实现方案。

摘要：现有的Wasserstein distance在迁移学习中已经取得了巨大的成功,然而,以往方法对Lipschitz约束实施方式不好。为了克服这一问题,提出一种能够学习领域自适应能力的新方法,即谱归一化Wasserstein distance迁移网络(spectral normalization Wasserstein distance transfer network,SNWDTN)。该方法首先求出权值矩阵的谱范数,然后利用谱范数再对权值矩阵进行谱归一化处理,以设计出能够满足Lipschitz约束条件的谱归一化层,从而为Wasserstein distance的使用提供更好的约束条件满足。通过公共数据集的实验结果表明,SNWDTN取得了比以往方法更好的效果。

摘要：针对“单片机原理及应用”课程教学过程存在的知识抽象、逻辑难理解、理论多实践少等问题,文章提出基于遥控车的“单片机原理及应用”教学方案。首先,针对该课程设计了一套遥控车,课程教学过程中学生需要焊接遥控车主控板并组装遥控车;其次,将“单片机原理及应用”课程知识点与遥控车的资源相结合,学生一边学习理论知识一边利用遥控车资源进行验证。该教学方法具有提升学生动手实践能力、理论与实践相结合、增强学生思维拓展能力的优势,符合应用型本科院校对学生的培养方针,有利于高校培养出更多具有社会竞争力的应用型技术人才。

摘要：为提高井下带式输送机人工巡检的安全性,减少人工巡检工作量,实现输送机巡检的安全高效,研究了矿用井下轨道式智能巡检机器人组成及系统设计,分析了智能巡检机器人功能及优点,并在平煤股份十矿投入使用。应用实践表明,智能巡检机器人的应用改变了传统的人工巡检方式,智能化的巡检方式弥补了人工巡检存在的不足,提高了生产效率和设备运行可靠性,提升了矿井智能化水平。

摘要：我们开发了一种模场直径在9.2μm(1310nm)附近,并且满足ITU-T G.657 A1标准的低宏弯损耗性能的200μm涂层直径光纤。这种光纤的折射率剖面简单,包括芯层、下陷内包层和外包层,特别适合大规模生产。经试验证实,这种光纤具有良好的熔接特性和微弯曲损耗,特别适合用于色环光纤和并带光纤。

摘要：实验研究了不同条件下减阻杆对分离器分离效率及压降的影响。研究结果表明,在旋流板式气液分离器内安装减阻杆可以在不减小分离效率的前提下降低阻力,减阻幅度的大小与减阻杆的轴向长度、径向位置和分离器内的空速有关;减阻杆对于分离效率的影响在实验范围内很小。研究结果可为分离器的优化设计提供建设性指导。

摘要：安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方法,该方法采用组合验证与模型转换相结合的方法完成对该系统的验证与分析.首先,使用体系结构分析与设计语言AADL对火箭发射控制子系统进行层次化构造系统的体系结构模型,将系统各个层次的组件需求形式化为组件契约,然后通过组合验证确保系统体系结构的正确性;其次,提出了AADL2UPPAAL的模型转换方法,然后基于UPPAAL对该模型中组件的功能行为进行验证与分析,确保组件的功能行为的正确性;最后,实现了AADL模型验证原型工具,支持基于AGREE的体系结构模型的组合验证和支持基于UPPAAL的组件功能行为验证,通过对火箭发射控制子系统案例的验证和分析表明本文所提方法的有效性与局限性.

摘要：自美国于1997年首次提出"网络中心战"理论以来,受到了各海军大国的普遍重视。在未来的海战中,将面临着由传统的以舰艇为主体的"平台中心战"向以信息为基础的"网络中心战"的转变。但是,在舰艇使命与角色的换位中,并没有降低对舰艇设计的要求。本文从这两方面的关系上,初步探讨了"网络中心战"与舰艇总体设计之间的相互推动与促进关系。.

摘要：同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,已有同步语言代码生成方法还较少考虑多线程代码生成的语义保持证明.因此,本文提出一种同步语言SIGNAL多线程代码生成的语义保持证明方法:首先形式化定义编译过程中源、目标、中间语言的结构化操作语义;其次形式化定义多线程代码生成过程;最后基于互模拟等价思想证明编译前后的语义一致性.