检索结果-南通市图书馆

作者：谭儒剑北京邮电大学

学位级别：硕士

短视频是近些年来在国际社会上兴起的数字经济风潮,在当今社会扮演着非常重要的角色,视频物体擦除更是存在广泛的应用场景。物体擦除多针对视频中的特定目标,通过像素填补的方式完成视频擦除。此类任务通常需要由技术人员操作专业工具完... 详细信息

短视频是近些年来在国际社会上兴起的数字经济风潮,在当今社会扮演着非常重要的角色,视频物体擦除更是存在广泛的应用场景。物体擦除多针对视频中的特定目标,通过像素填补的方式完成视频擦除。此类任务通常需要由技术人员操作专业工具完成,存在入门难,投入大,工作时间长的问题。因此借助人工智能,对缩短视频创作者的工作时间,提升工作效率具有重要意义。针对视频特定目标提取的需求,本文设计了半监督视频目标分割算法,通过简单的人机交互,提取对应目标的mask图。针对主流视频擦除算法模型参数过于复杂,运行时间过长的问题,本文对轻量级视频擦除算法进行深入研究,设计了在精度和速率上都有优秀表现的网络。本文主要研究成果如下:(1)提出一种基于编解码架构的端到端视频擦除算法。当进行视频擦除任务时,业界普遍使用基于光流的方法,这类方法对硬件要求很高,其余一些非光流方法也存在精度问题。针对该问题,本文创造性地提出一种基于编解码架构的端到端擦除算法,能够准确完成擦除任务,在运行效率与精度两方面表现都不错,做到了两者的平衡。(2)设计了一种基于视频目标分割的掩膜优化模块,能够对分割结果边缘进行优化,获取更为准确的分割结果图。(3)设计了视频擦除原型系统,用户可以通过简单操作完成视频物体擦除功能。

关键词：视频擦除视频目标分割深度学习

基于改进YOLOv5的交通标志检测算法研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于改进YOLOv5的交通标志检测算法研究

作者：胡征剑桂林理工大学

学位级别：硕士

交通标志检测技术是无人驾驶的关键技术之一。性能优秀的交通标志检测算法不仅能够缓解道路交通拥堵现象,还能够减少交通事故发生率,最大程度上保证驾驶员的生命安全。然而在真实道路场景中,由于各种因素的干扰,如目标被遮挡、检测目标... 详细信息

交通标志检测技术是无人驾驶的关键技术之一。性能优秀的交通标志检测算法不仅能够缓解道路交通拥堵现象,还能够减少交通事故发生率,最大程度上保证驾驶员的生命安全。然而在真实道路场景中,由于各种因素的干扰,如目标被遮挡、检测目标太小、光线太强等,对交通标志检测算法的实时性、准确性造成巨大的影响。为了进一步提高交通标志检测性能,本文基于YOLOv5算法对交通标志检测技术进行如下研究:为了提高交通标志的检测精度,本文对YOLOv5s模型进行了改进,利用Swin Transformer模型关注全局信息的特性,将Swin Transformer blocks嵌入YOLOv5s的主干网络中,并将Neck层的路径聚合网络替换成特征提取能力更强的Bi FPN结构,最后使用带有角度特征的SIo U损失函数作为其边界框损失函数,得到本文提出的S-YOLO网络模型。在TT100k数据集上,本文对S-YOLO以及原YOLOv5s模型进行了对比验证,实验表明,S-YOLO模型的检测精度比YOLOv5s模型高了4.4%,而检测速度只比YOLOv5s稍慢,充分表明S-YOLO对于交通标志的检测综合性能要强于YOLOv5s。为了减少模型计算量,提高交通标志检测速度,设计了GS-YOLO轻量化模型,并实现基于Py Qt5的交通标志检测平台。通过对深度可分离卷积的理论分析引入GSConv及Vo VGSCSP模块,并对主干网络和Neck层网络结构进行重新设计,在损失函数的设计上仍使用SIo U作为边界框损失函数,最后在网络输出的前一层使用Shuffle Attention保留特征图关键信息,从而平衡模型的检测精度和检测速度。通过实验计算出GS-YOLO模型的平均检测时间为0.012s,检测速度比YOLOv5s模型快了14.9%。为了直观展示GS-YOLO模型的检测效果,设计了基于Py Qt5的交通标志检测平台,并在Windows环境下进行部署,验证GS-YOLO模型的有效性和实时性。

