526互联

性能分析

Wasm软件生态系统安全分析

演讲嘉宾 | 王浩宇 回顾整理 | 廖 涛 排版校对 | 李萍萍 嘉宾简介 王浩宇，华中科技大学教授，博士生导师，华中科技大学OpenHarmony技术俱乐部主任。研究关注于新兴软件系统中的安全、隐私和可靠性问题，近五年发表CCF A类和CSRankings顶会论文近70篇，在软件安全和系统测量领域 ......
生态 系统 软件 Wasm

iris.context 源码分析

iris.context的结构体如下 以该结构体建立的主要方法有如下,以下列出一些常用的方法 剩余具体的方法见源码，源码位置： 使用方法示例 ......
源码 context iris

WPF 设置 IncludePackageReferencesDuringMarkupCompilation 属性导致分析器不工作

本文记录在 WPF 项目里面设置 IncludePackageReferencesDuringMarkupCompilation 属性为 False 导致了项目所安装的分析器不能符合预期工作 设置 IncludePackageReferencesDuringMarkupCompilation 属性为 ......
分析器 IncludePackageReferencesDuringMar kupCompilation 属性 WPF

WPF 动画性能测试应用 一千个半透明矩形做动画

在很多性能测试开始之前，都需要测试一下自己的期望优化的设备的性能上限是多少。我每次都是重新写一个测试应用，因为每次需要优化的方向都不相同。本文将记录一个我写的一个简单的测试应用，这里面包含了一千个半透明的矩形，且矩形都在做动画。可以测试自己的电脑的性能，看看是否一千个带动画的半透明矩形就带不动 本文 ......
动画 矩形 性能 WPF

dotnet 6 在 System.Text.Json 使用 source generation 源代码生成提升 JSON 序列化性能

