MFC应用程序架构与动态创建对象

通过对Win32SDK程序中入口函数(WinMain)、初始化函数和窗口函数的分析,阐述了Windows应用程序的运行机理。在此基础上,进一步说明了MFC应用程序如何实现Windows应用程序运行的过程。另外也详细解析了MFC应用程序动态创建对象机制。     

A framework for an integrated unified modeling language

The unified modeling language (UML) is one of the most commonly used modeling languages in the software industry. It simplifies the complex process of design by providing a set of graphical notations, which helps express the objectoriented analysis and design of software projects. Although UML is applicable to different types of systems, domains, methods, and processes, it cannot express certain problem domain needs. Therefore, many extensions to UML have been proposed. In this paper, we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical (iUML-g) form. iUML-g integrates the existing UML extensions into one integrated form. This includes an integrated diagram for UML class, sequence, and use case diagrams. The proposed approach is evaluated using a case study. The proposed iUML-g is capable of modeling systems that use different domains.     

Logic as an integrated modeling framework

There is a growing interest in the application of Artificial Intelligence (AI) tools and techniques to management science problems. A rich variety of commercial AI software products is now emerging to facilitate this. However, there has been little integration between AI and Management Science (MS) at a theoretical level. This paper proposes the use of formal logic as the basis for this conceptual bridge, and the use of logic programming as a modeling language for management science applications. The framework is illustrated by a logic-based representation, called PM, for specifying production, distribution and inventory problems.     

Coding coarse grained polymer model for LAMMPS and its application to polymer crystallization

We present a patch code for LAMMPS to implement a coarse grained (CG) model of poly(vinyl alcohol) (PVA). LAMMPS is a powerful molecular dynamics (MD) simulator developed at Sandia National Laboratories. Our patch code implements tabulated angular potential and Lennard-Jones-9-6 (LJ96) style interaction for PVA. Benefited from the excellent parallel efficiency of LAMMPS, our patch code is suitable for large-scale simulations.This CG-PVA code is used to study polymer crystallization, which is a long-standing unsolved problem in polymer physics. By using parallel computing, cooling and heating processes for long chains are simulated. The results show that chain-folded structures resembling the lamellae of polymer crystals are formed during the cooling process. The evolution of the static structure factor during the crystallization transition indicates that long-range density order appears before local crystalline packing. This is consistent with some experimental observations by small/wide angle X-ray scattering (SAXS/WAXS). During the heating process, it is found that the crystalline regions are still growing until they are fully melted, which can be confirmed by the evolution both of the static structure factor and average stem length formed by the chains. This two-stage behavior indicates that melting of polymer crystals is far from thermodynamic equilibrium. Our results concur with various experiments. It is the first time that such growth/reorganization behavior is clearly observed by MD simulations.Our code can be easily used to model other type of polymers by providing a file containing the tabulated angle potential data and a set of appropriate parameters.

Program summary

Program title: lammps-cgpvaCatalogue identifier: AEDE_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEDE_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: GNU's GPLNo. of lines in distributed program, including test data, etc.: 940 798No. of bytes in distributed program, including test data, etc.: 12 536 245Distribution format: tar.gzProgramming language: C++/MPIComputer: Tested on Intel-x86 and AMD64 architectures. Should run on any architecture providing a C++ compilerOperating system: Tested under Linux. Any other OS with C++ compiler and MPI library should sufficeHas the code been vectorized or parallelized?: YesRAM: Depends on system size and how many CPUs are usedClassification: 7.7External routines: LAMMPS (http://lammps.sandia.gov/), FFTW (http://www.fftw.org/)Nature of problem: Implementing special tabular angle potentials and Lennard-Jones-9-6 style interactions of a coarse grained polymer model for LAMMPS code.Solution method: Cubic spline interpolation of input tabulated angle potential data.Restrictions: The code is based on a former version of LAMMPS.Unusual features.: Any special angular potential can be used if it can be tabulated.Running time: Seconds to weeks, depending on system size, speed of CPU and how many CPUs are used. The test run provided with the package takes about 5 minutes on 4 AMD's opteron (2.6 GHz) CPUs.References:

[1]

D. Reith, H. Meyer, F. Müller-Plathe, Macromolecules 34 (2001) 2335-2345.

[2]

H. Meyer, F. Müller-Plathe, J. Chem. Phys. 115 (2001) 7807.

[3]

H. Meyer, F. Müller-Plathe, Macromolecules 35 (2002) 1241-1252.

     

A dynamic data-driven application simulation framework for contaminant transport problems

We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems, such as, how do you analyze, compute, and predict the solution of a generalized PDE when you do not know either where or what the boundary conditions are at any given moment in the simulation in advance? A summary of DDDAS features and why this is a intellectually stimulating new field are included in the paper.We apply the DDDAS methodology to some examples from a contaminant transport problem. We demonstrate that the multiscale interpolation and backward in time error monitoring are useful to long running simulations.     

Software components for parallel multiscale simulation: an example with LAMMPS

