一个带环检测的深度优先搜索拓扑排序算法

提出了一种带环检测功能的深度优先搜索拓扑排序算法,详细介绍了几种基本拓扑排序算法,分析了带环检测功能的深度优先搜索拓扑排序算法的意义和作用,并证明了该算法的完备性和正确性,给出了该算法的用C++编写的实现代码。     

拓扑排序和强连通算法在源代码分析中的应用

缺少文档的开源项目和文档不完整的开源项目,分析其源代码是了解其运行机理的主要方法,本文提出一种基于函数分析顺序的分析方法,并且提出构建函数分析顺序的过程。过程为首先使用强连通算法消除函数递归调用,得到一些组件,再用拓扑排序对组件和组件内部的各函数节点排序,得到一个分层链表,该链表包含各函数的调用顺序和分析顺序,再用一种展开算法将分层链表展开,最终得到源代码中的函数分析顺序。     

拓扑排序算法的拓展研究

拓扑排序是有向图的一种重要运算,可以根据拓扑序列串行地安排活动。为增加活动安排的并行性,文章提出并实现了分阶段拓扑排序算法。为求出最佳拓扑序列,还提出了一种全拓扑排序的实现算法。     

AOV网中全拓扑排序算法的设计及应用

以顶点表示活动的网络(AOV网)可用来表示整个工程中各个子工程的先后次序制约关系,利用拓扑排序算法能求得子工程的线性序列--拓扑序列.按此序列安排各子工程,能保证整个工程的顺利完成.传统的拓扑排序算法基于栈结构实现,只能求得实际存在的多个拓扑序列中的一种,削弱了算法的实用价值.文中为了弥补这一缺陷,设计全拓扑排序算法求出了AOV网中实际存在的全部拓扑序列.给出了AOV网的定义及拓扑排序算法思想,分析了传统拓扑算法的不足,提出了一个全拓扑排序求解算法.并讨论了算法中用到的数据结构,以及算法的伪代码实现,通过一个应用实例验证了全拓扑排序算法的实用性和正确性.     

AOV网中全拓扑排序算法的设计及应用

以顶点表示活动的网络(AOV网)可用来表示整个工程中各个子工程的先后次序制约关系,利用拓扑排序算法能求得子工程的线性序列———拓扑序列。按此序列安排各子工程,能保证整个工程的顺利完成。传统的拓扑排序算法基于栈结构实现,只能求得实际存在的多个拓扑序列中的一种,削弱了算法的实用价值。文中为了弥补这一缺陷,设计全拓扑排序算法求出了AOV网中实际存在的全部拓扑序列。给出了AOV网的定义及拓扑排序算法思想,分析了传统拓扑算法的不足,提出了一个全拓扑排序求解算法。并讨论了算法中用到的数据结构,以及算法的伪代码实现,通过一个应用实例验证了全拓扑排序算法的实用性和正确性。     

一种有向图并行性全拓扑排序算法设计与实现

讨论了AOV网的一种并行性全拓扑排序的算法及实现,解决了传统拓扑排序算法的单一性问题,说明了并行全拓扑排序有重要的实用价值。     

Modelica软件中微分代数方程指标约简算法分析

Modelica 建模软件会产生高指标的微分代数方程(DAE),因为现有数值求解器一般不能直接对高指标DAE进行求解,所以Modelica建模软件必须对高指标DAE进行指标约简.为提高Modelica建模软件性能,针对现有指标约简算法,展开了理论分析和实验比较,着重对负权二部图算法进行了详细分析,并给出了负权二部图算法的时间复杂度.理论分析和实验结果表明,负权二部图算法相对Pantelides算法有较好的性能,因此可以考虑在Modelica建模软件中使用负权二部图算法来提高性能.     

并行拓扑排序算法PTSA的设计与实现

文章对AOV网首次提出了一种基于层次的混合数据结构,按分层处理的方法实现并行拓扑排序算法PTSA,求得了AOV网中顶点的所有拓扑序列,克服了以往基于栈结构只能求得一种拓扑序列的缺陷。PTSA算法为工程中各子工程的串行或并行安排提供了确定的选择,提升了拓扑排序算法的实用价值。     

LAOV网络及其拓扑排序算法

针对网格工作流调度、生产和施工计划的制订等领域的特殊需求,引入了一类顶点带层次的AOV网络-LAOV网络。本文对AOV网络、层次、LAOV网络进行了严格的定义,并对顶点层次取值的几种情形作了详细的讨论。然后针对其中一种合理情形的LAOV网络提出了拓扑排序算法,讨论了栈或队列的选择、有向回路的判定等问题,并分析了算法的复杂度。最后对LAOV网络及拓扑排序算法进行实验分析。因为算法输出的解不唯一,在实验分析时设计了评判程序对算法输出进行验证。实验分析结果表明算法是正确的,时空效率也比较好。     

动态拓扑排序途径的XForms表单自动计算研究