这是一个在 dotnet 6 早就引入的功能，此功能的使用方法能简单，提升的效果也很棒。使用的时候需要将 Json 序列化工具类换成 dotnet 运行时自带的 System.Text.Json 进行序列化，再加上约 5 行的辅助代码，即可完成对接 官方文档： [如何在 System.Text.Js ......
序列 源代码 generation 性能 dotnet

dotnet 提升 ToUpper 性能

在应用软件启动过程中，客户端应用软件是对性能敏感的。比如在解析命令行参数的时候，有时候需要进行字符串处理逻辑。一般来说命令行参数都是语言文化无关的，在需要进行全大写或全小写转换过程中，采用 ToUpperInvariant 替换 ToUpper 方法可以避免初始化 icu 模块，减少 icu 模块初 ......
性能 ToUpper dotnet

使用 SizeBench 分析 Exe 文件体积

本文将介绍微软开源免费的 SizeBench 工具，使用 SizeBench 工具可以用来分析 Exe 二进制文件的体积，分析 Exe 文件大小里面有哪些是可以优化的 下载安装方式： 请前往[应用商店](https://www.microsoft.com/store/productId/9NDF4N ......
体积 SizeBench 文件 Exe

elasticsearch wildcard 慢查询原因分析(深入到源码!!!)

> 大家好，我是蓝胖子，前段时间线上elasticsearch集群遇到多次wildcard产生的性能问题， elasticsearch wildcard 一直是容易引发elasticsearch 容易宕机的一个风险点， 但究竟它为何消耗cpu呢？又该如何理解elasticsearch profile ......
原因分析 elasticsearch 源码 wildcard 原因

形式化建模与分析方法-笔记

## 第五章 ### 命题逻辑 #### 定义 定义3-1 对事物作出确定判断的陈述句称为命题。 当符号P表示一个确定命题时，该符号称为命题常元。 当符号P表示任意一个命题时，该符号称为命题变元。 原子命题：原子命题是不能再细分的命题 复合命题：原子命题通过命题联结词构造的命题。 （命题联结词：非 ......
形式 笔记 方法

白盒AES和SM4实现的差分故障分析

## DFA攻击背景介绍 传统的密码安全性分析环境被称为黑盒攻击环境，攻击者只能访问密码系统的输入与输出，但随着密码系统部署环境的多样化，该分析模型已经不能够反映实际应用中攻击者的能力。2002年，Chow等人[1]提出了**白盒攻击环境**的概念，该攻击环境中的攻击者对算法运行环境具备完全的控制权 ......
故障 AES SM4 SM

cefsharp - WinForms 和 Wpf 示例之间的巨大性能差异

https://www.coder.work/article/7217456 我注意到在使用 http://www.vsynctester.com 时 CefSharp.WinForms.Example 和 CefSharp.Wpf.Example 之间存在非常重要的性能差异(以 FPS 计) 在我 ......
示例 cefsharp WinForms 差异 性能

计组真题分析1 cache与映射

【2015统考真题】假定主存地址为32位，按字节编址，主存和Cache之间采用直接映射方式，主存块大小为4个字，每字32位，采用回写方式，则能存放4K字数据的Cache的总容量的位数至少是() 正确答案：148K 有件事我一直有些纠结，那就是在计算中，诸如脏位、标记位这些位应该怎么处理。但是至少在这 ......
真题 cache

对 OneNote 传播 STRRAT 恶意样本分析

## 一、前述 4 月 7 日凌晨 3 点，Unit42 在 Twitter 上发表了一个关于通过 OneNote 进行传播恶意软件的样本推文。从最近国外安全媒体及安全人员发布的信息来看，如今用 OneNote 进行钓鱼的恶意事件逐渐增多，以前也分析过一些 Office 恶意样本，主要是 word ......
样本 恶意 OneNote STRRAT

形式化建模与分析方法

## 形式化建模与分析方法 ### 题目 证明下列命题逻辑演算： $$\begin{array}{l}{(2)(P\vee Q)\wedge(P\vee R)\vdash P\vee(Q\vee R)}\\{(3)P\wedge(Q\leftrightarrow R)\vdash(P\wedge Q ......
形式 方法

三维模型OBJ格式轻量化的数据压缩与性能平衡分析

三维工厂K3DMaker是一款三维模型浏览、分析、轻量化、顶层合并构建、几何校正、格式转换、调色裁切等功能专业处理软件。可以进行三维模型的网格简化、纹理压缩、层级优化等操作，从而实现三维模型轻量化。轻量化压缩比大，模型轻量化效率高，自动化处理能力高；采用多种算法对三维模型进行几何精纠正处理，精度高，... ......
模型 性能 格式 数据 OBJ

三维模型OBJ格式轻量化压缩在大规模场景的加载和渲染的作用分析

三维工厂K3DMaker是一款三维模型浏览、分析、轻量化、顶层合并构建、几何校正、格式转换、调色裁切等功能专业处理软件。可以进行三维模型的网格简化、纹理压缩、层级优化等操作，从而实现三维模型轻量化。轻量化压缩比大，模型轻量化效率高，自动化处理能力高；采用多种算法对三维模型进行几何精纠正处理，精度高，... ......
大规模 模型 场景 作用 格式

WPF 性能测试

本文收藏我给 WPF 做的性能测试。在你开始认为 WPF 的性能存在问题的时候，不妨来这篇博客里找找看我做过的测试。我记录的测试都是比较纯净的测试项目，没有业务逻辑的干扰，写法也正常，可以更加真实反映 WPF 的性能，减少因为奇怪的业务逻辑以及逗比的写法的影响 ## 资源字典 ### 大量 Geom ......
性能 WPF

WPF 优化 EnsureHandle 启动性能

本文将记录一个在 WPF 应用程序启动过程中的性能优化点。如果一个窗口需要设置 WindowStyle 属性，那么在窗口 EnsureHandle 之前，设置 WindowStyle 属性将会比在 EnsureHandle 之后设置快不少 在 dotTrace 里的一次测量在窗口 EnsureHan ......
EnsureHandle 性能 WPF

Roslyn 分析器 EnforceExtendedAnalyzerRules 属性的作用

在开始编写 dotnet 的 Roslyn 分析器项目时，会被 VisualStudio 通过 RS1036 要求在项目文件配置上 EnforceExtendedAnalyzerRules 属性，本文将和大家介绍 EnforceExtendedAnalyzerRules 属性的作用 根据 Rosly ......
分析器 EnforceExtendedAnalyzerRules 属性 作用 Roslyn

Eyoucms V1.5.X漏洞分析

##鉴权漏洞-任意用户登录 首先在application/api/controller/Ajax.php直接获取Ajax请求 > 仅仅只是IS_AJAX变量是否为真，稍微变化一下就可以绕过 ![image](https://img2023.cnblogs.com/blog/1794787/20230 ......
漏洞分析 漏洞 Eyoucms V1

R语言STAN贝叶斯线性回归模型分析气候变化影响北半球海冰范围和可视化检查模型收敛性|附代码数据

原文链接：http://tecdat.cn/?p=24334 最近我们被客户要求撰写关于贝叶斯线性回归的研究报告，包括一些图形和统计输出。 像任何统计建模一样，贝叶斯建模可能需要为你的研究问题设计合适的模型，然后开发该模型，使其符合你的数据假设并运行 1. 了解 Stan 统计模型可以在R或其他统计 ......
模型 海冰 北半球 线性 气候

【视频】R语言生存分析原理与晚期肺癌患者分析案例|数据分享|附代码数据

原文链接：http://tecdat.cn/?p=10278 最近我们被客户要求撰写关于生存分析的研究报告，包括一些图形和统计输出。 生存分析（也称为工程中的可靠性分析）的目标是在协变量和事件时间之间建立联系 生存分析的名称源于临床研究，其中预测死亡时间，即生存，通常是主要目标。 视频：R语言生存分 ......
数据 肺癌 患者 原理 案例

Python时间序列分析苹果股票数据：分解、平稳性检验、滤波器、滑动窗口平滑、移动平均、可视化

全文链接：https://tecdat.cn/?p=33550 原文出处：拓端数据部落公众号 什么是时间序列？ 时间序列是一系列按时间顺序排列的观测数据。数据序列可以是等间隔的，具有特定频率，也可以是不规则间隔的，比如电话通话记录。 在进行投资和交易研究时，对于时间序列数据及其操作要有专业的理解。本 ......
平稳性 时间序列 滤波器 序列 苹果

数据分析与企业数据分析方向

数据是指对客观事物进行记录并可以鉴别的符号，是对客观事物性质，转台以及相互关系等进行记载的物理符号，不仅仅指的是狭义上的数字，还可以是具有一定意义的文字字母等等。 数据必须同过观察事物的计量和统计 需要数据的原因：把隐藏在数据背后的信息集中和提炼出来，总结处内在规律。 数据分析在企业日常经营分析中主 ......
数据分析 数据 方向 企业

师范类专业和院校分析

1、师范大学第一梯队（国家公费师范生） 1、北京师范大学（985,211，双一流） 2、华东师范大学（985,211，双一流） 3、华中师范大学（211，双一流） 4、东北师范大学（211，双一流） 5、西南大学（211，双一流） 6、陕西师范大学（211，双一流） 处在这一梯队的大学，往往最低分数 ......
师范 院校 专业

Chrome v8漏洞分析

# Chrome v8 > 前几天在7resp4ss师傅的推荐下，准备学习一波v8漏洞。 > > 在这里记录一下漏洞分析过程 ## 什么是v8 首先我们需要知道v8是什么 以下内容来自维基百科 ``` V8是一个由Google开发的开源JavaScript引擎，用于Google Chrome及Chr ......
漏洞分析 漏洞 Chrome

游戏引擎分析课程笔记 2023/9/4

游戏引擎：（用于开发游戏和富媒体）可复用组件+开发工具 包含运行时（预览）+编辑器（开发时调试用的） 另：github copilot(AI 写代码) ......
课程 引擎 笔记 2023

DFT 在信号频谱分析中的应用

# DFT 在信号频谱分析中的应用 ## 实验目的 1. 熟悉 DFT 的性质。 DFT是离散傅里叶变换的缩写，是一种将时域信号转换为频域信号的数学工具。下面是DFT的一些基本性质： 1. 线性性：DFT是线性的，即它满足叠加原理。如果x1(n)和x2(n)是两个长度为N的离散时间信号，那么它们的D ......
频谱 信号 DFT

第4篇 sound.c分析（应用层如何调用到内核层的）

原文链接：https://blog.csdn.net/yangguoyu8023/article/details/122114620 ## 1. alsa_sound_init alsa的核心入口函数是sound\core\sound.c中的alsa_sound_init ``` static st ......
应用层 内核 sound

spfa在使用中问题的简单分析

作者水平一般，有问题请指出，我将及时修改。〇、问题引入 spfa 本质上是队列优化贝尔曼福特。我们可以使用队列，在每一轮的点更新中仅更新上一轮更新中的被更新点的相邻的点（好绕……）。这种情况下的算法复杂度与Dijkstra不相上下。 但是有一个问题，这么好的算法为什么没有被大量使用呢？ 那必然是不玩 ......
问题 spfa
共6700篇  :89/224页 首页上一页89下一页尾页