一种灵活的强制完整性访问控制策略

完整性保护是计算机安全的一项重要内容,虽然绝大多数安全操作系统都设计实现了完整性保护机制,但仍存在着系统的完整性被破坏以及完整性策略不够灵活的不足。在实施完整性保护的基本原则下,提出了一种灵活的完整性访问控制策略FIC,并给出了在LSM框架下的实现过程。FIC定义了主完整级和辅助完整级,通过访问控制规则、进程再标记规则和新建客体标记规则,实现了系统的完整性保护以及进程执行的灵活完整性保护控制。最后分析了实现效果,并指出了进一步可扩展性研究需求。     

Map Reduce inspired loop mapping for coarse-grained reconfigurable architecture

Our work investigates how to map loops efficiently onto Coarse-Grained Reconfigurable Architecture （CGRA）. This paper examines the properties of CGRA and builds MapReduce inspired models for the loop parallelization problem. The proposed model has a more detailed performance metric and a more flexible unrolling scheme that can unroll different loop levels with different factors. A Geometric Programming based approach is proposed to resolve the optimization problem of loop parallelization problem. The proposed approach can find the optimal unrolling factor for each level loop, resulting in better parallelization of loops. Experimental results show that the proposed approach achieved up to 44% performance gain compared to the state-of-the-art loop mapping scheme.     

催化裂化装置自保的改进方案

介绍催化裂化装置自保系统,以及自保系统的校验与维护。     

Sliding mode disturbance observer-based backstepping control for a transport aircraft

This paper presents a novel control method by integrating the sliding mode disturbance observer- based control and the backstepping control technique, and successfully applies it to a flight control system for heavy cargo airdrop operations. The super-twisting second order sliding mode disturbance observer （SOSMDO） is employed to estimate bounded but otherwise arbitrary disturbances, thus ensuring asymptotic convergence of the estimation error to zero in a finite time. Besides, the integrated controller can significantly improve the robustness of the flight control system to modeling uncertainty and external disturbance in the presence of state/control constraints. The closed-loop stability is guaranteed in the sense of Lyapunov. In addition, the proposed approach can considerably reduce design cycles. The performance of the proposed control method is demonstrated in a very low altitude extraction airdrop simulation with a high-fidelity six-degree-of-freedom transport aircraft model.     

基于SITRANS料位计的监控系统设计

针对吕梁山木瓜煤矿原有料位计老化、测量不准确等问题,设计基于SITRANS LU 10超声波料位计的自动监控系统。系统采用S7-300系列PLC及组态软件作为控制核心,通过WinCC组态管理软件可直观地显示料位数据实时变化,实现煤仓料位的自动检测、超限报警、卸料小车运行与卸料控制等功能。     

高功率移相器粘接工艺初探

主要介绍了粘接技术在高功率铁氧体移相器上的应用。通过对其工艺途径及关键工序的控制，提出了采用粘接技术完成高功率移相器铁氧体的连接，不仅可以大量地缩短工作时间，而且可以使制造成本大幅度降低。     

基于云计算的多机器人目标智能跟随控制研究

随着信息智能化的快速发展,机器人在工作过程中面临着大量的数据计算、存储与调度等问题,结合多机器人协同工作,提出了基于云计算的多机器人目标智能跟随控制方法.通过人机载距传感器对多机器人以及跟踪目标进行定位,建立二维坐标系的局部地图.以目标的运动状态为基础,对其运动方向和速度进行预测,为每个机器人创建独自的跟踪器来预估目标的跟随状态,将最大近似概率和对应的测量数据、跟踪轨迹进行关联,直到所有的测量数据或跟踪轨迹全部关联完毕.采用松散耦合架构的设计方法对云服务平台的基础层进行设计,为了降低云服务系统的复杂性以及耗时性,采用容器批量部署方式的微服务体系,将各个小服务的代码与环境进行隔离.实验结果表明,所提方法不仅实现了多机器人对目标的良好跟踪,还可以通过云操作系统进行任务分配,稳定高效地完成目标智能跟踪与相互协作.     

舰船装备维修性设计要求生成方法研究

针对目前舰船装备维修性设计要求与维修工程要求存在脱节的现象,通过采用基于维修历史数据挖掘的维修性要求生成方法,完善了维修性设计要求研究体系,切实形成维修性工程需求与维修性设计要求的技术闭环.一方面,解决了维修性设计要求无法解决装备中出现的实际维修困难的难题;另一方面,充分挖掘并利用装备的维修保障数据,可以为维修性设计研究提供设计方向及目标,从而生成更为科学和合理的维修性设计要求,便于将维修性需求落到实处.     

分段对称反向高斯-约当消元法及其应用

求解变系数方程的高斯消元法与高斯-约当消元法计算原理类似、问题相近,但前者计算速度高于后者.提出分段对称反向高斯-约当消元法,其中包括根据系数矩阵结构特点构成特殊增广阵,以展示和应用元素的变化规律,并分段对上下三角元素消元以大大提高计算效率.对矩阵下三角元素正向消元及对称计算可简化所有下三角元素计算,而对上三角元素反向消元可再省略所有上三角元素计算,而取倒后的对角元素作为规格化因子可大大减少除法计算.根据单位矩阵结构特点,对其规格化或对系数矩阵上下三角元素消元时均仅计算部分对角元素和下三角元素可进一步提高计算效率.所有元素均用四角规则计算而无需计算公式以简化计算和编程.新方法大大减少了高斯-约当消元法中元素的计算,且原理简单、易于编程,可快速求解各种变系数方程,还可利用元素对称性求解常系数的节点阻抗矩阵.与高斯消元法和高斯-约当消元法相比,新方法计算速度大大提高.     

一类连续的K-means 等价聚类模型及其优化算法

聚类作为一种非监督学习方法是数据科学中重要的研究内容.K-means是一种基于划分的聚类算法,一般是利用启发式算法求解一个离散的NP问题.为增强K-means在大数据问题中的应用性,从聚类矩阵的属性出发,设计了一类非凸连续的K-means等价聚类优化模型,并利用ADM M框架给出了该等价模型的快速优化算法.数值实验结果表明了该模型及其优化算法在大数据聚类中的准确性和高效性.此外,还讨论了该模型的性质及等价性问题.