基于NuSMV语言描述三层电梯的行为,并对相关性质进行模型检测。
是一个模型检测应用的简单例子。
2025/6/26 4:44:21 4KB 电梯,NuSMV
一个小型的html的班级网站,美化的相当不错.包括综合案例源代码,可以作为网页设计的期末考评作业
哈工大ACM-ICPC培训资料汇编2-8合集,acm复习专业资料
2025/6/25 19:45:31 38.51MB acm icpc 学习资料
杭电acm__练习题100例(删减版).doc
2025/6/25 19:14:38 102KB 杭电 acm
绍了工作于2.4GHzISM频段的射频收发芯片nRF2401的芯片结构、引脚功能、工作模式、接收与发送的工作流程,详细描述了nRF2401的器件配置,给出了应用电路图,分析了PCB设计时应该注意的问题,最后对全文进行了总结。
2025/6/25 17:42:57 102KB RF2401
ETAP入门建模视频,高清,适合入门同学学习,共六集。
2025/6/25 13:57:05 27.64MB ETAP 暂态分析
定义一个存折类CAccount,存折类具有帐号、姓名、余额等数据成员,可以实现存款、取款和查询余额的操作,取款金额必须在余额范围内。
从存折类派生出信用卡类CCreditcard,信用卡类增加了透支限额一项数据成员,对存款操作进行修改,允许在限额范围内透支金额。
在main函数中建立这两个类的对象并测试之。
2025/6/25 13:15:50 995B 存折存款取款
Java实现数据库管理系统,可以通过控制台进行sql语句实现,用文件存储,用到了B+树和hash,用到了java的序列化和反序列化,对象流。
2025/6/25 13:29:51 329KB java 数据库实验 DBMS
本课程设计主要讲述“某机械厂降压变电所的电气设计”的方法,及其具体设计步骤内容;
需要的友友赶紧下载吧
2025/6/25 12:29:21 1.13MB 工厂供电 课程设计
使用C语言,根据停用词表,对指定文件的内容扫描,从而删除文件中出现的停用词。
2025/6/25 12:42:06 2KB C语言 停用词 文件操作
共 1000 条记录 首页 上一页 下一页 尾页