一种基于Workflow的作业流管理系统研究

将工作流技术应用于作业管理系统,提出了基于Workflow的作业流管理系统,首先给出了系统的体系结构,然后从作业流的定义与描述,作业流的调度与执行等方面具体分析了作业流管理模型,该系统是对现有作业管理系统和工作流管理系统的动态扩充,有着非常广阔的应用前景。     

“SEQ OF PAR”结构化并行程序设计

本文基于有关因果关系复合的Ｃｏｍｍｕｎｉｃａｔｉｏｎ Ｃｌｏｓｅｄ Ｌａｙｅｒ理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计。该模型采用“ＳＥＱ ＯＦ ＰＡＲ”的层次化结构和基于伪同态的并行抽象数据类型来分析和刻画程序的并行行为。     

一种基于流作业的网格作业调度研究

在基于网格环境的一些网格应用中,用户需要提交一种作业类型,该作业可以被分解为逻辑上独立的元作业,这些元作业不存在依赖和通讯关系,并且它们的执行需要大量的数据移动。针对这种作业类型,本文提出了一种基于流作业的网格调度模型。在该模型中,这些独立的元作业像"流"一样自主地流向各个计算节点去执行,各计算节点接收的流量取决于其计算能力,并避免"断流"问题。同时,该模型还分离了作业流和数据流,实现了作业逻辑控制和数据控制的分离,提高了调度的灵活性。本文将该调度模型应用于药物虚拟筛选应用中,该模型能够充分利用计算节点的计算能力。     

作业流访问控制策略

作业流是一系列任务,它由一个任务集和一个任务关系集组成,其中,任务关系集说明各任务的执行顺序。该文在给出作业流定义的基础上,提出了一种基于作业流Petri网描述的访问控制机制,并介绍了该机制的实现。     

结构化和面向对象程序设计方法的探讨

结构化和面向对象是当前主要的程序设计方法，本文对这两种方法的基本思想，设计过程和特点等进行了较全面和深入的分析和探讨，得出了一些有意义的结论。     

一种并行结构化支持向量机次梯度投影算法

支持向量机的次梯度投影算法是解决支持向量机优化求解问题的一种简单有效的迭代算法。该算法通过梯度下降和投影两个步骤的多轮迭代,找到两类最大间隔的分类面。针对该算法忽略了对寻找分类面同样有指导意义的样本分布信息这一问题,在分类器设计中融入结构信息,并且采用MapReduce并行计算框架,提出了一种并行结构化支持向量机的次梯度投影算法,该算法能够充分利用集群的计算和存储能力,适用于海量数据的优化问题。在NASA的两个软件模块缺陷度量数据集CM1和PC1上的实验结果表明,该算法能够加快收敛速度,提高分类性能,有效地解决海量数据的优化求解问题。     

MPP上用类SPMD模式实现作业并行的方法

本文介绍了一种用户在MPP上用类SPMD模式实现作业并行的方法,主要讨论文件的可区分性和作业的组织与发送,并给出了相关程序片断。     

分布式系统中计算作业流的均衡调度算法

分布式系统中计算作业流被映射到节点后无法进行动态调整,使关键作业无法及时执行而造成作业间等待。针对该问题,提出一种计算作业流均衡调度算法。算法对映射到分布式节点的作业根据其依赖关系得出阶位值,依据该值在分布式节点上进行动态优先值调整,使关键作业尽早完成,减少作业之间的等待,缩短计算作业流执行时间。实际系统应用表明,该算法对作业管理系统中投入的计算作业流的快速执行有较强优越性。     

一种非精确求解结构型变分不等式的渐近点算法

近来,交替方向法成为了学者们研究的热点。对于一类子问题能够精确求解的变分不等式,该算法是有效的。然而,在实际问题中,变分不等式的子问题是非常困难甚至是不可能精确求解的。在渐近点算法的基础上得到一种非精确的渐近点算法,使得变分不等式子问题具有显式解,通过简单的预测校正步得到子问题的解。在合理的假设下,算法的收敛性得到了证明,一些数值实验表明了所提算法的有效性。     

结构化定理在《程序设计》教学中的应用

流程图是一种很好的算法表示工具,但对程序设计的初学者而言,设计出来的流程图大多是非结构化的。在《程序设计》课程的教学中,让学生学习结构化定理的相关知识,把非结构化的流程图转换为结构化的,这对培养学生的结构化程序设计思维有很好的意义。     

结构化步态特征表征和快速步态识别方法

对于只有单一步态信息的特征数据库,在人数众多时,遍历识别算法识别时间长、识别率低。针对这个缺点,提出一种结构化步态特征表征和快速步态识别方法,将人的步态信息与身高、性别、年龄等一起构成结构化的步态特征,用不同传感器采集数据,不同的方法提取各个特征分量并独立加以利用。结构化的步态特征便于识别算法对步态识别问题进行分级处理,缩小识别范围。实验表明,文中方法不仅能够提高识别速度,而且能获得更高的识别率。     

