粘性项参与构造的隐式矢通量分裂格式及其数值模拟

粘性项参与构造的隐式矢通量分裂格式及其数值模拟刘仪，曹琦，刘斌（西安交通大学涡轮教研室）ＩＭＰＬＩＣＩＴＦＬＵＸＶＥＣＴＯＲＳＰＬＩＴＴＩＮＧＳＣＨＥＭＥＳＷＩＴＨＶＩＳＣＯＵＳＡＮＤＮＵＭＥＲＩＣＡＬＳＩＭＵＬＡＴＩＯＮ￥ＬｉｕＹｉ；ＣａｏＱｉ；Ｌ...     

不连续生产系统的最大加工能力与最优生产安排的强多项式算法

不连续生产系统的最大加工能力与最优生产安排的强多项式算法杨承恩，梁枢里（长沙铁道学院）ＴＨＥＭＡＸＩＭＵＭＰＲＯＣＥＳＳＩＮＧＣＡＰＡＣＩＴＹＡＮＤＯＰＴＩＭＡＬＳＣＨＥＤＵＬＥＯＦＡＤＩＳＣＯＮＴＩＮＵＯＵＳＰＲＯＤＵＣＴＩＯＮＳＹＳＴＥＭ￥Ｙａｎ...     

A COUNTER－EXAMPLE TO A FAST ALGORITHM FOR FINDING THE CONVEX HULL OF A SIMPLE POLYGON

ＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩＮＤＩＮＧＴＨＥＣＯＮＶＥＸＨＵＬＬＯＦＡＳＩＭＰＬＥＰＯＬＹＧＯＮＧｏｄｆｒｉｅｄＴｏｕｓｓａｉｎｔＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩ...     

EUCLID—IS几何模型向MSC／XL的转换方法

本文提出了一种ＥＵＣＬＩＤ－ＩＳ几何模型向ＭＳＣ／ＸＬ的转换方法，通过该方法，用户可方便地利用造型功能相当完善的ＥＵＣＬＩＤ－ＩＳ来构造ＭＳＣ／ＸＬ的几何模型。     

空间表面三角形二次单元网格自动剖分

空间表面三角形二次单元网格自动剖分张德贤，刘筱连，师汉民，陈日曜（华中理工大学机械工程一系）ＡＵＴＯＭＡＴＩＣＧＥＮＥＲＡＴＩＯＮＯＦＴＲＩＡＮＧＵＬＡＲＳＩＸ－ＮＯＤＥＥＬＥＭＥＮＴＳＯＦＴＨＲＥＥ－ＤＩＭＥＮＳＩＯＮＡＬＳＵＲＦＡＣＥＳ￥Ｚｈａｎ...     

基于重叠三角形区域的运动估值算法

基于重叠三角形区域的运动估值算法薛向阳，吴立德（复旦大学计算机科学系上海２００４３３）ＭＯＴＩＯＮＥＳＴＩＭＡＴＩＯＮＡＬＧＯＲＩＴＨＭＵＳＩＮＧＯＶＥＲＬＡＰＰＥＤＴＲＩＡＮＧＵＬＡＲＰＡＴＣＨ￥ＸＵＥＸｉａｎｇｙａｎｇ；ＷＵＬｉｄｅ（Ｄｅｐａｒｔ...     

UML在分布式系统中的应用与研究

ＵＭＬ（Ｕｎｉｆｉｅｄ　 Ｍｏｄｅｌｉｎｇ 　Ｌａｎｇｕａｇｅ）是一种标准的、功能强大的建模语言。ＩＳＯ ＲＭ－ＯＤＰ（ＩＳＯ开放分布式处理参考模型）为开放、灵活的分布式系统提供了主框架。文章提出了一种用ＵＭＬ为ＯＤＰ系统建模的方法,它以ＯＤＰ的概念和ＵＭＬ的符号为基础。     

混合型符号几何规划的递归二次规划算法

混合型符号几何规划的递归二次规划算法张希，张可村（西安交通大学科学计算与应用软件系）ＡＳＵＣＣＥＳＳＩＶＥＱＵＡＤＲＡＴＩＣＰＲＯＧＲＡＭＭＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＭＩＸＥＤＳＩＧＮＯＭＩＡＬＧＥＯＭＥＴＲＩＣＰＲＯＧＲＡＭＭＩＮＧ￥Ｚｈａｎｇ...     

双机多线程结构及其驱动方式

双机多线程结构及其驱动方式肖立权，张民选，周兴铭（国防科学技术大学计算机科学系长沙４１００７３）ＡＤＵＡＬ－ＰＲＯＣＥＳＳＯＲＳＭＵＬＴＩＰＬＥＴＨＲＥＡＤＥＤＡＲＣＨＩＴＥＣＴＵＲＥＡＮＤＩＴＳＤＲＩＶＥＮＥＸＥＣＵＴＩＯＮＭＯＤＥＬ￥ＸＩＡＯＬｉ...     