关键词：交通标志检测 YOLOv5s模型边界框损失函数轻量化设计 GSConv模块

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于物联网的分层注水自动配注系统设计

基于物联网的分层注水自动配注系统设计

作者：王琴剑哈尔滨理工大学

学位级别：硕士

分层注水是简便有效的油田二次开采方式,它可以保持油层压力,改善油田开发效果,是实现原油稳定高产的基础。实时监控、调整分层注水数据信息可以显著提高注水效果,传统分层注水以人工的方式进行现场巡井,效率低下,无法满足开采的需求。... 详细信息

分层注水是简便有效的油田二次开采方式,它可以保持油层压力,改善油田开发效果,是实现原油稳定高产的基础。实时监控、调整分层注水数据信息可以显著提高注水效果,传统分层注水以人工的方式进行现场巡井,效率低下,无法满足开采的需求。因此设计一套远程监控管理系统,可以远程监控管理注水工作情况,同时注水系统也可以根据注水需求进行自动调节,实现分层注水智能化管理。分析目前分层注水技术的发展情况,本文设计基于物联网的分层注水自动配注系统。将分层注水自动配注系统划分为感知识别层、网络构建层以及综合应用层。感知识别层主要完成井下数据采集,网络构件层实现注水数据的远程传输,综合应用层负责上位机监控管理。针对感知识别层设计了地面控制箱,并制定采集系统的传输协议。针对网络构建层,设计了RTU传输设备,对采集到井下数据经过处理,通过4G无线传输模块将数据发送给综合应用层,用户可在综合应用层的监控中心实时监测现场注水情况。在实际注水过程中随着井下地质条件的改变会产生注水井日配注量不达标的现象,此时需要分析个各层段的实际配注情况进行调节,以满足目标日配注量要求。由此本文设计了分层注水自动配注策略,首先运用熵权法根据已收集到的配注信息制定层段划分策略,以得到注水层段调节的最优顺序,减小层段之间的互相干扰,达到最佳的调节效果。其次使用高斯加权KNN算法预测层段阀门开度,并以预测的开度进行阀门调节,使层段实际流量值最接近目标配注量。若在极限开度依然无法达到配注要求,此时系统进行注水警告,提示工作人员进行检查。在自动配注调节完成后各层段实际流量值在误差允许范围30%以内,满足分层注水合格率,实现注水层段自动调节的目的。

关键词：分层注水物联网 4G无线通信熵权算法高斯加权KNN

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

迎春花话剧

迎春花话剧

1962年

作者：翟剑萍编

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

准南前陆斜坡中段上白垩统地震沉积学研究

准南前陆斜坡中段上白垩统地震沉积学研究

作者：任智剑长江大学

学位级别：硕士

准噶尔盆地南缘位于新疆天山北麓,北靠阿尔金山,西接壤哈萨克斯坦,东至北塔山麓,是多期叠合型再生前陆盆地。准噶尔地块从古老的寒武纪时期直至新近纪,经历了印支运动、燕山运动、喜马拉雅山运动等构造变动,以晚二叠世为界,准噶尔盆地... 详细信息

