实例1：工业生产线的Petri网模型
有一工业生产线，要完成两项操作，分别为变迁t1和t2表示，变迁t1 将进入生产线的半成品s1s2用两个部件s3固定在一起，后形成中间件s4。然后第2个变迁t2 将s4 和s5用3个部件s3固定在一起形成中间件s6。完成t1和t2 都需要用到工具s7
假设受空间限制s2 s5最多不能超过100件， s4最多不能超过5件，s3最多不能超过1000件。
*
2022-06-10 03:25:23
11.83MB
1
矿井直流提升机调速系统设计，建立了以可逆 V-M 作为可控直流源的电枢可逆的他励直流电动机逻辑无环流转速电流双闭环可逆调速系统的数学模型，根据给定的电机参数，对调速系统的设计参数进行分析和计算，详细介绍了转速电流双闭环的各参数设计过程，并对系统的性能指标进行了MATLAB仿真进行测试，结果显示所设计的双闭环调速系统满足设计要求。
2022-06-09 20:46:15
1.52MB
1
数据结构1800试题的答案，各大高校科研院校近10年题目，真实权威，题型涵盖选择、填空、判断、应用，多达1800道。
2022-06-09 15:23:25
1013KB
1
一、 实验任务
设计并制作全息光栅，并测出其光栅常数，要求所制作的光栅不少于每毫米100条。
二、 实验要求
1、设计三种以上制作全息光栅的方法，并进行比较。
2、设计制作全息光栅的完整步骤（包括拍摄和冲洗中的参数及注意事项），拍摄出全息光栅。
3、给出所制作的全息光栅的光栅常数值，进行不确定度计算、误差分析并做实验小结。
2022-06-09 15:07:16
268KB
1
Verilog的任务及函数
结构化设计是将任务分解为较小的，更易管理的单元，并将可重用代码进行封装。这通过将设计分成模块，或任务和函数实现。
任务（task)
通常用于调试，或对硬件进行行为描述
可以包含时序控制（#延迟，@, wait）
可以有 input，output，和inout参数
可以调用其他任务或函数
函数(function)
通常用于计算，或描述组合逻辑
不能包含任何延迟；函数仿真时间为0
只含有input参数并由函数名返回一个结果
可以调用其他函数，但不能调用任务
2022-06-09 15:01:53
660KB
1
这是谷歌工程师 Eric Lehman，与 MIT 两位教授 Thomson Leighton 和 Albert Meyer 合著的教科书。如同书名，为计算机专业的学生提供数学基础知识
2022-06-09 08:46:00
12.78MB
1
如今，安全高效的网络化办公是现代公司运营的标配。企业实施网络化能够很好地提高办公效率，促使企业内部员工之间更好的沟通合作，同时能够满足移动办公的需求。但同时，面对纷繁复杂的互联网环境，对企业网络做好安全防护，保护公司机密信息是很有必要的。
本次设计主要针对大中型企业网络进行简单设计。以典型的企业网为设计基础，着重于网络安全，并加入WLAN、设备冗余解决方案。在安全与效率中寻找切实的设计方案，拓展出新的企业网络设计解决方案。
2022-06-08 21:36:49
14KB
1