Multiscale simulation is a promising approach for addressing a variety of real-world engineering problems. Various mathematical approaches have been proposed to link single-scale models of physics into multiscale models. In order to be effective, new multiscale simulation algorithms must be implemented which use partial results provided by single-scale software. This work considers aspects of software design for interfacing to existing single-scale simulation code to perform multiscale simulations on a parallel machine. As a practical example, we extended the large-scale atomistic/molecular massively parallel simulator (LAMMPS) atomistic simulation software to facilitate its efficient use as a component of parallel multiscale-simulation software. This required new library interface functions to LAMMPS that side-stepped its dependence on files for input and output and provided efficient access to LAMMPS’s internal state. As a result, we were able to take advantage of LAMMPS’s single-scale performance without adding any multiscale-specific code to LAMMPS itself. We illustrate the use of LAMMPS as a component in three different modes: as a stand-alone application called by a multiscale code, as a parallel library invoked by a serial multiscale code, and as a parallel library invoked by a parallel multiscale code. We conclude that it is possible to efficiently re-use existing single-scale simulation software as a component in multiscale-simulation software.     

CAFES: A framework for intrachip application modeling and communication architecture design

This paper describes CAFES, an extensible, open-source framework supporting several tasks related to high-level modeling and design of applications employing complex intrachip communication infrastructures. CAFES comprises several built-in models, including application, communication architecture, energy consumption and timing models. It also includes a set of generic and specific algorithms and additional supporting tools, which jointly with the cited models allow the designer to describe and evaluate applications requirements and constraints on specified communication architectures. Several examples of the use of CAFES underline the usefulness of the framework. Some of these are approached in this paper: (i) a realistic application captured at high-level that has its computation time estimated after mapping at the clock cycle level; (ii) a multi-application system that is automatically mapped to a large intrachip network with related tasks occupying contiguous areas in the chip layout; (iii) a set of mapping algorithms explored to define trade-offs between run time and energy savings for small to large intrachip communication architectures.     

UTLDR: an agent-based framework for modeling infectious diseases and public interventions

Journal of Intelligent Information Systems - Due to the SARS-CoV-2 pandemic, epidemic modeling is now experiencing a constantly growing interest from researchers of heterogeneous study fields....     

A systematic neuro-fuzzy modeling framework with application tomaterial property prediction

A systematic neural-fuzzy modeling framework that includes the initial fuzzy model self-generation, significant input selection, partition validation, parameter optimization, and rule-base simplification is proposed in this paper. In this framework, the structure identification and parameter optimization are carried out automatically and efficiently by the combined use of a sell-organization network, fuzzy clustering, adaptive back-propagation learning, and similarity analysis-based model simplification. The proposed neuro-fuzzy modeling approach has been used for nonlinear system identification and mechanical property prediction in hot-rolled steels from construct composition and microstructure data. Experimental studies demonstrate that the predicted mechanical properties have a good agreement with the measured data by using the elicited fuzzy model with a small number of rules.     

A continuous dynamic modeling approach for an omnidirectional mobile robot

MY wheel-II is one of switch omnidirectional wheel mechanisms. The omnidirectional mobile robot based on MY wheels-II is a switched non-linear system (i.e. discontinuous system). The aim of this paper is to propose a continuous modeling approach which can be employed to derive a continuous model from any given discontinuous robot dynamic model. This approach results in a continuous non-linear parameter varying (NLPV) model, and offers one solution for model-based control design. Firstly, our previously proposed average dynamic modeling approach is analyzed. We find that this modeling approach is effective only for a specific class of robot configurations. To overcome this problem, we first derive the switching conditions of MY wheel-II. Based on derived switching conditions, we then propose a simple continuous NLPV modeling approach. The new approach replaces the real discontinuous contact radius in the discontinuous dynamic model with an adaptive continuous curve. An illustrative example of the adaptive continuous curve design is provided. Both simulation and experimental results verify the effectiveness of the proposed NLPV modeling approach against the average modeling approach.     

Aspect-oriented modeling framework for security hardening

Aspect-oriented modeling (AOM) emerged as a promising paradigm for handling crosscutting concerns, such as security, at the software modeling level. Most existing AOM contributions are presented from a practical perspective and lack formal syntax and semantics. In this paper, we present a practical and formal AOM framework for software security hardening. Our contributions are threefold. First, we define an AOM approach for the specification of security aspects at the unified modeling language (UML) design level. Second, we design and implement the matching and the weaving processes into UML design models. Third, we elaborate formal specifications for aspect matching and weaving in UML activity diagrams. Finally, we demonstrate the viability and the relevance of our propositions using a case study. The proposed framework is supported by a tool built on top of IBM-Rational Software Modeler.     

An ontology-based framework for domain-specific modeling

Domain-specific languages (DSLs) provide abstractions and notations for better understanding and easier modeling of applications in a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a framework that allows the use of ontology technologies to describe and reason on DSLs. The formal semantics of OWL together with reasoning services allows for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels and concrete syntaxes in a new technical space. A scenario in which domain models for network devices are created illustrates the framework.     

一种开放式性能测试框架的研究与应用