准噶尔盆地南缘位于新疆天山北麓,北靠阿尔金山,西接壤哈萨克斯坦,东至北塔山麓,是多期叠合型再生前陆盆地。准噶尔地块从古老的寒武纪时期直至新近纪,经历了印支运动、燕山运动、喜马拉雅山运动等构造变动,以晚二叠世为界,准噶尔盆地从裂陷洋盆逐渐过渡到陆相沉积,在南缘地区形成了从石炭纪到第四系巨厚的沉积岩,产生了多种多样的岩相组合与沉积体系。研究目的层是中生界上白垩统东沟组,研究目标是以地震沉积学指导下的晚白垩世东沟组沉积体系划分,即以地震岩石学、地震地貌学、地震相分析、层序地层学四个学科指导下的综合研究,依靠了野外露头证据、单井相、地震解释数据,采用了地震相分析、古地貌分析技术,得到了划分晚白垩世东沟时期沉积体系的有力证据。通过研究认为,(1)由于北天山山前构造经历过印支、燕山、喜山运动的多次改造,地层破碎且构造复杂,难以从定量角度充分展现精细构造模式与沉积微相边界,仅从宏观上联合二维、三维解释成果,以古地貌恢复技术为指导,得到了南缘中段东沟组沉积时期四个物源体系。(2)野外剖面观察了东沟组沉积构造主要以波纹层理、板状交错层理、水平层理,单井取心观察发现岩性多为含砾细砂岩、红褐色泥砾且常见冲刷面,河流相沉积特征显著。(3)提取了二维、三维地震工区的平均绝对振幅、均方根振幅属性,高值区呈条带分布,与河流走向有良好的相关性,可以以此划分出东沟组河流沉积相带边界。(4)用定性地震相研究井旁地震波反射结构与单井沉积相的规律,可以粗略预测东沟组无井、少井区沉积环境。本文围绕地震沉积学的研究思路,从地震解释、地质分析两个角度结合研究了东沟时期山前冲积——河流相的特征,为油气勘探有利区划分形成了重要的参考意义。

关键词：准噶尔盆地南缘东沟组地震沉积学

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于VRRP的防火墙高可用性设计与实现

基于VRRP的防火墙高可用性设计与实现

作者：李秀剑西安建筑科技大学

学位级别：硕士

现在网络服务的安全性和可靠性变的越来越重要，如果网络中的重要组件—防火墙出现问题，将会导致网络不能提供正常的服务。本文利用集群技术—虚拟路由冗余协议(virtual Router Redundancy Protocol，简称VRRP)来实现防火墙的高可用性... 详细信息

现在网络服务的安全性和可靠性变的越来越重要，如果网络中的重要组件—防火墙出现问题，将会导致网络不能提供正常的服务。本文利用集群技术—虚拟路由冗余协议(virtual Router Redundancy Protocol，简称VRRP)来实现防火墙的高可用性，使得在一台防火墙宕掉时，另外一个备份防火墙会及时接管转发工作，不会给主机带来任何负担，提高了网络服务质量。本文首先介绍高可用性的基本技术，然后对常用防火墙高可用性方案进行了分析比较;详细说明了VRRP协议工作原理，包括协议中所用到概念的定义、协议运行所需参数的确定、协议运行的内在机制、主控防火墙的选举策略和选举实施。论文重点分析了VRRP实例的同步过程，在深入研究同步过程中可能出现的问题后，给出了可行的改进方案，并用测试用例对改进后实现的防火墙高可用性进行了验证和分析。防火墙高可用性是在修改后的VRRP协议上实现的，主要包括VRRP功能模块的划分、模块的实现以及配置同步模块的实现。通过对防火墙高可用性的测试表明，该功能得到了较好的实现。最后进行了总结并展望下一步工作。

关键词：防火墙高可用性虚拟路由冗余协议 VRRP实例

我国国有企业海外投资经营管理者忠实义务研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

我国国有企业海外投资经营管理者忠实义务研究

作者：张静剑西南政法大学

学位级别：硕士

随着我国市场化改革的深入与经济全球化的发展,越来越多的企业开始走出“国门”,国有企业对外投资的规模也随之增大,海外市场的拓展对于国有企业愈发重要。但是,国有企业在海外投资经营过程中,出现了较为严重的国有资产流失问题。出现... 详细信息

