可组合式堆肥发酵多层温度自适应监测系统设计与试验

堆肥发酵是农业废弃物基质化、肥料化利用的一个重要技术手段。在堆肥发酵过程中,温度影响着发酵堆的发酵速率、发酵质量,因此研究发酵堆内部的温度分布对于发酵堆的精准管控至关重要。但由于不同堆置方式的发酵堆体积、高度不同导致传统固定探针式传感器难以灵活、便捷地进行针对性测量,给农业废弃物发酵过程的精准管控带来极大不便。针对以上问题,设计了一种杆体模块化、可拼接的低功耗组合式多层温度监测系统。实现了基于CAN总线的检测模块自适应识别,基于JSON封装与关系数据库的配置信息同步与自适应匹配,以及系统现场端、服务器端、微信小程序端人机界面自适应生成。经过功能、功耗以及系统实际测试,结果表明,监测系统可以实现连续监测过程中实时数据监测、低功耗运行,具备良好的稳定性,并且实现了系统硬件、服务器端、微信小程序端的同步配置、信息显示等功能,满足废弃物堆肥发酵过程的温度多层长期监测需求。

基于多模块分层组合模型的CAE软件耦合方法

为了弥补复杂装备CAE软件缺乏开放式、可组合式系统架构的短板,提出了一种基于多模块分层组合模型的全链路CAE软件耦合方法。首先,基于离散事件系统规范(DEVS)中离散事件模型+有限状态机+连续时间模型的组合模式,构建CAE软件前处理、数值求解、后处理阶段的核心构件库。其次,采用多模块分层分级的组合模型,基于多智能体系统的事件触发驱动机制,实现全链路CAE核心软构件的自动化耦合。面向盾构/高铁应用场景的仿真结果表明,将CAE全生命周期链路进行构件化细分、自动化耦合,利于研究多因素耦合作用下的复杂装备产品设计。此外,多模块组合模型的架构支持CAE软件核心模块的灵活组合与独立部署,实现对CAE软件向云服务平台整合的支持。

可组合嵌入式软件建模与验证技术研究综述

可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.

可组合嵌入式软件建模与验证技术研究分析

可组合嵌入式软件是计算机构件得以开发的基础,对嵌入式构件的模型建立、组合形式、构件组合的相关机制进行分析和验证,能够在一定程度上促进嵌入式软件的发展,分别从组合操作和组合规则等方面进行不同的讨论,结合嵌入式构件的特征,分析嵌入式构件的非功能特征和异构特征,从而研究可组合嵌入式软件组合方法,从而对那些非功能特征进行分析,从而能够打破非功能特征的约束,从而能够使嵌入式软件的组合具有更好的兼容性。

一种可组合调节式胎架制造技术研究

介绍一种可组合调节式胎架，属于钢结构制造技术领域。该形式胎架主要由纵梁、横梁、立柱、模块等多种标准件组合而成，每个标准件之间通过工装螺栓连接。本形式胎架减少了材料的损耗，提高了材料重复利用率，降低成本的同时缩短了胎架制造时间以满足钢结构制造周期日趋缩短的市场要求。

SOA环境下系统事务模型的研究与设计

在SOA环境下,各Web服务协作完成一个业务功能。而这些服务通常会对各自的本地数据和共享数据进行读写操作。因此系统能否正确和可靠地保证事务完整性是衡量能否投入使用的标准之一。通过提出一种对系统设计人员和开发人员统一的事务建模方法,使得业务分析师在系统设计时可以对系统事务进行整体建模;在实现时,开发人员可以将此事务模型简单地映射到具体的SOA实现技术中去。

On the Dual Orlicz Mixed Volumes

In this paper,the authors define a harmonic Orlicz combination and a dual Orlicz mixed volume of star bodies,and then establish the dual Orlicz-Minkowski mixedvolume inequality and the dual Orlicz-Brunn-Minkowksi inequality.