程曦浩
- 作品数：8 被引量：2H指数：1
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划浙江省科技厅资助项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种基于双向奇偶校验的混合纠错方法
- 本发明公开了一种基于奇偶校验的混合纠错方法，具体是指是当信道存在强干扰等条件下对数据进行校验纠错的方法。本发明包括：根据原始数据生成数据分割块、数据分割块原始校验信息的生成、传送数据块的生成，传送数据块的传输与重传以及数...
- 董利达郑寒程曦浩
- 文献传递
- 一类含T-图环结构受控网显式控制器设计
- 2010年
- 定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.
- 董利达郑寒程曦浩
- 关键词：离散事件系统PETRI网
- 基于工作流的安全库所替换网特性研究被引量：1
- 2010年
- 基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.
- 董利达程曦浩郑寒
- 关键词：PETRI网工作流网
- 基于TSTWT网系统的显式控制器设计
- 2008年
- 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。
- 董利达郑寒程曦浩
- 关键词：离散事件系统受控PETRI网
- 一种数据帧最大负载自适应调整方法
- 本发明公开了一种无线数字通信、信息编码等领域，具体是指一种基于信道质量的数据帧最大负载自适应调整方法。该方法使用当前信道质量和期望信道质量进行的比较，再根据当前数据帧负载长度，计算下一数据帧的帧负载长度，通过对数据帧帧负...
- 董利达程曦浩郑寒
- 文献传递
- 一种基于双向奇偶校验的混合纠错方法
- 本发明公开了一种基于奇偶校验的混合纠错方法，具体是指是当信道存在强干扰等条件下对数据进行校验纠错的方法。本发明包括：根据原始数据生成数据分割块、数据分割块原始校验信息的生成、传送数据块的生成，传送数据块的传输与重传以及数...
- 董利达郑寒程曦浩
- 文献传递
- 基于工作流的Petri网替换特性研究
- Petri网作为分布式系统的建模和分析工具，广泛应用于通信、交通等领域，用以研究系统的控制器设计、死锁防止和活性保持及公平性保持问题等。随着系统复杂度的增加，Petri网模型的复杂度也随之提高，由此造成状态空间爆炸问题，...
- 程曦浩
- 关键词：PETRI网工作流技术分布式系统
- 文献传递
- 一种数据帧最大负载自适应调整方法
- 本发明公开了一种无线数字通信、信息编码等领域，具体是指一种基于信道质量的数据帧最大负载自适应调整方法。该方法使用当前信道质量和期望信道质量进行的比较，再根据当前数据帧负载长度，计算下一数据帧的帧负载长度，通过对数据帧帧负...
- 董利达程曦浩郑寒
- 文献传递