XForms被称为下一代的Web表单,XForms中的模型表达了实例数据项间的计算依赖,计算依赖是一个有向无环图,通过动态拓扑排序算法能够维护有向无环图的拓扑顺序,从而实现XForms表单自动重新计算.该算法解决了数据项增加、减少或数据项间计算依赖的增加、减少后需要全部重新计算问题,提高了XForms计算引擎的效率.     

基于Modelica的多领域建模与联合仿真

为实现多领域建模仿真环境与其他仿真环境的联合仿真,提出基于Modelica多领域建模的联合仿真方案.该方案基于Modelica多领域模型的连接机制,通过Modelica模型与Simulink模块的转换机理,实现在S-Function联合仿真框架下的联合仿真.基于Modelica的多领域物理系统建模仿真工具MWorks与...     

基于Modelica的异步电机建模仿真

为进行异步电机涉及的机械、电气和控制等多个领域的整体设计优化和性能分析,对其进行多领域统一建模仿真.基于Modelica在MWorks平台上建立异步电机的元件模型库及整机模型,并进行仿真分析;通过与实验结果的对比验证该模型的有效性.该模型基于多领域建模语言建立,对实现异步电机的多领域统一建模以及整体设计和性能分析提供一...     

基于笛卡尔方法的多体系统Modelica表示

针对Modelica多体建模过程较为繁琐、创建模型不够直观的问题,在研究多体系统由物理模型到数学模型再到Modelica表示的完整映射过程的基础上,采用笛卡尔方法,以多体动力学建模软件InteDyna为建模前端,在多领域物理系统建模仿真工具MWorks中实现多体系统三维可视化建模与仿真.双摆实例表明该方法有效.     

基于Modelica的电动汽车电池建模与仿真

为了实时仿真电动汽车电池组的动态性能,应用Modelica多领域建模语言建立描述电池组的PNGV等效电路模型.通过电池的动态充放电性能实验标定电池组模型的电阻、电容等参数,并利用Dymola多领域仿真软件进行性能参数求解.将该电池模型应用在电动汽车整车的仿真分析中,实验结果表明,该模型准确度高,能实时地仿真电动汽车的动力性能.该电池组建模方法实现简单且便于扩展,可以为电动汽车的产品设计、系统性能分析提供有效的解决办法.     

支持Modelica模型的半物理仿真系统设计及关键技术

针对当前基于MATLAB/SIMULINK的半物理仿真（Hardware in Loop Simulation,HILS）系统中不支持多领域建模、联合仿真模型转换过程复杂且存在误差等问题,提出基于Modelica和建模仿真软件MWorks进行HILS的方法,分析其所涉及的建模方法、实时仿真接口和代码生成等关键技术,并以此为基础构建支持Modelica模型的HILS.以前起落架转向系统和起落架收放系统为应用实例,建立HILS平台,对该方法进行验证.仿真结果表明该方法可行,结果可信度高.     

Efficient algorithms for parallel sorting on mesh multicomputers

We present two new parallel algorithms QSP1 and QSP2 based on sequential quicksort for sorting data on a mesh multicomputer, and analyze their scalability using the isoefficiency metric. We show that QSP2 matches the lower bound on the isoefficiency function for mesh multicomputers, while QSP1 is fairly close to optimal. Langet al. ⁽¹⁾ and Schnorret al. ⁽²⁾ have developed parallel sorting algorithms for the mesh architecture that have either optimal (Schnorr) or close to optimal (Lang) run-time complexity for the one-element-perprocessor case. Both QSP1 and QSP2 have better scalability than the scaled-down variants of these algorithms (for the case in which there are more elements than processors). We also analyze a different variant of Lang's sort which is as scalable as QSP2. We briefly discuss another metric called resource consumption. According to this metric, both QSP1 and QSP2 are superior to variants of Lang's sort.     

基于表达式树的Modelica单位检查和推导

针对多领域物理系统统一建模中,提高复杂模型的质量与可靠性的迫切需求,阐述了Modelica语言对单位的支持方式以及单位之间换算和运算的规则,并基于对表达式树的遍历操作,给出了单位检查与推导机制的实现方案。通过分析该方案的时间复杂度,针对其影响效率的主要因素进行了优化。最终将该方案在多领域统一建模仿真平台MWorks上得以实践,以Modelica标准库中的模型为实例,证明了方案的可行性。     

A study on design of object sorting algorithms in the industrial application using hyperspectral imaging

Many industrial object-sorting applications leverage benefits of hyperspectral imaging technology. Design of object sorting algorithms is a challenging pattern recognition problem due to its multi-level nature. Objects represented by sets of pixels/spectra in hyperspectral images are to be allocated into pre-specified sorting categories. Sorting categories are often defined in terms of lower-level concepts such as material or defect types. This paper illustrates the design of two-stage sorting algorithms, learning to discriminate individual pixels/spectra and fusing the per-pixel decisions into a single per-object outcome. The paper provides a case-study on algorithm design in a real-world industrial sorting problem. Four groups of algorithms are studied varying the level of prior knowledge about the sorting problem. Apart of the sorting accuracy, the algorithm execution speed is estimated assuming an ideal implementation. Relating these two performance criteria allows us to discuss the accuracy/speed trade-off of different algorithms.