10142893
PointWorks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments
This paper describes a system, dubbed PointWorks, for rendering three-dimensionally digitized outdoor environments in non-photorealistic rendering styles. The challenge in rendering scanned outdoor environments is accommodating their inaccuracy, incompleteness, and large size to deliver a smooth animation without suggesting the underlying data deficiency. The key method discussed in this paper is employing artistic drawing techniques to illustrate features of varying importance and accuracy. We employ a point-based representation of the scanned environment and operate directly on point-based models for abstraction and rendering. We develop a framework for producing mainly two artistic styles: painterly and profile lines. Strategies have also been employed to leverage modern graphics hardware for achieving interactive rendering of large scenes.
9140729
INSPIRE: an interactive image assisted non-photorealistic rendering system
We present a GPU supported interactive non-photorealistic rendering system, INSPIRE, which performs feature extraction in both image space, on intermediately rendered images, and object space, on models of various representations, e.g., point, polygon, or hybrid models, without needing connectivity information. INSPIRE obtains interactive NPR rendering with most styles of existing NPR systems, but offers more flexibility on model representations and compromises little on rendering speed.
14915210
A Framework for Model-Based Design of Agent-Oriented Software
Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests a pressing need for system modeling techniques to support reliable, maintainable, and extensible design. G-nets are a type of Petri net defined to support system modeling in terms of a set of independent and loosely-coupled modules. In this paper, we customize the basic G-net model to define a so-called "agent-based G-net" that can serve as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multiagent systems, an example of an agent family in electronic commerce is provided. Finally, we demonstrate how we can use model checking to verify some key behavioral properties of our agent model. This is facilitated by the use of an existing Petri net tool.
4691280
A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems
Multi-agent systems (MAS) are rapidly emerging as a powerful paradigm for modeling and developing distributed information systems. In an open multi-agent system, agents can not only join or leave an agent society at will, but also take or release roles dynamically. Most of existing work on MAS uses role modeling for system analysis; however, role models are only used at conceptual level with no realizations in the implemented system. In this paper, we propose a methodology for role-based modeling of open multiagent software systems. We specify role organization and role space as containers of conceptual roles and role instances, respectively. Agents in an agent society can take or release roles from a role space dynamically. The relationships between agents are deduced through a mechanism called A-R mapping. As a potential solution for automated MAS development, we summarize the procedures to generate a role-based design of open multi-agent software systems.
4864247
Data processing and compact representation of measured isotropic spectral BRDF
This paper presents the methods for both data processing and compact representation of measured isotropic spectral BRDF. For the data processing, we develop a numerical method for filtering the noises, re-sampling the data from non-uniform sampling to uniform sampling, and interpolation. For the compact representation, we propose a method to represent the spectral BRDF in both the spectral and spatial domains. In spectral domain, for each pair of the incident and outgoing directions, we represent the spectral BRDF with Fourier coefficients. In spatial domain, for all the outgoing directions of a given incident direction, we represent the same-order Fourier coefficients either directly using a linear combination of spherical harmonics or a linear combination of spherical harmonics and a Gaussian, depending on their angular dependencies. Three Gaussian expressions are presented. Numerical studies are given for a measured isotropic spectral BRDF.
5913002
Formal modeling of synchronization methods for concurrent objects in Ada 95
One important role for Ada programming is to aid engineering of concurrent and distributed software. In a concurrent and distributed environment, objects may execute concurrently and need to be synchronized to serve a common goal. Three basic methods by which objects in a concurrent environment can be constructed and synchronized have been identified [1]. To formalize the semantics of these methods and to provide a formal model of their core behavior, we provide some graphic models based on the Petri net formalism. The purpose of this formal modeling is to illustrate the possibility of automatic program analysis for object-oriented features in Ada-95. Models for the three distributed- object synchronization methods are discussed, and a potential deadlock situation for one of the methods/models is illustrated. We conclude with some comparison of the three methods in terms of the model abstractions.
9774737
A framework for modeling agent-oriented software
With the increasing importance of complex software systems in the software industry, the need for using agent technologies to develop large-scale commercial and industrial software systems is growing rapidly. Such systems are complex, and there is a pressing need for system modeling techniques to support reliable, maintainable and extensible design. G-nets are a type of Petri net defined to support the modeling of a system as a set of independent and loosely-coupled modules. In this paper, we first introduce an extension of G-nets - the agent-based G-net - as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multi-agent systems, an example of an agent family in electronic commerce is provided.