并行计算模型及其算法设计

并行计算模型及其算法设计李晓梅，窦勇（国防科技大学计算机系）ＰＡＲＡＬＬＥＬＣＯＭＰＵＴＡＴＩＯＮＭＯＤＥＬＳＡＮＤＬＧＯＲＩＴＨＭＤＥＳＩＧＮ￥ＬｉＸｉａｏｍｅｉ；ＤｏｎＹｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅＣｈａｎｇｓｈ...     

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来,可以从模型转换的角度来考虑这个问题,把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型,并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来，可以从模型转换的角度来考虑这个问题，把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型，并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

基于知识的UML图形文档自动生成

基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。     

面向XML的Web数据模型研究

在Web信息集成系统中，为解决数据源之间数据模型的异构性，提供一个有效的公共数据模型是一个常用的解决方法．在分析两种半结构化数据模型OEM和OIM的基础上，针对OEM模型表达XML文档存在的缺陷，将OIM的有向图结构与XML语言的相关特性相结合．提出了一种面向XML的公共数据模型XCDM．并补充了OIM对象代数的六种代数操作，XCDM充分考虑了XML语法表达的灵活性，可以为用户提供多级视图，完全符合公共数据模型的几点准则。     

Towards a Megamodel to Model Software Evolution Through Transformations

Model Driven Engineering is a promizing approach that could lead to the emergence of a new paradigm for software evolution, namely Model Driven Software Evolution. Models, Metamodels and Transformations are the cornerstones of this approach. Combining these concepts leads to very complex structures which revealed to be very difficult to understand especially when different technological spaces are considered such as XMLWare (the technology based on XML), Grammarware and BNF, Modelware and UML, Dataware and SQL, etc. The concepts of model, metamodel and transformation are usually ill-defined in industrial standards like the MDA or XML. This paper provides a conceptual framework, called a megamodel, that aims at modelling large-scale software evolution processes. Such processes are modeled as graphs of systems linked with well-defined set of relations such as RepresentationOf (μ), ConformsTo (χ) and IsTransformedIn (τ).     

Registry support for core component-based business document models

Electronic data interchange is the domain of exchanging business documents in a structured format. Nowadays, these systems take more and more advantage of service-oriented solutions. Nevertheless, a rigorous approach to customize the input and output messages of these services to the context of a business partnership is required. In this paper, we suggest a model-driven approach to develop the XML Schemas of input and output messages of web services. Since classical data modeling approaches like regular UML class diagrams are not sufficient for modeling business documents, we base our approach on the UN/CEFACT Core Components Technical Specification (CCTS), which does not come with a presentation syntax. Thus, we deliver a UML profile extending class diagrams by CCTS concepts, called UML Profile for Core Components (UPCC). UPCC models are transferred to equivalent XML Schemas following well-defined naming and design rules. In order to allow for an easy search and retrieval of core component business document definitions, a registry is needed. The registry has to handle UPCC models—that are exchanged and stored in XMI—as well as their XML Schema equivalences. In this paper, we extend the ebRIM registry meta-model for the special purpose of registering core component artifacts and defining their interdependencies.     

Semantic constraint specification and verification of ebXML business process specifications

Electronic Business using eXtensible Markup Language (ebXML) Business Process Specification Schema (BPSS) supports the specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations; a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, the current ebXML BPSS specification is insufficient to formally specify semantic constraints of modeling elements. In this study, we propose a classification scheme for BPSS semantic constraints, and describe how to represent those semantic constraints formally using Object Constraint Language. As a way to verify a particular Business Process Specification (BPS) with formal semantic constraint modeling, we suggest a rule-based approach to represent the formal semantic constraints, and describe a detail mechanism to apply the rule-based specified constraints to the BPS in a prototype implementation.     

用UML设计XML文档模式

XML是新一代的置标语言,它定义了一种描述数据、交换数据的标准。W3CXMLSchema是定义和描述XML文档结构的模式语言。UML是一种得到广泛应用的标准对象建模语言。文章以B2C中的电子定单为例,描述了用UML设计XML文档模式的方法。     

From first-order logic to automated word generation for Lyee

A conceptual schema can be viewed as a language to describe the phenomena in a system to be modelled, i.e. a set of derivation rules and integrity constraints as well as a set of event-rules describing the behaviour of an object system. In this paper, we investigate the relationship between the Lyee software requirements concepts with various constructs in conceptual modelling. Within our work we choose the Unified Modelling Language (UML) as a modelling notation for explaining conceptual models. The result obtained models a fully expressive set of UML and First Order Logic constructs mapped into Lyee concepts.     

用UML为XML Schema建模

本文介绍了从HTML到XML的发展以及XML所用的DTD文法的不足。W3C正在制定新的文档类型说明语言XML Schema,基于目前的一个XML Schema建议版本SOX来描述UML与XML Schema之间的对应。并说明了一种用UML来设计XML Schema的图形方法。