课程文献中心 更多>>

关键词： 可视化   Java   编译   装载   自动管理  

摘要： 对程序设计可视化、程序编译技术、虚拟机技术以及集成环境的构建等领域的现状作了深入分析,并且讨论了程序设计可视化在编辑、编译和执行阶段的意义,以及现有开发工具在可视化编译、可视化运行以及多候选方案的可视化辅助管理等方面的不足。在提出Java可视集成开发环境AnyviewJ系统功能的基础上,主要了实现编译、装载和多候选方案的可视化。 在AnyviewJ的前期系统原型BluerJ的基础上,论述了AnyviewJ的系统功能。AnyviewJ以实现程序开发过程中各个环节的可视化为主要特色。它具备了工程管理、程序可视化编辑、可视化编译、可视化执行、可视化测试、对象关系的可视化以及多候选方案管理等功能。 经过对Java类装载子系统的体系结构的分析,设计并实现了Java可视类装载器(JVL)。在启动装载过程和解析过程中,JVL提供装载过程及其相关信息的动态视图,其中包括类型总体信息、变量信息、方法信息以及常量池信息等。JVL采用“空间换取时间”的线程交互模式在装载模块以及可视化模块之间交换信息。 在进行编译系统的技术分析以及对JVL的可视化模式的总结的基础上,设计并实现了Java可视编译器(JVC)。在词法分析过程、语法分析过程、语义分析过程以及目标代码生成过程中,JVC提供相关过程以及信息的动态视图,其中包括词法信息、语法分析函数栈信息、语义分析函数栈信息、生成的字节码信息以及相关的各类型的抽象语法树(AST)结点中的信息等。 本文还将支持多候选方案的开发框架(MOSFJ)集成到AnyviewJ中。MOSFJ完善了集成至BluerJ的支持多候选方案的开发框架(MOSF)的功能以及设计。MOSFJ增加了组成抽象类集合的抽象类的用例以及组成候选方案的类的用例。MOSFJ采用问题管理文件对多候选方案进行集中管理。MOSFJ采用接口的形式降低与AnyviewJ中其他模块的耦合性。 论文的内容组织如下:第一章介绍相关理论和技术的背景、现状以及研究意义;第二章论述AnyviewJ的系统功能;第三章论述Java可视类装载器的设计与实现;第四章论述Java可视编译器的设计与实现;第五章论述MOSFJ的设计;最后总结了本课题的工作,并对后续工作以及应用前景进行了讨论。

关键词： COMPLETED CLASSIFYING-SPACES   FINITE-GROUPS   COHOMOLOGY   BG   DECOMPOSITION   EQUIVALENCES   MAPS  

摘要： Let q be a power of an odd prime. We prove that the mod-2 cohomologies of BGL(2) (F-q)(2)(Lambda), BSL3 (F-q)(2)(Lambda), and BGL(3)(F-q)(2)(Lambda), as algebras over the mod-2 Steenrod algebra, together with the associated Bockstein spectral sequence, determine the homotopy types of respectively BGL(2)(F-q)(2)(Lambda), BSL3(F-q)(2)(Lambda), and BGL(3)(F-q)(2)(Lambda).

关键词： 寻址   控制规程   数据链层   数据处理   数据传输   编码   货物运输   识别   识别号   信息交换   信息技术   后勤   网络互连   实体分配管理   运输   运输链   运输工具  

标准号: ISO/IEC 15459-4-2006

摘要： This part of ISO/IEC 15459 specifies a unique, non-significant, string of characters for the unique identifier for supply chain management. The character string is intended to be represented in a bar code label or other AIDC media attached to the item to meet supply chain management needs. To address management needs different classes of items are recognized in the various parts of ISO/IEC 15459, which allows different requirements to be met by the unique identifiers associated with each class. The rules are defined for the unique identifiers for supply chain management to identify the unique occurrence of an item, understood to mean the layers zero and one as will be defined in two future International Standards (ISO 17367 and ISO 17366, respectively).

关键词： Web开发   Eclipse   Java开发工具   快速开发   WPT  

摘要： Elipse是一个高效Java开发工具，WPT则是基于Elipse的一个快速开发Web的秘器，本文就介绍使用Elipse进行Web的快速开发方法和技巧。

关键词： 水质数据库   表结构   标识符   水资源   多样化   信息化  

摘要： 本文就《水质数据库表结构与标识符规定》的主要内容和制定过程中的一些技术考虑进行了阐述, 并就标准与应用系统需求和功能设计如何结合进行了分析,以期对今后标准的贯标和应用奠定良好基 础。

关键词： biometrics   hand shape   performance evaluation   surface curvature  

摘要： We present a novel approach for personal identification and identity verification which utilizes 3D finger Surface features as a biometric identifier. Using 3D range images of the hand, a surface representation for the index, middle, and ring finger is calculated and used for comparison to determine subject similarity. We use the curvature based shape index to represent the fingers' surface. Gallery and probe shape index signatures are compared using the normalized correlation coefficient to compute it match score. A large unique database of hand images supports the research. We use data sets obtained over time to examine the performance of each individual finger Surface as a biometric identifier as well as the performance obtained when combining them. Both identification and verification experiments are conducted. In addition, probe and gallery sets sizes are increased to further improve recognition performance in our experiments. Our approach yields good results for a first-of-its-kind biometric technique, indicating that this approach warrants further research. (c) 2005 Elsevier Inc. All rights reserved.

关键词： Life Sciences Identifier   naming   LSID   bioinformatics   reproducible research   metadata   distributed computing Subject-index terms: Pharmaceutical Science   Drug Discovery   Bioinformatics  

摘要： Since the Life Science Identifier (LSID) data identification and access standard made its official debut in late 2004, several organizations have begun to use LSIDs to simplify the methods used to uniquely name, reference and retrieve distributed data objects and concepts. In this review, the authors build on introductory work that describes the LSID standard by documenting how five early adopters have incorporated the standard into their technology infrastructure and by outlining several common misconceptions and difficulties related to LSID use, including the impact of the byte identity requirement for LSID-identified objects and the opacity recommendation for use of the LSID syntax. The review describes several shortcomings of the LSID standard, such as the lack of a specific metadata standard, along with solutions that could be addressed in future revisions of the specification.

关键词： quadratic-type optimization problem   Lagrangian dual quadratic estimate   functionally redundant quadratic constraint  

摘要： A method of construction of functionally redundant quadratic constraints is proposed for Boolean quadratic-type optimization problems. The method is based on an extension of a set of Boolean variables and formation of functionally redundant constraints that relate the initial and added variables. Examples of improvement of Lagrangian dual quadratic estimates obtained by using the constructed redundant constraints are given.

关键词： crystal phase identifiers   nomenclature.  

摘要： The proposed crystalline phase identifier consists of a number of components (layers) describing enough properties of the phase to allow a unique identification. These layers consist of the chemical formula, a flag indicating the state of matter, the space-group number and the Wyckoff sequence. They are defined in such a way that they can be incorporated into the IUPAC International Chemical Identifier (InChI) proposed by the International Union of Pure and Applied Chemistry (IUPAC). © 2005 International Union of Crystallography - all rights reserved.

标准号: JIS X4166-2005

摘要： この規格は,XML文書へグリフ識別子を埋め込むためのXMLに基づく言語についで規定する。