- 离线环境下如何优雅地部署 Mentor Questa
CFAteam
EDA工具安装指南EDA服务器运维fpga开发
MentorQuesta(前称ModelSimSE)是SiemensEDA旗下的重要数字仿真平台,被广泛用于ASIC和FPGA的功能验证、测试平台搭建和UVM流程开发。相比SynopsysVCS和CadenceXcelium,Questa更注重仿真引擎的灵活性与图形交互性。但在实际部署中,很多客户面临着“无法联网”或“内网部署”场景,如:高校教学机房受网络限制企业设计环境为内网隔离区军工科研单位需
- UVM中uvm_do、uvm_create和uvm_send详细区别和代码举例(涵盖start_item和finish_item关系)
zilan23
UVM硬件工程
独创:篇幅较长,但很详细哟UVM中uvm_do、uvm_create和uvm_send详细区别和代码举例(涵盖start_item和finish_item关系):在UVM验证框架中,uvm_do、uvm_create和uvm_send是生成和发送transaction的三大核心宏,它们的区别体现在控制粒度和功能组合上。以下是详细对比和示例:一、功能对比宏功能分解控制权适用场景uvm_do1.创建对
- 【UVM基础】uvm_resource_db 使用介绍
MoorePlus
数字IC验证百宝箱经验分享面试数字IC芯片验证SVUVM
文章目录介绍uvm_resource_db使用uvm_resource_db类声明:uvm_resource_db类方法uvm_resource_db::set方法uvm_resource_db::read_by_type方法介绍uvm_resource_db类为资源工具提供了一个方便的接口。在许多情况下,创建和设置资源或获取资源等基本操作可能需要使用uvm_resource_base或uvm_r
- [SystemVerilog] Clocking
S&Z3463
SystemVerilogfpga开发
SystemVerilogClocking用法详解SystemVerilog的clocking块(ClockingBlock)是一种专门用于定义信号时序行为的构造,主要用于验证环境(如UVM)中,以精确控制信号的采样和驱动时序。clocking块通过将信号与特定时钟关联,简化了测试环境中对时序敏感信号的处理,减少了手动时序管理的复杂性。本文将详细介绍SystemVerilog中clocking块的
- Debian安装配置Nvidia驱动
两斤半
LinuxDebiandebian
检查内核模块nvidia-smi检查已加载的内核模块lsmod|grepnvidia#输出参考nvidia_uvm49152000nvidia_drm11878418drm_ttm_helper163841nvidia_drmdrm_kms_helper2539522drm_ttm_helper,nvidia_drmnvidia_modeset160563225nvidia_drmnvidia60
- core-v-verif系列之lib<53>
CDerL
fpga开发
UVM环境介绍HEADcommitID:1f968ef//Copyright2020OpenHWGroup//Copyright2020DatumTechnologyCorporation//Copyright2020SiliconLabs,Inc.////LicensedundertheSolderpadHardwareLicence,Version2.0(the"License");//you
- core-v-verif系列之lib<50>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.core-v-verif/lib/uvm_agents/uvma_cvxif/src/uvma_cvxif_assert.sv//Copyright2021ThalesDISdesignservicesSAS////LicensedundertheSolderpadHardwareLicence,Version2.0(the"License
- core-v-verif系列之lib<49>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.core-v-verif/lib/uvm_agents/uvma_cvxif/src/comps/uvma_cvxif_mon.sv//Copyright2021ThalesDISdesignservicesSAS////LicensedundertheSolderpadHardwareLicence,Version2.0(the"Lice
- core-v-verif系列之lib<45>
CDerL
core-v-verif
core-v-verif系列之lib<45>UVM环境介绍HEADcommitID:1f968ef1.core-v-verif/lib/uvm_agents/uvma_clknrst/seq/uvma_clknrst_base_seq.sv////Copyright2020OpenHWGroup//Copyright2020DatumTechnologyCorporation////License
- Emacs Verilog-mode 核心功能与使用指南
yang_20250429
emacs编辑器
一、基本概念与背景1、功能定位Verilog-mode是Emacs专门为Verilog/SystemVerilog开发设计的插件12,支持包括UVM验证框架在内的硬件设计语言特性。其核心功能包括:语法高亮:区分关键字、注释、端口等元素自动缩进与格式化:根据代码层级智能调整缩进AUTO宏系统:自动生成模块端口、信号连接等重复代码2、开发者背景由MichaelMcNamara和WilsonSnyder
- core-v-verif系列之lib<30>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.core-v-verif/lib/uvm_agents/uvma_axi5/src/uvma_axi_amo_assert.sv//Copyright2022ThalesDISSAS////LicensedundertheSolderpadHardwareLicence,Version2.0(the"License");//youmayno
- core-v-verif系列之cv32e40p UVM环境介绍<16>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.tb/core/dp_ram.sv//DVTLINTERwaiversarefinebecausethisisnotaUVMcomponent.//@DVT_LINTER_WAIVER_START"MT20210811_0"disableSVTB.29.1.3.1,SVTB.29.1.7moduledp_ram#(parameterADDR
- core-v-verif系列之cv32e40p UVM环境介绍<14>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.tb/core/tb_riscv/riscv_random_interrupt_generator.sv////////Author:
[email protected]////////Additionalcontributionsby:DavideSchiavone-pschiavo@ii
- core-v-verif系列之cv32e40p UVM环境介绍<11>
CDerL
core-v-verif
UVM环境介绍HEADcommitID:1f968ef1.regress/cv32e40p_full_covg_no_pulp.yaml#YAMLfiletospecifyaregressiontestlist#NotethattheCOREV=YESissetforalltestsinthisregression.#ThismeansyouneedtohaveatoolchainatCOREV_
- #C8# UVM中的factory机制 #S8.1.1# 多态的实现方式(三)
那么菜
UVM
记得曾经看到过这样一句话:实现多态,有二种方式,覆盖,重载。今天,再琢磨这句话,不禁想起来什么,随便写写吧。在面向对象编程(OOP)中,多态(Polymorphism)的实现方式,有哪些呢?1.多态的分类多态通常分为两类:编译时多态(静态多态):在编译阶段确定具体调用的方法,例如方法重载(Overload)。运行时多态(动态多态):在程序运行期间动态绑定具体调用的方法,例如方法覆盖(Overrid
- uvm configuration
weifexie
UVMuvmsystemverilogconfiguration
UVMConfiguration机制详解UVM的配置机制(ConfigurationMechanism)是验证环境中实现参数传递和动态配置的核心方法,通过uvm_config_db类实现跨组件的数据共享和灵活配置。以下是其核心概念、使用方法和最佳实践的详细解析:1.核心概念目的:在不直接修改组件代码的前提下,动态传递参数、接口句柄或对象,提升验证环境的灵活性和复用性。核心类:uvm_config_
- uvm factory
weifexie
UVMuvmsystemverilogfactory
UVMFactory是验证环境中实现动态对象和组件创建的核心机制,它通过类型注册和覆盖(Override)机制,允许在不修改原有代码的情况下替换组件或事务类型,从而提升验证环境的灵活性和可重用性。以下是Factory机制的详细解析:Factory的核心概念核心作用:动态对象创建:通过类型名称(字符串)或代理类(ProxyClass)创建对象。类型覆盖:在运行时替换默认组件或事务类型(例如将普通Dr
- #C8# UVM中的factory机制 #S8.2.3# 重载sequence哪些情形
那么菜
UVM
在UVM中,重载(Override)Sequence是一种动态替换激励生成逻辑的关键技术,常用于灵活配置测试场景。以下是常见的用法和实现方式:1.在uvm_testbuild_phase中通过set_type_override重载用途:直接替换某个Sequencer的默认Sequence类型。实现步骤:在测试用例的build_phase中,调用set_type_override。指定原始Seque
- #C8# UVM中的factory机制 #S8.5# 对factory机制的重载进一步思考
那么菜
UVM
前面的重载,我们已经谈了很多,为什么还需要进一步聊聊呢。作为码农,我们喜欢拿来多种相近语言,进行对比理解,相信这是一种加深对问题理解的方式。一C++重载在C++中,重载和多态的英文术语分别是:重载→Overloading;多态→Polymorphism重载的定义:在同一作用域内定义多个同名函数或操作符,但参数列表(类型、数量或顺序)不同。多态定义:通过继承和虚函数实现,允许不同子类对象对同一方法表
- #C8# UVM中的factory机制 #S8.2.1# factory 机制重载法则
那么菜
UVM
factory机制最伟大的地方在于其具有重载功能。重载并不是factory机制的发明,前面已经介绍过的所有面向对象的语言都支持函数/任务重载,另外,SystemVerilog还额外支持对约束的重载。只是factory机制的重载与这些重载都不一样。一问题引出以8.1.1节的代码清单8-1和代码清单8-2为例,定义好bird与parrot,并在测试用例中调用print_hungry函数。只是与8.1.
- nvidia_uvm 被占用,nvidia-smi 卡死
guganly
数据中心运维实战chrome前端服务器运维linux
系统可以识别到多块NVIDIAGPU,且驱动模块已加载,但nvidia_uvm被占用,nvidia-smi卡死,通常是由于以下原因导致:可能原因GPU资源被占用某些进程正在使用NVIDIA驱动,导致模块无法卸载。驱动损坏或加载异常NVIDIA内核模块部分加载,但驱动未能正确工作。GPU挖矿或AI任务未释放某些后台程序未正常退出,导致GPU资源无法被释放。PCIe通道异常多卡环境可能由于PCIe配置
- 【UVM基础】m_sequencer 和 p_sequencer 概念与区别(面试常问)
MoorePlus
数字IC验证百宝箱经验分享面试数字IC芯片验证SV
文章目录1、基本概念m_sequencerp_sequencer2、解释m_seqeuncer和p_sequencer的区别?3、uvm_declare_p_sequencer宏做了哪几件事?参考1、基本概念m_sequencer类型是uvm_sequencer_base类型,定义在uvm_sequence_item类中,注意:类型很重要。可以理解为每个sequence中默认都有m_sequenc
- 【数字IC验证】博客内容全览
MoorePlus
数字IC验证百宝箱经验分享面试数字IC芯片验证SV
【导读】:数字IC验证百宝箱涵盖博主在实际工作中常用的技能与工具,包括但不限于SV、UVM、Formal、脚本(perl/python/shell)及EDA工具快速上手使用等。无论你是刚踏入职场的验证小白,还是希望回顾基础寻找跳槽机会的从业者,本专栏都能为你提供实用的技术支持,在达成目标的路上,助你一臂之力。“凡是能用钱买来的时间就是便宜的;凡是能用时间换来的注意力持续就是有价值的。”(附上超链接
- uvm_info打印信息(整数/浮点数/字符串/数组/多个信号),快速更改冗余度及重载严重度
星海河空
经验分享linux
前言:熟悉打印信息方法和更改冗余度及严重度有利于大型项目的debug。一.打印信息1.打印整数:%d`uvm_info("MY_COMPONENT",$sformatf("my_signalvalue:%0d",my_signal),UVM_LOW)2.打印浮点数:%f或%.nf(n为保留的几位小数)`uvm_info("MY_COMPONENT",$sformatf("my_signalvalu
- 验证环境中为什么要用virtual interface
m0_71354184
systemverilog
在UVM(UniversalVerificationMethodology)中使用virtualinterface的主要目的是解决SystemVerilog接口(interface)的静态特性与UVM验证环境的动态特性之间的不匹配问题。1.解决静态与动态的绑定问题SystemVerilog接口(interface)是静态的:在编译时确定,无法直接用于动态创建的UVM对象(如driver、monit
- UVM的基本教程
如筏喻者
UVM学习其他
文章目录一、基本介绍二、在实践中学习1.接口interface2.待测设计DUT3.传输数据包transaction4.序列sequence5.序列器sequencer6.驱动器driver7.监视器monitor8.代理agent9.记分板scoreboard10.仿真环境env11.测试用例test12.顶层top13.参考模型referencemode和直接编程接口(DPI)14.简单的ma
- 3.10 学习UVM中的uvm_test类分为几步?
啄缘之间
UVM学习总结学习veriloguvm测试用例sv
文章目录前言1.定义2.核心功能3.适用场景4.使用方法步骤1:定义测试类步骤2:构建验证环境步骤3:启动测试序列5.完整代码示例5.1事务类(Transaction)5.2序列类(Sequence)5.3驱动类(Driver)5.4环境类(Env)5.5测试类(Test)5.6顶层模块(TopModule)6.代码说明7.总结前言以下是关于UVM中uvm_test的详细解释、核心功能、适用场景、
- 3.2.2 具体的案例展示uvm_object在实际验证中的应用?
啄缘之间
UVM学习总结学习svuvmverilog测试用例
文章目录前言一、案例一:使用uvm_object_utils()简化对象类设计1.1示例代码二、案例二:基于《UVM实战》的验证平台2.1示例代码三、案例三:以太网验证平台3.1示例代码四、案例四:验证一个简单的总线接口4.1、具体实现1.定义派生自`uvm_object`的事务类2.定义序列类3.定义驱动类4.定义环境类5.定义测试类6.顶层测试平台4.2、总结五、总结前言以下是几个具体的案例或
- 1.4 学习序列(Sequence)分为几步?
啄缘之间
UVM学习总结学习svuvm
文章目录前言一、什么是UVM中的Sequence?二、如何理解Sequence?三、如何使用Sequence?四、示例代码4.1示例14.1.1代码分析4.2示例24.2.1代码分析:五、总结前言需要回顾一下UVM的基本概念,特别是Sequence的部分。我记得Sequence是UVM中用于生成测试激励的重要组件,它允许我们以一种灵活和可重用的方式定义测试场景。Sequence可以随机化生成测试数
- 1.5 学习环境(Environment)分为几步?
啄缘之间
UVM学习总结学习verilog开发语言
文章目录前言一、什么是UVM中的环境(Environment)?二、如何理解UVM中的环境(Environment)?三、如何使用UVM中的环境(Environment)?四、代码示例五、实操前言先解释清楚UVM环境是什么,它在验证平台中的位置和作用。得强调UVM环境的层次化结构和可重用性,这是UVM环境的重要特点。一、什么是UVM中的环境(Environment)?UVM中的环境(Environ
- 戴尔笔记本win8系统改装win7系统
sophia天雪
win7戴尔改装系统win8
戴尔win8 系统改装win7 系统详述
第一步:使用U盘制作虚拟光驱:
1)下载安装UltraISO:注册码可以在网上搜索。
2)启动UltraISO,点击“文件”—》“打开”按钮,打开已经准备好的ISO镜像文
- BeanUtils.copyProperties使用笔记
bylijinnan
java
BeanUtils.copyProperties VS PropertyUtils.copyProperties
两者最大的区别是:
BeanUtils.copyProperties会进行类型转换,而PropertyUtils.copyProperties不会。
既然进行了类型转换,那BeanUtils.copyProperties的速度比不上PropertyUtils.copyProp
- MyEclipse中文乱码问题
0624chenhong
MyEclipse
一、设置新建常见文件的默认编码格式,也就是文件保存的格式。
在不对MyEclipse进行设置的时候,默认保存文件的编码,一般跟简体中文操作系统(如windows2000,windowsXP)的编码一致,即GBK。
在简体中文系统下,ANSI 编码代表 GBK编码;在日文操作系统下,ANSI 编码代表 JIS 编码。
Window-->Preferences-->General -
- 发送邮件
不懂事的小屁孩
send email
import org.apache.commons.mail.EmailAttachment;
import org.apache.commons.mail.EmailException;
import org.apache.commons.mail.HtmlEmail;
import org.apache.commons.mail.MultiPartEmail;
- 动画合集
换个号韩国红果果
htmlcss
动画 指一种样式变为另一种样式 keyframes应当始终定义0 100 过程
1 transition 制作鼠标滑过图片时的放大效果
css
.wrap{
width: 340px;height: 340px;
position: absolute;
top: 30%;
left: 20%;
overflow: hidden;
bor
- 网络最常见的攻击方式竟然是SQL注入
蓝儿唯美
sql注入
NTT研究表明,尽管SQL注入(SQLi)型攻击记录详尽且为人熟知,但目前网络应用程序仍然是SQLi攻击的重灾区。
信息安全和风险管理公司NTTCom Security发布的《2015全球智能威胁风险报告》表明,目前黑客攻击网络应用程序方式中最流行的,要数SQLi攻击。报告对去年发生的60亿攻击 行为进行分析,指出SQLi攻击是最常见的网络应用程序攻击方式。全球网络应用程序攻击中,SQLi攻击占
- java笔记2
a-john
java
类的封装:
1,java中,对象就是一个封装体。封装是把对象的属性和服务结合成一个独立的的单位。并尽可能隐藏对象的内部细节(尤其是私有数据)
2,目的:使对象以外的部分不能随意存取对象的内部数据(如属性),从而使软件错误能够局部化,减少差错和排错的难度。
3,简单来说,“隐藏属性、方法或实现细节的过程”称为——封装。
4,封装的特性:
4.1设置
- [Andengine]Error:can't creat bitmap form path “gfx/xxx.xxx”
aijuans
学习Android遇到的错误
最开始遇到这个错误是很早以前了,以前也没注意,只当是一个不理解的bug,因为所有的texture,textureregion都没有问题,但是就是提示错误。
昨天和美工要图片,本来是要背景透明的png格式,可是她却给了我一个jpg的。说明了之后她说没法改,因为没有png这个保存选项。
我就看了一下,和她要了psd的文件,还好我有一点
- 自己写的一个繁体到简体的转换程序
asialee
java转换繁体filter简体
今天调研一个任务,基于java的filter实现繁体到简体的转换,于是写了一个demo,给各位博友奉上,欢迎批评指正。
实现的思路是重载request的调取参数的几个方法,然后做下转换。
- android意图和意图监听器技术
百合不是茶
android显示意图隐式意图意图监听器
Intent是在activity之间传递数据;Intent的传递分为显示传递和隐式传递
显式意图:调用Intent.setComponent() 或 Intent.setClassName() 或 Intent.setClass()方法明确指定了组件名的Intent为显式意图,显式意图明确指定了Intent应该传递给哪个组件。
隐式意图;不指明调用的名称,根据设
- spring3中新增的@value注解
bijian1013
javaspring@Value
在spring 3.0中,可以通过使用@value,对一些如xxx.properties文件中的文件,进行键值对的注入,例子如下:
1.首先在applicationContext.xml中加入:
<beans xmlns="http://www.springframework.
- Jboss启用CXF日志
sunjing
logjbossCXF
1. 在standalone.xml配置文件中添加system-properties:
<system-properties> <property name="org.apache.cxf.logging.enabled" value=&
- 【Hadoop三】Centos7_x86_64部署Hadoop集群之编译Hadoop源代码
bit1129
centos
编译必需的软件
Firebugs3.0.0
Maven3.2.3
Ant
JDK1.7.0_67
protobuf-2.5.0
Hadoop 2.5.2源码包
Firebugs3.0.0
http://sourceforge.jp/projects/sfnet_findbug
- struts2验证框架的使用和扩展
白糖_
框架xmlbeanstruts正则表达式
struts2能够对前台提交的表单数据进行输入有效性校验,通常有两种方式:
1、在Action类中通过validatexx方法验证,这种方式很简单,在此不再赘述;
2、通过编写xx-validation.xml文件执行表单验证,当用户提交表单请求后,struts会优先执行xml文件,如果校验不通过是不会让请求访问指定action的。
本文介绍一下struts2通过xml文件进行校验的方法并说
- 记录-感悟
braveCS
感悟
再翻翻以前写的感悟,有时会发现自己很幼稚,也会让自己找回初心。
2015-1-11 1. 能在工作之余学习感兴趣的东西已经很幸福了;
2. 要改变自己,不能这样一直在原来区域,要突破安全区舒适区,才能提高自己,往好的方面发展;
3. 多反省多思考;要会用工具,而不是变成工具的奴隶;
4. 一天内集中一个定长时间段看最新资讯和偏流式博
- 编程之美-数组中最长递增子序列
bylijinnan
编程之美
import java.util.Arrays;
import java.util.Random;
public class LongestAccendingSubSequence {
/**
* 编程之美 数组中最长递增子序列
* 书上的解法容易理解
* 另一方法书上没有提到的是,可以将数组排序(由小到大)得到新的数组,
* 然后求排序后的数组与原数
- 读书笔记5
chengxuyuancsdn
重复提交struts2的token验证
1、重复提交
2、struts2的token验证
3、用response返回xml时的注意
1、重复提交
(1)应用场景
(1-1)点击提交按钮两次。
(1-2)使用浏览器后退按钮重复之前的操作,导致重复提交表单。
(1-3)刷新页面
(1-4)使用浏览器历史记录重复提交表单。
(1-5)浏览器重复的 HTTP 请求。
(2)解决方法
(2-1)禁掉提交按钮
(2-2)
- [时空与探索]全球联合进行第二次费城实验的可能性
comsci
二次世界大战前后,由爱因斯坦参加的一次在海军舰艇上进行的物理学实验 -费城实验
至今给我们大家留下很多迷团.....
关于费城实验的详细过程,大家可以在网络上搜索一下,我这里就不详细描述了
在这里,我的意思是,现在
- easy connect 之 ORA-12154: TNS: 无法解析指定的连接标识符
daizj
oracleORA-12154
用easy connect连接出现“tns无法解析指定的连接标示符”的错误,如下:
C:\Users\Administrator>sqlplus username/
[email protected]:1521/orcl
SQL*Plus: Release 10.2.0.1.0 – Production on 星期一 5月 21 18:16:20 2012
Copyright (c) 198
- 简单排序:归并排序
dieslrae
归并排序
public void mergeSort(int[] array){
int temp = array.length/2;
if(temp == 0){
return;
}
int[] a = new int[temp];
int
- C语言中字符串的\0和空格
dcj3sjt126com
c
\0 为字符串结束符,比如说:
abcd (空格)cdefg;
存入数组时,空格作为一个字符占有一个字节的空间,我们
- 解决Composer国内速度慢的办法
dcj3sjt126com
Composer
用法:
有两种方式启用本镜像服务:
1 将以下配置信息添加到 Composer 的配置文件 config.json 中(系统全局配置)。见“例1”
2 将以下配置信息添加到你的项目的 composer.json 文件中(针对单个项目配置)。见“例2”
为了避免安装包的时候都要执行两次查询,切记要添加禁用 packagist 的设置,如下 1 2 3 4 5
- 高效可伸缩的结果缓存
shuizhaosi888
高效可伸缩的结果缓存
/**
* 要执行的算法,返回结果v
*/
public interface Computable<A, V> {
public V comput(final A arg);
}
/**
* 用于缓存数据
*/
public class Memoizer<A, V> implements Computable<A,
- 三点定位的算法
haoningabc
c算法
三点定位,
已知a,b,c三个顶点的x,y坐标
和三个点都z坐标的距离,la,lb,lc
求z点的坐标
原理就是围绕a,b,c 三个点画圆,三个圆焦点的部分就是所求
但是,由于三个点的距离可能不准,不一定会有结果,
所以是三个圆环的焦点,环的宽度开始为0,没有取到则加1
运行
gcc -lm test.c
test.c代码如下
#include "stdi
- epoll使用详解
jimmee
clinux服务端编程epoll
epoll - I/O event notification facility在linux的网络编程中,很长的时间都在使用select来做事件触发。在linux新的内核中,有了一种替换它的机制,就是epoll。相比于select,epoll最大的好处在于它不会随着监听fd数目的增长而降低效率。因为在内核中的select实现中,它是采用轮询来处理的,轮询的fd数目越多,自然耗时越多。并且,在linu
- Hibernate对Enum的映射的基本使用方法
linzx0212
enumHibernate
枚举
/**
* 性别枚举
*/
public enum Gender {
MALE(0), FEMALE(1), OTHER(2);
private Gender(int i) {
this.i = i;
}
private int i;
public int getI
- 第10章 高级事件(下)
onestopweb
事件
index.html
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/
- 孙子兵法
roadrunners
孙子兵法
始计第一
孙子曰:
兵者,国之大事,死生之地,存亡之道,不可不察也。
故经之以五事,校之以计,而索其情:一曰道,二曰天,三曰地,四曰将,五
曰法。道者,令民于上同意,可与之死,可与之生,而不危也;天者,阴阳、寒暑
、时制也;地者,远近、险易、广狭、死生也;将者,智、信、仁、勇、严也;法
者,曲制、官道、主用也。凡此五者,将莫不闻,知之者胜,不知之者不胜。故校
之以计,而索其情,曰
- MySQL双向复制
tomcat_oracle
mysql
本文包括:
主机配置
从机配置
建立主-从复制
建立双向复制
背景
按照以下简单的步骤:
参考一下:
在机器A配置主机(192.168.1.30)
在机器B配置从机(192.168.1.29)
我们可以使用下面的步骤来实现这一点
步骤1:机器A设置主机
在主机中打开配置文件 ,
- zoj 3822 Domination(dp)
阿尔萨斯
Mina
题目链接:zoj 3822 Domination
题目大意:给定一个N∗M的棋盘,每次任选一个位置放置一枚棋子,直到每行每列上都至少有一枚棋子,问放置棋子个数的期望。
解题思路:大白书上概率那一张有一道类似的题目,但是因为时间比较久了,还是稍微想了一下。dp[i][j][k]表示i行j列上均有至少一枚棋子,并且消耗k步的概率(k≤i∗j),因为放置在i+1~n上等价与放在i+1行上,同理