青岛市自然科学基金项目(05-1-JC-88) 作品数:7 被引量:18 H指数:3 相关作者: 傅游 崔焕庆 花嵘 田银花 田玲玲 更多>> 相关机构: 山东科技大学 青岛科技大学 北京理工大学 更多>> 发文基金: 青岛市自然科学基金项目 国家自然科学基金 山东省“泰山学者”建设工程项目 更多>> 相关领域: 自动化与计算机技术 更多>>
基于带抑制弧的Petri网的min-min算法模型研究 2010年 为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,能够正确地描述独立任务调度系统使用min-min算法的情况。最后对该模型的空间复杂度以及每调度一个任务模型的变化情况进行了分析,随着独立任务的调度执行,该基于带抑制弧的Petri网的变迁数和弧数会随之减少,模型的空间复杂度会不断降低。 傅游 花嵘 田银花关键词:调度 小波视频编码中运动补偿技术研究进展 被引量:3 2006年 近年来小波视频编码技术在快速发展,作为视频编码核心步骤的运动补偿技术更是受到了高度重视.许多用于提高编码效率和提供新功能的观点和方法被提出.在介绍小波视频编码技术特点和基本方法的基础上,着重介绍了运动补偿技术在时域和小波域实现的最新进展,并对发展趋势进行了展望. 房胜 梁永全 钟玉琢关键词:MCTF 可扩展性 并行程序Petri网模型的结构性质 被引量:6 2007年 正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性. 崔焕庆 吴哲辉关键词:PETRI网 并行程序开发流程及其辅助工具设计 被引量:1 2007年 并行程序开发大多遵循"开发-执行-验证和分析"的流程,开发周期较长,效率低下,而正确性和高性能是使用并行程序的首要条件。为此,提出了一种贯彻算法设计、程序开发到结果分析全过程的、可以同时进行正确性验证和性能分析的开发流程,给出了较完善的计算机辅助开发工具设计的原则和方法,并开发了消息传递并行程序设计的辅助工具原型。实验证明,该流程和方法提高了并行程序开发效率,简化了程序员的工作。 崔焕庆关键词:性能分析 一种可调节动态任务调度算法 2007年 提出了适于异构环境独立任务调度的可调节动态调度算法(AS算法)。该算法以任务与处理机的执行时间和完成时间作为参数共同构造任务调度顺序的衡量值,其中二者所占的比重能进行适当调整。AS算法克服了Min-min算法单纯追求局部最优的局限性,更适合异构环境。实验结果表明AS算法可以有效地降低调度跨度,其性能比Min-min算法有所提高。 田银花 傅游关键词:可调节 任务调度 基于小波多分辨率分析和主元分析的电力电子电路故障诊断 被引量:8 2006年 将小波多分辨率分析和主元分析方法以及归纳学习理论-决策树分类方法应用于电力电子电路的故障诊断中,提高了诊断效率及分类准确性,仿真结果验证了提出方法的正确性和有效性。 于飞 田玲玲 刘喜梅 顾幸生关键词:多分辨率分析 主元分析 电力电子电路 故障诊断 DSMC并行仿真中的迁移相关分析方法 被引量:1 2007年 程序相关性分析理论和技术是程序并行化的基础和前提。对直接仿真蒙特卡洛(Direct Simulation Monte Carlo,DSMC)方法进行分析,针对并行仿真计算中分子动态迁移引起相关的实质,提出了迁移相关的概念,并给出了DSMC程序的迁移相关分析算法。对实际算例的处理结果说明了该方法的正确性和有效性。 傅游 花嵘 康继昌关键词:DSMC 分子运动