基于QVT的模型转换方法研究

针对不同模式之间规则不能重用甚至无法描述嵌套模式的问题．提出一种基于扩展MOF元模型与扩展QVT语言相结合的模型转换方法。该方法通过扩展MOF元模型解决模型之间规则不能重用问题．通过扩展QVTRelations可以增强规则语言的有效性,为模型建立和模型转换提供一种更有效的途径。在一个股票交易系统的转换应用实例中验证该方法的正确性。     

基于QVT的模型转换研究与分析

模型转换是MDA的关键技术之一,变换工具通过输入源模型,执行变换定义,输出目标模型来实现模型的自动转换,从而将软件开发的焦点从编码迁移到建模上.QVT是OMG提出的用于书写变换定义的标准规范,介绍了QVT的组成和构架,给出了一个用QVT实现的可从UML模型转换到RDBMS模型的变换定义,最后对模型转换技术给软件工业带来的影响进行了分析和总结.     

Tor: Modular search with hookable disjunction

Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the alternative execution branches.Tor, a well-defined hook into Prolog disjunction, provides this ability. It is light-weight thanks to its library approach and efficient because it is based on program transformation. Tor  is general enough to mimic search-modifying predicates like ECLiPSe’s search/6. Moreover, Tor  supports modular composition of search methods and other hooks. The Tor  library is already provided and used as an add-on to SWI-Prolog.     

一个基于模式和动作语义的MDA实现方法

基于模式和动作语义,结合EJB平台,提出了MDA的一个实现方法。说明了模式在MDA设计、映射、实现阶段的应用方法与步骤,采用动作语义元语言给出了对该方法的描述,最后,结合具体实例说明了该方法的可行性。     

一种模块化神经网络结构用于模式识别

在模式识别中,通常直接用神经网络来处理复杂的多类分类问题,其识别的误判率较大。该文基于任务分解与模块整合的思想,提出了一个模块化Kohonen神经网络(KTD)结构用于模式分类,给出了其学习方法并做了模拟仿真,模拟仿真表明KTD能够获得较高的识别率且误判率较小。     

仿射变换中点匹配的筛选基的对准算法

点模式匹配对准算法的基本思想是在两个点集中各选择不共线的3个点,唯一确定一个仿射变换,该变换作用于第一个点集中的所有点,用变换后的点集与第二个点集进行比较,检验变换的正确性,但尝试所有3点组合的计算代价太大。文章基于仿射变换的最小方差的参数估计以及数值计算的稳定性,对两个点集中参与匹配的基进行筛选,来确定匹配点对,并可极大地减少计算量。     

仿射透视变换与分形编码

该文介绍了分形编码实现数据压缩的基本思想，以及其支撑理论──仿射变换、透视变换和齐次坐标表示。     

设计模式分析与应用

设计模式是近年来面向对象领域发展的新热点,该文通过实例分析了设计模式,以及如何在实践中应用设计模式。     

模式识别的主要方法及其应用

模式识别技术现在已经在各个领域得到广泛应用。本文对其理论基础与应用作了详细介绍与阐述。介绍了模式识别的基本概念、主要方法、模式识别的应用及其发展趋势。     

基于MapInfo的地图坐标转换工具的设计与实现

根据实际地图录入需要,本文提出了一种基于MapInfo的地图坐标转换工具,用于将采用非地球坐标系的地图对象坐标转换为采用地球坐标系的坐标,同时给出了它的转换原理和算法,并详细论述了它的设计与实现.     

模式在主控机软件中的应用与研究

在PC机与多个单片机构成的应用系统中,一方面需要PC机与单片机稳定可靠的通信,另一方面需要PC机端有功能强大的管理系统。文中将管理系统设计成表示层、业务层和通信层三层结构。通信层上采用对象池模式可以使业务层中对下位机对象的使用与对象的产生、管理分离。通信层中使用双重检测和下位机中采用状态重复检测保证了向上层提供高可靠性的信息。文中提出的主控机软件三层结构和通信层中采用对象池模式和双重检测技术可以应用到其它相似的系统中。     

Proof Transformation via Interpretation Functions: Results, Problems and Applications

