A formal representation for state diagrams in the OMT methodology

1996 ◽  
pp. 327-334 ◽  
Author(s):  
Elisa Bertino ◽  
Donatella Castelli ◽  
Federica Vitale
Keyword(s):  
Formal Representation ◽  
State Diagrams

Análisis de los sentidos de representación formal de libros ilustrados de la sala infantil y juvenil de una biblioteca pública / Analysis of the senses of formal representation in picture books from the children and youth room of a public library

2017 ◽  
pp. 80
Author(s):  
Tatiana Cuéllar Torres ◽  
Andrés Reina Gutiérrez
Keyword(s):  
Picture Books ◽  
Public Library ◽  
Children And Youth ◽  
Formal Representation ◽  
The Senses

Enmarcado en el proyecto de investigación y creación Ocho puntos suspensivos, colección de narraciones visuales para el aprendizaje sensorial, perceptivo y simbólico en niños de 2 a 14 años, se presentará el análisis de un poco más de ochenta libros entre infantiles y juveniles tomados de la sala infantil del Centro Cultural Comfandi, Cali (Colombia). Se revisó la colección abierta de literatura infantil y juvenil, libros informativos y revistas para niños, organizado en cuatro secciones diferenciadas, según el nivel de los lectores, y clasificadas por rangos de edades y competencias lectoras: arrullos, primeros lectores, lectores en marcha y lectores autónomos. Con base en estas secciones, se consideraron cuatro dimensiones analíticas: contenido narrativo, contenido icónico, elementos materiales del formato y contenido educativo. Las dimensiones mencionadas se establecieron mediante una caracterización de los sujetos (niños y jóvenes) y los objetos (libros), y bajo criterios conceptuales respecto al conocer, el aprender a ser y el aprender a saber, en niños y jóvenes de 2 a 14 años (con base en sus niveles de competencias representativas, comunicativas e interpretativas). Aunque se revisaron más de 80 obras entre libros ilustrados, libros álbum y cómics, desde sus aspectos formales, temáticos, de producción y carácter pedagógico, el resultado no puede considerarse rigurosamente representativo, sino una valoración parcial pero argumentada, según criterios propios del diseño gráfico.

The photochemical reactivity of some benzoylthiophenes. IV. The effect of an adjacent methyl group on the excited state reactivity of 3-benzoylthiophene

1978 ◽  
Vol 56 (15) ◽  
pp. 1970-1984 ◽  
Author(s):  
D. R. Arnold ◽  
C. P. Hadjiantoniou
Keyword(s):  
Hydrogen Abstraction ◽  
Thiophene Ring ◽  
Emission Spectra ◽  
Photochemical Reactions ◽  
Triplet States ◽  
Photochemical Reactivity ◽  
Methyl Group ◽  
State Diagrams ◽  
Phosphorescence Emission ◽  
Intramolecular Hydrogen

The electronic absorption and phosphorescence emission spectra and the photochemical reactivity of several methyl-3-benzoylthiophenes (2- and 4-methyl-3-benzoylthiophene (1, 2), 2,5-dimethyl-3-benzoylthiophene (3), and 3-(2-methylbenzoyl)thiophene (4)) have been studied. Partial state diagrams have been constructed. The lowest energy absorption in hexane solution in every case is the carbonyl n → π* transition. The two lowest triplet states of these ketones are close in energy and, in fact, the nature of the emitting triplet (n,π* or π,π*) depends upon the position of methyl substitution and upon the solvent. The photochemical reactions studied include intramolecular hydrogen abstraction (revealed by deuterium exchange in the adjacent methyl group upon irradiation in perdeuteriomethanol solution), photocycloaddition of dimethyl acetylenedicarboxylate to the thiophene ring, and photocycloaddition of isobutylene to the carbonyl group. Generalizations, potentially useful for predicting photochemical reactivity of these and other aromatic ketones are summarized.

Modeling Resource Availability Measurement for System Integration

2014 ◽  
Vol 494-495 ◽  
pp. 845-848 ◽  
Author(s):  
Ning She Zhao
Keyword(s):  
Resource Availability ◽  
System Integration ◽  
Degradation Process ◽  
Resource Integration ◽  
Formal Representation ◽  
Health Measurement ◽  
Object Type ◽  
Traditional Management ◽  
System Resource ◽  
Resource State

The issues about method of resources availability measurement in system integration are discussed. Firstly it analyzes the change of system resource state and discusses the mechanism of transmission of failures based on resource faults. Secondly the method of resource faults-based health measurement, and the representation of classification and formalization for resources in system integration, and the theoretical means of availability metrics of resources and resource platform are provided. The formal representation of the resource structure embodies the managing properties including resource object type, nature and state etc. And it shows the expression for degradation process of resource and events of faults production. That highlights the significance of resource integration to traditional management.

Logical aspects of experimental design and analysis

2020 ◽  
pp. 142-151
Author(s):  
Валерий Иванович Хабаров
Keyword(s):  
Model Theory ◽  
Semantic Analysis ◽  
Linear Models ◽  
Intelligent System ◽  
Knowledge Bases ◽  
Object Identification ◽  
Point Of View ◽  
Applied Theory ◽  
Formal Representation ◽  
Active Object

Предложена схема формализации задач активной идентификации объекта с использованием аппарата теории моделей - современного раздела математической логики. Теория моделей позволяет погрузить предмет “планирование и анализ эксперимента” в контекст семантического анализа. Семантический анализ понимается как установление соответствия между миром и его формальным представлением. С этой точки зрения представления об исследуемом объекте выражаются в некоторой прикладной теории. Предложен вывод модели для данной теории как процесс интерпретации, в котором ключевая роль отводится “экспериментатору”. Полученные результаты могут быть использованы при проектировании архитектур интеллектуальных систем для экспериментальных исследований, для построения онтологии эксперимента, создания баз знаний Purpose. The purpose of this work is to formalize the tasks of active object identification based on the apparatus of model theory - a modern section of mathematical logic. Model theory allows putting the subject “planning and analysis of an experiment” in the context of semantic analysis. Semantic analysis is understood as establishing a correspondence between the world and its formal representation. From this point of view, the concept of the object under study is expressed in some applied theory, which allows applying formal methods of model theory to it. Methods. It is assumed that the model is derived for this theory as an interpretation process, in which the key role is assigned to the experimenter. As a research method, it is proposed to use commutative diagrams that reflect the process of interpretation and extension of communication diagrams for the so-called equipped theories of planning and analysis of experiments. Results. The properties of the proposed models are proved and examples for planning a regression experiment are presented as an illustration. It is proved that for linear models it is possible to construct a finitely axiomatization capable theory. Findings, originality. The obtained results can be used in the design of architectures for an intelligent system in experimental research, building an experiment ontology and creation of knowledge bases. These studies will allow using logical programming to implement images of the presented commutative diagrams for equipped theories as applied systems for planning and interpreting the experiment

Chitosan and gelatin based edible films: state diagrams, mechanical and permeation properties

1998 ◽  
Vol 37 (4) ◽  
pp. 371-382 ◽  
Author(s):  
Ioannis S. Arvanitoyannis ◽  
Atsuyoshi Nakayama ◽  
Sei-ichi Aiba
Keyword(s):  
Edible Films ◽  
State Diagrams ◽  
Permeation Properties

scholarly journals On the Formal Representation of the Australian Spent Conviction Scheme

2020 ◽  
pp. 177-185
Author(s):  
Guido Governatori ◽  
Pompeu Casanovas Romeu ◽  
Louis de Koker
Keyword(s):  
Formal Representation
Sign in / Sign up

Export Citation Format

Share Document