只为小站
首页
域名查询
文件下载
登录
### 【自动控制领域】基于Matlab的热水
器
温度控制系统PID控制
器
设计与仿真:提高水温控制精度和系统稳定性. 研
本文基于Matlab平台,围绕热水
器
温度控制系统的PID控制
器
设计与仿真展开研究。首先介绍了温度控制在工业生产和日常生活中的重要性,特别是在热水
器
中的应用需求。文章详细阐述了研究的目的、意义及具体实施方案,包括需求分析、方案选择、系统建模、PID控制
器
设计、仿真实验和参数优化等环节。研究采用理论分析、仿真实验和实际验证相结合的方法,利用Matlab的Simulink工具搭建仿真模型,通过试凑法、Ziegler-Nichols法和遗传算法等对PID参数进行优化,最终实现了对热水
器
水温的精准控制,提高了系统的响应速度和稳定性。
2026-03-04 17:10:36
286KB
Matlab
PID控制
温度控制
优化算法
1
旋转变压
器
安装指引,快来下
### 旋转变压
器
安装指引知识点详析 #### 一、旋变的结构和原理 **1. 结构示意图** 旋转变压
器
主要由转子(rotor)和定子(stator)两大部分组成。其中,转子是随着外部驱动机构一同旋转的部分,而定子则是固定不动的部分。在实际应用中,这两部分通过特定的设计实现信号的传递。 **2. 信号传输原理** 旋转变压
器
的工作原理基于电磁感应定律。当转子相对于定子旋转时,会改变磁场的方向,从而在定子绕组中产生变化的电动势。这一过程可以通过下面的公式来表示: - ER1-R2 = Esinωt - ES1-S3 = K.Esinωt.Cosθ - ES2-S4 = K.Esinωt.Sinθ 其中,E为定子绕组产生的电动势,K为比例系数,ω为角频率,t为时间,θ为转子相对于定子的角度。 **3. R/DC数字转换原理** 旋转变压
器
通常还需要通过一个转换电路将模拟信号转换成数字信号,以便于后续处理。这个转换过程涉及到对模拟信号的采样、量化和编码。 #### 二、旋变的规格参数 **1. 角度倍乘** 角度倍乘是指机械转角与电子转角之间的比例关系。例如,1X、2X、3X、4X分别表示机械转角与电子转角的比例为1:1、1:2、1:3、1:4。TS2225N14E102为S21系列,4X-BRX类型,意味着其电子转角是机械转角的4倍。 **2. 常规参数** - **DC内阻**:指在静态条件下,旋转变压
器
内部的直流电阻值。 - **交流阻抗**:指的是旋转变压
器
在工作频率下的阻抗值。 - **励磁信号**:包括频率、电压和电流等参数,这些参数对于旋转变压
器
的正常工作至关重要。 **3. IQC检查** IQC检查是指来料质量控制(Incoming Quality Control),主要包括以下几个方面: - **产品型号、规格标称符号检查**:确保产品的型号和规格符合要求。 - **外观检查**:检查产品是否存在划痕、开胶、破损等问题。 - **DC内阻检查**:使用万用表测量,判断是否有断线或严重短匝故障。 - **波形检查**:通过上电测试,检查信号波形是否符合标准。 - **环境指标检查**:包括高低温、EMI电磁干扰、绝缘电阻等测试,但这些测试通常不是常规检查项目。 #### 三、安装与误差影响 **1. 安装方法一** 将旋转变压
器
安装在电机壳体内。这种方法的优点是可以缩短电机和旋变的总长度,但缺点是容易受到电机漏磁的影响导致温升,且不易于维护。 **2. 安装方法二** 将旋转变压
器
安装在电机壳体外。这种安装方式的优点是不会受到电机温升和电磁干扰的影响,且便于维护,但会增加电机的整体长度。 **3. 安装误差说明** - **径向跳动**:应小于0.03mm,以减少振动和噪音。 - **离心率**:也应小于0.03mm,以确保平衡性。 - **垂直度**:同样需要控制在0.03mm以内,以保证精度。 - **轴向调整**:±0.25mm,以适应不同的安装需求。 #### 四、使用安装注意事项 **1. 开箱后** - 仔细检查是否有破裂或其他缺陷。 - 避免直接提拉旋变引线。 - 不要撞击、跌落等非法搬运。 **2. 安装时** - 确保满足上述所述的安装精度要求。 - 避免高浓度腐蚀性气体或液体环境。 - 避免高辐射环境。 - 避免猛烈敲击,特别是线圈部分。 - 不要随意旋松螺丝或其他部件,以免影响性能。 - 对转子部分进行加盖保护。 **3. 接线时** - 明确信号线定义:励磁R1-R2,信号S1-S3和S2-S4。 - 注意各线的颜色,并正确连接。 **4. 开机前** - 再次检查安装和安全间隙。 - 检查安装工具是否已移开。 **5. 操作时** - 使用规范的操作环境条件和旋转速度。 - 不要接近或触摸转动轴。 - 不要向旋变滴入油或水。 - 如出现剧烈震动或冲击现象,请及时联系供应商。 **6. 存储时** - 尽可能存放在恒温、干燥的环境下。 **7. 维护时** - 结合IQC检测方式,仔细观察和检查外观、转子、导电性、绝缘情况(大于100MΩ)等。 以上是对旋转变压
器
安装指引中的知识点进行了详细的分析和解释,希望能够帮助读者更好地理解和掌握旋转变压
器
的相关知识。
2026-03-04 16:16:42
592KB
旋转变压器安装指引
1
基于锁相环闭环控制AD2S1210旋转变压
器
测速仿真及文档; 仿真文件+AD2S1210中英文对照
基于锁相环闭环控制AD2S1210旋转变压
器
测速仿真及文档; 仿真文件+AD2S1210中英文对照 基于锁相环闭环控制AD2S1210旋转变压
器
测速仿真及文档; 仿真文件+AD2S1210中英文对照 基于锁相环闭环控制AD2S1210旋转变压
器
测速仿真及文档; 仿真文件+AD2S1210中英文对照 解压密码:1234 在现代工业控制和电机驱动领域,旋转变压
器
作为一种能够将机械转角转换为电气信号的传感
器
,被广泛应用于各种测速和位置控制系统中。尤其在闭环控制系统中,为了实现高精度的速度和位置反馈,旋转变压
器
与锁相环(Phase-Locked Loop,PLL)技术的结合使用显得尤为重要。AD2S1210是一款由Analog Devices公司生产的旋转变压
器
至数字转换
器
,它能够将旋转变压
器
的模拟信号转换为数字信号,适用于精确的角度和速度测量。 在本仿真项目中,通过构建一个基于锁相环闭环控制系统的模型,利用AD2S1210旋转变压
器
测速模块,旨在模拟和验证旋转变压
器
在实际应用中的性能表现。通过这种方式,可以预估旋转变压
器
与锁相环结合使用在真实环境下的控制精度和响应速度,进一步优化系统设计。 文档内容包含了对AD2S1210旋转变压
器
测速模块的详细介绍,包括其工作原理、电气特性以及如何与锁相环技术配合实现精确的速度和位置控制。此外,文档还提供了旋转变压
器
与锁相环闭环控制系统的仿真实验方法和步骤,详细说明了仿真实验的设置、运行以及结果分析,为工程师和研究人员提供了一个参考框架。 仿真文件与AD2S1210中英文对照部分,不仅提供了对AD2S1210芯片功能和引脚配置的深入解读,还有助于理解旋转变压
器
如何与控制系统接口相连,以及如何读取和解释其输出数据。对于不熟悉英语的技术人员来说,中文对照部分显得尤为重要,能够确保他们准确无误地理解数据手册和相关技术资料,从而有效地利用AD2S1210完成设计工作。 整个文件不仅覆盖了技术层面的详细信息,还包括了实际应用案例分析,如在电机控制系统、机
器
人、航空设备等领域的应用。这些案例强调了旋转变压
器
与锁相环闭环控制技术相结合的重要性和优势,同时也指出了在特定应用中可能遇到的挑战和解决方案。 解压密码“1234”作为文档访问的安全保障,确保了只有具备正确密码的用户才能获取到这些宝贵的技术资料,从而保护了研发成果和知识产权。 本次提供的仿真及文档资料,对于从事旋转变压
器
及闭环控制系统研究的工程师和技术人员来说,具有很高的实用价值和学习意义,有助于推动相关技术的发展和创新。
2026-03-04 14:39:36
1.15MB
旋转变压器
1
基于滑模观测
器
的永磁同步电机无位置传感
器
控制仿真模型研究
内容概要:本文探讨了基于滑模观测
器
的永磁同步电机(PMSM)无位置传感
器
控制技术。首先介绍了滑模观测
器
的基本原理及其在非线性系统中的应用,特别是它在快速而稳定地跟踪电机转子位置方面的优势。接着详细阐述了无位置传感
器
控制的具体策略,包括电机转子速度检测、滑模观测
器
的设计以及控制算法的实现。随后,文章构建了一个完整的仿真模型,涵盖了电机模型的选择、滑模观测
器
参数设定和控制算法的集成。最后通过对仿真实验数据的分析,验证了滑模观测
器
的有效性,并对其性能指标如收敛速度、稳定性和动态响应进行了评价。 适合人群:从事电机控制系统研究的技术人员、高校相关专业师生及对先进电机控制方法感兴趣的工程技术人员。 使用场景及目标:适用于需要深入了解永磁同步电机无位置传感
器
控制技术的研发项目,旨在为实际工程项目提供理论支持和技术指导。 其他说明:文中提到的技术不仅限于当前的应用案例,还可以推广到其他类型的电机控制系统中,具有广泛的应用前景和发展潜力。
2026-03-04 12:25:07
1.14MB
1
小凯多开
器
源码
小凯多开
器
源码是用于实现应用程序多开功能的一款软件的源代码,它允许用户在同一设备上同时运行多个相同的应用实例。对于开发者而言,理解并研究这样的源码可以帮助他们学习如何处理进程隔离、资源管理以及多线程编程等技术。下面我们将详细探讨小凯多开
器
源码中的关键知识点。 1. 进程与线程概念: 在小凯多开
器
中,进程是执行中的程序实例,每个进程都有自己独立的内存空间。线程则是进程内的执行单元,它们共享同一内存空间,使得多任务可以在一个进程中并发执行。源码可能会包含创建新进程或线程的函数调用,例如Windows下的CreateProcess或CreateThread,或者在Unix/Linux系统中使用fork和pthread_create。 2. 进程隔离: 为了确保多开的应用之间互不影响,小凯多开
器
需要实现进程间的隔离。这通常通过复制父进程的内存状态并为每个新的实例分配独立的内存空间来实现。在源码中,可能会看到对操作系统API的调用,如克隆进程(clone in Linux)或创建新进程(CreateProcess in Windows)。 3. 资源管理: 在多开环境中,资源如内存、CPU时间、磁盘空间等的分配和管理至关重要。源码中可能会有针对资源限制、分配和释放的代码,以避免过度消耗导致系统不稳定。例如,通过设置进程优先级,限制内存使用量,或者使用信号量来控制对特定资源的访问。 4. 多线程同步: 多开
器
可能使用多线程来提高性能,但这也带来了线程同步的问题。为了防止数据竞争和死锁,源码中可能会包含各种同步机制,如互斥量(mutex)、信号量(semaphore)或者条件变量(condition variable)等。 5. 应用程序接口模拟: 为了让每个多开的应用实例都以为自己是唯一运行的,小凯多开
器
可能需要模拟应用程序的某些接口,比如注册表读写、文件访问等。这涉及到对特定应用的深入理解和反编译技术,源码中可能会包含对这些接口的封装和重定向代码。 6. 用户界面管理: 如果小凯多开
器
具有图形用户界面,那么它需要处理窗口创建、事件处理和用户交互。这包括对窗口类的注册、消息循环的实现、窗口消息的处理等。在Windows下,这可能涉及到WinAPI,而在其他系统中可能是Qt、wxWidgets或GTK+等库。 7. 性能优化: 为了实现高效运行,小凯多开
器
可能包含了一些性能优化技巧,比如内存池管理、预加载策略或者缓存技术。这些都有助于减少内存碎片,提高内存利用率,并减少磁盘I/O。 8. 错误处理与日志记录: 为了便于调试和故障排查,源码中会有错误处理机制和日志记录功能。这通常包括异常处理、错误码返回以及详细的日志信息,以便开发者追踪和定位问题。 小凯多开
器
源码涉及到的知识点涵盖了操作系统原理、进程和线程管理、资源调度、并发编程、接口模拟、用户界面设计、性能优化以及错误处理等多个方面。通过分析和学习这样的源码,开发者可以提升自己在多任务处理、系统级编程和软件工程实践上的技能。
2026-03-04 12:19:14
17.45MB
小凯多开器
1
欧陆Eurotherm 3500系列可编程控制
器
工程师手册.zip
《欧陆Eurotherm 3500系列可编程控制
器
工程师手册》是为专业人士提供的一份详尽的技术参考资料,旨在帮助工程师深入理解和有效利用欧陆Eurotherm 3500系列可编程控制
器
进行系统设计、编程和故障排除。这份手册涵盖了控制
器
的基本概念、硬件结构、软件功能以及实际应用中的各种技巧。 一、控制
器
简介 欧陆Eurotherm 3500系列可编程控制
器
是工业自动化领域的一款重要设备,适用于各种复杂的控制任务。其强大的处理能力、灵活的编程环境和丰富的输入/输出(I/O)接口使其在温度控制、过程控制以及其他工业过程管理中表现出色。 二、硬件构成 1. CPU模块:作为核心部分,执行程序并处理输入和输出数据。 2. 输入/输出模块:接收现场设备信号,如传感
器
的温度读数,同时发送控制信号到执行机构。 3. 存储
器
:包含程序存储
器
和数据存储
器
,分别存储用户程序和运行时的数据。 4. 显示与人机交互界面:提供实时数据显示和用户操作界面。 三、编程语言与环境 欧陆Eurotherm 3500系列控制
器
支持梯形图逻辑(Ladder Logic)、结构文本(Structured Text)、顺序功能图(Sequential Function Chart)等多种编程语言,以适应不同工程师的编程习惯。其编程软件提供友好的用户界面,便于程序编写、调试和优化。 四、功能特性 1. 高精度控制:通过先进的PID算法实现精确的温度和其他参数控制。 2. 扩展性:支持多个扩展模块,可根据需求添加I/O点。 3. 通讯能力:支持多种工业通讯协议,如MODBUS、EtherNet/IP等,方便与其他设备联网。 4. 安全保护:具备故障诊断和保护功能,确保系统安全运行。 五、应用实例 手册中列举了多种实际应用场景,如热处理炉的温度控制、生产线自动化等,详细解释了如何配置控制
器
、编写控制程序以及如何解决常见问题。 六、故障排查与维护 手册提供了详细的故障代码和解决步骤,帮助工程师快速定位并解决控制
器
出现的问题。同时,还包含了定期维护和保养的建议,以保证控制
器
的长期稳定运行。 通过阅读《欧陆Eurotherm 3500系列可编程控制
器
工程师手册》,工程师可以系统地掌握这款控制
器
的使用方法,提升项目实施效率,确保工业生产过程的高效和安全。这份综合资料对于从事相关工作的专业人士来说,无疑是一份宝贵的参考资料。
2026-03-04 11:41:58
10.92MB
综合资料
1
Σ-Δ调制
器
MATLAB实战
本书系统讲解Σ-Δ调制
器
在MATLAB®/Simulink®环境中的设计与仿真方法,融合理论与实践,通过丰富的仿真案例帮助初学者快速掌握从一阶到高阶调制
器
的设计流程。内容涵盖稳定性分析、非理想因素建模、CT/DT架构对比、噪声整形优化及前沿结构如MASH、SMASH和增量式调制
器
。配套工具箱支持即插即用仿真,无需编程即可直观理解复杂行为。适合电子工程学生、初级工程师及科研人员作为入门指南与参考手册,助力高效开发高精度数据转换系统。
2026-03-04 11:29:04
20.32MB
MATLAB
Simulink
1
易语言fwq源码,易语言khd源码,易语言网络U盘服务
器
易语言网络U盘服务
器
源码,网络U盘服务
器
,监听客户动静,网络服务
器
加入成员,写文件到,服务
器
发送命令,服务
器
接收文本,取接收命令,验证用户是否存在,显示用户密码,目录是否存在,查找文件,处理数据,服务
器
2发送数据,发送文件12,发送文件2hao,删除文件号1,创建目
2026-03-04 11:28:20
27KB
网络U盘服务器
网络服务
1
易语言做自己的Web网络服务
器
在IT行业中,构建个人Web网络服务
器
是一项非常有趣的实践,它能帮助我们理解互联网运作的基本原理,同时也能提供自定义服务的平台。对于易语言(EasyLanguage)用户来说,这是一个很好的学习机会,因为易语言提供了相对较低的学习曲线和丰富的功能,使得初学者也能尝试创建自己的Web服务
器
。 易语言是一款中文编程环境,它的设计理念是让编程变得更加简单,通过易懂的词汇和语法,使得非专业程序员也能快速上手。在“易语言做自己的Web网络服务
器
”项目中,我们可以学习到以下几个关键知识点: 1. **网络协议基础**:Web服务
器
主要依赖HTTP(超文本传输协议)来与客户端进行通信。了解HTTP的工作流程,包括请求和响应的结构、状态码、头部信息等,是创建Web服务
器
的基础。 2. **Socket编程**:在易语言中,我们需要使用Socket模块来实现网络通信。Socket是网络编程的基本接口,用于在网络中建立连接并交换数据。 3. **服务
器
端编程**:理解服务
器
如何接收来自客户端的HTTP请求,并根据请求内容返回适当的数据。这通常涉及到解析请求头、处理GET和POST请求,以及生成响应报文。 4. **静态文件服务**:最基本的Web服务
器
功能是提供静态文件,如HTML、CSS和JavaScript文件。易语言中需要编写代码来读取并发送这些文件内容。 5. **动态内容生成**:除了静态文件,服务
器
还可以根据请求动态生成内容,例如从数据库获取数据并构建HTML页面。这需要理解如何在易语言中处理数据和生成动态内容。 6. **URL处理**:服务
器
需要解析和处理客户端请求的URL,识别出请求的资源路径,并作出相应的响应。 7. **全文本替换**:描述中提到的“全文本替换”可能是指服务
器
在处理请求或生成响应时,对某些文本内容进行查找和替换操作,这可能用于实现某种特定的过滤或定制功能。 8. **错误处理**:任何服务
器
都需要处理各种可能出现的错误,如网络中断、文件不存在、请求格式错误等。易语言中的异常处理机制可以帮助我们优雅地处理这些问题。 9. **多线程或异步编程**:为了处理多个并发请求,服务
器
通常需要使用多线程或多任务技术。易语言支持多线程编程,理解如何创建和管理线程是提高服务
器
性能的关键。 10. **安全考虑**:尽管这是简单的个人Web服务
器
,但我们也应考虑一些基本的安全措施,如防止跨站脚本攻击(XSS)、SQL注入等。 通过这个项目,你不仅可以掌握易语言的实际应用,还能深入理解Web服务
器
的工作原理,为将来进一步探索互联网技术打下坚实基础。在实践中,你可以不断优化你的服务
器
,添加更多功能,甚至可以尝试搭建一个支持动态脚本语言(如PHP)的服务
器
环境。记住,实践是最好的老师,动手做起来吧!
2026-03-04 11:05:14
7KB
易语言做自己的Web网络服务器源码
做自己的Web网络服务器
1
高强度混凝土配合比设计
器
:帮助混凝土配合比设计的简单应用程序-matlab开发
《高强度混凝土配合比设计
器
——MATLAB开发的创新实践》 在建筑行业中,混凝土配合比设计是至关重要的环节,它直接影响到工程的质量、耐久性和成本。传统的混凝土配合比设计往往依赖于经验丰富的工程师,而如今,随着科技的发展,计算机辅助设计(CAD)工具已逐渐应用于这一领域。本文将探讨一个基于MATLAB开发的“高强度混凝土配合比设计
器
”,旨在为混凝土配合比设计提供一种更为精确和高效的方法。 MATLAB,全称为矩阵实验室,是一款强大的数值计算和数据可视化软件,广泛应用于科学计算和工程应用。利用MATLAB开发混凝土配合比设计
器
,能够利用其强大的数学计算能力和灵活的编程环境,实现复杂的配合比优化算法,提高设计精度。 这款高强度混凝土配合比设计
器
的主要功能包括: 1. 基础参数设定:用户可以根据工程需求输入混凝土的基本性能指标,如强度等级、耐久性要求、工作性等,同时考虑原材料的物理性质,如水泥、骨料、水、外加剂的种类和性能。 2. 配合比优化:通过内置的优化算法,如线性规划、遗传算法或模拟退火算法,寻找满足性能要求的同时,成本最低的配合比。这一步骤可以有效地平衡混凝土的性能与经济性。 3. 性能预测:结合混凝土的理论模型,如Capillary suction theory或Rilem's approach,对配合比设计的结果进行性能预测,包括早期强度发展、干燥收缩、耐久性等。 4. 可视化界面:提供直观的图形用户界面(GUI),使得非专业用户也能轻松操作,减少了设计过程中的学习成本和错误率。 5. 结果分析与报告:自动分析优化结果,生成详细的配合比报告,便于工程师审查和调整。 然而,尽管这款应用程序具有显著的优势,描述中提到的“需要大量改进”也揭示了其存在的问题。可能的改进方向包括: 1. 材料数据库更新:集成最新的材料数据库,确保配合比设计的依据是最新的技术标准和材料性能。 2. 多目标优化:考虑环保因素,如碳排放、资源利用率等,实现多目标优化,促进可持续建筑的发展。 3. 适应性学习:引入机
器
学习技术,通过历史数据学习和优化配合比设计,提高设计效率和准确性。 4. 用户反馈系统:建立用户反馈机制,收集使用中的问题和建议,持续优化软件性能。 5. 跨平台支持:考虑到不同用户的工作环境,可以考虑开发跨平台版本,如支持移动设备或云端应用。 “高强度混凝土配合比设计
器
”借助MATLAB的计算能力,为混凝土行业的配合比设计提供了新的思路。然而,任何工具都需要不断迭代和完善,以适应行业的需求和技术的进步。对于这个应用程序,持续的研发和优化将是确保其在行业内保持竞争力的关键。
2026-03-04 10:01:49
15KB
matlab
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
校园网规划与设计和pkt文件
Alternative A2DP Driver 1.0.5.1 无限制版
西门子逻辑控制设计开发_3部10层
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
雷达信号处理仿真程序(MTI,MTD等)
2021华为芯片研发岗位笔试题
DS证据理论的MATLAB案例程序源代码
python爬虫数据可视化分析大作业.zip
多目标优化算法(四)NSGA3的代码(MATLAB)
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
2020年数学建模国赛C题论文
商用密码应用与安全性评估——霍炜.pdf
最新下载
k610d i7d2_原厂BIOS 炫龙A41L 大麦2s等广达盲刷bios
AIR-CT2500-K9-8-5-182-0.aes
AIR-CT2500-AP_BUNDLE-K9-8-5-182-0.aes
铭瑄580 8G 镁光颗粒
第十三届 蓝桥杯 单片机 省赛 代码及proteus仿真 IAP15F2K61S2 和AT89C 51单片机都能用
ECS700工程例子
DW-TX382-1并1串专用驱动.zip
openglDemo基本使用Demo
cat4500e-entservicesk9-mz.122-54.SG1.bin
掌讯SD8227 hw 1.0-sw0-6.6 MCU升级文件
其他资源
stm32ll库(law_layer)
点目标飞机模型iSAR成像
毕设-疫苗管理系统
C#植物大战僵尸源代码
oracle数据库学生管理系统
红蜘蛛电子教室+v6.2+512用户破解版
嵌入式DSP的原理与应用 基于TMS320F28335_马骏杰
VFP综合人事管理系统
安卓答辩试题
基于MATLAB的QPSK调制.zip
于争 博士 cadence视频教程工程
php 开发的考试系统
EEG信号基础.ppt
一种ARM+DSP架构的小型无人机飞行控制平台软件设计
day9视频.rar
memcached全面剖析.pdf
HACMP7.1.3SP4.txt
FANUC机器人R-30iB操作说明书
数字电子技术期末考试试题
InstallShield_2018_R2_Premier_Edition_24.0.573_Downloadly.ir.rar
最新Sortable – 简单灵活的 JavaScript 拖放排序插件
IFSF dispenser 2.24文档
教程