Change is a constant factor in Software Engineering process. Redesign of a class structure requires transformation of the corresponding OCL constraints. In a previous paper we have shown how to use, what we call, interpretation functions for transformation of constraints. In this paper we discuss recently obtained results concerning proof transformations via such functions. In particular we detail the fact that they preserve proofs in equational logic, as well as proofs in other logical systems like propositional logic with modus ponens or proofs using resolution rule. Those results have direct applications to redesign of UML State Machines and Sequence Diagrams. If states in a State Machine are interpreted by State Invariants, then the topological relations between its states can be interpreted as logical relations between the corresponding formulas. Preservation of the consequence relation can bee seen as preservation of the topology of State Machines. We indicate also an unsolved problem and discuss the mining of its positive solution.     

基于外观模式的数据库访问层的设计与实现

外观模式是一种使用普遍的设计模式。利用它设计的中间件,拥有使用方便,理解容易等特点。文章利用外观模式对系统中的数据库访问层进行设计,并利用C#语言实现其功能。     

步长加速法在溶液络合物化学中的应用

在处理络合物稳定常数测定的数据时,通常使用的非线性最小二乘法往往导致病态线性方程组。本文指出用步长加速法可避免偏导数的计算和病态方程组的求解。在计算含有多种金属离子和多种配体的复杂体系的平衡组成时,用步长加速法解非线性方程组可以确保收敛到平稳点。     

The Central Pattern Generator: a paradigm for artificial locomotion

 In this paper the fundamental aspects that unify the basic programs for locomotion generation in both vertebrates and invertebrates are examined. Subsequently it is shown that these laws that are commonly included under the biological stereotype of the so-called Central Pattern Generator (CPG), can be efficiently represented and reproduced by means of low-cost, locally interacting nonlinear systems and programmed by soft-computing techniques. To demonstrate the suitability of the approach some simple Central Pattern Generators are implemented on biologically inspired robotic prototypes.     

设计模式在CORBA系统中的应用

ORB核心(ORBCORE)是CORBA(通用对象请求代理体系结构)的重要组成部分,而对C/S两端的连接及事件分派的管理是ORB核心设计中的重点。优化的连接管理和事件分派机制将极大地提高ORB核心的效率及其可扩展性。该文提出了使用Dispatcher设计模式(DesignPattern)来管理ORB核心中C/S两端的连接及事件分派的思想,叙述了Dispatcher模式的原理,并给出了使用该模式来管理连接和事件分派的具体实现。     

基于MVC模式Web应用框架的研究和开发

随着软件开发技术的不断发展,MVC模式作为一种主流的软件开发模式,在软件开发中得到了广泛的应用,尤其是在Web开发中。在分析MVC模式的基础上,设计和开发了一个基于MVC模式的小型Web开发应用框架,并将该框架应用于精品课程建设中的网上课程测试系统的开发,从而验证了该框架的可用性。     

Modular Architecture for Humanoid Walking Pattern Prototyping and Experiments

In this paper we describe the use of design patterns as a basis for creating humanoid walking pattern generator software having a modular architecture. This architecture enabled the rapid porting of several novel walking algorithms on a full-size humanoid robot, HRP-2. The body of work currently available allows extracting a general software architecture usable with inter-exchange between simulations and real experiments. The proposed architecture with the associated design patterns is described together with several applications: a pattern generator for a HRP-2 with passive toe joints, a pattern for dynamically stepping over large obstacles and a new quadratic problem (QP) formulation for the generation of the reference zero-momentum point. Thanks to the versatility and the modularity of the proposed framework, the QP method has been implemented and experienced within 4 days only.     

专题研究教学模式探索与实践

本文通过“高等计算机网络”课程的教学实践,探索将专题研究引入课程教学的方法,从授课和阅读、课程项目研究和研讨三个环节进行分析,总结了专题研究教学模式中对学生研究兴趣引导的方法和经验。教学实践表明,将科学研究方法融合在课程教学过程中,对于培养学生科研能力和创新思维具有重要意义。     

Pattern generation, topology, and non-holonomic systems

We consider the problem of achieving a desired steady-state effect through periodic behavior for a class of control systems with and without drift. The problem of using periodic behavior to achieve set-point regulation for the control systems with drift is directly related to that of achieving unbounded effect for the corresponding driftless control systems. We prove that in both cases, the ability to use periodic behavior, and more generally, bounded behavior, to achieve the desired goal implies, under a certain topological condition, the non-holonomicity of the control systems. We also prove that under a regularity condition, the resulting system trajectories must be area-generating in a precise sense.