MDD应用于RIA的建模研究

分析RIA技术的特征,研究如何将MDD（模型驱动开发）应用在RIA领域当中,即针对WebML做扩展并模型化RIA应用,完成开发的建模阶段,最后以库存管理系统（IMS）为例给出示意图。     

Cooperative and competitive concurrency in scientific computing. A full open-source upgrade of the program for dynamical calculations of RHEED intensity oscillations

A computational model is a computer program, which attempts to simulate an abstract model of a particular system. Computational models use enormous calculations and often require supercomputer speed. As personal computers are becoming more and more powerful, more laboratory experiments can be converted into computer models that can be interactively examined by scientists and students without the risk and cost of the actual experiments. The future of programming is concurrent programming. The threaded programming model provides application programmers with a useful abstraction of concurrent execution of multiple tasks. The objective of this release is to address the design of architecture for scientific application, which may execute as multiple threads execution, as well as implementations of the related shared data structures.

New version program summary

Program title: GrowthCPCatalogue identifier: ADVL_v4_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADVL_v4_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 32 269No. of bytes in distributed program, including test data, etc.: 8 234 229Distribution format: tar.gzProgramming language: Free Object PascalComputer: multi-core x64-based PCOperating system: Windows XP, Vista, 7Has the code been vectorised or parallelized?: NoRAM: More than 1 GB. The program requires a 32-bit or 64-bit processor to run the generated code. Memory is addressed using 32-bit (on 32-bit processors) or 64-bit (on 64-bit processors with 64-bit addressing) pointers. The amount of addressed memory is limited only by the available amount of virtual memory.Supplementary material: The figures mentioned in the “Summary of revisions” section can be obtained here.Classification: 4.3, 7.2, 6.2, 8, 14External routines: Lazarus [1]Catalogue identifier of previous version: ADVL_v3_0Journal reference of previous version: Comput. Phys. Comm. 181 (2010) 709Does the new version supersede the previous version?: YesNature of problem: Reflection high-energy electron diffraction (RHEED) is an important in-situ analysis technique, which is capable of giving quantitative information about the growth process of thin layers and its control. It can be used to calibrate growth rate, analyze surface morphology, calibrate surface temperature, monitor the arrangement of the surface atoms, and provide information about growth kinetics. Such control allows the development of structures where the electrons can be confined in space, giving quantum wells or even quantum dots. In order to determine the atomic positions of atoms in the first few layers, the RHEED intensity must be measured as a function of the scattering angles and then compared with dynamic calculations. The objective of this release is to address the design of architecture for application that simulates the rocking curves RHEED intensities during hetero-epitaxial growth process of thin films.Solution method: The GrowthCP is a complex numerical model that uses multiple threads for simulation of epitaxial growth of thin layers. This model consists of two transactional parts. The first part is a mathematical model being based on the Runge–Kutta method with adaptive step-size control. The second part represents first-principles of the one-dimensional RHEED computational model. This model is based on solving a one-dimensional Schrödinger equation. Several problems can arise when applications contain a mixture of data access code, numerical code, and presentation code. Such applications are difficult to maintain, because interdependencies between all the components cause strong ripple effects whenever a change is made anywhere. Adding new data views often requires reimplementing a numerical code, which then requires maintenance in multiple places. In order to solve problems of this type, the computational and threading layers of the project have been implemented in the form of one design pattern as a part of Model-View-Controller architecture.Reasons for new version: Responding to the users? feedback the Growth09 project has been upgraded to a standard that allows the carrying out of sample computations of the RHEED intensities for a disordered surface for a wide range of single- and epitaxial hetero-structures. The design pattern on which the project is based has also been improved. It is shown that this model can be effectively used for multithreaded growth simulations of thin epitaxial layers and corresponding RHEED intensities for a wide range of single- and hetero-structures. Responding to the users? feedback the present release has been implemented using a well-documented free compiler [1] not requiring the special configuration and installation additional libraries.Summary of revisions:

• 1. 

  The logical structure of the Growth09 program has been modified according to the scheme showed in Fig. 1.1 The class diagram in Fig. 11 is a static view of the main platform-specific elements of the GrowthCP architecture. Fig. 21 provides a dynamic view by showing the creation and destruction simplistic sequence diagram for the process.

• 2. 

  The program requires the user to provide the appropriate parameters in the form of a knowledge base for the crystal structures under investigation. These parameters are loaded from the parameters.ini files at run-time. Instructions to prepare the .ini files can be found in the new distribution.

• 3. 

  The program enables carrying out different growth models and one-dimensional dynamical RHEED calculations for the fcc lattice with basis of three-atoms, fcc lattice with basis of two-atoms, fcc lattice with single atom basis, Zinc-Blende, Sodium Chloride, and Wurtzite crystalline structures and hetero-structures, but yet the Fourier component of the scattering potential in the TRHEEDCalculations.crystPotUgXXX() procedure can be modified and implemented according to users? specific application requirements. The Fourier component of the scattering potential of the whole crystalline hetero-structures can be determined as a sum of contributions coming from all thin slices of individual atomic layers. To carry out one-dimensional calculations of the scattering potentials, the program uses properly constructed self-consistent procedures.

• 4. 

  Each component of the system shown in Figs. 11 and 21 is fully extendable and can easily be adapted to new changeable requirements. Two essential logical elements of the system, i.e. TGrowthTransaction and TRHEEDCalculations classes, were designed and implemented in this way for them to pass the information to themselves without the need to use the data-exchange files given. In consequence each of them can be independently modified and/or extended. Implementing other types of differential equations and the different algorithm for solving them in the TGrowthTransaction class does not require another implementation of the TRHEEDCalculations class. Similarly, implementing other forms of scattering potential and different algorithm for RHEED calculation stays without the influence on the TGrowthTransaction class construction.