随着我国市场化改革的深入与经济全球化的发展,越来越多的企业开始走出“国门”,国有企业对外投资的规模也随之增大,海外市场的拓展对于国有企业愈发重要。但是,国有企业在海外投资经营过程中,出现了较为严重的国有资产流失问题。出现这一问题的重要原因是,国有企业的经营管理者利用企业海外投资经营管理链条过长、内部治理机制不完善、外部监督不足等缺陷,进行不当关联交易、行贿受贿、收受“佣金”或者回扣、篡夺公司商业机会等行为,违反了对企业的忠实义务。强化国有企业海外投资经营管理者的忠实义务,并充分利用《公司法》、《企业国有资产法》等法律规定,规制经营管理者违反忠实义务的行为,是提升国有企业经营管理的透明度和合法性、预防和制止国有资产流失的有效举措。因此,本文在国有企业海外投资经营的特定语境下,研究我国国有企业海外投资经营活动中经营管理者违反忠实义务的原因以及我国现行法律规定存在的某些不足,并借鉴美国《反海外腐败法》的有益经验,为我国国有企业海外投资经营管理者忠实义务制度的完善提出建议。除了引言和结语,本文正文分为四个部分:第一部分,我国国有企业海外投资经营管理者忠实义务概述。因国有企业的“准政治人”身份和国有资产的全民属性,加之国有企业在进行海外投资经营时,委托代理链条被进一步拉长、外部监管更加薄弱,经营管理者违反忠实义务的行为更容易发生,所以有必要对国有企业海外投资经营管理者的忠实义务提出高标准的要求。通过薄启亮案和陈久霖案,可以发现国有企业在海外投资经营过程中因经营管理者违反忠实义务出现的诸多问题,譬如:我国的法律制度对经营管理者忠实义务的要求不严与监督不足,国有企业母公司对于海外分支机构、子公司等约束力薄弱,等等。第二部分,我国国有企业海外投资经营管理者违反忠实义务的主要原因。从法律上看,主要有三个方面的原因:一是我国法律对于国有企业海外投资经营管理者的忠实义务规定存在不足,具体为:承担忠实义务的主体范围过窄、对离任后的经营管理者的忠实义务缺乏规定、对于公司机会的保护不足、利益冲突交易的批准机制与审查机制不健全、救济机制不完善等;二是对于国有企业海外投资经营管理者的监管不足,“九龙治水”的监管格局、母公司的监督薄弱、信息披露极为有限,这都使得经营管理者敢于“肆意妄为”;三是追责机制存在的不足,现有的法律对于违反忠实义务的经营管理者处罚力度较轻,有限的追责措施也主要集中于行政责任与刑事责任,忽视了责任人员的民事责任。第三部分,美国《反海外腐败法》与忠实义务的联系和启示。企业及其经营管理者的商业贿赂犯罪行为,往往与违法的利益冲突交易密切相关。因此,打击商业贿赂行为,亦可以起到限制违法的利益冲突交易,避免国有资产流失的作用。借鉴美国《反海外腐败法》的执法机构设置与执法方式,有助于强化对国有企业海外投资经营管理者的监管,加强对于违反忠实义务行为的打击。《反海外腐败法》的会计条款体现了其对内部控制机制与违法行为预防的重视,这对完善国有企业内部治理结构、提升国有企业自身管理水平同样十分关键。《反海外腐败法》既可以为我国打击跨国商业贿赂犯罪提供借镜,也可为加强国有企业海外投资经营管理者忠实义务的监管提供新思路。第四部分,我国国有企业海外投资经营管理者忠实义务法律制度的完善建议。主要有四个方面:首先,应从立法角度出发,完善忠实义务相关的法律制度,拓宽忠实义务主体范围、加强对公司机会的保护、完善利益冲突交易的审查与批准机制。其次,要提高国有企业自身的管理水平与治理能力、加强对于子公司的监管,谨慎合理地选择投资模式、提升企业的透明度、重视对违反忠实义务行为的预防控制。再次,应协调好多部门之间的职能分配,设立专门的监管机构、加强审计责任。最后,应建立起完善的责任制度,让归入权、损害赔偿请求权等权利能够切实行使,并强化违法的中介机构的责任。

关键词：国有企业海外投资忠实义务关联交易国有企业监管

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

复方丹参滴丸对凝血功能影响的体外研究

复方丹参滴丸对凝血功能影响的体外研究

作者：刘桂剑复旦大学

学位级别：硕士

目的：通过体外研究,探讨复方丹参滴丸对活化部分凝血活酶时间、凝血酶原时间、抗凝血酶Ⅲ活性的影响。方法：入选凝血功能正常的血浆10份,将每份血浆通过倍比稀释法配成浓度为27g/L,13.5g/L,6.75g/L,3.375g/L,1687.5mg/ml,844mg/ml... 详细信息

