【SoftWare】

写给学生看的系统分析与验证笔记（一）——形式化基础

Inthecontextofhardwareandsoftwaresystems,formalverificationistheactofprovingordisprovingthecorrectnessofintendedalgorithmsunderlyingasyste
Campsisgrandiflora·2023-10-20 08:20

大模型背景下软件工程的机遇与挑战

点击链接了解详情本文作者：汪晟杰导语:AISE（AISoftwareEngineering）有人说是软件工程3.0，即基于大模型（LLM-LargeLanguageModel）时代下的软件工程。
腾云 CODING·2023-10-20 07:26

删除“此电脑中”和“另存为中”的3D对象等七个文件夹

处理“此电脑”文件夹的注册表路径：HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Explorer\MyComputer\NameSpace
jzz3933·2023-10-20 00:25

Xilinx Alveo加速卡开发环境搭建

青儿创客基地B站：主页https://space.bilibili.com/208826118参考网页版帮助官网AlveoU200DataCenterAcceleratorCard首页VitisUnifiedSoftwareDevelopmentPlatform2020.1DocumentationXilinxRuntime
三遍猪·2023-10-20 00:58

【COMP207 LEC20】

DDBProvidingaccesstolargedatasetstomanyusers(e.g.,foranonlinestore)给用户提供对大型数据库的访问Distributedataoverseveralcomputers–notnecessarilyidentical(insoftwareorhardware
WINNER505·2023-10-19 23:33

去除此电脑autodesk 360 驱动器图标

1、按Win+R快捷键打开运行，输入regedit，回车进入注册表编辑器;2、依次展开HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion
柠檬味丶东东·2023-10-19 22:13

永久解决Typora 过期无法打开问题

pleasedownloadandinstallanewerversion.解决;Windows键+R，弹出命令行输入框，输入regedit或者打开cmd，命令行输入regedit打开注册表后，在注册表的输入框输入：计算机\HKEY_CURRENT_USER\SOFTWARE
SpringSir·2023-10-19 22:04

Kubernetes Statefulset

UnderstandingstatefulworkloadrequirementsAstatefulworkloadisapieceofsoftwarethatmuststoreandmaintainstateinordertofunction.Thisstatemustbemaintainedwhentheworkloadisrestartedorrelocated.Thismakesstate
Tech Talking·2023-10-19 21:15

RNA-seq :TopHat2 + Cufflinks分析流程

1、测序数据质量控制：fastqc软件1）使用方法：/life/rjian/software/fastQC/FastQC/fastqc-o/life/rjian/data/liyan/filename_fastqc
onlyme_862a·2023-10-19 20:03

如何更改华为交换机SSH默认端口号

环境：FutureMatrixS5735S-SSwitchSoftwareVersion:VRP®Software,Version5.170(V200R021C01SPC200)问题描述：如何更改华为交换机
玩电脑的辣条哥·2023-10-19 20:47

FreeFileSync开机实时自动同步文件

官网地址：FreeFileSync:OpenSourceFileSynchronization&BackupSoftware背景假如我们有一个
JunLan~·2023-10-19 20:45

AtCoder ABC132

每个盒子球不限的组合数空挡插隔板法，高中数学#-*-coding:utf-8-*-#@time:2023/6/213:30#@author:[email protected]#@desc:#@file:atcoder.py#@software
rag_doll·2023-10-19 19:26

kafka_2.10-0.8.2.1集群搭建和简单使用

1.解压kafkatar-zxvfkafka_2.10-0.8.2.1-C/software2.1在hadoop节点修改配置文件config/server.propertiesbroker.id=0#代理的
chucancheng5319·2023-10-19 19:14

Red Giant Trapcode Suite 红巨星粒子插件

RedGiantTrapcodeSuite是一款用于在AfterEffects中模拟和建模3D粒子和效果的软件，由RedGiantSoftware公司开发。
m0_74275510·2023-10-19 17:35

WuThreat身份安全云-TVD每日漏洞情报-2023-10-17

漏洞名称:CiscoIOSXESoftwareWebUI权限提升漏洞漏洞级别:严重漏洞编号:CVE-2023-20198相关涉及:CiscoIOSXESoftware漏洞状态:未定义参考链接:https
WuThreat·2023-10-19 17:23

刘剑 计算机科学与技术,刘剑-中国科学院大学-UCAS

发表论文(1)Explainingsoftwarefailuresbycascadefaultlocalization,ACMTransactionsonDesignAutomationofElectronicSystems
一念前尘·2023-10-19 17:16

win10/11微软拼音导入小鹤双拼方案

方法1WindowsRegistryEditorVersion5.00[HKEY_CURRENT_USER\Software\Microsoft\InputMethod\Settings\CHS]"EnableCloudCandidate
JOHY119·2023-10-19 16:34

“ActiveBodyMuscles“ app Tech Support（URL）

Asoftwarethatintroducestheactivityofbodyjointsormuscles,andisequippedwithatimerforeasyviewingofactivitytime.Ifyouhaveanyquestions
weixin_42782982·2023-10-19 15:35

“WeekendMeaningfulThings“ app Tech Support（URL）

Onweekends,youcandomeaningfulthings,suchasreading,painting,exercising,outdooractivities,andsoon.Throughthissoftware
weixin_42782982·2023-10-19 15:05

华为FAT模式无线AP配置实例

硬件：AP3010DN软件版本：VRP®software,Version5.170(AP3010DN-V2FATV200R010C00SPCf02)[Huawei]disverHuaweiVersatileRoutingPlatformSoftwareVRP
Shaoxi Zhang·2023-10-19 15:05

“AthleticsEvents“ app Tech Support（URL）

Atrackandfieldrelatedsoftwarethatincludesanintroductiontotrackandfieldrelatedevents,andcandevelopprojectplansandcompletethemtoachievetrainingobjectives.Ifyouhaveanyquestions
weixin_42782982·2023-10-19 15:54

Ubuntu-Docker-STF(devicefarmer)环境搭建 (android 12)

installdockersudoaptupdatesudoaptinstallapt-transport-httpsca-certificatescurlgnupg-agentsoftware-properties-commonsudoapt-getinstallca-certificatescurlgnupglsb-releasecurl-fsSLhttps
iffy1·2023-10-19 15:14

nRF52832：使用 SEGGER Embedded Studio（SES）创建库文件

系统环境系统：macOS11.2网络：联网软件环境编译器环境：SEGGEREmbeddedStudiov5.40（SES）镜像烧录器：nRFConnectv3.6.1仿真器驱动：J-LinkSoftwareandDocumentationPackv6.94a
关东糖·2023-10-19 14:37

广告SDK开发经验总结

一、SDK简介SDK全称SoftwareDevelopmentKit，即软件开发工具包。通常是辅助开发某个软件而抽出剥离的特定功能软件包。
PaulLuv·2023-10-19 14:57

SCSF - Part 1 Modules and Shells

richnewman.wordpress.com/intro-to-cab-toc/Filedunder:.net,CAB,CompositeApplicationBlock,GUI,SCSF,SmartClientSoftwareFactory
lee576·2023-10-19 13:58

linux下vim编辑器安装,Linux入门（四）ubuntu下vim编辑器安装与使用(示例代码)

219f4bf7d03187de452d3862.html一、安装vim控制台版本的vim随ubuntu一起发行,因此没必要安装.然而,如果您更喜欢GUI界面下的vim的话,请安装vim-gtk软件包,有以下两种方法:1、在UbuntuSoftwareCenter
Reinhardt Jin·2023-10-19 13:54

离线使用OBD本地部署单节点OceanBase

observer启动集群验证停止集群销毁集群实验环境操作系统内存硬盘Fedorarelease35(ThirtyFive)12G60G下载安装包下载地址：https://open.oceanbase.com/softwareCenter
夏 克·2023-10-19 11:37

S2R 系统框架

S2R整个系统框架，来源于文档：80-PG469-7Rev.PQNXPowerManagementSoftwareArchitecture硬件框图：
norlan_jame·2023-10-19 11:56

Go by Example / Golang入门教程（非常详细）

gobyexample.com/GobyExampleGoisanopensourceprogramminglanguagedesignedforbuildingsimple,fast,andreliablesoftware.GobyExampleisahands-onintroductiontoGousingannotatedexampleprograms.Checkout
琅琊山二当家·2023-10-19 10:53

Edge---微软浏览器-兼容性问题-解决办法（详细）

图片现象：快捷键：win+R（进入管理员命令窗口）输入：regedit（进入注册表编辑器）点击文件夹：HKEY_LOCAL_MACHINE找到这个路径的文件项：HKEY_LOCAL_MACHINE\SOFTWARE
嵌入式@秋刀鱼·2023-10-19 08:15

CentOS7通过shell脚本自动部署oracle12c

自动安装部署的脚本分为两部分：第一部分oracle_software.sh的作用是安装oracle软件环境；第二部分是listener_dbca.sh，作用是安装监听、配置oracle系统启停服务、配置数据库实例
DomDanrtsey·2023-10-19 07:08

软考 系统架构设计师系列知识点之基于架构的软件开发方法ABSD（7）

软考系统架构设计师系列知识点之基于架构的软件开发方法ABSD（6）所属章节：第7章.系统架构设计基础知识第5节.特定领域软件体系结构相关试题3.基于架构的软件设计（Architecture-BasedSoftwareDesign
蓝天居士·2023-10-19 06:49

MVC、MVP、MVVM架构模式与多层架构

MVC、MVP、MVVM架构模式与多层架构个人博客地址：http://radarsoftware.cn/date:2019-07-2122:52:35tags:MVCMVPMVVM三层架构(3-tierapplication
Where_dWanaGo·2023-10-19 05:09

iphone xr密码错误太多次 连接itunes

itunes下载的固件在电脑在电脑的“C：\Users\用户名\AppData\Roaming\AppleComputer\iTunes\iPhoneSoftwareUpdates”文件夹之中。
qq_27327261·2023-10-19 04:24

Scrum敏捷开发模式介绍与实践

敏捷开发模式二、敏捷开发模式三、敏捷模式1.Scrum2.Kanban3.XP4.LeanStartup四、Scrum敏捷开发模式1.框架图2.角色ScrumMaster，SMProductOwners，POSoftwareDevelopers
一个菜逼程序员·2023-10-19 02:22

Hive3.1.2 on Tez0.10.1的安装部署

一、Hive环境搭建Hive安装部署1）把apache-hive-3.1.2-bin.tar.gz上传到linux的/opt/software目录下2）解压apache-hive-3.1.2-bin.tar.gz
技匠三石弟弟·2023-10-19 02:56

T Coat Appointment

PrivacyPolicyThissoftwarerespectsandprotectstheprivacyofalluserswhousetheservice.Inordertoprovideyouwithmoreaccurateandpersonalizedservices
柠檬LemonTt·2023-10-19 01:18

Git可视化教程——Git Gui的使用，防忘笔记

一、注册githubGitHub:Wheretheworldbuildssoftware·GitHub二、下载Git（百度即可，还有很详细的安装教程，不赘述）三、添加sshkeytitle随便写key要在
咕噜一口温开水·2023-10-19 00:33

Qt学习_12_一键生成安装包

用windows的.bat脚本实现一键生成Qt程序的安装包，代码如下::@echooff%Thisisawindowscriptusedtopackagethissoftware.
江湖上都叫我秋博·2023-10-19 00:00

文献笔记——A View of Cloud Computing

DefiningCloudComputingCloudcomputingreferstoboththeapplicationsdeliveredasservicesovertheInternetandthehardwareandsystemssoftwareinthedatacentersthatprovidethoseservices.Top10ObstaclesandOpportunities
Lintongzg·2023-10-19 00:25

金山终端安全系统V9.0 SQL注入漏洞复现

0x02漏洞概述金山终端安全系统V9.0/inter/update_software_info_v2.php页面存在sql注入漏洞，该漏洞是由于金山终端安全系统未对用户的输入进行有效的过滤，直接将其拼接进了
OidBoy_G·2023-10-18 23:38

deepin更新失败_linux deepin 系统升级失败解决办法

W:GPG错误：http://www.scootersoftware.comstableRelease:由于没有公钥，无法验证下列签名：NO_PUBKEY331D6DDE7F8840CEW:无法下载
weixin_39885469·2023-10-18 23:25

SUMO下载安装及仿真流程

（官网说明：ComputerSkills-SUMODocumentation(dlr.de)）概括来说，在环境变量界面选择用户变量-path--新建“D:\software\sumo\bin”；在用户变量中新建
三脚猫儿·2023-10-18 23:01

OneDrive打不开了，怎么办？使用管理员身份也无效，分享解决办法如下

②找到HKEY_LOCAL_MACHINE\Software\Policies\M
JJxiao24·2023-10-18 22:38

黑豹程序员-架构师学习路线图-百科：Maven

文章目录1、什么是maven官网下载地址2、发展历史3、Maven的伟大发明1、什么是mavenApacheMavenisasoftwareprojectmanagementandcomprehensiontool.Basedontheconceptofaprojectobjectmodel
长安紫薯·2023-10-18 22:44

软件测试学习路线图

软件测试（SoftwareTesting），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过
buyaofengwohao·2023-10-18 22:02

Linux安装miniconda3

miniconda/Miniconda3-latest-Linux-x86_64.sh安装Miniconda（需要连网）（1）将Miniconda3-latest-Linux-x86_64.sh上传到/opt/software
真离谱·2023-10-18 21:52

lgloo Software 的 Jira Cloud 转型之旅

IglooSoftware，一家位于加拿大的软件公司，我们提供的平台和服务能够帮助企业将其内网转换为可以支持员工在线工作的环境，以实现企业内部更好的沟通和协作。
Atlassian速递·2023-10-18 21:18

The Log: What every software engineer should know about real-time data's unifying abstraction

原文链接：TheLog:Whateverysoftwareengineershouldknowaboutreal-timedata'sunifyingabstractionIjoinedLinkedInaboutsixyearsagoataparticularlyinterestingtime.Wewerejustbeginningtorunu
依叹·2023-10-18 20:15

The Log

TheLog:Whateverysoftwareengineershouldknowaboutreal-timedata’sunifyingabstraction译文JayKrepsPrincipalStaffEngineerPostedon12
TaoLR·2023-10-18 20:44
上一页 47 48 49 50 51 52 53 54 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他