联合收获机轻量级数字孪生系统构建方法研究

针对现有农机装备数字孪生系统开发难度大、配置要求高以及资源占用过高的问题,提出基于轻量级网络的联合收获机数字孪生系统构建方法,包含物理、虚拟、数据交互、模型计算以及人机交互等多个子系统的实现方法。基于数字孪生的技术特点和联合收获机的作业特性,设计了一种基于JavaScript语言的轻量级数字孪生系统框架。通过采用Solidworks和CMdevelopment kit工具进行数字孪生系统的模型轻量化处理及坐标系整合,实现了在不影响模型精度和功能的前提下,显著降低系统对硬件要求和内存占用量。以雷沃GM100型联合收获机为对象,开发基于轻量级网络的联合收获机数字孪生系统,为联合收获机孪生系统性能分析、实时监控、瞬时计算以及远程操纵提供联合仿真、分析以及验证平台。为验证数字孪生系统性能和功能,开展了孪生系统性能测试及油耗预测实验。实验结果表明,在数据更新频率20 Hz下,响应时间在78 ms以内,内存占用量在331 MB以内;性能测试中,系统在运行状态下CPU和GPU的平均占用率分别为17%和30%;即使在高强度操作下,系统帧率仍可保持在75.6 f/s;在正常作业下油耗预测模型平均误差为0.34 L/h,平均相对误差仅为2.51%。本系统提供了一种低成本、高效率的数字孪生轻量化构建方案。

基于模糊测度的模糊分支时态逻辑模型检测

针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点。最后,通过医疗专家系统的实例说明了该模型检测算法的有效性。

基于Logic SQL安全数据库的隐蔽通道分析

Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL安全数据库的隐蔽通道研究方向。

Logic and logic-based control

This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.

TiC含量对SPS制备TiC/Cu复合材料力学与摩擦学性能的影响

采用等离子烧结技术(spark plasma sintering,SPS)制备了不同质量分数TiC颗粒增强的铜基复合材料,研究了不同烧结温度和TiC含量的铜基复合材料的微观结构,考察了TiC含量对铜基复合材料电导率、纳米力学性能、显微硬度、拉伸性能和摩擦学行为的影响。结果表明:850℃烧结得到的TiC/Cu复合材料组织致密,增强体和基质相结合良好。一方面,随着TiC含量的升高,TiC/Cu复合材料中的铜基质相的晶粒不断得到细化,晶界密度升高,导致复合材料的硬度和屈服强度升高。另一方面,TiC含量的增加逐渐导致增强体和基质相的结合界面出现孔隙和裂纹,并成为应力集中和裂纹形成的首选位置,造成复合材料电导率、抗拉强度和伸长率的下降。TiC质量分数为5%~15%时,复合材料的抗拉强度、弹性模量和屈服强度较高,硬度适当,综合力学性能较好。当TiC质量分数超过20%时,TiC/Cu复合材料的屈服强度大幅降低,复合材料断裂机制由韧性断裂转为脆性断裂。TiC增强体显著改善了铜基复合材料的摩擦学性能,摩擦过程中复合材料摩擦因数和磨损量随载荷增大呈线性增加,并随TiC含量的升高呈下降趋势。在TiC质量分数为20%时,复合材料具有最高的耐磨性和最低的摩擦因数,其磨损机制以磨粒磨损为主,且伴随轻微黏着磨损和氧化磨损。

产教融合迈向高质量:技术逻辑与学科逻辑的协同

产教融合是国家对职业教育发展方向的重要规划,也是现代职业教育发展的本质需求。从逻辑机理解析的视角看,产教融合是对我国教育发展方式在职业教育改革领域的创新举措,需要审慎对待职业教育产教融合的技术进步与学科发展两种内在驱动逻辑。通过对学科逻辑与技术逻辑的特征比较,构建产教融合逻辑进路SWOT矩阵,以SO、ST、WO与WT四种分析范式探讨产教融合技术与学科两种逻辑进路的组合模式。在此基础上,提出应明晰学科逻辑对产教融合育人价值的保障功能,发挥技术逻辑对产教融合发展进程的革新作用,充分把握学科逻辑在产教融合育人价值作用中的技术创新机遇,坚持技术逻辑在产教融合动态创新中的学科价值规范,进而以逻辑协同方式推动实现“1+1>2”的产教融合高质量发展目标。

基于空间形态数据的铁路通信数字工程设计系统

建筑信息模型(building information modeling,BIM)技术作为建筑业实现信息化数字化转型的核心技术,在铁路建设全生命周期中具有很高的研究价值.在铁路通信机械室内、站场、区间设计中,将铁路通信实体的空间位置、形状、大小、关系等空间形态描述数据化,结合铁路通信设计规范、相关铁路BIM标准以及专业实际设计需求,研究开发出铁路通信数字工程设计系统.本系统以空间形态数据为支撑,铁路工程实体结构分解标准为基础,在三维环境下实现了铁路通信机械室内机柜设备的智能布设,站场通信沟槽线缆的路径规划,区间通信信息点位置的准确布置.系统进一步基于数字工程模型和图论基本原理,实现了从数字工程模型中获取逻辑关系并生成通信逻辑网图.经实际工程验证,系统对铁路通信数字工程设计效率和准确率都有较大提升,从工程源头实现了铁路通信工程数字化成果交付和应用,促进了铁路通信工程项目全过程技术升级和数字化模式革新.