目的：通过体外研究,探讨复方丹参滴丸对活化部分凝血活酶时间、凝血酶原时间、抗凝血酶Ⅲ活性的影响。方法：入选凝血功能正常的血浆10份,将每份血浆通过倍比稀释法配成浓度为27g/L,13.5g/L,6.75g/L,3.375g/L,1687.5mg/ml,844mg/ml,422mg/ml,0mg/ml的含复方丹参滴丸血浆,测定血浆的PT、APTT、抗凝血酶Ⅲ活性。比较各浓度含复方丹参滴丸血浆组与正常血浆组（即0g/L组）的测定结果之间的差异。结果：当复方丹参滴丸浓度达到1687.5mg/ml、3.375g/L、6.75g/L、13.5g/L、27g/L时,与复方丹参滴丸浓度0g/L组（对照组）相比较,两组PT值差异具有统计学意义。当复方丹参滴丸浓度达到844mg/ml、1687.5mg/ml、3.375g/L、6.75g/L、13.5g/L、27g/L时,与复方丹参滴丸浓度0g/l组（对照组）相比较,两组APTT值差异具有统计学意义。抗凝血酶Ⅲ活性各浓度组与对照组比较,差异无统计学意义。结论：在体外研究中,复方丹参滴丸可使PT、APTT延长,对抗凝血酶Ⅲ的活性无影响。

关键词：复方丹参滴丸 PT APTT 抗凝血酶Ⅲ

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

黑龙江省中小农业企业融资效率分析

黑龙江省中小农业企业融资效率分析

作者：何超剑东北农业大学

学位级别：硕士

中小农业企业作为中小企业的独特存在形式,既是新农村建设的朝阳产业,又是弱质产业。中小农业企业融资难不仅阻碍了中小农业企业的发展壮大,而且也影响了新农村建设的质量。黑龙江省中小农业企业与其他发达地区的中小农业企业相比,发展... 详细信息

中小农业企业作为中小企业的独特存在形式,既是新农村建设的朝阳产业,又是弱质产业。中小农业企业融资难不仅阻碍了中小农业企业的发展壮大,而且也影响了新农村建设的质量。黑龙江省中小农业企业与其他发达地区的中小农业企业相比,发展水平存在着较大的差距。黑龙江省中小农业企业在大企业的压迫下,资金来源受到了严重的限制,再加上企业自身原因和外在的各种影响因素,导致了中小农业企业的融资效率不乐观。所以找出中小农业企业融资效率低的根本原因,提出提高中小农业企业融资效率的对策建议,是现阶段发展黑龙江省中小农业企业的关键。本文从理论方面对黑龙江省中小农业企业融资的基本情况进行了详细的阐述。本文详细的阐述了中小农业企业的概念界定,也对融资效率进行了解释,从融资结构理论和融资效率理论两方面对融资理论进行了梳理。文章选取了黑龙江省50个样本企业,涵盖了黑龙江省的东部地区、中部地区和西部地区。对样本企业的区域分布和经营类别的分布都进行了详细介绍,并就黑龙江省中小农业企业的融资现状和融资特点进行了深刻的阐述。本文运用DEA模型对中小农业企业的融资效率进行了分析,对50家企业从2011到2013年的融资效率情况进行了比较分析,虽然总体上来讲融资效率呈现上升的趋势,但是总的来说,企业的融资效率是很不理想的。本文还运用Logistic回归分析对影响中小农业企业融资效率的影响因素进行了分析,从企业规模、企业管理层学历情况、融资方式、清偿能力、决策形式、企业资信等级、政府支持力度、融资期限、融资目的几方面对融资效率的影响因素进行了分析,得出了这10个影响因素对融资效率影响的相关性,对提高黑龙江省中小农业企业融资效率奠定了基础。通过理论分析和实证分析,最后得出了提高黑龙江省中小农业企业融资效率的对策建议,为发展黑龙江的中小农业企业提供了借鉴,从而也促进了新农村的全面建设。

关键词：中小农业企业融资效率数据包络分析(DEA) Logistic回归分析

光、电催化剂在光催化水分解和电催化CO2还原中的材料设计

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

光、电催化剂在光催化水分解和电催化CO2还原中的材料设计

作者：李丽剑昌吉学院

学位级别：硕士

