内容包括：集成电路芯片系统的建模、电路结构权衡、流水、多核微处理器、功能验证、时序分析、测试平台、故障模拟、可测性设计、逻辑综合、后综合验证等集成电路系统的前后端工程设计与实现中的关键技术及设计案例。
书中以大量设计实例叙述了集成电路系统工程开发需遵循的原则、基本方法、实用技术、设计经验与技巧。
依据数字集成电路系统工程开发的要求与特点，利用VerilogHDL对数字系统进行建模、设计与验证，对ASIC/FPGA系统芯片工程设计开发的关键技术与流程进行了深入讲解。
书中以大量设计实例叙述了集成电路系统工程开发需遵循的原则、基本方法、实用技术、设计经验与技巧。
依据数字集成电路系统工程开发的要求与特点，利用VerilogHDL对数字系统进行建模、设计与验证，对ASIC/FPGA系统芯片工程设计开发的关键技术与流程进行了深入讲解。
2025/6/6 6:15:25
100MB
1
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
2025/6/5 18:40:51
10.93MB
1
学生管理工作是一个系统工程，贯穿于学生在校学习期间的整个过程。
本课程设计从我校学生管理工作实际需求出发，设计了一个高校学生信息管理系统，该系统包含了五大功能模块:
本课程设计从我校学生管理工作实际需求出发，设计了一个高校学生信息管理系统，该系统包含了五大功能模块:
2025/5/4 4:41:58
231KB
1
34Mb/S光纤通信系统工程设计,具体是设计在实训楼D339到数学A楼弱电间之间开通一套34Mb/S光纤系统,要求光路进行保护,写出设计方案,计算光纤长度及使用芯数,工程造价,并说明如何对工程施工质量进行控制。
2025/5/3 6:18:33
357KB
1
SATSOFT卫星天线设计软件是由美国SatelliteSoftware,Inc.所研发，SATSOFT可用于卫星天线设计、分析和覆盖规划，可以快速估定天线覆盖范围和增益，设计赋形天线和设计多波束天线，完成其他有关卫星载荷工程的工作。
SATSOFT主要面向系统工程师和天线专业技术人员，其图形操作界面使得软件操控简单易行，即使对天线只了解皮毛的用户也能得心应手地有效使用，而高级开发工具只面向天线专业技术人员。
[1]▪规划、设计通信卫星系统▪评估天线覆盖区域和增益大小▪设计多波束天线和赋形波束天线产品特性▪自动快速的天线设计功能▪等高线绘制▪卫星-地球形式的几何结构▪从任意高度的任意观测点观察地图▪多边形创建和编辑功能▪设计多波束天线和赋形波束天线▪多天线模式▪单元波束、合成波束同时分析▪强大的优化功能▪赋形波束天线分析与设计▪多天线、多反射器配置
SATSOFT主要面向系统工程师和天线专业技术人员，其图形操作界面使得软件操控简单易行，即使对天线只了解皮毛的用户也能得心应手地有效使用，而高级开发工具只面向天线专业技术人员。
[1]▪规划、设计通信卫星系统▪评估天线覆盖区域和增益大小▪设计多波束天线和赋形波束天线产品特性▪自动快速的天线设计功能▪等高线绘制▪卫星-地球形式的几何结构▪从任意高度的任意观测点观察地图▪多边形创建和编辑功能▪设计多波束天线和赋形波束天线▪多天线模式▪单元波束、合成波束同时分析▪强大的优化功能▪赋形波束天线分析与设计▪多天线、多反射器配置
2025/4/26 3:08:07
10.06MB
1
PSCAD是一种有效的用户图形界面,能够显著地提高电力系统电磁暂态模拟研究的效率。
利用PSCAD家族的软件工具,使得电力系统工程师能够充分利用现代微机工作站的资源,更为有效地使用马尼托巴高压直流研究中心的EMTDC暂态模拟软件。
该族软件还可作为该中心的实时数字模拟器(RTDS)的用户界面。
利用PSCAD家族的软件工具,使得电力系统工程师能够充分利用现代微机工作站的资源,更为有效地使用马尼托巴高压直流研究中心的EMTDC暂态模拟软件。
该族软件还可作为该中心的实时数字模拟器(RTDS)的用户界面。
2025/3/6 20:46:47
44.93MB
1
不是高清版，不过还算看得清楚线性控制系统工程（英文影印版）作者：MorrisDriels出版社：McGraw-Hill出版时间：2000-12-1丛编项：国际知名大学原版教材系列丛书《国际知名大学原版教材·信息技术学科与电气工程学科系列（2）：线性控制系统工程》的定位是要为机械工程、电机工程、电子工程、计算机工程等非控制工程专业的本科生提供一本内容适度、实用性强和学时较少的控制理论教材。
内容覆盖了经典控制理论和现代控制理论的基础部分，方法包括了频率响应法、根轨迹法和状态空间法。
《国际知名大学原版教材·信息技术学科与电气工程学科系列（2）：线性控制系统工程》已被美国多所知名大学采用作为电子工程等专业的本科层次的控制理论教材或主要教学参考书。
《国际知名大学原版教材·信息技术学科与电气工程学科系列（2）：线性控制系统工程》的主要特点是，从非控制工程专业本科生对控制理论的需求和教学学时相对要少的实情出发，在体系结构和内容安排上作了富有新意的改革。
例如，破除章节式结构、设立专题；
破除按一个结论引入例子的惯例，增加来自不同专业工程的研究案例。
内容覆盖了经典控制理论和现代控制理论的基础部分，方法包括了频率响应法、根轨迹法和状态空间法。
《国际知名大学原版教材·信息技术学科与电气工程学科系列（2）：线性控制系统工程》已被美国多所知名大学采用作为电子工程等专业的本科层次的控制理论教材或主要教学参考书。
《国际知名大学原版教材·信息技术学科与电气工程学科系列（2）：线性控制系统工程》的主要特点是，从非控制工程专业本科生对控制理论的需求和教学学时相对要少的实情出发，在体系结构和内容安排上作了富有新意的改革。
例如，破除章节式结构、设立专题；
破除按一个结论引入例子的惯例，增加来自不同专业工程的研究案例。
2025/3/2 4:26:11
8.22MB
1
都是牛人写的数字通信方面的权威著作：SimonHaykin的《通信系统》、BernardSklar的《数字通信---基础与应用》、JohnG.Proakis的《数字通信》+《通信系统工程》+《现代通信系统：使用MATLAB》，绝对经典！
2025/3/1 7:09:03
109.98MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB