一款Mapgis文件修复软件，主要针对于工程文件收到损坏而导致的文件不能打开，使用修复软件加载受损工程文件然后修复即可。
2025/6/7 4:30:31
174KB
1
本教程包含详细的WODR实验文档，PPT教程以及工程文件，非常适合FPGA嵌入式入门培训，对于非专业人员的学习有很大帮助。
文件较大，共6个压缩卷。
文件较大，共6个压缩卷。
2025/6/7 0:40:24
5MB
1
内容包括：集成电路芯片系统的建模、电路结构权衡、流水、多核微处理器、功能验证、时序分析、测试平台、故障模拟、可测性设计、逻辑综合、后综合验证等集成电路系统的前后端工程设计与实现中的关键技术及设计案例。
书中以大量设计实例叙述了集成电路系统工程开发需遵循的原则、基本方法、实用技术、设计经验与技巧。
依据数字集成电路系统工程开发的要求与特点，利用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
这个工程详细的介绍了webService服务客户端如何调用简单和复杂的webService，其中就包括传递的参数是对象类型，返回数据是数组类型，还有最简单的基本类型。
压缩包里还配置说明，清晰的说明webService的整个过程，对学习webService的基础很使用。
压缩包里还配置说明，清晰的说明webService的整个过程，对学习webService的基础很使用。
2025/6/5 6:36:40
174KB
1
LM2576DC转DC稳压模块AD19设计硬件原理图+PCB+封装库，采用2层板设计，板子大小为42x28mm，双面布局布线，输入输出2.54mm间距接插件，LM2576待散热片。
AltiumDesigner设计的工程文件，包括完整的原理图PCB文件，可以用Altium(AD)软件打开或修改，可作为你产品设计的参考。
AltiumDesigner设计的工程文件，包括完整的原理图PCB文件，可以用Altium(AD)软件打开或修改，可作为你产品设计的参考。
2025/6/5 2:17:34
36KB
1
maxIIepm24072路三色LED灯板ALTIUM原理图+PCB(2层板)+VERILOG逻辑工程源码，采用2层板设计，板子大小为158x75mm，双面布局布线，主要器件为EPM240T100C5，AMS1117-3.3，LED_RGB三色灯。
包括完整的原理图及PCB文件，可以用Altium(AD)软件打开或修改，已经制板并在实际项目中使用，可作为你产品设计的参考。
包括完整的原理图及PCB文件，可以用Altium(AD)软件打开或修改，已经制板并在实际项目中使用，可作为你产品设计的参考。
2025/6/4 20:10:14
453KB
1
含代码的会议室预定系统（SSH），综合运用《数据库原理与应用》、《Java程序设计》、《JSP网页设计》、《软件工程》这些软件开发类课程的能力。
利用SSH主流的框架。
利用SSH主流的框架。
2025/6/4 18:12:36
12.96MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB