improving document icon to re-find efficiently what you need

It is common that documents are represented by document icon in graphical user interfaces. The document icon facilitates user to retrieve documents, but it is difficult to distinguish the document from a collection of documents that user have accessed to. Our paper presents a document icon on which the users can add some subjective values and mark. Then we describe a system ex-explorer that users can browser and search the extent document icon. We found that it is easy to re-find the document on which users added some annotation or mark by themselves.

图形用户界面系统国际化的研究

国际化的GUI系统不仅仅要能够正确地显现多语言文本，而且要能够产生与文字书写方向相应的用户界面。目前主要的GUI库仅支持镜像，还不存在一个GUI框架既支持垂直文字又支持双向文字。在本文中，分析了开发国际化GUI系统过程中面临的问题，给出了一个层次模型来实现动态用户界面风格。

基于Qt的国际化图形用户界面设计与实现

一次开发多语言使用是国际化软件开发的主要目标。但是世界上的文字多种多样，它们的书写方向也有所不同，除了水平从左向右书写的英文、水平从右往左书写的阿拉伯文外，还有类似蒙古文这样垂直排列的文字，这对计算机图形用户界面提出了更高的要求，现有的计算机系统将这类垂直排列的文字沿水平方向输出，极不符合少数民族人民的习惯。在分析现有Qt库对类似阿拉伯文这样从右向左书写的文字的部分支持机制的基础上，我们设计并实现了支持四种方向模式的国际化的图形用户界面，现在它已经能够适应世界上几乎所有的文字。这对于软件国际化以及民族语言信息处理有重要意义。

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

数据流是为解决数字信号处理领域应用程序设计、开发难度大等问题而提出的，和传统的控制流相比，数据流能够更加自然地描述信号处理系统，更加清晰地表达系统的并发性。应用数据流设计的信号处理系统具有较高的性能，采用数据流语言能够大大加速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取得了较好的优化结果。

具有严格操作语义的图形化软件过程建模研究

``软件危机''，这一始于上世纪~60~年代的概念，始终伴随着软件业的整个历史发展进程。 为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不是具体管理方法的全面质量管理（Total Quality Management，TQM），在软件工程领域得到了广泛应用。全面质量管理对于软件工程的影响，一个很重要的方面是促进了软件过程和软件过程改 进的研究、实践。 作为软件过程研究的重要内容，软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解，并通过直接或者间接的方式指导实际软件开发活动。为了对软件过程管理活动提供方法和工具支持，人们提出了多种以过程为中心的软件过程工程环境（Process-centered Software Engineering Environment, PSEE），其最终目的是使得实际软件开发活动受软件过程模型的支配。但由于过程模型本身的正确性得不到保证、PSEE中执行的软件过程模型和实际开发过程之间的信息反馈缺乏客观性以及过程模型和实际开发过程之间的抽象层次不同和描述粒度不一致，导致PSEE中执行的软件过程模型和实际开发过程之间经常产生严重的偏差，以至于PSEE对实际开发活动逐渐地失去了支持和指导作用，进而使得投入大量成本所开发的软件过程模型无法发挥其应有的作用。 针对这些问题，本文提出了一种具有严格操作语义的图形化软件过程建模方法。由于在具有图形化表示方式的同时，又具备严格的操作语义，因此基于该方法所描述的软件过程比较易于分析。特别是，通过模型检测技术验证软件过程模型本身的正确性，可以减少由模型错误所导致的不一致；通过比较预定义的过程模型和实际开发过程，可以发现两者间的不一致并及时地消除。同时，具有严格操作语义的软件过程建模方法，可以为软件过程执行提供良好的支持。 首先，本文提出了一种具有严格操作语义的图形化建模语言——TRISO/ML。该语言具有图形化的表示方式，可以更容易地为软件工程人员所接受，以及更好地满足过程表示对易用性和可理解性的需求。该语言同时具有严格的操作语义，可以映射到多元PI演算，从而能够更准确地描述软件过程，避免歧义的产生。更为重要的是，该语言从行为角度出发，能够以一致的方式描述软件过程中的各种实体及其相互间的并发、同步和通信。 其次，在TRISO/ML语言的基础之上，提出了一系列的软件过程分析方法。主要研究如何利用多元PI演算的理论、方法和工具以及软件验证技术，对软件过程进行分析和验证。软件过程分析的研究主要集中在如下两个方面：a）软件过 程模型本身正确性的验证，以确保该模型准确地描述了所希望表达的内容。b）比较两个过程模型是否等价。 然后，基于软件过程移动性概念，研究了如何通过软件过程结构的变化支持过程的动态执行。软件过程移动性概念反映了软件过程执行时，由于软件过程实体的动态交互，导致构成软件过程的实体及其相互间的关系不断地发生变化。 软件过程移动性这一概念的提出，使得软件过程实体之间的关系可以在软件过程执行时动态地确立和调整，软件过程的定义随着过程信息的不断丰富而逐步地细化和明确，从而能够以更灵活的方式支持软件过程的表示和执行。 最后，描述了支持TRISO/ML的原型工具，包括基于TRISO/ML的过程表示、多元PI演算语义描述的自动生成，以及进一步的分析和验证。

Color to Gray: Visual Cue Preservation

Both commercial and scientific applications often need to transform color images into gray-scale images, e. g., to reduce the publication cost in printing color images or to help color blind people see visual cues of color images. However, conventional color to gray algorithms are not ready for practical applications because they encounter the following problems: 1) Visual cues are not well defined so it is unclear how to preserve important cues in the transformed gray-scale images; 2) some algorithms have extremely high time cost for computation; and 3) some require human-computer interactions to have a reasonable transformation. To solve or at least reduce these problems, we propose a new algorithm based on a probabilistic graphical model with the assumption that the image is defined over a Markov random field. Thus, color to gray procedure can be regarded as a labeling process to preserve the newly well-defined visual cues of a color image in the transformed gray-scale image. Visual cues are measurements that can be extracted from a color image by a perceiver. They indicate the state of some properties of the image that the perceiver is interested in perceiving. Different people may perceive different cues from the same color image and three cues are defined in this paper, namely, color spatial consistency, image structure information, and color channel perception priority. We cast color to gray as a visual cue preservation procedure based on a probabilistic graphical model and optimize the model based on an integral minimization problem. We apply the new algorithm to both natural color images and artificial pictures, and demonstrate that the proposed approach outperforms representative conventional algorithms in terms of effectiveness and efficiency. In addition, it requires no human-computer interactions.

Comparison for DNA primary sequence

In this article, two schemes are suggested based on three exons of beta-globin gene belonging to 10 species for comparison of DNA primary sequences. At first, the positions of four nucleic acid bases were extracted, and then based on the information, as the numerical characterization of DNA sequences, the sequence invariants were derived. Sequences comparisons of 10 species selected in this work by using these invariants were performed. The results, especially with scheme 2, are quite satisfactory.

A novel invariant and sequence comparison for DNA

We consider numerical characterization of DNA primary sequence based on the positions of bases (a, t, c, g) and the pairs of bases X, Y in DNA (X, Y=a, t, c, g). This leads to a representation of DNA by a numerical sequence. Then, we extract a novel invariant (molecular connectivity index) from the derived numerical sequences. The suitable invariant can offer a characterization of DNA primary sequence. Finally, we provide an illustration of its utility by making a comparison between ten DNA sequences belonging to beta-globin gene in different species. The evolutionary relationships of ten species we have revealed in this contribution accord with phylogenetic tree properly.

Coordination reactions in the extraction of cerium(IV) and fluorine(I) by DEHEHP from mixed nitric acid and hydrofluoric acid solutions

The coordination reactions during the solvent extraction of cerium(IV) and fluorine(l) from mixed nitric acid and hydrofluoric acid solutions by di-(2-ethylhexyl)-2-ethylhexylphosphonate, L (DEHEHP) in heptane have been investigated. The extraction data have been analyzed by graphical methods taking into account all plausible species extracted into the organic phase. Different variables influencing the extraction of Ce(IV), such as the concentrations of nitrate ions, hydrofluroric acid, nitric acid, and extractant have been studied. The results demonstrate that DEHEHP can extract not only Ce(NO3)(4) as Ce(NO3)4.2L and HF as HF (.) H2O (.) L, but both together as Ce(HF)(NO3)(4) (.) L. The extraction equilibrium equations are determined according to slope analysis and IR spectra. The equilibrium constants of the extracted complexes have been calculated, taking into account complexation between the metal ion and inorganic ligands in the aqueous phase and all plausible complexes extracted into the organic phase. It is also shown that boric acid, which was added into the mixed solutions to complex with F(I) is not extracted by DEHEHP, and neither does it affect the extraction of cerium(IV) and HF, nor change the extraction mechanism.

Studies on the fusion heat of poly(ether ether ketone ketone)-poly(ether biphenyl ether ketone ketone) copolymers

On the basis of DSC measurements, the Delta H-f(0) values of the fusion heat for PEEKK-PEBEKK copolymers with various biphenyl contents were obtained by using thermodynamics statistical theory proposed by Flory and graphical method of the specific volume-fusion heat. The results reveal that Delta H-f(0) values determined by these two methods for PEEKK-PEBEKK copolymers with various biphenyl content are nearly the same, and that Delta H-f(0) values are closely dependent on biphenyl content. Delta H-f(0) value is minimum at n(B)=0.35.

基于OpenGL的真空机器人三维图形仿真

真空机器人是先进半导体制造行业中不可缺少的重要设备之一。本文介绍了一种并联型真空机器人的运动学模型,以及利用OpenGL和STL格式文件在Visual C++6.0程序界面中实现3D图形仿真的方法,取得了良好的实验效果,为进一步实现上位机实时在线监控奠定了基础。

一种通用的机器人三维图形仿真的实现

机器人三维图形仿真是离线编程的一个重要内容 ,本文介绍了一种应用 Active X编制的机器人三维图形仿真控件 ,包括机器人运动学模型的建立方法和三维图形仿真的实现 .这种控件具有很强的通用性 ,可以与多种编程环境兼容 .

基于OpenGL的交会对接仿真系统

针对基于视觉的空间载体位姿测量很难进行真实实验的特点,提出了一种基于OpenG1的半物理仿真实验方法。该方法通过计算机图形学技术和计算机视觉技术的结合,能够直观、快速地模拟空间载体位姿测量过程。

基于Vega Prime的多水下机器人视景仿真系统的设计与实现

介绍了一套多水下机器人三维视景仿真系统。该系统采用虚拟现实技术，利用虚拟仿真软件VegaPrime 与Visual C++.NET 2003 混合编程实现三维视景仿真。它主要用于海洋环境的模拟和多水下机器人运行时的位姿更新、碰撞检测、环境效果及各种特效的实时显示。此外，它还具有响应各种输入/输出设备的功能和通过人性化图形界面接口与用户进行交互的功能。

对Allen的时间理论的某些改进

Ａｌｌｅｎ的时间理论因直观、易懂而倍受推崇，但它存在不能处理连续变化事件等缺欠。本文提出更为一般的时间理论框架，以扩展Ａｌｌｅｎ的理论，本框架的特点为：（ｌ）将Ａｌｌｅｎ的理论纳入其中；（２）可由时间点构造时区，并可处理时区和时间点；（３）以时间元素集的２Ｄ图形表示为基础的约束传播算法，既高效又可视化。