基于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.

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

针对现有农机装备数字孪生系统开发难度大、配置要求高以及资源占用过高的问题,提出基于轻量级网络的联合收获机数字孪生系统构建方法,包含物理、虚拟、数据交互、模型计算以及人机交互等多个子系统的实现方法。基于数字孪生的技术特点和联合收获机的作业特性,设计了一种基于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%。本系统提供了一种低成本、高效率的数字孪生轻量化构建方案。

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

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

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%时,复合材料具有最高的耐磨性和最低的摩擦因数,其磨损机制以磨粒磨损为主,且伴随轻微黏着磨损和氧化磨损。

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

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

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

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

基于形式化逻辑矩阵的结构化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的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。

基于错误矩阵逻辑方程的对象识别状态与真实状态转化研究

运用错误矩阵逻辑方程一类4方程A∨X■B求解识别状态与真实状态之间的转化.同时,通过桌子尺寸识别的实例,实现了错误矩阵逻辑方程在错误的识别和揭示识别状态与真实状态之间转化方式中的应用.

归纳逻辑程序设计中的优化问题研究

归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是ＮＰ困难的，并给出了构造优假设的启发式算法，实验表明该算法产生的归纳假设在结构上具有明显的优越性．

大规模模拟电路子网络级故障诊断的神经网络方法

本文提出了一种采用双向联想记忆神经元网络诊断法诊断子网络级故障的新方法。在对含不可及节点的子网络级故障诊断的互测试条件检验的基础上,用神经元网络诊断法代替逻辑分析来快速而有效地定位故障子网络,并给出了诊断实例。

区域自治式后备保护分区方案

提出了一种区域自治式后备保护分区方案。首先制定了保护分区原则,分别对主站保护范围、边界元件处理方式、主站失效对策等关键原则进行论述。要求分区后保护系统具有以下特点:兼顾信息需求和通信延时,确保信息的完备性和保护的快速性;每个元件可由至少一个主站独立保护,简化主站间的配合策略;任一主站决策单元失效时仍能准确判断元件故障,加强保护系统适应能力。在此基础上提出了保护分区实现方法,定义狭义邻接矩阵完成主站选定和主站保护范围划分两项功能。并进一步分析了该分区方案下区域自治式后备保护的动作逻辑,保证各种情况下故障可靠切除。最后通过实际系统算例分析验证了该方案的有效性。