网络应用程序的广泛使用和敏感数据的运行使其成为网络攻击者最重要的目标之一。可以采取的最重要的安全措施之一是在攻击者之前检测并关闭网络应用程序上的漏洞。本研究开发了一种基于动态分析和人工智能的 Web 应用程序漏洞扫描器,它可以使用 GET 和 POST 方法测试 Web 应用程序,并具有针对 21 种不同漏洞类型的测试类。开发的漏洞扫描器在本研究范围内创建的 Web 应用程序测试实验室中进行了测试,该实验室有 262 个不同的 Web 应用程序。使用开发的漏洞扫描器执行的测试创建了一个数据集。在本研究中,使用上述数据集作为第一阶段对网页进行分类。使用随机森林算法确定的页面分类过程中的最高成功率为 95.39%。使用数据集执行的第二项操作是漏洞之间的关联分析。提出的模型比标准扫描模型节省了 21% 的时间。在本研究中,页面分类过程也用于抓取 Web 应用程序。
3) 劳瑞尔后学习 1995年3月:在加州大学洛杉矶分校(UCLA)“机械、航空航天与核工程系”攻读机械工程硕士学位。修读了14门课程,平均绩点为3.96(满分4.0)。论文题目为“模型不确定性和专家判断在高放射性废物处置库绩效评估中的应用”。 1995年10月:在米兰理工大学核工程系攻读“核电站科学与技术”博士学位。论文题目为“通过蒙特卡罗方法和神经网络对系统进行概率动态分析”。 1998年2月:在麻省理工学院核工程系攻读博士学位。论文题目为“涉及多方利益相关者的环境管理互动决策方法”。 4) 意大利的研究活动 自 1996 年起:米兰理工学院核工程系终身制助理教授和常任研究员。 2001-2005 年:米兰理工学院核工程系副教授。 自 2005 年起:米兰理工学院核工程系正教授,随后任米兰理工学院能源系教授。 5) 国外的研究活动 1993-1995 年:米兰理工大学“机械、航空航天和核工程系”研究员
技术 15 Asperitas 和云解决方案系列 18 AstraVer:验证工具集 20 BinSide:二进制代码静态分析工具 22 Casr:崩溃分析和严重性报告工具 24 Constructivity 4D:大型时空数据索引、搜索和分析技术 26 Dedoc:文档结构检索系统 28 DigiTEF:数字孪生平台 30 Docmarking:文本文档标记系统 32 ISP Crusher:动态分析工具集 35 ISP Obfuscator 37 基于 QEMU 的 ISP RAS 软件分析平台 40 Klever:C 程序模型检查技术 42 Lingvodoc:用于记录濒危语言的虚拟实验室 44 Masiw:支持设计高可靠性软件系统 46 MicroTESK:测试程序生成器 48 Protosphere 网络流量分析仪 50 Retrascope:HDL 描述的静态分析 52 安全编译器 54 SciNoon:面向科学团体的探索性搜索系统 56 Svace 静态分析器 59 Talisman:数据处理框架 62 Texterra:语义分析器 64 ISP RAS:创新生态系统
摘要 本文对孤岛离网太阳能光伏系统的设计进行了初步研究。它以印度尼西亚太阳能潜力最大的苏昆岛为例进行了研究。这项研究包括气候研究、消耗估算、系统规模、模拟、准动态分析和环境分析。利用 Solargis 和 Meteonorm 的气候数据。进行初步光伏系统规划研究的最大困难是预定规模。使用 PVsyst 模拟,本研究证实了本文所述的系统预定规模简化理论计算的有效性,理论计算系统(285 kWp 太阳能发电厂,配备 2.91 MWh 存储系统)的负载损失概率 (LOLP) 为 0.17%,符合适用标准。提出的结合使用 PVsyst 模拟和使用 DIgSILENT Powerfactory 进行准动态分析的方法可用于验证设计的 PV-BESS 系统的功率稳定性。模拟证明,使用电池储能系统(BESS)可以维持太阳能光伏网络的稳定性,防止电网因电力不足(负载损失)和电压骤降而变得脆弱,最低电压水平为 96.6%,符合国际安全标准。
静态和动态恶意软件分析技术;包装,解开包装,沙箱可执行文件,在VM中的运行时分析;高级静态分析 - 分析恶意窗口程序;高级动态分析 - 调试,与Windbg进行内核调试;动态数据流跟踪(DFT);过程注入,API钩,DLL注入;反射性DLL加载,动态API加载,64位恶意软件,无文件恶意软件; AV混淆技术;秘密恶意软件启动;数据编码;以恶意软件为中心的网络签名;外壳分析;逆转固件; Android,iOS架构; Android反向工程:Android应用程序体系结构的理解;逆转应用程序的工具(JADAX,APKTOOL,BACKSMALI,DEXTOJAR); Android应用的混淆技术,Deobfuscation Techniques; SMALI代码理解,代码注入技术; iOS应用程序安全; iOS安全机制和安全体系结构;安全启动链,数据加密和网络安全; iOS文件系统隔离,应用程序沙盒,iOS设备体系结构;使用Cuckoo,Yara的自动恶意软件分析;恶意软件作为服务。
传统的基于案例教学的训练系统是根据以往的比赛和训练案例分析来进行健美操专项动作的力量训练,训练结果无法智能精准评估,动态分析性能差。针对此问题,设计基于人工智能的健美操专项动作力量素质核心训练系统,实现健美操专项动作力量素质的智能化训练。通过对模糊范式系统的研究,实现了智能模糊网络的优化、决策等智能功能。设计系统架构框架包括传感器、接收器、数据库、分析决策等模块。系统核心芯片为Atmega1280单片机主控模块进行人机交互,实现健美操专项动作力量素质的全面训练。信息采集模块用于采集器械、动作、语言等力量训练信息。采用FIR滤波器处理信号传输过程中相位畸变问题。通过信息管理模块实现学员信息管理、训练成绩统计与查询。系统软件部分给出了系统软件结构图和系统启动登陆流程。通过分析模块工作过程,对健美操专项动作的力量进行分析。实验结果表明,所设计的系统能实现健美操专项动作的实时、稳定的力量训练,提高训练效率。
摘要 对健康相关性状产生有害影响的文化传播性状可被视为文化病原体。文化病原体可以与其相关的健康相关性状产生耦合动力学,因此,了解健康相关性状的动态有助于了解相关文化病原体的动态。在这里,我们将反疫苗情绪视为一种文化病原体,用相关的疫苗可预防疾病的感染动态来建模其“感染”动态。在由反疫苗情绪的 SIR 模型和传染病的相互作用 SIR 模型组成的耦合易感-感染-抗性 (SIR) 模型中,我们探讨了反疫苗情绪对疾病动态的影响。我们发现疾病的流行取决于情绪的存在,情绪的存在可以使疾病成为地方病,而否则它们会消失。此外,情绪动态可能会造成疾病在长期潜伏后突然复发的情况。我们研究了基于选择性情绪的互动对情绪和疾病动态的影响,确定了一种权衡,即选择性相遇有助于疾病的传播,但会阻碍情绪的传播。我们的研究结果有助于找到减少文化病原体对疾病影响的策略,阐明了文化进化模型在疾病动态分析中的价值。
摘要:背景/目标:将机器学习到放射线学领域的整合彻底改变了个性化医学的方法,尤其是在肿瘤学中。我们的研究提出了RADTA(放射线趋势分析),这是一个新的框架,旨在促进时间序列CT体积的定量成像生物标志物(QIB)的自动分析。方法:RADTA旨在弥合医学专家的技术差距,并在没有深度学习专业知识的情况下进行复杂的放射线分析。RADTA的核心包括自动命令线接口,简化的图像分割,全面的特征提取和可靠的评估机制。radta利用了高级分割模型,特别是总分段者和身体组成分析(BCA),从CT扫描中准确地描述了解剖结构。这些模型可以提取各种各样的放射线特征,随后对其进行处理并进行比较以评估及时相应的CT系列的健康动态。结果:使用HNSCC-3DCT-RT数据集对RADTA的有效性进行了测试,其中包括接受放射治疗的肿瘤患者的CT扫描。结果表明组织组成的显着变化,并提供了对治疗物理影响的见解。结论:RADTA在放射线学领域展示了临床采用的步骤,为分析患者健康动态分析提供了用户友好,健壮且有效的工具。它也可以用于其他医学专业。
摘要Hexapods对各种运动任务的适应性,尤其是在救援和勘探任务中,可以推动其应用。与受控环境不同,这些机器人需要驾驶不断变化的地形,在这种环境中,地面不规则影响会影响立足点位置和接触力的起源转移。这种动态相互作用导致六角形姿势变化,影响整体系统稳定性。这项研究介绍了一种姿势控制方法,该方法根据地形拓扑调整了六角形的主体定向和高度。策略使用肢体位置估算地面斜率,从而计算新的肢体轨迹以修改六脚架的角度位置。根据计算出的斜率调整六足的高度,进一步增强了主体稳定性。在雅典娜六角(Athena Hexapod)(环境适应性的全地形六角形)上实施和评估了所提出的方法。通过使用凉亭软件中的计算模拟,通过对六足动物在不规则表面上的多体模型的动态分析来评估控制可行性。环境复杂性对六足动物稳定性的影响都在坡道和不平坦的地形上进行了测试。对每种情况的独立分析都评估了控制器对滚动和俯仰角速度的影响以及高度变化。结果证明了该策略对这两种环境的适用性,从而显着增强了姿势稳定性。
7 有限元法简介 145 7.1 简介 145 7.2 变分原理 147 7.2.1 功和补充功 147 7.2.2 应变能、补充应变能和动能 148 7.2.3 加权残值技术 149 7.3 能量泛函和变分算子 151 7.3.1 变分符号 153 7.4 控制微分方程的弱形式 153 7.5 一些基本能量定理 154 7.5.1 虚功的概念 154 7.5.2 虚功原理(PVW) 154 7.5.3 最小势能原理(PMPE) 155 7.5.4 Rayleigh-Ritz 方法 156 7.5.5 Hamilton 原理(HP) 156 7.6 有限元法 158 7.6.1 形函数 159 7.6.2 有限元方程的推导 162 7.6.3 等参公式和数值积分 164 7.6.4 数值积分和高斯求积 167 7.6.5 质量和阻尼矩阵公式 168 7.7 有限元法中的计算方面 171 7.7.1 影响 FE 解速度的因素 172 7.7.2 静态分析中的方程解 173 7.7.3 动态分析中的方程解 174 7.8 超收敛有限元公式 178 7.8.1 超收敛深杆有限元 179 7.9 谱有限元公式 182 参考文献 184