一种高效的RDF图模式匹配算法

随着越来越多的信息被表示为RDF格式，如何高效地对RDF信息进行分发和过滤成为一个重要的问题．在语义Web环境下的信息分发系统中，输入的RDF信息需要和大量的用户订阅条件进行匹配，而用户的订阅条件可以被表示为RDF图模式．根据RDF图的特点，并对其增加了一些约束．设计了一种新的RDF图模式匹配算法．实验结果表明，该算法的匹配效率远远高于传统的图模式匹配算法．

一种基于过程图模型的编译优化测试程序自动生成方法

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

structuring and manipulating hand-drawn concept maps

Concept maps are an important tool to knowledge organization,representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map creation and manipulation, largely due to the lack of methods to recognize hand-drawn concept maps. This paper proposes a structure recognition method. Our algorithm can extract node blocks and link blocks of a hand-drawn concept map by combining dynamic programming and graph partitioning and then build a concept-map structure by relating extracted nodes and links. We also introduce structure-based intelligent manipulation technique of hand-drawn concept maps. Evaluation shows that our method has high structure recognition accuracy in real time, and the intelligent manipulation technique is efficient and effective.

co-creativepen toolkit: a pen-based 3d toolkit for children cooperatly designing virtual environment

Co-CreativePen Toolkit is a pen-based 3D toolkit for children cooperatly designing virtual environment. This toolkit is used to construct different applications involved with distributedpen-based 3D interaction. In this toolkit,sketch method is encapsulated as kinds of interaction techniques. Children can use pen to construct 3D and IBR objects, to navigate in the virtual world, to select and manipulate virtual objects, and to communicate with other children. Children can use pen to select other children in the virtual world, and use pen to write message to children selected The distributed architecture of Co-CreativePen Toolkit is based on the CORBA. A common scene graph is managed in the server with several copies of this graph are managed in every client.Every changes of the scene graph in client will cause the change in the server and other client.

图形编辑过程冲突消解策略研究

冲突是协同图形编辑系统中的常见现象,合理地解决冲突是图形协同编辑的关键问题。讨论了协同图形编辑系统冲突消解问题,主要研究内容包括基于时间和空间干涉的冲突检测策略、交互事务分组策略,以及基于事务相关树的冲突消解策略。最后以手势为交互手段开发了一个采用冲突消解策略的协同图形编辑原型系统,目前该系统已经试用。

Quantum computation using artificial molecules

Two kinds of quantum computation systems using artificial molecules: quantum computer and quantum analog computer are described. The artificial molecule consists of two or three coupled quantum dots stacked along z direction and one single electron, In quantum computer, one-qubit and two-qubit gates are constructed by one molecule and two molecules, respectively. The coupling between two qubits in a quantum gate can be controlled by thin film electrodes. We also constructed a quantum analog computer by designing a three-dot molecule network and mapping a graph 3-colorability problem onto the network. The ground-state configuration of the single electrons in the network corresponds to one of the problem solutions, We numerically study the operations of the two kinds of the quantum computers and demonstrate that they quantum gates can perform the quantum computation and solve complex problems.

Analog computation using quantum-dot cell network

A novel analog-computation system using a quantum-dot cell network is proposed to solve complex problems. Analog computation is a promising method for solving a mathematical problem by using a physical system analogous to the problem. We designed a novel quantum-dot cell consisting of three-stacked. quantum dots and constructed a cell network utilizing the nearest-neighbor interactions between the cells. We then mapped a graph 3-colorability problem onto the network so that the single-electron configuration of the network in the ground state corresponded to one of the solutions. We calculated the ground state of the cell network and found solutions to the problems. The results demonstrate that analog computation is a promising approach for solving complex problems.

一种基于图聚类的安全态势评估方法

分析并比较现有网络安全态势评估方法,从网络拓扑结构出发,引入图论算法和数据挖掘的聚类方法,提出一种针对分布式系统的安全态势评估方法.利用图聚类算法生成分布式系统网络连通图的聚类结果,计算拓扑完整性参考值,作为衡量分布式系统拓扑完整程度的指标,进行安全态势的量化分析.根据该方法实现低人为干预的安全态势评估原型系统,使用网络仿真工具验证了算法正确性和适用性.

GPP问题的骨架分析与启发式算法设计

图的划分问题(GPP)是具有广泛应用背景的典型NP-难解问题,高效启发式算法一直是该领域的研究热点.作为设计启发式算法的有力工具,GPP的骨架分析存在理论分析结果匮乏、骨架规模过小等缺陷.文中采用构造偏移GPP实例的技巧,不仅在理论卜证明了获取GPP的骨架是NP-难解的,并且利用一般GPP实例与偏移实例的关系,实现了骨架规模的提高.在此基础上,文中对于目前求解GPP问题最好的算法之一的IBS进行了改进,提出了基于偏移实例的IBS算法(BI-IBS).算法BI-IBS首先构造偏移GPP实例,然后再利用局部最优解交集对它进行归约,最后再求解归约后的规模更小的新实例.实验结果表明,BI-IBS比现有算法在解的质量上有了较显著的提高.文中的工作较完善地解决了GPP的骨架研究存在的问题,所采用的构造偏移实例的技巧对于其它NP-难解问题的骨架理论分析及启发式算法设计亦具有较高的参考价值.