Unusual features: The program is distributed in the form of main project GrowthCP.lpr, with associated files, and should be compiled using Lazarus IDE. The program should be compiled with English/USA regional and language options.Running time: The typical running time is machine and user-parameters dependent.References:

• [1] 

  http://sourceforge.net/projects/lazarus/files/.

     

Lightweight and static verification of UML executable models

Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote a complete and fine-grained specification of the system behaviour. In this context, where models are the basis of the whole development process, the quality of the models has a high impact on the final quality of software systems derived from them. Therefore, the existence of methods to verify the correctness of executable models is crucial. Otherwise, the quality of the executable models (and in turn the quality of the final system generated from them) will be compromised. In this paper a lightweight and static verification method to assess the correctness of executable models is proposed. This method allows us to check whether the operations defined as part of the behavioural model are able to be executed without breaking the integrity of the structural model and returns a meaningful feedback that helps repairing the detected inconsistencies.     

Segmented chirp Z-transform and multiple deep dip windows for electrical power system harmonic analysis

The combined use of the Segmented Chirp Z-Transform (SCZT) and of the Multiple Deep Dip (MDD) windows is proposed and applied to electrical power system harmonic analysis. The goal of increasing the resolvability of low magnitude non-harmonic tones close in frequency to higher magnitude harmonics and the detectability of very low magnitude high frequency harmonics is pursued. The SCZT allows increasing of the frequency resolution without increasing the memory required for the computation. The MDD windows decrease spectral leakage, being characterized by a frequency spectrum with a narrow width main lobe and by sidelobes which are very low in correspondence to some specified frequencies. Numerical experiments demonstrate the performances and the usefulness of the combined use of the SCZT and MDD windows in resolving periodic distorted waveforms in power systems.     

A survey of approaches for the visual model-driven development of next generation software-intensive systems

Software-intensive systems of the future are expected to be highly distributed and to exhibit adaptive and anticipatory behavior when operating in highly dynamic environments and interfacing with the physical world. Therefore, visual modeling techniques to address these software-intensive systems require a mix of models from a multitude of disciplines such as software engineering, control engineering, and business process engineering. As in this concert of techniques software provides the most flexible element, the integration of these different views can be expected to happen in the software. The software thus includes complex information processing capabilities as well as hard real-time coordination between distributed technical systems and computers.In this article, we identify a number of general requirements for the visual model-driven specification of next generation software-intensive systems. As business process engineering and software engineering are well integrated areas and in order to keep this survey focused, we restrict our attention here to approaches for the visual model-driven development of adaptable software-intensive systems where the integration of software engineering with control engineering concepts and safety issues are important. In this survey, we identify requirements and use them to classify and characterize a number of approaches that can be employed for the development of the considered class of software-intensive systems.     

香椿干燥特性及其特征香气化合物热降解动力学

对香椿干燥过程中水分迁移规律进行研究,同时考察不同热处理条件对香椿的特征香气有机化合物之一2-巯基-3,4-二甲基-2,3-二氢噻吩（2-Mercapto-3,4-Dimethyl-2,3-Dihydrothiophene,MDD）稳定性的影响,分析MDD热降解的动力学以及热力学规律。结果表明：热处理温度越高,香椿干燥速率越快,符合传统的干燥速率变化规律。MDD降解过程符合一级动力学反应规律和Arrhenius模型,反应速率常数介于0.0155～0.0345min-1之间,并且随着处理温度的升高而增大,不同温度下半衰期分别为44.719、32.239、20.091 min,随着干燥处理温度的升高而呈现出减少的变化趋势,反应的活化能（Ea）为39.052 kJ/mol。焓变（ΔH）为正值说明MDD热降解过程是吸热反应,吉布斯自由能（ΔG）也为正值,说明MDD热降解反应为非自发反应。研究可为有效控制香椿加工生产过程特征风味物质的降解提供理论依据。     

Efficient reliability analysis of dynamic k-out-of-n phase-AND mission systems

Motivated by real-world applications of satellites and wireless sensor networks, this paper models and evaluates a dynamic k-out-of-n phase-AND mission system (k/n-PAMS). The mission task conducted by a k/n-PAMS involves multiple consecutive phases; the mission is successful as long as the task is successful in any of the phases. Due to factors, such as scheduled maintenance, location changes in task execution during different phases, and resource sharing with other tasks, the total number of available components n for the considered mission task and the required number of working components k may change from phase to phase. In addition, due to varying load and working environments, component failure time distributions are also phase dependent. This paper proposes an analytical modeling approach based on multivalued decision diagrams (MDDs) for assessing reliability of the considered k/n-PAMS. The approach encompasses a new and fast MDD model generation algorithm that considers behaviors of all the mission phases simultaneously based on node labeling. As demonstrated through empirical studies on k/n-PAMSs with different sizes (different numbers of phases and different numbers of system components), the proposed algorithm is more efficient than the traditional phase-by-phase model generation method.     

往返工程在MDA中的应用研究*

模型驱动体系(MDA)是OMG提出的一种IT系统描述和构造方法,在其发展与应用过程中,往返工程对于保证系统的实现与完善非常重要.论述了MDA中的三种往返工程方法,并给出了实例具体分析并比较,最后总结其发展趋势.     

大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系统进行容错性能建模,并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率,减少了计算的冗余性。实验结果表明,该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义,使其确保系统适合预期应用。