A formal theory of conceptual modeling universals

Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in conceptual modeling. In this paper, we focus on the modeling metaconcepts of classifiers and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of universals to propose a UML profile for Ontology Representation and Conceptual Modeling. The formal semantics of the proposed modeling elements is presented in a language of modal logics with quantification restricted to Sortal universals

Context modeling and constraints binding in web service business processes

Context awareness is a principle used in pervasive services applications to enhance their exibility and adaptability to changing conditions and dynamic environments. Ontologies provide a suitable framework for context modeling and reasoning. We develop a context model for executable business processes { captured as an ontology for the web services domain. A web service description is attached to a service context profile, which is bound to the context ontology. Context instances can be generated dynamically at services runtime and are bound to context constraint services. Constraint services facilitate both setting up constraint properties and constraint checkers, which determine the dynamic validity of context instances. Data collectors focus on capturing context instances. Runtime integration of both constraint services and data collectors permit the business process to achieve dynamic business goals

Multipurpose S-shaped solvable profiles of the refractive index: application to modeling of antireflection layers and quasi-crystals

A class of four-parameter solvable profiles of the electromagnetic admittance has recently been discovered by applying the newly developed Property & Field Darboux Transformation method (PROFIDT). These profiles are highly flexible. In addition, the related electromagnetic-field solutions are exact, in closed-form and involve only elementary functions. In this paper, we focus on those who are S-shaped and we provide all the tools needed for easy implementation. These analytical bricks can be used for high-level modeling of lightwave propagation in photonic devices presenting a piecewise-sigmoidal refractive-index profile such as, for example, antireflection layers, rugate filters, chirped filters and photonic crystals. For small amplitude of the index modulation, these elementary profiles are very close to a cosine profile. They can therefore be considered as valuable surrogates for computing the scattering properties of components like Bragg filters and reflectors as well. In this paper we present an application for antireflection layers and another for 1D quasicrystals (QC). The proposed S-shaped profiles can be easily manipulated for exploring the optical properties of smooth QC, a class of photonic devices that adds to the classical binary-level QC.Comment: 14 pages, 18 fi

Analysis of Chromatic Aberration Effects in Triple-Junction Solar Cells Using Advanced Distributed Models

The consideration of real operating conditions for the design and optimization of a multijunction solar cell receiver-concentrator assembly is indispensable. Such a requirement involves the need for suitable modeling and simulation tools in order to complement the experimental work and circumvent its well-known burdens and restrictions. Three-dimensional distributed models have been demonstrated in the past to be a powerful choice for the analysis of distributed phenomena in single- and dual-junction solar cells, as well as for the design of strategies to minimize the solar cell losses when operating under high concentrations. In this paper, we present the application of these models for the analysis of triple-junction solar cells under real operating conditions. The impact of different chromatic aberration profiles on the short-circuit current of triple-junction solar cells is analyzed in detail using the developed distributed model. Current spreading conditions the impact of a given chromatic aberration profile on the solar cell I-V curve. The focus is put on determining the role of current spreading in the connection between photocurrent profile, subcell voltage and current, and semiconductor layers sheet resistance

What Twitter Profile and Posted Images Reveal About Depression and Anxiety

Previous work has found strong links between the choice of social media images and users' emotions, demographics and personality traits. In this study, we examine which attributes of profile and posted images are associated with depression and anxiety of Twitter users. We used a sample of 28,749 Facebook users to build a language prediction model of survey-reported depression and anxiety, and validated it on Twitter on a sample of 887 users who had taken anxiety and depression surveys. We then applied it to a different set of 4,132 Twitter users to impute language-based depression and anxiety labels, and extracted interpretable features of posted and profile pictures to uncover the associations with users' depression and anxiety, controlling for demographics. For depression, we find that profile pictures suppress positive emotions rather than display more negative emotions, likely because of social media self-presentation biases. They also tend to show the single face of the user (rather than show her in groups of friends), marking increased focus on the self, emblematic for depression. Posted images are dominated by grayscale and low aesthetic cohesion across a variety of image features. Profile images of anxious users are similarly marked by grayscale and low aesthetic cohesion, but less so than those of depressed users. Finally, we show that image features can be used to predict depression and anxiety, and that multitask learning that includes a joint modeling of demographics improves prediction performance. Overall, we find that the image attributes that mark depression and anxiety offer a rich lens into these conditions largely congruent with the psychological literature, and that images on Twitter allow inferences about the mental health status of users.Comment: ICWSM 201

The 3D nature of a real un-dismantled electrical contact interface

AbstractA 3D contact analysis and modeling suite of tools are developed and introduced in this work. The “3D Contact Map” of an electrical contact interface is presented demonstrating the 3D nature of the contact. It gives information on where the electrical contact spots in a 3D surface profile are located. An X-ray Computer Tomography (CT) technique is used to collect the 3D data to a resolution of around 5μm of a real un-dismantled contact interface for analysis. Previous work by Lalechos and Swingler presented “2D Contact Map” on a 2D contact profile from collected 3D data to a resolution of around 8μm. The main advantages of both 3D and 2D mapping techniques focus on the fact that they are non-destructive and there is no need to dismantle the component of interest. This current work focuses on the 3D mapping technique showing its advantages over the 2D mapping technique. For test purposes, a 16A rated AC single pole switch is scanned after two different current loading tests (0A and 16A). A comparison for the total mechanical area of contact, the number of contact spots and the total contact resistance is conducted using both the 2D and 3D mapping techniques to a resolution of around 5μm

Exact solutions for the electromagnetic fields of a flying focus

The intensity peak of a "flying focus" travels at a programmable velocity over many Rayleigh ranges while maintaining a near-constant profile. Assessing the extent to which these features can enhance laser-based applications requires an accurate description of the electromagnetic fields. Here we present exact analytical solutions to Maxwell's equations for the electromagnetic fields of a constant-velocity flying focus, generalized for arbitrary polarization and orbital angular momentum. The approach combines the complex source-point method, which transforms multipole solutions into beam-like solutions, with the Lorentz invariance of Maxwell's equations. Propagating the fields backward in space reveals the space-time profile that an optical assembly must produce to realize these fields in the laboratory. Comparisons with simpler paraxial solutions provide conditions for their reliable use when modeling a flying focus