一种系统生物学建模语言的开发

本文设计并实现了一种用于系统生物学研究的交互式解释型语言——B语言及其运行环境。根据系统生物学标记语言(SBML)的标准定义设计B语言的建模语法，介绍了B语言解释器和运行环境的开发过程，最后通过仿真实例对B语言与Matlab语言的仿真方式进行了比较，结果表明B语言可更快速获得仿真结果。     

Scale-Invariant Visual Language Modeling for Object Categorization

In recent years, ldquobag-of-wordsrdquo models, which treat an image as a collection of unordered visual words, have been widely applied in the multimedia and computer vision fields. However, their ignorance of the spatial structure among visual words makes them indiscriminative for objects with similar word frequencies but different word spatial distributions. In this paper, we propose a visual language modeling method (VLM), which incorporates the spatial context of the local appearance features into the statistical language model. To represent the object categories, models with different orders of statistical dependencies have been exploited. In addition, the multilayer extension to the VLM makes it more resistant to scale variations of objects. The model is effective and applicable to large scale image categorization. We train scale invariant visual language models based on the images which are grouped by Flickr tags, and use these models for object categorization. Experimental results show they achieve better performance than single layer visual language models and ldquobag-of-wordsrdquo models. They also achieve comparable performance with 2-D MHMM and SVM-based methods, while costing much less computational time.     

A Constructive Object Oriented Modeling Language for Information Systems

One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Modeling Language (COOML) for information systems, based on a constructive logic of pieces of information. The focus is on the definition of a data model suitable for organizing the information stored in OO systems. The underlying constructive logic supports a correct way of storing, exchanging and elaborating information.     

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

机械系统的拉格朗日法建模与仿真

针时拉格朗日法对复杂系统建模比较方便,但仿真比较困难的问题,通过具体实例,介绍了在拉格朗日法建模的基础上进行仿真的一种新方法,该方法通过将所建立的数学模型,先进行解耦后分别仿真,再应用叠加原理求得系统的仿真结果。     

STQing：一种时态GIS可视化查询语言

在GIS领域,时态属性日趋重要,很多数据库管理系统已经加入了时间和空间属性而成为空间数据库系统。本文在此基础上提出了时态可视化,并设计了一个可以适应时空变化能力的图标式可视化查询语言STQing。     

数字制造系统中基于Web的建模体系研究

基于Web的建模是解决现有建模工具缺乏分布性、互操作性等缺陷的有效途径，对于研究数字制造系统中的建模具有重要意义，文章首先介绍了数字化工厂及其于Web技术的发展现状，分析了数字制造系统对基于Web协同建模的需求，进而提出了一人基于J2EE平台的建模系统的设计框架。论文阐述了该建模系统的目标和体系结构，给出了其主要功能及关键模的设计思路，最后总结了此种设计模式的优点和未业研究的方向     

A Graph-Rewriting Visual Language for Database Programming

Textual database programming languages are computationally complete, but have the disadvantage of giving the user a non-intuitive view of the database information that is being manipulated. The visual languages developed in recent years have allowed naive users access to a direct representation of data, often in a graph form, but have concentrated on user interface rather than complex programming tasks. There is a need for a system which combines the advantages of both these programming methods.We describe an implementation of Spider, an experimental visual database programming language aimed at programmers. It uses a graph-rewriting paradigm as a basis for a fully visual, computationally complete language. The graphs it rewrites represent the schema and instances of a database.The unique graph-rewriting method used by Spider has syntactic and semantic simplicity. Its form of algorithmic expression allows complex computation to be easily represented in short programs. Furthermore, Spider has greater power than normally provided in textual systems, and we show that queries on the schema and associative queries can be performed easily and without requiring any additions to the language.     

基于VEGA的数字城市漫游系统设计

基于vega开发平台，详细介绍了数字城市漫游系统的开发技术和具体的实现方法，着重讨论了系统漫游模式在实现过程中的技术细节。并阐述了相关的虚拟现实理论思想。     