基于压缩采样的电力系统负荷频率自动控制研究

为降低新能源接入对电力系统的影响,研究了基于压缩采样的电力系统负荷频率自动控制方法。利用匹配追踪算法对采集到的新能源发电输出功率信号进行稀疏表示,并将稀疏表示后的信号投射至测量矩阵得到低维的测量值。在测量值范围内,运用L1范数优化方法得到重构后新能源发电输出功率。将该功率与期望功率的偏差作为扰动项,接入基于比例积分(PI)控制器的负荷频率控制模型。利用变论域方法调节PI控制器输入与输出论域。根据模糊推理定义伸缩因子,构建变论域模糊PI控制器使之作用于负荷频率控制模型,完成电力系统负荷频率的自动控制。试验结果证明:该方法控制后的输出功率稳定,负荷扰动下区域控制偏差和频率偏差小,电力系统负荷频率自动控制的精度最高可达99%,具有实用性。

经济学专业课程思政建设:逻辑起点、价值塑造与实践路径

经济学专业课程思政对于建设中国特色社会主义经济学理论体系具有重要意义。课程思政只有贯穿教育全过程,构建“通识课程涵养、专业课程深耕、实践课程赋能”的层级递进式思政育人矩阵,才可以推进专业思政与课程思政的耦合育人效果,提出打造课程思政教学团队、搭建课程思政资源平台、推进课程思政示范课程建设、完善课程思政考核体系等经济学专业课程思政的实践路径。

火电厂热力系统并联算法通用逻辑-矩阵模型

采用逻辑变量表达热力系统和回热加热器的结构特征 ,以矩阵理论为基础 ,对回热加热器物质平衡和能量平衡关系进行分析 ,建立了火电厂热力系统并联算法通用逻辑 -矩阵模型。该模型全面考虑了回热加热器换热效率以及各种辅助汽水等因素。该逻辑 -矩阵模型概念清晰 ,含义明确 ,构造容易 ,通用性强。该模型不仅为编制通用的热力系统计算程序提供了依据 ,而且为实时测试。

粗糙集概念与运算的布尔矩阵表示

建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;在此基础上给出了粗糙集理论中概念与运算的布尔矩阵表示;最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。

基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型

良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。

块序列布尔网络的拓扑结构

利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩阵特征值和特征向量的角度研究了块序列布尔网络的拓扑结构,显式表示出了不同长度极限环的个数,并指出网络的极限环总数等于(2n-结构矩阵的秩).

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.

耕地需求量预测的加权模糊-马尔可夫链模型

以耕地利用动态度为度量,利用模糊有序聚类方法将耕地需求量划分为不同的模糊状态区间,利用模糊集理论构建马尔可夫链状态转移概率矩阵,以规范化的各阶自相关系数为权重改进传统的马尔可夫链预测模型,用改进后的模型对土地利用规划中耕地需求量进行预测。实验结果表明,改进后的方法较传统的预测方法更具科学性和实用性。

微型燃气轮机分布式能源系统混合逻辑建模研究

针对具有多设备集成、多产点和多负荷耦合特征,且运行方式灵活多样的微型燃气轮机分布式能源系统(microturbine-based distributed energy system,MT-DES),提出新的运行优化模型。将MT-DES分解成CHP机组、热/冷辅助设备、购/售电等环节。在厘清各设备/环节间耦合关系以及其与主要运行策略之间联系的基础上,采用混合逻辑方法,合理描述了考虑启停逻辑和负荷限制等约束的各环节运行特性。并与经济、能效和环保等目标模型联立,通过线性变换和矩阵化,得到了适用于各主要运行策略研究的滚动优化模型。对文中思路的可行性和优越性通过优化算例进行了验证。

基于矩阵初等变换的四量子比特可逆电路综合算法

量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表示及变换和邻接矩阵的电路转化规则,总能以较小的量子代价综合出任意给定置换的4量子比特可逆逻辑电路.

基于低碳经济视角的企业碳资产识别研究

在低碳经济时代,提升企业低碳竞争力更是事关企业未来的生存和发展。企业碳资产的积累和开发则是企业提升低碳竞争力、发展低碳经济的重要途径。然而,目前业界对碳资产认识相对比较模糊,缺乏明确统一的定义,使得企业在对自身碳资产进行盘查、开发和利用时产生了较大困惑。文章试图通过辨析不同观点下资产定义的特点,挖掘"碳"的价值内涵,利用逻辑学的定义结构,提出基于低碳经济视角的企业碳资产的定义,并进一步对企业碳资产的特征和分类展开研究。

企业经营战略选择的模糊神经网络方法研究

企业竞争力和行业吸引力矩阵（ＧＥ矩阵）是跨国企业进行经营战略选择常用的一种概念模型，决策者通常通过语言交流讨论分析影响该模型的各种因素，综合作出定性的战略选择。本文应用模糊神经网络方法处理ＧＥ矩阵中的语言信息并进行模糊逻辑推理，实现战略选择的定量化和自动化，并通过实例证实该方法的有效性，为企业经营战略选择提供了一种科学的新途径。

服务建模基础理论研究(英文)

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。