The scope of this paper is that it investigates and proposes a new clustering method thattakes into account the timing characteristics of frequently used feature words and thesemantic similarity of microblog short texts as well as designing and implementing mi-croblog topic detection and detection based on clustering results. The aim of the proposedresearch is to provide a new cluster overlap reduction method based on the divisions ofsemantic memberships to solve limited semantic expression and diversify short microblogcontents. First, by defining the time-series frequent word set of the microblog text, a fea-ture word selection method for hot topics is given; then, for the existence of initial clusters,according to the time-series recurring feature word set, to obtain the initial clustering ofthe microblog.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Among the solutions for the detection of cause-and-effect relationships are methods based on knowledge, statistical solutions or methods allowing the use of deep learning. The solution presented in the article uses bidirectional artificial neural networks LSTM to detect such relationships in legal texts in Polish. The analysis was performed at the sentence level, but due to the specific legal language and the focus on Polish, two separated networks were used in the experiment. The task of the first one is to classify whether a sentence contains a~conditional, while the second one is to identify the elements of this relationship. Both use word embedding sets for the Polish language corpus. The results of the experiment prove that it is possible to perform such extraction with satisfactory results, and raise questions and point to further possible ways forward.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper introduces a customized approach to handle failures in IEC 61131-3 programmable controllers. The solution assumes the utilization of a virtual machine as a runtime environment to execute control code in an isolated manner. A formal model of the runtime is presented, employing denotational semantics. Subsequently, the model is expanded by incorporating new procedures that enable the handling of runtime exceptions using ST code constructs. This formal model serves as the foundation for implementing the exception infrastructure in the CPDev development environment. The research presented in the paper, driven by industry demands, aims to facilitate the development of more reliable and resilient control systems, capable of effectively dealing with failures.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Metaprogramming, the practice of writing programs that manipulate other programs at compile-time, continues to impact software development; enabling new approaches to optimisation, static analysis, and reflection. Nevertheless, a significant challenge associated with advanced metaprogramming techniques, including the constexpr functionality introduced to C++ in 2011, is an increase in compilation times. This paper presents ClangOz, a novel Clang-based research compiler that addresses this issue by evaluating relevant constant expressions in parallel, thereby reducing compilation time.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Use-case models play an important role in the software development processes. They are used for specifying functional requirements, estimating software development project efforts, and planning iterations. The use-case model is subject to change as requirements are modified or the model is refactored. Therefore, it is essential that the use-case model is not redundant and reusable. Existing approaches for use-case model specification support reusability in a limited way. This paper fills the gap. It introduces a new Use-Case Flow (UCF) approach to specify the entire use-case model in a convenient yet formalized way. The paper contains the UCF metamodel, consisting of its abstract syntax and a description of the semantics of the metamodel elements. A textual concrete syntax of the T-UCF is also introduced and informally described. The concrete syntax is dedicated to the specification of the use-case model in a well-defined textual form. The stress is put on the reusability of the constructs defined by a use-case modeler when defining or changing the use-case model. An example of a usecase model specified in the T-UCF language is presented in the paper.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Software technology has exponentially evolved leading to the development of intelligent applications using artificial intelligence models and techniques. Such development impacts all scientific and social fields: home automation, medicine, communication, etc. To make those new applications useful to a larger number of people, researchers are working on how to integrate artificial intelligence into real world while respecting the notion of calm technology. This paper fits in the context of the development of intelligent systems termed ``wise systems'' that aim at satisfying the calm technology requirement. Those systems are based on the concept of ``Wise Object'': a software entity -- object, service, component, application, etc. -- able to learn by itself how it is expected to behave and how it is used by a human or another software entity. During its learning process, a Wise Object constructs a graph that represents its behavior and the way it is used. A major weakness of Wise Objects is that the numerical information that they generate is mostly meaningless to humans. Therefore the objective of the work presented in this paper is to extend Wise Objects with semantics that enable them communicate with humans whose attention will consequently be less involved. In this paper, we address the issue of how to relate two different views using two state-based formalisms: State Transition Graph for views generated by the Wise Objects and Input Output Symbolic Transition System for conceptual views. Our proposal extends previous work done to extend the generated information with the conceptual knowledge using a matching algorithm founded on graph morphism. The first version of the algorithm has several limitations and constraints on the graphs that make it difficult to use in realistic cases. In this paper, we propose to generalize the algorithm and raise those restrictions. To illustrate the complete process, the construction of a sample graph matching on a home-automation system is considered.
Purpose: The aim of the publication was to visualize the process of creating knowledge on the example of the CP Factory production line. For this purpose, the data contained in the relational databases and data of the operating production line were used. This data was converted to the form required by the CogniPy environment to create a semantic ontology for product personalization. Design/methodology/approach: With the available software based on ontologies and knowledge charts, the possibility of common human-computer reasoning has been opened, especially in production management. Findings: During the activities carried out, the on-conceptualization of the knowledge contained in the production management system was brought to an ontological form. At the moment, the information contained in the database is not very different from the data existing in the relational database. However, further modeling of ontology can be directed towards the creation of rules, logic and axioms of production processes. Practical implications: The operations and transformations performed presented the operation of CogniPy in the process of creating ontology and materializing the graph and queries. The created ontology takes the form of a universal set of knowledge that makes it open to wide integration with other systems. Originality/value: The publication shows the possibilities of using the CogniPy environment in the construction of ontology and semantic product personalization.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Information Retrieval is about user queries and strategies executed by machines to find the documents that best suit the user's information need. However, this need reduced to a couple of words gives the retrieval system (IRS) a lot room for interpretation. In order to zero in on the user's need many a IRS expands the user query by implicitly adding or explicitly recommending the users further useful terms that help to specify their information need. Queries often do not comprise more than a handful of terms, which, in turn, do not sufficiently represent the user's need. In this paper, we propose and demonstrate an approach that enables users to resort to implicitly more complex query expressions. We call these semantic structures concept blueprints. Furthermore, users have the possibility to define the blueprints on their own. The purpose of the blueprints is to spot more precisely the text passage that fits the user's information need.
Educating young software engineers and IT experts is a great challenge nowadays. Still new technologies are used in a practical approach and many of them come from formal methods. To help future software experts in the understanding of formal methods grounded in semantics, learning software that illustrates and visualizes important techniques seems to be very fruitful. In this paper, we present software, which handles the arithmetic and Boolean expressions, their analysis, evaluation, drawing the syntax tree and the other techniques with the expressions. This software is devoted as a teaching tool for teachers when explaining appropriate theory and for students for self-studying and making their own experiments. Furthermore, this software is an integral part of our software package for several semantic methods.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Artykuł traktuje o wpływie wielowymiarowości, złożoności logistyki na trudności modelowania układów logicznie spójnych systemów i dokonujących się w nich procesów realizujących zadania zabezpieczenia i wsparcia wieloaspektowych podmiotów przez logistykę. Autorzy wskazują też na możliwe sposoby modelowania systemów logistycznych o złożonych potencjałach zadaniowych w zakresie zasobów i zdolności zabezpieczenia realizację potencjałów w sferach zastosowania logistyki wielowymiarowej w podmiotach gospodarczych. W kontekście tego uzasadniają, wskazują na ograniczenia ale i zasadność stanowienia autonomicznej teorii oraz praktyki modelowania systemów czy procesów logistycznych oraz potrzebę stosowania specjalnej metodyki modelowania logistycznego gdyż jest szansa i możliwość korzystania z istniejącego dorobku w tym zakresie innych dyscyplin nauki.
EN
The article ponders an impact of multidimensionality and complexity of logistics on difficulties with modeling the arrangements of logically coherent systems and processes completing tasks of support for the multi-aspect entities by logistics. The authors point at the possible methods of modeling logistics systems containing complex task potentials in scope of resources and capacities as well as applying these potentials in the spheres of using multidimensional logistics by the economic entities. In this context the authors explain the limited reasons and needs of creating an autonomic theory and practice for modeling the logistics systems and processes as well as necessity of applying a special methodology of logistics modeling because there is a chance and possibility of using the existing output in the logistics field including other disciplines of the science.
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Autor stara się rozwikłać dylemat związany z realnym i etymologicznym pojmowaniem bezpieczeństwa, jego konwencjonalnym i często polisemantycznym definiowaniem, a naturalnym i istotowym określaniem. W rozwikłaniu tym wskazuje na dwa rodzaje nazw wyróżniane już przez Platona i Arystotelesa, a mianowicie : konwencjonalne i naturalne. Stąd analityka semantyczna i objaśnienie pomieszczone w następnych częściach wywodu dotyczą znaczenia: konwencjonalnego nazwy złożonej bezpieczeństwo, naturalnego tej nazwy w języku polskim i nie tylko w języku polskim. Konkluzją wywodu są konstatacje wskazujące, z jednej strony, na nietrafne i konwencjonalne określenia bezpieczeństwa – najczęściej brak zagrożeń − z drugiej zaś na trafne i naturalne – raczej przez lub za pomocą pieczy, kontroli i troski. Te ostatnie mają umocowanie etymologiczne i semantyczne w archaicznej nazwie występującej w języku polskim, a mianowicie: przezpieczeństwo. Również osadzenie znaczenia nazwy bezpieczeństwo w łacińskim securitas (se – każdy; cura – piecza) znaczy każdą pieczę, nadzór i kontrolę oraz dbałość. Stąd rekomendacja dla takiej naturalnej i trafnej definicji nazwy bezpieczeństwo, która głosi, że jest ono takim stanem rzeczy, którego specyfiką jest piecza, troska i kontrola oraz dbałość. W przeciwieństwie do tej naturalnej definicji, konwencjonalne określenia bezpieczeństwa identyfikują tę nazwę złożoną z brakiem zagrożeń, chociaż może z czymkolwiek, np. pewnością lub niezawodnością albo stabilnością itp.
EN
The author seeks to unravel the dilemma associated with real and etymological conception of security, its conventional and often wildcard definition, and its natural and essential definition. In this illustration, there are two types of names distinguished by Plato and Aristotle: Conventional and Natural. Hence, the semantic analysis and explanations contained in the following parts of the text refer to the meaning of the conventional name of complex security, the natural name in Polish and not only in Polish. On the one hand, the conclusions point to inaccurate and conventional terms of security - most often lack of threats - and on the other hand, on the right and natural - rather by or through custody, control and care. The latter have etymological and semantic fixation in the archaic name found in the Polish language, namely: security (bezpieczeństwo). Also embedding the meaning of the name security in the Latin securitas (se – himself, cura – care) means every self determination, supervision and control, and care. Hence, the recommendation for such a natural and accurate definition of the name of safety, which proclaims that it is such a state of affairs, whose specificity is its concern, control and care. Contrary to this natural definition, conventional security definitions identify this name with “no risk”, although it may, with certainty, such as certainty or reliability or stability, not always be true.
In the work are researched problems, which arise during hiding of messages in text environments, being transmitted by electronic communication channels and the Internet. The analysis of selection of places in text environment (TE), which can be replaced by word from the message is performed. Selection and replacement of words in the text environment is implemented basing on semantic analysis of text fragment, consisting of the inserted word, and its environment in TE. For implementation of such analysis is used concept of semantic parameters of words coordination and semantic value of separate word. Are used well-known methods of determination of values of these parameters. This allows moving from quality level to quantitative level analysis of text fragments semantics during their modification by word substitution. Invisibility of embedded messages is ensured by providing preset values of the semantic cooperation parameter deviations.
PL
Niniejsza praca dotyczy badań nad zagadnieniami, które powstają podczas ukrywania wiadomości w środowisku tekstowym, przesyłanym przez elektroniczne kanały komunikacyjne oraz internet. Przeprowadzona jest analiza wyboru lokalizacji w środowisku tekstowym (TE), w którym oryginalne słowo jest zastępowane słowem ukrywanej wiadomości. Wybór i zastąpienie słów w środowisku testowym jest dokonywane w oparciu o analizę semantyczną fragmentu tekstu składającego się ze wstawionego słowa oraz środowiska tekstowego (TE). Dla przeprowadzenia takiej analizy wykorzystano koncepcję parametrów semantycznych grupy słów (wyrażenia) oraz wartości semantycznej pojedynczego słowa. Zastosowano dobrze znane metody określania wartości tych parametrów. To pozwala na przejście od analizy semantyki fragmentów tekstu na poziomie jakościowym do analizy na poziomie ilościowym w przypadku modyfikacji tych fragmentów poprzez zamianę pojedynczych słów. Niewidzialność (niemożliwość wykrycia) wbudowanych komunikatów jest zapewniona przez wstępne określenie wartości odchylenia dla parametru semantycznej zgodności analizowanego wyrażenia.
Terminu vernacular użyto w stosunku do sztuki i architektury po raz pierwszy w połowie XIX wieku w Anglii. Od czasu pierwszego Kongresu Architektury Wernakularnej w Płowdiw w 1975 roku sformułowano wiele definicji architektury wernakularnej. Nie opisują one jednak wyczerpująco tego pojęcia. Rozbieżności w interpretacji widać również przy próbach tłumaczenia zakorzenionego w języku angielskim, wywodzącego się z łaciny terminu. Wydaje się, że właściwego znaczenia pojęcia architektura wernakularna należy szukać w warstwie lingwistycznej – w etymologii i semantyce. W niektórych opracowaniach podejmujących temat architektury wernakularnej znajdują się odniesienia do źródłosłowu – pierwotnego łacińskiego terminu verna. Słowo to określało niewolnika urodzonego w domu pana. Istota pojęcia ujawnia się w obrazie niewolnika urodzonego w domu pana – dobrze znanego, zżytego z domownikami, zaufanego, bliskiego, a przy tym pozbawionego znaczenia (twarzy?), w cieniu, „niewidzialnego”, nie współtworzącego obrazu domu i rodziny. Można powiedzieć, że architektura wernakularna „nie przegląda się w lustrze”, jej atrybutem jest samo-nie-świadomość. Architektura pozostaje wernakularna – anonimowa, codzienna, zaspakajająca najważniejsze potrzeby, doskonalona z pokolenia na pokolenie w rozpoznawanych przez użytkowników wzorach – dopóki nie ulegnie pokusie interpretowania wyrafinowanych, modnych wzorów architektury monumentalnej; dopóki nie stanie do rywalizacji w dążeniu do wyróżnienia się. I być może właśnie w tym sensie jest architekturą bez architekta.
EN
The term vernacular referring to art and architecture was used for the first time in England in the middle of the nineteenth century. Numerous definitions have been created since the first Conference on Vernacular Architecture in Plovdiv in 1975. Still none of them defines the term utterly. Discrepancies in its interpretations could also be seen in attempts to translate the term coined in English and deriving from Latin. The right meaning of the term vernacular architecture shall be searched in its linguistics – etymology and semantics. In some works on vernacular architecture there are references to a word derivation - the primary Latin term verna. The word describes a slave born in a house of their master – well-known, familiar to all household members, trustworthy, close, but at the same time meaningless (faceless), withdrawn, ‘invisible’, someone who belongs in fact neither to the household nor to the family. One might say vernacular architecture does not look up to itself in the mirror; its attribute is self-unconsciousness. Architecture remains vernacular – anonymous, day-to-day, satisfying the most basic needs, becoming increasingly better with generations in models recognisable by their users – as long as it is not tempted by interpreting sophisticated, modern models of monumental architecture; as long as it does not compete to be distinctive. And maybe therefore in this regard it is architecture without an architect.
The role of geographical context and its machine readable representation in mobile surveillance systems has been presented in the paper. It has been shown how the appropriate semantic description of a surrounding geographical context can improve the configuration and operation of a mobile video surveillance system.
PL
W artykule zaprezentowano rolę geograficznej informacji kontekstowej w systemach monitoringu. Przedstawiono, jak odpowiednio zamodelowany opis semantyczny informacji o otoczeniu geograficznym może wpłynąć na poprawę działania systemów monitoringu. Dokładniejsza informacja o otoczeniu pozwala na bardziej odpowiednie skonfigurowanie systemu i tym samem jego efektywniejsze działanie.
A revision of the basic concepts of type, function (called here operation), and relation is proposed. A simple generic method is presented for constructing operations and types as concrete finite structures parameterized by natural numbers. The method gives rise to build inductively so called Universe intended to contain all what can be effectively constructed at least in the sense assumed in the paper. It is argued that the Universe is not yet another formal theory but may be considered as a grounding for some formal theories.
PL
Zaproponowana została rewizja podstawowych pojęć typu i funkcji (nazywanej tutaj operacją). Typy, obiekty tych typów oraz operacje są konstruowane za pomocą prostej i uniwersalnej metody jako skończone struktury parametryzowane liczbami naturalnymi. Metoda ta pozwala na budowanie tzw. Uniwersum, które, w zamierzeniu, ma zawierać wszystko co jest efektywnie konstruowalne przynajmniej w sensie, jaki jest przyjęty w tej pracy. Przedstawione są argumenty, że Uniwersum nie jest jeszcze jedną formalną teorią, lecz może służyć jako ugruntowanie dla pewnych formalnych teorii.
Przedmiotem rozważań są różne rodzaje sacrum związane z ogrodem. Przedstawiono ogród, jako otoczenie świątyni i świątynię w ogrodach różnych kultur oraz sakralizację przyrody poprzez święte gaje i święte drzewa. Prezentowane są też świątynie współtworzące sceny ogrodu krajobrazowego, ich lokalizacja, typowe wzorce i wymiar niematerialny tych dzieł, jako istotny element stylistyki epoki. Zaprezentowano różne aspekty genius loci ogrodu w aspekcie właściwości sacrum. Pokazano też przykłady rewaloryzacji takich obiektów.
EN
The discussion focuses on different kinds of sacrum in gardens. A garden is presented as a temple and temple surrounds in gardens of various cultures, and also how nature can be sacralised by holy woods and trees. In addition the presentation considers temples that co-create the scenes of a landscape garden, their location, typical models and intangible dimensions, representing together an important element of the period's style. Various aspects of 'genius loci' are presented in the context of the characteristics of the sacred. Examples of the revalorisations of these objects are given.
Communication of architecture is a multi-dimensional phenomenon, with elements of message decoded only by a limited group of experts, and the general message understood by the vast audience. These two categories are compared within the paper to semantic and semiotic message systems, derived from dialectic interpretation of meaning, as a function of understanding and consciousness. Further investigation of verbal and non-verbal communication leads to recognition of similarities with architectural discipline. Ability of meaning transmission through space is then analysed in context of limita¬tions of human perception and understanding. Formal discursive communicative methods of architecture are described as semantic, whereas non-formal communication are described as semiotic, along with phenomena of grammar and genius loci. This leads to description of both ability and limitations of spatial communication.
PL
Przekaz architektoniczny jest zjawiskiem wielowymiarowym, z pewnymi elementami przekazu czytelnymi wyłącznie dla ograniczonej grupy specjalistów i ogólnym przekazem rozumianym przez ogół odbiorców. Te dwie kategorie odniesiono w artykule do semantycznego oraz semiotycznego systemu przekazu. Formalne, dyskursywne metody komunikatywne architektury są opisane jako semantyczne, podczas gdy metody nieformalne opisywane są jako semiotyczne, wraz z aspektami gramatyki i genius loci. Te dwie metody komunikacji rozumiane są jako funkcje rozumienia oraz świadomości, wywodzące się z dialektycznej interpretacji znaczenia. Dalsze badanie komunikacji werbalnej i niewerbalnej przeprowadzone w artykule prowadzi do odkrycia podobieństw z architekturą. Zdolność do rozumienia przekazu za pomocą przestrzeni jest następnie analizowana w kontekście ograniczeń ludzkiej percepcji i rozumienia. Analiza ta prowadzi do opisu zarówno potencjału jak i ograniczeń przekazu przestrzennego.
18
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule opisano niewielką część spośród wielu inicjatyw podejmowanych w celu stworzenia Web 3.0. Pozwoliło to jednak na zarysowanie kontekstu dla nowego problemu naukowego, który jest przedmiotem badań autorów. Aksjologiczne wartościowanie prawdziwości danych wymaga budowy algorytmów, które bazując na dodatkowych informacjach dołączanych do dokumentów sieciowych, będą prowadzić do obliczenia ich wartości. Może to stanowić nowy dział nie tylko w badaniach podstawowych, ale także w praktycznych badaniach stosowanych.
EN
Despite many researches on the development of artificial intelligence, gaining expertise in information systems is still a serious problem. Web 2.0 technologies have succeed in presentation of resources, but failed in their interpretation. From the cunning of man sought in the formulation of terms depends on the accuracy of most available resources to us. Accuracy of resources available to us is dependent on cleverness of a man during formulation of terms of searching. Integration and interpretation of obtained information is user’s responsibility and often does not meet his expectations, leaving unsatisfied that the most important information on the subject have failed to even reach. The idea of the development of Semantic Web is still in phase of project and process of searching knowledge bases still causes a lot of problems, because it requires a recognition of semantic language. This article presents an analysis of some of the current projects and initiatives aimed at creating a new logical structure of the Internet, based on distributed semantic network. There is also demonstrated a proposal of a new approach to the problem of building the Semantic Web.
Are researched methods of text model interpretation in case of their use to describe social objects. Are considered peculiarities of their use for modeling objects which are hard to formally describe by theoretical means at the level of their detalization which will ensure necessary level of analytical possibilities for research and control of objects being modeled. In the research are proposed and developed methods of text model analysis based on use of semantic parameters which describe text model which itself is some text description in user language. As some elements of social objects accept information as its text description, so semantic coherence of texts with social object’s text description characterizes a level of its perception.
PL
Czy istnieją metody badawcze pozwalające na interpretację modeli tekstowych, jeśli takie modele są zastosowane do opisu obiektów społecznych? Czy są rozważane osobliwości ich zastosowania do modelowania obiektów, które są formalnie trudne do opisania za pomocą środków teoretycznych na takim poziomie ich uszczegółowienia, który zapewni badaczom wymagany poziom możliwości analitycznych i możliwość kontrolowania obiektów będących przedmiotem modelowania? W niniejszej pracy proponowane i rozwijane są metody służące do analizy modeli tekstowych oparte na zastosowaniu parametrów semantycznych opisujących model tekstowy, który sam w sobie jest pewnym opisem tekstowym zapisanym w języku użytkownika. Ponieważ pewne elementy obiektów socjalnych akceptują informację przekazywaną w postaci opisu tekstowego, to spójność semantyczna tekstów z opisem tekstowym obiektów społecznych charakteryzuje poziom jego percepcji.
20
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule przedstawiono ogrody i parki z różnych kręgów kulturowych, historyczne i współczesne – jako miejsca wyjątkowe, w których na wiele sposobów utrwalana jest pamięć miejsc, wydarzeń, osób i zwierząt... Interpretacja ogrodu może być wielowątkowa i wieloznaczna, zwykle uzależniona od przygotowania odbiorcy. Jedną z ważnych cech ogrodu jest przechowywanie i budzenie pamięci postrzeganej jako „zdolność umysłu do myślenia o tym, co już nie istnieje”. Ogrody stworzone przez naturę i przez człowieka są „mówiącymi obrazami”. Ich krajobraz budują starannie zaprojektowane sceny, które często przywołują przeszłość.
EN
The article presents gardens and parks, both historic and modern, of various cultural heritage, as special places which in many various ways preserve the memory of places, events, people and animals... A garden can be interpreted with multiple themes and meanings, usually dependent on the state of mind of the observer. One of the important characteristics of a garden is the way it stores and awakens the memories perceived as ‘an ability of the mind to think about what does not exist anymore’. Gardens created by nature and humans are particular ‘talking images’. Their landscape is made of carefully designed scenes which often evoke the past.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.