随着全球经济的快速发展和化石燃料的过度消耗,能源危机和全球变暖等问题变得越来越严峻。为了解决这些问题,需要探索新型、清洁低碳、可持续的能源转换系统。在此,光催化水分解制氢、电催化CO还原技术得益于其绿色和环保等优势引起广... 详细信息

随着全球经济的快速发展和化石燃料的过度消耗,能源危机和全球变暖等问题变得越来越严峻。为了解决这些问题,需要探索新型、清洁低碳、可持续的能源转换系统。在此,光催化水分解制氢、电催化CO还原技术得益于其绿色和环保等优势引起广泛的关注。但光催化水分解和电催化还原CO技术目前仍面临着光吸收范围窄、载流子复合率高、产物选择性低等问题。为克服上述问题,本文对传统宽带隙半导体材料和铜基材料进行微结构的调控和优化以增强其光、电催化性能,并尝试设计开发新型高效、高选择性、低成本和稳定的光、电催化剂。论文的主要研究内容和结论如下:(1)利用密度泛函理论探究了单壁Gamma-Ge Se(γ-Ge Se)纳米管的能带结构、局部态密度、带边位置和光生载流子的迁移率。结果表明,将块体γ-Ge Se结构转变为纳米管后,带隙值从0.31e V增大到2.65e V,并且计算出γ-Ge Se纳米管的电子和空穴迁移率相差一个数量级,极大的提升了光催化反应中电子和空穴的分离率。另外,还发现半径更大的纳米管更容易满足水分解氧化还原电位的要求。本工作从理论层面揭示出单壁γ-Ge Se纳米管增强的光催化性能。(2)通过将单层Janus GaSSe材料卷曲构建纳米管,利用HSE06杂化密度泛函方法对Janus GaSSe纳米管的相关性质进行计算。与单层相比,Janus GaSSe纳米管的可见光吸收范围更宽。另外,Janus GaSSe纳米管的空穴迁移率高达2.89×10cmVs,这在一定程度上有利于光生载流子的分离。通过施加应变可以有效地调节纳米管带隙。本研究有望为开发新型高效的光催化剂提供新的助力。(3)利用杂化密度泛函研究了双壁(DWGSNTs)以及三壁(TWGSNT)γ-Ge Se纳米管的几何和电子结构并考察了壁间距对光催化性能的影响。计算结果表明,TWGSNT展现出比DWGSNTs更负的应变能和形成能,但TWGSNT纳米管小的带隙值不满足其在水分解中的进一步应用。此外,DWGSNTs的带隙可以通过改变壁间距离来进行灵活调控,并在6.61?的层间距离处显示出间接-直接带隙转换的性质。预测的DWGSNT具有良好的光生电荷分离率。这些数据都表明双壁纳米管更有利于在光催化水分解中的应用。(4)基于密度泛函理论研究了BSe纳米管的结构和光学性质。结果表明,单壁BSe纳米管不仅具有稳定的结构,而且还能够将单层的紫外光吸收范围扩展至可见光范围。值得注意的是,单壁BSe纳米管还具有出色的光还原能力和高的空穴载流子迁移率(～10cmVs)。在单轴应变下,单壁BSe纳米管展现出直接-间接带隙的转变。此外,双壁BSe纳米管的电子结构有利于电荷分离,并具有更宽的光吸收范围。不幸的是,其较低的能带边缘位置阻碍了整体的光催化水分解能力。本工作表明单壁BSe纳米管在可见光驱动的光催化分解水方面的应用具有潜在的可能性。(5)通过实验制备不同晶面的CuO纳米颗粒,包括暴露(110)面的p-CuO纳米颗粒,暴露(100)和(111)双面的t-CuO纳米颗粒以及同时呈现(100)、(111)和(110)三种晶面的m-CuO,并评价了它们在电催化还原CO制CH的性能。结果表明,CH的效率很大程度上依赖于CuO暴露的晶面数,并且m-CuO展现出目前最高的乙烯选择性(61.61%)。本工作为利用晶面工程技术提高电催化CO还原的选择性提供了一条新的途径。

关键词：光催化水分解电催化二氧化碳还原密度泛函理论形貌调控晶面工程