结构化地物的异质性分析及其计算方法

将具有明显空间结构的非连续性地物数据的结构分析研究,归纳为空间数据的结构化异质性分析问题。在此概念的基础上引用曲线论的方法分析了结构化异质性的变异函数的构成,得出变异距离受样本点间地物弧长及其空间复杂度共同影响的结论,由此推出变异距离函数的解析表达公式。之后给出了结构化异质性的实验变异函数的一种近似计算方法,该方法在样本合理分布的前提下一致收敛于真实变异值。最后介绍了结构化异质性模型在青藏铁路路基沉降数据的结构分析计算中的一个应用实例。     

基于方向模板的结构光条纹中心检测方法

结构光条纹中心位置的准确检测是影响结构光系统精度的关键问题之一。在利用结构光系统获取距离数据时,会出现以下问题:第一,激光条纹的强度并不服从高斯分布和传感器引入的误差;第二,系统内部电子和软件引入的高斯白噪声。确定激光条纹中心传统的方法容易受到这些问题的影响。为了消除这些错误对数据的影响,数据需要低通滤波和平滑。但是如果对数据进行平滑,就会损失物体表面几何细节信息。文章提出了一种利用可变方向模板检测结构光条纹中心的方法,实验结果表明该方法能够准确地获取光条纹中心。     

Scalable and Structured Scheduling

Scheduling a program (i.e. constructing a timetable for the execution of its operations) is one of the most powerful methods for automatic parallelization. A schedule gives a blueprint for constructing a synchronous program, suitable for an ASIC or VLIW processor. However, constructing a schedule entails solving a large linear program. Even if one accepts the (experimental) fact that the Simplex is almost always polynomial, the scheduling time is of the order of a large power of the program size. Hence, the method does not scale well. The present paper proposes two methods for improving the situation. First, a large program can be divided into smaller units (processes), which can be scheduled separately. This is structured scheduling. Second, one can use projection methods for solving linear programs incrementally. This is specially efficient if the dependence graph is sparse.     

基于编码复杂度的混合结构稀疏人脸识别方法

利用编码复杂度表示数据的结构稀疏度,通过降低编码复杂度实现结构稀疏。在稀疏表示分类模型的基础上,通过聚类排序的方法构造结构化字典,形成混合结构稀疏模型。此模型结合类间样本的定长组结构与类内样本的动态可重叠组结构,以及误差的标准稀疏结构。为实现混合结构稀疏重构,提出改进的混合结构贪婪算法。实验表明对数据字典进行聚类排序可有效改进人脸的识别性能,在相同条件下,混合结构的性能优于其他结构,文中算法也优于其他算法。     

应用于结构化文本的检索系统的设计和实现

该文介绍了一个应用于结构化文本的检索系统的设计和实现。根据结构化文本的自身特点,提出了文本层次划分的思想,通过层次划分,文本被切分成有结构信息和有独立思想内容的文本单元。在此基础上,对检索词实现结构化索引,同时采用层次匹配嵌套查询的方法来实现用户自然语言的提问查询。用户查询处理中还综合运用了查询结果优化、相似查询、二次查询及反馈评分的技术。     

Structured FORTRAN preprocessors generating optimized output

Usually a structured FORTRAN program is transformed into a standard FORTRAN program by means of a one-pass preprocessor. In this case, several problems are caused by the many redundant continue and goto statements that a preprocessor generates. These problems include: (i) the generated FORTRAN program is not easy to read; (ii) the size of files to store the related programs becomes large; (iii) the total time increases for executing both the FORTRAN compiler and the output program itself. This paper presents a new scheme for constructing a one-pass preprocessor that generates the optimized FORTRAN code by suppressing the redundant statements. By employing this scheme we have constructed our own preprocessors for Westran (one of the Structured FORTRAN languages) and Ratfor and measured these against the traditional preprocessors for the Westran and Ratfor languages. One of the results is as follows. The total time for users, namely ‘preprocessing time + FORTRAN compiling time’ is rather less than the traditional ones. This is due to the fact that to suppress the input/output of the redundant statements from/to files contributes to the decreasing of both preprocessing and compiling times, and this compensates completely the time-overhead of the optimization process.     

结构光测距系统仿真研究

结构光测距方法在许多三维扫描系统中有着广泛的应用。对结构光测距系统进行仿真,可对结构光测距系统进行设计优化和性能测试。该文提出了一种使用3DS MAX软件平台的结构光测距系统仿真方法。从仿真系统中获得的扫描图像序列用于三维重建,可精确获取扫描对象的三维表面信息。实验结果验证了该仿真方法的有效性与实用性。