Romanian Academy

About: Romanian Academy is a archive organization based out in Bucharest, Romania. It is known for research contribution in the topics: Population & Nonlinear system. The organization has 3662 authors who have published 10491 publications receiving 146447 citations. The organization is also known as: Academia Română & Societatea Literară Română.

Near-infrared colors of minor planets recovered from VISTA-VHS survey (MOVIS)

Abstract: Context. The Sloan Digital Sky Survey (SDSS) and Wide-field Infrared Survey Explorer (WISE) provide information about the surface composition of about 100 000 minor planets. The resulting visible colors and albedos enabled us to group them in several major classes, which are a simplified view of the diversity shown by the few existing spectra. A large set of data in the 0.8−2.5 μ m, where wide spectral features are expected, is required to refine and complement the global picture of these small bodies of the solar system.Aims. We aim to obtain the near-infrared colors for a large sample of solar system objects using the observations made during the VISTA-VHS survey.Methods. We performed a serendipitous search in VISTA-VHS observations using a pipeline developed to retrieve and process the data that corresponds to solar system objects (SSo). The resulting photometric data is analyzed using color−color plots and by comparison with the known spectral properties of asteroids.Results. The colors and the magnitudes of the minor planets observed by the VISTA survey are compiled into three catalogs that are available online: the detections catalog (MOVIS-D), the magnitudes catalog (MOVIS-M), and the colors catalog (MOVIS-C). They were built using the third data release of the survey (VISTA VHS-DR3). A total of 39 947 objects were detected, including 52 NEAs, 325 Mars Crossers, 515 Hungaria asteroids, 38 428 main-belt asteroids, 146 Cybele asteroids, 147 Hilda asteroids, 270 Trojans, 13 comets, 12 Kuiper Belt objects and Neptune with its four satellites. The colors found for asteroids with known spectral properties reveal well-defined patterns corresponding to different mineralogies. The distributions of MOVIS-C data in color−color plots shows clusters identified with different taxonomic types. All the diagrams that use (Y − J) color separate the spectral classes more effectively than the (J − H) and (H − K s) plots used until now: even for large color errors ( − J) vs. (Y − K s) and (Y − J) vs. (J − K s) provide the separation between S-complex and C-complex. The end members A, D, R, and V-types occupy well-defined regions.

Hybridization of institutions

Abstract: Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to 'universalize' the hybridization idea. Following the lines of [15], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) determines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features.

A method of solving fully fuzzified linear fractional programming problems

Abstract: In this paper, we propose a method of solving the fully fuzzified linear fractional programming problems, where all the parameters and variables are triangular fuzzy numbers. We transform the problem of maximizing a function with triangular fuzzy value into a deterministic multiple objective linear fractional programming problem with quadratic constraints. We apply the extension principle of Zadeh to add fuzzy numbers, an approximate version of the same principle to multiply and divide fuzzy numbers and the Kerre’s method to evaluate a fuzzy constraint. The results obtained by Buckley and Feuring in 2000 applied to fractional programming and disjunctive constraints are taken into consideration here. The method needs to add extra zero-one variables for treating disjunctive constraints. In order to illustrate our method we consider a numerical example.