BPEL流程监视的可视化实现

When a BPEL process is executed,it is necessary to dynamically monitor the process.BPEL is a executable language,which is not suitable for visual monitoring.On the other hand,BPMN is designed to visually describe business process and is more intuitive for monitoring.To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary.However,current study of transformation from BPEL to BPMN does not support the transformation of"link"activity.Besides,no work has been done to add supplementary information into BPMN during transformation.In this paper,we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy.Especially, we analyze various scenarios of the transformation of link activity,and provide a method to deal with it. Besides,we analyze the mapping between BPEL activities and BPMN graph,through which we found out that some supplementary information cannot automatically obtained from BPEL process.These supplementary information need to be added during transformation.At the end of this paper,we present the structure of our monitoring tool which is based on our transformation algorithm.

同步数据流可视化建模和调度优化的实现与研究

数据流是为解决数字信号处理领域应用程序设计、开发难度大等问题而提出的，和传统的控制流相比，数据流能够更加自然地描述信号处理系统，更加清晰地表达系统的并发性。应用数据流设计的信号处理系统具有较高的性能，采用数据流语言能够大大加速DSP应用程序的设计和开发。同步数据流（Synchronous Data Flow，简称SDF）基于数据流，它和数据流最大的不同在于：SDF的计算单元在编译时刻消耗数据和产生数据的数目固定，这一特点决定了采用SDF设计和建立的模型能够在编译时刻确定调度序列，使得SDF适合用于多速率信号处理系统的建模。模型化多处理器系统Modex是一个面向同步数据流的可视化建模系统，它支持开发人员运用SDF进行可视化建模、为建立的模型生成调度序列、对调度序列进行空间优化、为建立的模型生成面向目标平台的C语言代码、对模型仿真验证、对模型进行资源消耗评估、将模型映射到指定的处理器执行等。 本文介绍Modex系统的两个关键技术：可视化建模和SDF调度序列空间优化的实现和研究。文章着重介绍SDF模型描述语言的定义，图元的构建和组织，图元的图形显示，控制图元的控制器，直接操作图元的命令对象，图元和视图之间的同步机制以及图形编辑器等部分的设计和实现。Modex系统的可视化建模基于GEF(Graphical Editing Framework)，为同步数据流建模提供了丰富的可视化编辑操作，同时图元和视图之间松散耦合，可视化建模具有良好的互操作性以及扩展性。文章针对调度序列的空间优化提出了将SAS(Single Appearance Sequence）和非SAS类型调度序列相结合的思想，并基于该思想设计了生成空间优化的非SAS类型调度序列算法IAO（Increase Available Output），并结合EA(Evolutionary Approach)算法实现了面向通用,特别是存在反馈环的SDF模型的空间优化方案SGUTS（Solution for General Graph Using Two Kinds of Sequences）。SGUTS是一个层次化的优化框架，它通过聚集将一个存在反馈的模型分为上层模型和下层模型，然后采用EA、IAO算法分别为这两层模型进行优化，从而得到整个模型的优化结果。SGUTS不仅解决了存在反馈环的SDF模型空间优化问题，而且相比较其他算法，SGUTS取得了较好的优化结果。

Fluorescence Hydrogen Peroxide Probe Based on a Microstructured Polymer Optical Fiber Modified with a Titanium Dioxide Film

A highly sensitive microstructured polymer optical fiber (MPOF) probe for hydrogen peroxide was made by forming a rhodamine 6G-doped titanium dioxide film on the side walls of array holes in an MPOF. It was found that hydrogen peroxide only has a response to the MPOF probe in a certain concentration of potassium iodide in sulfuric acid solution. The calibration graph of fluorescence intensity versus hydrogen peroxide concentration is linear in the range of 1.6 x 10(-7) mol/L to 9.6 x 10(-5) mol/L. The method, with high sensitivity and a wide linear range, has been applied to the determination of trace amounts of hydrogen peroxide in a few real samples, such as rain water and contact lens disinfectant, with satisfactory results.

Cellulose acetate polymer film modified microstructured polymer optical fiber towards a nitrite optical probe

A novel microstructured polymer optical fiber (MPOF) probe for nitrites (NO(2)(-)) detection was made by forming rhodamine 6G (Rh 6G)-doped cellulose acetate (CA) on the side wall of array holes in a MPOF It was found that the MPOF probe only have a response to nitrites in a certain concentration of sulfuric acid solution The calibration graph of fluorescence intensity versus nitrites concentration was linear in the range of 2.0 x 10(-4) g/ml-5.0 x 10(-3) g/ml. The method possesses case of chemical modification, low cost design, and potential for direct integration with existing instrumentation, and has been applied to the determination of nitrites in real samples with satisfactory results. (C) 2010 Elsevier B.V. All rights reserved