分析了一种基于J2EE的开放式性能测试框架Grinder,阐述了它的工作原理,并对该框架做了两点改进：添加动态图形接口和从控制台向客户机发送脚本,最后基于改进的框架实现了TPC-W基准,并用它对国产数据库管理系统DM4进行了性能测试。     

A formal framework for service modeling and prototyping

Service-oriented Computing is rapidly gaining importance across several application domains due to its capability of composing autonomous and loosely-coupled services. In order to support the engineering of service-oriented software applications, foundational theories, service modeling notations, evaluation techniques fully integrated in a pragmatic software engineering approach are required. This article introduces a framework for modeling and prototyping service-oriented applications. The framework consists of a precise and executable language, SCA-ASM, for model-based design, and of a tool for early and quick design evaluation of service assemblies. The language combines the OASIS/OSOA standard Service Component Architecture (SCA) capability of modeling and assembling heterogeneous service-oriented components in a technology agnostic way, with the rigor of the Abstract State Machine (ASM) formal method able to model notions of service behavior, interactions, orchestration, compensation and context-awareness in an abstract but executable way. The tool is based on existing execution environments for ASM models and SCA applications. An SCA-ASM model of a service-oriented component, possibly not yet implemented in code or available as off-the-shelf, can be (i) simulated and evaluated offline, i.e. in isolation from the other components; or (ii) executed as abstract implementation (or prototype) together with the other components implementations according to the chosen SCA assembly. As proof of concept, a case study taken from EU research projects has been considered to show the functionalities and potentialities of the proposed framework.     

A framework for dynamic implicit curve approximation by an irregular discrete approach

The approximation of implicit planar curves by line segments is a very classical problem. Many algorithms use interval analysis to approximate this curve, and to handle the topology of the final reconstruction. In this article, we use discrete geometry tools to build an original geometrical and topological representation of the implicit curve. The polygonal approximation contains few segments, and the Reeb graph permits to sum up efficiently the shape and the topology of the curve. Furthermore, we propose two algorithms to process local cells refinement and local cells grouping schemes. We illustrate these schemes with a global system that efficiently handles manual or automatic fast updates on the global reconstruction, by considering topological or geometrical constraints. We also compare the speed and the quality of our approach with two classical methods.     

DOOLINES : an object-oriented framework for non-linear static and dynamic analyses of offshore lines

We present an object-oriented framework, named DOOLINES , for non-linear static and dynamic analyses of slender marine structures which often appear in offshore structures employed in the petroleum and gas industries as, among others, flexible risers, steel catenary risers, umbilicals, floating hoses, and mooring lines. DOOLINES allows the rapid development of tailored, modular, reusable and extensible large-size systems, being itself extensible. These properties, along with the ease of use of our framework, are assessed by means of case studies. Code examples are provided.     

A methodological framework for viewpoint-oriented conceptual modeling

To solve any nontrivial problem, it first needs to be conceptualized, taking into account the individual who has the problem. However, a problem is generally associated with more than one individual, as is usually the case in software development. Therefore, this process has to take into account different viewpoints about the problem and any discrepancies that could arise as a result. Traditionally, conceptualization in software engineering has omitted the different viewpoints that the individuals may have of the problem and has inherently enforced consistency in the event of any discrepancies, which are considered as something to be systematically rejected. The paper presents a methodological framework that explicitly drives the conceptualization of different viewpoints and manages the different types of discrepancies that arise between them, which become really important in the process. The definition of this framework is generic, and it is therefore independent of any particular software development paradigm. Its application to software engineering means that viewpoints and their possible discrepancies can be considered in the software process conceptual modeling phase. This application is illustrated by means of what is considered to be a standard problem: the IFIP case.     

An architecture modeling framework for probabilistic prediction

In the design phase of business and IT system development, it is desirable to predict the properties of the system-to-be. A number of formalisms to assess qualities such as performance, reliability and security have therefore previously been proposed. However, existing prediction systems do not allow the modeler to express uncertainty with respect to the design of the considered system. Yet, in contemporary business, the high rate of change in the environment leads to uncertainties about present and future characteristics of the system, so significant that ignoring them becomes problematic. In this paper, we propose a formalism, the Predictive, Probabilistic Architecture Modeling Framework (P²AMF), capable of advanced and probabilistically sound reasoning about business and IT architecture models, given in the form of Unified Modeling Language class and object diagrams. The proposed formalism is based on the Object Constraint Language (OCL). To OCL, P²AMF adds a probabilistic inference mechanism. The paper introduces P²AMF, describes its use for system property prediction and assessment and proposes an algorithm for probabilistic inference.     

反馈神经网络用于多输入输出动态系统建模

使用前馈神经网络对多输入输出动态系统建模有很多不足之处.反馈神经网络具有动态特性,拥有记忆环节,对多输入输出的动态模型进行建模,克服了前馈神经网络只能反应静态映射的缺点,反馈神经网络能够反应出多输入输出的动态过程,并且有非常高的稳定性,能够过滤外界干扰信号,精度高.利用反馈神经网络对电炉进行辨识,取得了良好的效果.