工业软件标准体系构建研究

工业软件是工业技术/知识、行业经验、流程的程序化封装与复用,兼具工业属性和软件属性,是工业数字化的重要基石。工业软件作为工业技术和软件技术融合的产物,在需求、知识、应用等方面深度依赖庞杂的工业技术体系,软件是载体,工业是内核,其标准化工作需全面覆盖门类众多的工业行业,以全面系统地体现工业技术的特点。本文从国内外工业软件及其标准化现状出发,分析了我国工业软件标准化工作的需求,从通用基础、产品标准、测试验证、系统集成和行业应用五个方面探索构建工业软件标准体系,试图为工业软件领域标准研制提供指导,以解决工业软件标准体系缺失、标准零散等突出问题,充分发挥标准在推动国产工业软件的体系发展、质量提升、应用推广和生态培育中的突出作用,为引领、指导、规范和保障我国制造业数字化转型提供重要方法与手段。

沙漠边缘城镇阿拉尔市绿地生态网络构建

新疆维吾尔自治区塔克拉玛干沙漠边缘城镇由于特殊的地理环境和气候特点,限制了绿地的规模化发展,许多城市绿色基础设施已初步具备,但未形成功能完整的绿地生态网络,影响城市生态景观格局发展。结合塔克拉玛干沙漠北缘的阿拉尔市土地利用现状,提出把市域范围内的渠道纳入城市绿地生态系统中,强调林网水网绿网一体化,借鉴阿克苏市成功的经验,利用地理信息技术,构建出阿拉尔市的绿地生态网络。

一类线性不确定系统的时滞相关稳定性分析

时滞是网络控制系统存在的一个主要问题。针对一类同时含有多状态时滞和输入时滞的线性不确定连续时间系统,研究了其时滞相关稳定性问题。所考虑的系统不仅含有未建模动态,而且有外部扰动。采用Lyapunov-Krasovskii泛函和耗散性理论,给出了保证闭环系统渐近稳定的无记忆状态反馈控制律存在的充分条件,该条件同时保证闭环系统满足γ-次优H∞性能,为控制器的设计提供了理论依据。