Метод синтезу моделей станів об’єктів програмного забезпечення автоматизованої системи обробки цифрових зображень

This article proposes a method for the synthesis of the behavior of software objects models (SOM) for the developed object-oriented software systems for automated digital image processing in order to avoid systemic and algorithmic errors in the design phase of a software system, as well as to reduce the time of its development. The process of constructing the SOM proceeding from its finite-state representation is viewed from the standpoint of abstract synthesis of an automata’s finite state. Thus, the specialties of the synthesis of finite automaton SOM, the construction of the map defining a plurality of channels management class of objects, the order to bring it to an automata, the construction of the canonical set of events and their regular expressions to display defining a plurality of channels management of software objects class for object oriented software system are considered and justified. Переважна більшість даних, які обробляються сучасними інфокомунікаційними системами, є графічними. Істотна частка з них – цифрові зображення, які характеризуються великими обсягами. Таким чином, виникає потреба їх представлення у компактному вигляді, що забезпечить зменшення навантаження на канали зв’язку, підвищення оперативності доставки та скорочення обсягів пам’яті, необхідної для зберігання даних. Вирішенням цієї проблеми є розроблення з використанням об’єктно- орієнтованої технології автоматизованої системи обробки цифрових зображень (АСОЗ), на етапі проектування якої постає актуальна задача побудови моделей поведінки екземплярів класів об’єктно- орієнтованого програмного забезпечення (ООПЗ) задля уникнення системних та алгоритмічних помилок, а також скорочення часу розроблення. Тож, мета роботи полягає в розробленні метода синтезу моделей станів програмних об’єктів об’єктно-орієнтованого програмного забезпечення АСОЗ. Процес побудови моделі станів програмних об’єктів (МСО) ООПЗ, виходячи з її скінченно- автоматного представлення, розглянуто з погляду абстрактного синтезу скінченного автомата. У роботі викладені й обґрунтовані особливості синтезу скінченно-автоматної МСО ООПЗ, побудова відображення, яке визначає множину каналів керування класу об’єктів, та порядок приведення його до автоматного виду, а також побудова канонічної множини подій і їх регулярних виразів для відображення, яке визначає множину каналів керування класу програмних об’єктів. На основі отриманих результатів дослідження запропоновано метод синтезу моделей станів програмних об’єктів ООПЗ. Запропонований метод забезпечує формалізацію процесу визначення станів та їх взаємозв’язків у життєвому циклі екземпляра класу ООПЗ, а також дозволяє зменшити трудомісткість процесу розробки динамічної компоненти комплексної моделі ООПЗ під час її проектування на логічному рівні

The Building Information Model and the IFC standard: analysis of the characteristics necessary for the acoustic and energy simulation of buildings

The new European Directive 2014/24 / EU requires for all member States the use of BIM procedures in the construction of public buildings. The countries belonging to the European Union shall be obliged to transpose the Directive and adapt their procedures to that effect. The paper analyzes the IFC format, the only recognized by the European Directive Standards for BIM procedures, in order to assess its use for simulations of buildings. IFC, described by the ISO 16739 (2013), is today a standard that describes the topology of the constructive elements of the building and what belongs to it overall. The format includes geometrical information on the room and on all building components, including details of the type for performance (transmittance, fire resistance, sound insulation), in other words it is an independent object file for the software producers to which, according to the European Directive, it will be compulsory to refer in the near future, during the different stages of the life of a building from the design phase, to management and possible demolition at the end of life. The IFC initiative began in 1994, when an industry consortium invested in the development of a set of C ++ classes that can support the development of integrated applications. Twelve US companies joined the consortium: these companies that were included initially are called the consortium "Industry Alliance for Interoperability". In September 1995 the Alliance opened up membership to all interested parties, and in 1997 changed its name to "International Alliance for Interoperability". The new alliance was reconstituted as a non-profit organization, with the aim of developing and promoting the '' Industry Foundation Class "(IFC) as a neutral data model for the building product that were useful to gather information throughout the life cycle of a building facility. Since 2005 the Alliance has been carrying out its activities through its national chapters called SMART building. The present study aims at evaluating the IFC, comparing the information and data contained in it, with other formats already used for energy simulations of buildings such as the gbXML (Green Building XML), highlighting the missing required information and proposing the inclusion of new ones to issue the energy and acoustic simulation. More generally the attention is focused to building physics simulation software devoted to exploit the BIM model potential enabling interoperability

Histopathological image analysis : a review

Over the past decade, dramatic increases in computational power and improvement in image analysis algorithms have allowed the development of powerful computer-assisted analytical approaches to radiological data. With the recent advent of whole slide digital scanners, tissue histopathology slides can now be digitized and stored in digital image form. Consequently, digitized tissue histopathology has now become amenable to the application of computerized image analysis and machine learning techniques. Analogous to the role of computer-assisted diagnosis (CAD) algorithms in medical imaging to complement the opinion of a radiologist, CAD algorithms have begun to be developed for disease detection, diagnosis, and prognosis prediction to complement the opinion of the pathologist. In this paper, we review the recent state of the art CAD technology for digitized histopathology. This paper also briefly describes the development and application of novel image analysis technology for a few specific histopathology related problems being pursued in the United States and Europe

Search for high-amplitude Delta Scuti and RR Lyrae stars in Sloan Digital Sky Survey Stripe 82 using principal component analysis

We propose a robust principal component analysis (PCA) framework for the exploitation of multi-band photometric measurements in large surveys. Period search results are improved using the time series of the first principal component due to its optimized signal-to-noise ratio.The presence of correlated excess variations in the multivariate time series enables the detection of weaker variability. Furthermore, the direction of the largest variance differs for certain types of variable stars. This can be used as an efficient attribute for classification. The application of the method to a subsample of Sloan Digital Sky Survey Stripe 82 data yielded 132 high-amplitude Delta Scuti variables. We found also 129 new RR Lyrae variables, complementary to the catalogue of Sesar et al., 2010, extending the halo area mapped by Stripe 82 RR Lyrae stars towards the Galactic bulge. The sample comprises also 25 multiperiodic or Blazhko RR Lyrae stars.Comment: 23 pages, 17 figure

BIM semantic-enrichment for built heritage representation

In the built heritage context, BIM has shown difficulties in representing and managing the large and complex knowledge related to non-geometrical aspects of the heritage. Within this scope, this paper focuses on a domain-specific semantic-enrichment of BIM methodology, aimed at fulfilling semantic representation requirements of built heritage through Semantic Web technologies. To develop this semantic-enriched BIM approach, this research relies on the integration of a BIM environment with a knowledge base created through information ontologies. The result is knowledge base system - and a prototypal platform - that enhances semantic representation capabilities of BIM application to architectural heritage processes. It solves the issue of knowledge formalization in cultural heritage informative models, favouring a deeper comprehension and interpretation of all the building aspects. Its open structure allows future research to customize, scale and adapt the knowledge base different typologies of artefacts and heritage activities