Quasi-Upward Planarity

Abstract. An upward planar drawing of a directed graph (digraph) is a planar drawing such that all the edges are represented by curves monotonically increasing in the vertical direction. In this paper we introduce and study the concept of quasi-upward planarity. Quasi-upward planarity allows us to extend the upward planarity theory to a large class of digraphs including digraphs that also have directed cycles. First, we characterize the digraphs that have a quasi-upward planar drawing. Second, we give a polynomial time algorithm for computing ``optimal' quasi-upward planar drawings within a given planar embedding. Further, we apply branch and bound techniques to the problem of computing optimal quasi-upward planar drawings, considering all possible planar embeddings. The paper also contains experimental results about the proposed techniques.     

Using simulation and multi-criteria methods to provide robust solutions to dispatching problems in a flow shop with multiple processors

Dispatching rules are important to the performance of a manufacturing system. Selective applications of different priority rules at different processing stages in a multiple workstation manufacturing system have a positive impact on shop performance. This type of problem is a combinatorial dispatching decision. However, no dispatching rule can consistently produce better performance than all other rules under a variety of operating conditions and criteria. It is the purpose of this study to provide a robust solution for a dispatching decision that will have ‘good’ performance under different operating scenarios. In this paper a simulation case of a flow shop with multiple processors is proposed, specifically a multi-layer ceramic capacitor manufacturing system. Two multiple criteria decision-making methods – techniques for order preference by similarity to ideal solution (TOPSIS) and an analytic hierarchy process (AHP) – in combination with Taguchi orthogonal array are used to find the most suitable dispatching rule for every workstation. The results show that for 15 production scenarios and 4 criteria this combinatorial dispatching rule is robust, in the sense that it outperforms other commonly employed strategies.     

非线性编辑技术在高等医学院校课件制作中的应用

本文结合我院‘教育技术中心’非线性编辑系统的开发使用,比较分析了非线性编辑系统的优点,论述非线性编辑在视频制作、以及实践教学等方面的综合应用以及在应用非线性编辑系统制作中的一些问题。     

基于Ajax的非现场监管分析系统的设计与实现

文章在实践中设计实现了基于Ajax技术、在J2EE框架下的非现场监管分析系统。系统层次结构清晰,代码复用率高,并且由于Ajax技术正处在迅速发展并逐步走向成熟的阶段,使用Ajax技术引用异步调用机制,能有效地提高系统的运行效率和改善用户的交互体验。     

6000m深海扬矿系统仿真分析

深海多金属结核开采系统的扬矿系统主要由扬矿硬管、扬矿泵、中间仓、扬矿软管等组成的长管线系统构成,其水下的运动学行为,决定了深海采矿的成败.运用几何非线性有限元理论对6000m深海采矿系统的扬矿系统进行了力学分析;在扬矿系统受管道及管内流体重力,海水浮力以及水平液动力作用的情况下,用有限元方法分别对几种工况下的扬矿系统进行了仿真计算,其结果可作为扬矿系统的设计和操作控制的依据.     

一种通用的软件功能规模度量模型

功能规模度量（FSM）方法通过量化用户功能需求(FUR)而得到软件功能规模。针对不同的功能规模度量方法都是使用不同的抽象来描述一个软件系统的问题,提出了一种通用的FSM模型。根据软件系统的抽象模型,首先对度量所涉及的数据组和事务进行了泛化,然后以IFPUG FPA为例详细说明了该通用模型和FPA之间的转换过程,最后给出了度量过程的算法描述。     

基于分布式数据安全入侵检测系统中误用检测算法研究

现在面对分布式数据传输的网络环境下,需要分布式数据安全的体系结构入侵检测系统来应对,这样才能一方面检测出分布式网络环境下的入侵行为,同时更容易检测出分布式攻击。由于协议分析技术通过对比网络信息与协议的差异性来检测入侵行为,它有着比模式匹配技术更好的性能。误用检测算法是分布式入侵检测系统中非常重要的检测算法之一。因此本文讨论了基于分布式数据安全误用检测技术入侵检测系模型和协议分析技术,并设计了误用检测算法以及对实行误用检测算法做了形式化语言的描述,用这一技术来确保数据的安全。     

The movement patterns and the experiential components of virtual environments

Human movement in virtual environments (VEs) is a largely unstudied area, and there are no well-established methods of measuring it in VEs. Consequently, it is unclear how movement affects the experiential side of VEs. We introduce a novel method of measuring and modelling human movement. A specific information entropy-based modelling method enabled us to identify different movement patterns and analyse the experiential components related to them. The data was collected by registering the movement patterns of 68 participants who were in a virtual house doing a search task. The experiential side of the VE was measured with the Experimental Virtual Environment Questionnaire (EVEQ). Four movement patterns were identified. In addition, fluent movement in VEs was related to a high sense of presence. Moreover, the participants who moved fluently in the environment assessed their skills high. The results show how movement is related the way in which people experience the VE. The movement analysis method introduced here is applicable to other related research areas as well.     

入侵容忍系统的安全性量化方法分析

入侵容忍系统的安全性量化评估技术目前已取得了初步研究成果。本文首先简要阐述该技术的进展情况,然后从构建安全模型和分析攻击行为两大方面,横向比较了目前国内外在该领域的研究成果,并进行总结和分析,提出了一些未来的研究设想。     

基于局部二值模式和级联AdaBoost的多模态人脸识别

提出了一种基于局部二值模式(LBP)和 级联AdaBoost的多模态人脸识别方法。采用级联AdaBoost算法分别从人脸深度图像和灰度图像的大量区域LBP直方图(RLBPH)中选出最有利于分类的少量特征,并连接成一个直方图向量,再分别用线性判别分析构建相应的线性子空间,用余弦相似度作为投影向量的相似度量,用求和规则进行信息融合。在FRGC数据库上的实验结果表明,提出的方法采用少量的特征取得了很好的识别效果,等错误率仅为1.40%。