基于FPGA和DSP的电阻层析成像数据采集系统

为充分发挥DSP实时信号处理能力强和FPGA的逻辑控制以及硬件可编程的优势,构建了一套基于FPGA和DSP的16电极ERT数据采集系统.模块化的设计保证了系统良好的可维护性和可扩展性.FPGA完成激励信号产生、前端信号处理、系统逻辑控制和正交序列解调,DSP完成数据的后处理和成像算法的实现,实现了两种控制器的优势互补,...     

引风机变频调速控制逻辑设计

介绍贵州鸭溪金元发电运营有限公司1号至4号锅炉引风机变频调速改造的顺控设备的逻辑设计、逻辑组态；引风机在机组发生异常时引风机工频与变频方式自动切换的逻辑设计、逻辑组态；炉膛负压调节如何在引风机工频运行方式和变频运行方式切换时实现最小扰动的逻辑设计、逻辑组态；引风机增加变频器控制后的运行操作设计，既要满足系统运行要求，又...     

基于实时逻辑的时间约束检测方法

本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2) O(n^2) O(2^k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^2),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。     

反向逻辑综合技术中快速重构算法研究

对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性.而通过对目标系统的逻辑功能收集与归纳,再进行反向的逻辑综合处理是一种行之有效的手段,但是该手段实现时与传统的逻辑综合处理的有巨大差异.重点分析和论述了如何解决反向逻辑综合的处理速度和结果规模控制的两个核心难题,提出了一个适应面较广的Q-M法与锐积法相结合的处理算法,给出了算法流程和性能分析.     

一种角色权限管理方案的算法设计

基于角色的权限管理在信息管理系统的开发中得到普及应用,应用角色权限管理技术可实现不同身份登录验证后具有不同的操作界面,提高了系统的易用性和健壮性。基于作者开发的一个项目,分权限菜单处理、修改角色数据预准备、角色展现页面逻辑、以及客户端复杂逻辑控制多个方面详尽给出一系列核心算法实现。应用表明这些核心算法有着较好的处理性能。     

基于DSP和CPLD的视频图像采集处理的设计与实现

提出了基于DSP和CPLD的视频图像采集、处理系统的设计与实现方法,系统硬件平台主要由专用视频解码芯片、可编程逻辑器件以及数字信号处理器等组成.讨论了视频图像信号处理的基本构成、原理,采用TVP5150视频解码芯片采集视频信号、输出图像数据码流,配置XC95144 CPLD芯片进行系统逻辑控制,利用TMS320VC5416处理嚣和处理算法软件进行数字图像信号处理,实现了视频图像采集、存储、传榆、检测和锐化.系统设计是有效和可行的.     

共轭梯度求解器的FPGA设计与实现

针对共轭梯度(CG)迭代算法软件执行效率低、实时性差的缺点,提出一种基于现场可编程逻辑门阵列(FPGA)平台的CG迭代求解器。设计采用软硬件结合的方式构建整个系统,CG协处理器执行CG迭代算法中计算量大、控制简单的代码,以达到硬件加速的目的。控制复杂、计算量较少的代码则依旧在微处理上执行。设计采用行交错数据流,使得整个系统完全无停顿的运行,提高了计算性能。实验结果表明,与软件执行相比,硬件CG协处理器可以获得最高5.7倍的性能加速。     

CPLD在辅助动力电动车逻辑控制部分中的应用

在电动车驱动控制单元的设计中．逻辑处理部分的设计是关系到汽车安全可靠行使的关键环节。本文中采用CPLD逻辑处理与微处理器管理相结合实现逻辑控制．可以根据不同运行状态采用不同的控制模式．安全地实现了对复杂运行环境下的逻辑控制。     

电容层析成像数字化系统设计

为了克服模拟器件的约束,进一步提高系统的精度与速度,本文结合FPGA可编程逻辑控制和DSP信号处理能力强的特点,构建了16电极新型数字化电容层析成像系统.由FPGA完成系统逻辑控制、正弦激励信号产生和数字解调,简化了控制与接口电路,提高了系统工作的可靠性;由DSP实现图像重建算法,最终通过PCI接口将灰度值传送给PC机成像.理论分析和实验表明,系统的信噪比和实时性等性能指标均得到提高.     

通用逻辑电路自动检测系统的设计

目前我国电力机车中逻辑控制设备的检测大都采用专用设备,缺乏通用解决办法,为此采用现代计算机软件与控制技术开发设计了通用的检测试验装置;该系统采用灵活的硬件和软件设计,解决了通用逻辑电路检测的难题;对检测试验装置的硬件系统做了原理分析;对计算机软件系统中的核心数据结构的设计、算法和处理方法做了较为详细的介绍;实践结果表明,该检测系统运行稳定可靠,能实现电力机车中绝大部分复杂逻辑电路的自动检测,具有很好的实用性和应用价值。     

基于工作日历的工作流时间管理的研究与实现

随着企业提出“精细化管理”的需求,企业对工作流平台的时效性、作业管理和时间监控提出了更高的要求.为了提高工作流系统对时间维度的处理能力,借鉴ERP系统的工厂日历思想,提出了基于工作日历的工作流时间模型,基于XML规范定义了5种时间表示方法,实现了基于工作日历的工作流时间管理模块.最后实例结果证明该时间模型易于理解和便于软件实现.     

存储资源受限时的数据密集工作流调度算法

