展示命题逻辑应用的5个场景,需求描述,需求一致性验证,信息检索,判断条件,按位运算和机器证明使用的消解
2022-03-26 15:31:02 873KB 离散数学 命题逻辑 应用
1
找了好久的资料,和大家分享. 其中有3282的英文资料,还有一个3282应用实例。。希望对大家有帮助。。
2022-03-23 16:28:01 2.94MB 3282
1
响应曲线法举例 SimuLink仿真程序参见..\PIDControl \PIDLoop.mdl) 假设测量范围为200 ~ 400 ℃, K = 1.75, T = 10 min, τ = 7 min. Kc = 0.8, Ti = 14 min, Td = 3.5 min.
2022-03-21 19:26:41 451KB PID
1
删余(Puncture)举例 采用码率为1/R的系统卷积码 如果不删余,信息位加上两个编码器的各一个校验位,将产生码率为1/3的码流。 如果令编码器1的校验流乘以一个删余矩阵 P1=[1 0]T,编码器2乘以一个删余矩阵 P2=[0 1]T,就产生了在编码器1、2间轮流取值的效果。 发送到信道上的只是1位信息位和1位轮流取值的校验位,使码率调整为1/2。
2022-03-17 18:48:31 471KB 编码理论 Turbo码
1
c语言中一种快速的排序方法qsort,qsort的排序方法的具体行事和各种形式的详细举例说明。可以省去很多不必要的比较和循环
2022-03-17 10:32:33 35KB qsort 排序 c
1
Delphi 7.0 内存映射文件举例,演示文件读取,读取的文件内容显示时缺省将其转变为大写,用户可通过大小写的转换操作来感受内存映射文件后对文件内容的操作,当然映射的文件的操作不仅仅是大小写的转换,还有很多操作,根据你的需要,你可编写出需要的内存映射功能。
2022-03-10 13:34:35 11KB Delphi源码-界面编程
1
改变/etc/inittab文件在有些情况下,需要增加、改变、列出、删除/etc/inittab文件中的记录。/etc/inittab文件定义了哪些进程在哪个系统运行级别里运行。 当运行init命令时,它将读取/etc/inittab文件。每一条记录定义了一个进程在一个进程的运行。
2022-02-28 17:49:42 331KB initta
1
一般时间分布模型举例:例8-7 有一汽车冲洗台,汽车按Poisson流到达,平均每小时到达18辆;冲洗时间T的平均值=0.05小时/辆,方差Var(T) =0.01(小时/辆)2,求该洗车台的运行指标,并对它进行评价。 解:本例是M/G/1系统,且已知
2022-02-22 12:29:19 181KB 排队论
1
举例:指数分布随机数的产生 或
2022-02-17 18:10:53 737KB matlab 数字信号处理
1
理论讲述了什么是主成分分析,并配合示例让我们更好的理解主成分分析
2022-02-14 16:43:11 583KB 主成分分 举例
1