設(shè)計應用 基于工业母机防火墙的数控网络安全防护解决方案[通信与网络][信息安全] 随着针对数控机床的网络攻击日益严重，基于供给侧打造数控机床安全供给能力，成为制造强国之路的重要关切之一。立足于行业痛点，解决数控机床安全紧迫问题，实现需求侧安全保障。设计了一种同时将“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 FDI攻击下孤岛交流微电网滑模控制策略[测试测量][智能电网] 针对孤岛交流微电网控制系统中不可避免的虚假数据注入攻击问题，当存在外部干扰时，设计了主动容侵控制策略。首先针对孤岛交流微电网逆变系统，构建系统状态空间模型。将控制系统传感器侧可能受到的虚假数据注入攻击信息当作一个辅助状态向量，设计滑模攻击观测器对系统中的状态变量和虚假数据注入攻击信息同时进行估计。在获得攻击的估计信息后，利用积分滑模容侵控制器对虚假数据注入攻击和外部有限能量干扰进行主动容侵控制，以确保微电网系统的稳定运行。最后，通过仿真验证了所提方法的可行性和有效性。 發(fā)表于：2022/12/20 下午4:33:00 5G+MEC在家电业机器视觉检测系统中的应用[显示光电][5G] 为了解决家电业依赖人工进行外观质量检测的长期痛点，将5G+MEC的机器视觉关键技术进行创新应用，构建了智能化产品表面质量检测系统。检测系统以云边协同模式运营，支持图片和视频的边缘端推理，云端算法终端下载部署，支持异构计算，实时性高。系统基于决策分析工具、人工智能、大数据分析等技术对采集的数据进行综合管理及应用。同时，关联企业MES、SCADA、WMS等系统，集成生产端数据、物料数据、市场追踪反馈数据，实现产品全生命周期的数据互联及质量追溯。 發(fā)表于：2022/12/20 下午4:30:00 <…139140141142143144145146147148…>