针对数据密集型科学工作流需要大量的数据传送和数据存储的问题,在执行节点可用存储资源受限的情况下,构造计算作业与数据作业分离的工作流模型,设计数据与计算分离后的工作流生成算法,增加数据转送作业、数据清除作业、数据作业及其依赖关系。给出资源受限情况下数据密集工作流的预估存储调度算法,并对其进行系统评价,取得了较好的效果。     

一种新的业务过程管理模型

通过对工作流本质的探讨和对WfMC工作流参考模型的分析,提出了在分解业务过程控制逻辑与应用逻辑的基础上,进一步将控制逻辑分解为路由逻辑与资源管理逻辑的思想.提出了描述资源管理逻辑的资源管理模型.基于资源管理模型提出一种新的过程管理模型BRM,给出了基于BRM的业务过程管理系统的系统框架和功能模块.与WfMC工作流参考模型的对比表明:BRM模块更清晰,柔性更突出,分解粒度更小.     

一种采用消息模型的多集群作业管理方案设计

文中针对多集群环境资源异构且地域分散、网络环境不可靠以及面向用户需求的特点,提出了一种采用消息模型的多集群作业管理方案。该方案采用全局一局部的层次调度方法,基于发布一订阅的消息模型,根据当前网络环境、用户作业的资源需求、各集群自身负载情况进行综合统一调度管理。实践证明,采用该方案设计实现的多集群作业管理系统实现了多集群环境下的资源监控、资源管理、作业调度、作业控制、数据管理等功能,有效解决了在资源异构及网络环境不可靠条件下的系统稳定性问题,显著提高了多集群系统作业吞吐能力。     

基于工作流的高性能计算用户环境的设计

面向行业的高性能计算越来越复杂,一个任务的完成不仅仅需要计算服务,还需要数据服务以及各种辅助设备服务.依靠作业管理系统构建的高性能计算用户环境仅仅支持作业间的时序依赖,没有容错机制和健全的流程控制,不能完全满足日益复杂的面向行业的高性能计算用户的需求.基于工作流构建的高性能计算用户环境,在石油物探行业得到了较好的应用.它不仅便于业务流程的创建和控制,而且扩展了各种关系依赖和流程语义,特别是具有检查点功能的基于事件模型的工作流引擎,给系统提供了可靠性保证.这使得基于工作流的高性能计算用户环境能够灵活地适应不同用户环境的变化.     

数据网格任务调度模拟器的设计*

通过对数据网格模型及任务调度过程进行分析,归纳了数据网格任务调度流程,定义了数据网格的任务执行时间和执行花费。对网格模拟器GridSim进行扩展,增加了数据网格任务调度的模拟功能,介绍了扩展后的模拟器体系结构、工作流程和关键技术。通过实验表明,该任务调度模拟器可以满足数据网格优化理论研究的需要,能够对任务调度策略的性能进行比较。     

基于工作流的星载SAR辐射定标系统研究与设计

在对原有星载SAR辐射定标处理系统的开发和认识的基础上,分析星载SAR辐射定标处理系统的领域需求及辐射定标数据的处理流程,并对工作流技术及工作流管理系统机制进行研究.在现有的SAR辐射定标处理系统中引入工作流技术及设计思想,实现系统处理的控制逻辑与具体的实现逻辑分离,及辐射定标数据处理的自动化或半自动化,提高数据处理的效率以及系统的灵活性和适应性.     

基于CPN的工作流异常处理模型设计

工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述了处理结构中的异常监控、异常分析和补偿案例执行三个子过程。结合茶餐厅的运营模型的仿真实验证明了该模型可有效地分离工作流的异常处理逻辑和运行逻辑,并支持工作流管理系统的实施。     

Dynamic partner identification in mobile agent-based distributed job workflow execution

This paper is concerned with the design, implementation, and evaluation of algorithms for communication partner identification in mobile agent-based distributed job workflow execution. We first describe a framework for distributed job workflow execution over the Grid: the Mobile Code Collaboration Framework (MCCF). Based on the study of agent communications during a job workflow execution on MCCF, we identify the unnecessary agent communications that degrade the system performance. Then, we design a novel subjob grouping algorithm for preprocessing the job workflow's static specification in MCCF. The obtained information is used in both static and dynamic algorithms to identify partners for agent communication. The mobile agent dynamic location and communication based on this approach is expected to reduce the agent communication overhead by removing unnecessary communication partners during the dynamic job workflow execution. The proof of the dynamic algorithm's correctness and effectiveness are elaborated. Finally, the algorithms are evaluated through a comparison study using simulated job workflows executed on a prototype implementation of the MCCF on a LAN environment and an emulated WAN setup. The results show the scalability and efficiency of the algorithms as well as the advantages of the dynamic algorithm over the static one.     

基于层次化调度策略和动态数据复制的网格调度方法

针对在网格中如何有效地进行任务调度和数据复制, 以便减少任务执行时间等问题, 提出了任务调度算法（ISS）和优化动态数据复制算法（ODHRA）, 并构建一个方案将两种算法进行了有效结合。该方案采用ISS算法综合考虑任务等待队列的数量、任务需求数据的位置和站点的计算容量, 采用网络结构分级调度的方式, 配以适当的权重系数计算综合任务成本, 搜索出最佳计算节点区域; 采用ODHRA算法分析数据传输时间、存储访问延迟、等待在存储队列中的副本请求和节点间的距离, 在众多的副本中选取出最佳副本位置, 再结合副本放置和副本管理, 从而降低了文件访问时间。仿真结果表明, 提出的方案在平均任务执行时间方面, 与其他算法相比表现出了更好的性能。