設(shè)計(jì)應(yīng)用 民航机场关键信息基础设施网络安全保障体系研究[通信与网络][航空航天] 在大力推动民航数字化转型升级、全面推进智慧机场建设任务背景下，基于机场关键信息基础设施面临的现实突出网络安全问题及迫切保障需求分析，对其进行了安全保障框架体系及建设要点的研究。研究可以帮助机场建立网络安全综合保障体系，提升关键信息基础设施网络安全监测预警和主动防御能力，有效应对机场信息化高速发展态势下的各类网络、数据、供应链等安全风险，落实国家相关法律法规和关键信息基础设施安全保护要求，实现机场安全总体发展目标，推动机场数字化变革与发展。 發(fā)表于：2023/1/6 下午3:47:27 基于业务与安全融合的智慧煤矿主动防御技术与实践[其他][其他] 针对当前智慧煤矿多系统高集成、低耦合等问题，充分运用“云大物智移”等新型信息技术，以“安全融入业务”的网络安全建设思路，满足实际生产和管理中的网络安全建设需求。在“一个中心，三重防护”的基础上，以“四网”融合的网络布局，采用网络安全纵深防御和网络欺骗技术实现主动式防御，多维手段联防联控，构建融合智慧煤矿IT、OT、IIoT及安全监控系统的多维协同纵深防护安全体系。以场景化、协同化的安全防护能力，让网络安全、数据安全、业务安全的防护形成合力，更大化保障煤炭企业的安全生产和运营管理。研究成果和体系规范在一些重保活动中得到实践应用，效果良好。 發(fā)表于：2023/1/6 下午3:41:33 基于工业母机防火墙的数控网络安全防护解决方案[通信与网络][信息安全] 随着针对数控机床的网络攻击日益严重，基于供给侧打造数控机床安全供给能力，成为制造强国之路的重要关切之一。立足于行业痛点，解决数控机床安全紧迫问题，实现需求侧安全保障。设计了一种同时将“NC代码异常检测”“NC代码病毒检测”“防碰撞检测”等安全机制结合起来的工业防火墙系统——工业母机防火墙，围绕安全通信网络、安全区域边界、安全计算环境、安全管理中心、专用防护设备等方面，给出了具体防护措施和建议。本文的研究设计及解决方案对于保障制造强国、建设数字中国等具有重要现实意义。 發(fā)表于：2023/1/6 下午3:35:21 C银行新一代OA系统及网络安全体系研究[通信与网络][通信网络] 基于新一代IT技术成果，C银行建设了新一代办公信息系统(OA2)，该OA系统具有基础软硬件全国产化、云端一体的系统架构、众创开发持续集成的开发模式、多维智能的纵深防护体系等特点。对该办公信息系统的设计开发、系统结构、安全防护等方面的经验和成果进行总结研究，研究成果能够为相关行业和领域的关键信息基础设施及网络安全建设提供有益的参考和借鉴。 發(fā)表于：2023/1/6 下午3:29:15 一种应用于机器学习的恶意网页特征提取方法[可编程逻辑][信息安全] 基于机器学习的恶意网页检测技术进行研究。目前流行的“特征码”“白名单”等方式，仅能够检测已知的恶意网页；机器学习方法，能够检测出未知的恶意网页，但在处理网页特征时要面临数据量大、复杂和繁琐的问题。提出一种哈希压缩的方法，用于处理网页的特征数据。该方法在保证检测模型的漏报率和误报率下可实现将150万的特征映射在2万的特征空间内，对提取出的特征数据运用K折交叉验证法训练多个传统机器学习模型和集成学习模型。并通过评估模型的检测效果，筛选出表现最好的分类检测模型。 發(fā)表于：2022/12/20 下午4:57:00 一类计算系统的MBSE建模方法[可编程逻辑][信创产业] 随着社会各领域对于算力需求的快速增长，通过计算架构创新提升计算系统算力越来越收到重视。计算系统的研制是一项复杂的系统工程，计算架构的创新使得计算系统的复杂程度不断增加，传统的系统工程方法难以满足系统研制需求。采用基于模型的系统工程(MBSE)方法对一类计算系统的建模方法进行了研究，提出了建模框架，建立了系统模型。运用此建模方法建立了某国产化计算系统模型，证明了建模方法的有效性，为下一步运用计算机仿真技术进行一类计算系统研制奠定了基础。 發(fā)表于：2022/12/20 下午4:53:00 基于PKS体系的计算机软硬件联合攻关模式初探[其他][信创产业] 为了推进信息技术自主创新，亟需通过系统工程的方法开展联合攻关，以打造整体性能优良的自主计算机产品。针对计算机软硬件联合攻关可能会面临的挑战，提出一种基于PKS体系的计算机软硬件联合攻关模式。该模式通过在管理、服务和沟通三个方面进行创新，可以有效应对当前联合攻关中存在的挑战。该模式已经在实际项目中得到了应用并取得了初步成效，对今后开展计算机软硬件联合攻关具有一定的参考价值和指导意义。 發(fā)表于：2022/12/20 下午4:50:00 外部干扰下SP型ICPT系统的H∞滤波器设计[模拟设计][其他] 对SP型ICPT系统在外部干扰下的H∞滤波问题展开了研究。首先对SP型ICPT系统的电路拓扑进行研究并且以此创设了基于此电路拓扑的广义状态空间方程；然后通过滤波误差系统的渐近稳定判定条件求取H∞滤波器的增益；最后通过实验仿真来验证本文所提出理论的准确性和可行性。 發(fā)表于：2022/12/20 下午4:45:00 基于无人机平台的动目标航迹模拟算法[可编程逻辑][航空航天] 测控设备是保障我国航天任务顺利进行的必要手段。多年来测控技术人员在任务间隙，一直利用测控设备随机的软件模拟实战任务以进行日常训练。这种模拟方式一方面无法实现全系统的闭环模拟，另一方面需要系统的更新系统仿真软件才可以实现新场景、新业务的模拟。通过引入无人机平台配合载荷模块这一概念，从坐标转换的角度出发，在理论上推导了利用“无人机+载荷”实现动目标模拟的算法流程。通过算法仿真，证实了利用该算法流程实现真实弹道模拟的可行性。 發(fā)表于：2022/12/20 下午4:41:00 基于NuSMV的LD和ST语言形式化验证研究与实现[其他][工业自动化] 依据工控系统的特点，在分析现有工控系统编程标准IEC61131-3规定的工业语言基础上，研究基于工业语言的形式化验证方法，通过对ST和LD语言进行分析得到有限状态机组态模型，实现对控制目标进行准确描述；通过NuSMV验证有限状态机模型，获得形式化验证的结果，从而实现对IEC61131-3编程语言实现的PLC逻辑代码进行分析，建立形式化验证模型，发现用户编写的PLC逻辑代码可能存在的逻辑缺陷，并提供对这些缺陷分析验证的报告。 發(fā)表于：2022/12/20 下午4:37:00 <…129130131132133134135136137138…>