Interactive Management of Human Factors Knowledge for Human Systems Integration Using Systems Modeling Language

Abstract

The field of Human Factors in Knowledge Management is often seen as a problem of capturing, organizing, and retrieving information to build knowledge. This process is inextricably bound up with human cognition and, as such, the management of knowledge occurs within an intricately structured behavioral, cultural, and social context. This paper emphasizes the importance of interactive human factors in knowledge management and introduces a model-based human systems integration framework based on systems modeling language (SysML).     

SOL: A Verifiable Synchronous Language for Reactive Systems

SOL (Secure Operations Language) is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated static analysis techniques, such as automatic theorem proving using decision procedures or model checking. Among the unique features of SOL is the ability to express a wide class of enforceable safety and security policies (including the temporal aspects of software component interfaces) in the language itself, thereby opening up the possibility of eliminating runaway computations and malicious code, such as worms and viruses.     

Micro-Cobol: A Data Processing Language for Microprocessor Systems

New constructs and the essentials of Cobol are combined to Create Micro-Cobol: a new, simple language for small business systems.     

ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems

Organizations that are geared for success within today's business environments must be capable of rapid and continuous change. Dynamic change is a large and pervasive problem which surfaces within organizational workflowsas well as within soft ware engineering, manufacturing, and numerous other domains. Procedural changes, performed in an ad hoc manner, can cause inefficiencies, inconsistencies, and catastrophic breakdowns within organizations. This document is concerned with change, especially dynamic change, to organizational procedures. We explain a taxonomy of change modalities, and present a modeling language for the unambiguous specification of procedural change. This language, call ML-DEWS, complements the formal model of dynamic change previously presented by the authors. Issues of exception handling, temporal specification, and participatory change are conveniently handled within the framework presented in this document.     

A Visual Programming Language for Expressing Rhythmic Visuals

Sonnet+Imager is an object-based toolkit for creating instruments that produce abstract graphics in real-time. It is implemented as a visual programming language of the component-circuit variety. It was designed by identifying and addressing some of the principle limitations in the Max-based graphics engine, Imager. Beyond that, we wanted to address rhythm directly. This required us to make time a first-class element of the language. The model of time relies for its power on the notion of functors, an encapsulation of mathematical functions that can be related to the dimensions of rhythm. All the elements of time manifest themselves directly in the visual language, as components and data packets, thereby creating natural flows that describe rhythmic structures. The resulting design is modular, intuitive, interactive and extensible.     

Learning by Building: A Visual Modelling Language for Psychology Students

Cognitive modelling involves building computational models of psychological theories in order to learn more about them, and is a major research area allied to psychology and artificial intelligence. The main problem is that few psychology students have previous programming experience. The course lecturer can avoid the problem by presenting the area only in general terms. This leaves the process of building and testing models, which is central to the methodology, an unknown. Alternatively, students can be introduced to one of the existing cognitive modelling languages, though this can easily be overwhelming, hindering rather than helping their understanding. Our solution was to design and build a programming language for the intended population. The result is Hank, a visual cognitive modelling language for the psychologist. Our informal analyses have investigated the effectiveness of Hank in its intended context of use, both as a paper and pencil exercise for individuals, and as a computer-based project to be carried out in groups. The findings largely support the Hank design decisions, and illuminate many of the challenges inherent in designing a programming language for an educational purpose.     

混沌动力学系统的图形化建模及可视化仿真研究

该文研究非线性混沌动力学系统的图形化建模及可视化仿真计算问题．通过建立统一的可视化仿真实验框架,实现了一个高度一体化的混沌系统图形建模和可视化仿真环境;与基于常规高级程序设计语言的混沌计算机模拟技术相比,该方法避免了传统意义上的混沌方程算法编程和调试过程,亦可对混沌参数进行自动摄动分析及最优设计。     

TEFL:一种文本式特征建模语言

特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.