Wyszukiwarka
Wyniki wyszukiwania dla: FORMAL CONCEPT ANALYSIS (FCA)
-
International Conference Formal Concept Analysis Conference
Konferencje -
Analysis-by-synthesis paradigm evolved into a new concept
PublikacjaThis work aims at showing how the well-known analysis-by-synthesis paradigm has recently been evolved into a new concept. However, in contrast to the original idea stating that the created sound should not fail to pass the foolproof synthesis test, the recent development is a consequence of the need to create new data. Deep learning models are greedy algorithms requiring a vast amount of data that, in addition, should be correctly...
-
Business Sentiment Analysis. Concept and Method for Perceived Anticipated Effort Identification
PublikacjaRepresenting a valuable human-computer interaction interface, Sentiment Analysis (SA) is applied to a wide range of problems. In the present paper, the researchers introduce a novel concept of Business Sentiment (BS) as a measurement of a Perceived Anticipated Effort (PAE) in the context of business processes (BPs). BS is considered as an emotional component of BP task contextual complexity perceived by a process worker after reading...
-
Piezoelectric Transducer for Mechanical Assessment of Soft Tissues. Concept, Implementation and Analysis
PublikacjaThe main goal of this work was following: preparation of a new concept, implementation and analysis of the piezoelectric resonant sensor/actuator for measuring the aging process of human skin. The research work has been carried out in the framework of cooperation between the INP-ENSEEIHT-LAPLACE, Toulouse, France, and at the Gdansk University of Technology, Faculty of Electrical and Control Engineering, Research Group of...
-
New concept and analysis of the multicell piezoelectric motor
PublikacjaThis work presents the design, modeling and tests of the prototype multicell piezoelectric motor (MPM). A new concept of the electromechanical structure of the considered prototype is based on three rotating-mode actuators. The electromechanical structure of each actuator has been considered as an independent one - referred to as a ”single cell” (single actuator). Combined three resonant actuators generate three traveling waves...
-
─ Formation of a state institution on the basis of a process analysis - The concept of the institution of cadastre
PublikacjaModification of the structures of public administration encounters major obstacles. Institutional changes are difficult to introduce due to their complexity and broad impact. Non-substantial (political) factors are of importance as well. The resistance to change is aggravated by how difficult it is for decision-makers to assess the impact of the changes that are proposed. We present a method of handling such issues based on the...
-
Greening procedures and analytical parameters. The polychlorinated naphthalenes analysis in complex matrices as proof of concept
PublikacjaDue to the complexity of analytical procedures employed for the determination of wide spectrum of persistent organic pollutants (POPs), it is important to consider the green character of the applied protocols and propose the greenest solutions. In this review, the green aspects of several analytical procedures used for the determination of polychlorinated naphthalenes (PCNs) (as a representatives of POPs) in different types of...
-
The Concept of Accuracy Analysis of the Vertical Displacements Gained from the Hydrostatic Levelling Systems’ Measurements
PublikacjaAbstract: Nowadays, hydrostatic levelling is a widely used method for the vertical displacements’ determinations of objects such as bridges, viaducts, wharfs, tunnels, high buildings, historical buildings, special engineering objects (e.g., synchrotron), sports and entertainment halls. The measurements’ sensors implemented in the hydrostatic levelling systems (HLSs) consist of the reference sensor (RS) and sensors located on the...
-
Concept of Multifactor Method and Non-Functional Requirements Solution to Increase Resilience through Functional Safety with Cybersecurity Analysis
PublikacjaIn the process of designing safety systems, an integrated approach in safety and cybersecurity analysis is necessary. The paper describes a new technique of increasing resilience through integrated analysis of functional safety and cybersecurity. It is a modeling methodology based on the combination of the multifactor method utilizing modified risk graphs, used previously for Safety Integrity Level (SIL) assessment, and the Non-Functional...
-
Koncepcja analizy geoinformacyjnej obrazów rastrowych w rozwiązaniach fotogrametrycznych.The concept of geo-information analysis of photogrametric pictures.
PublikacjaW artykule przedstawione zostały postępy badań nad realizowaną przez autorów artykułu własną koncepcją analizy geoinformacyjnej rastrów, w tym szczególnie obrazów fotogrametrycznych. Zaprezentowano koncepcję oraz funkcje systemu umożliwiającego prezentację informacji związanej z obiektami zidentyfikowanymi na obrazie cyfrowym. Koncepcja zakłada możliwość udostępniania danych w Internecie oraz w rozwiązaniach stanowiskowych wykorzystujących...
-
Sustainable Rainwater Management Concept in a Housing Estate with a Financial Feasibility Assessment and Motivational Rainwater Fee System Efficiency Analysis
Publikacja -
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublikacjaIn this paper a concept of FCA, a system for recognizing, understanding and aestheticization of freehand drawing flow charts is described. The system is based on a proposed by the author FlowGram graph grammar describing flow charts drawing. An open format FlowChartML for flow charts description is also proposed. The aestheticization criterion is formulated that allows for automatic beautification of flow charts. First experiments...
-
New Concept of Numerical Ship Motion Modelling for Total Ship Operability Analysis by Integrating Ship and Environment Under One Overall System
PublikacjaThe paper presents a new concept of overall ship motion modelling for application to total ship operability. The delivered model is a multi-phase and includes both submerged part of ship’s hull and the surrounding water as a unique body. The Discrete Finite Element Method is applied. The model is successfully examined and illustrated for a selected AHTS.
-
The potential of Web-GIS and geovisual analytics in the context of marine cadastre
PublikacjaThe importance of the marine environment to human existence makes it imperative that information models represent the multidimensional nature of reality as closely as possible in order to facilitate good governance. Information regarding jurisdiction, as well as the effects of formal law and community interests on the marine environment (e.g. nature and spatial extents as well as rights, responsibilities, restrictions etc.) would...
-
Karol Grębowski dr inż.
OsobyKarol Grębowski (dr inż.) pracuje jako adiunkt w Katedrze Technicznych Podstaw Projektowania Architektonicznego na Wydziale Architektury Politechniki Gdańskiej. Jego badania naukowe dotyczą zjawisk szybkozmiennych zachodzących podczas drgań konstrukcji budowlanych, obiektów mostowych (trzęsienia ziemi) oraz badania w zakresie metodologii projektowania budynków stanowiących system ochrony pasywnej (SOP) odpornych na uderzenia pojazdów...
-
An integrated framework for security protocol analysis
PublikacjaAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublikacjaSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublikacjaThis chapter presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development. It enhances the decision making process during various activities involved in product development i.e. product design, manufacturing, and inspection planning. This is achieved by using the explicit knowledge of past formal decision events, which are captured, stored, and recalled in the form...
-
Scheduling jobs to contain a natural disaster: a model and complexity
Publikacjathis paper is devoted to the problem of scheduling suppression units so that a natural disaster is dealt with as efficient as possible. the concept of deteriorating jobs is adopted, that is, the formal model of scheduling represents linearly increasing value loss as the disaster remains unsuppressed and increasing time for its suppression. more precisely, two different goals are considered: finding a suppression schedule of minimal...
-
Virtual Engineering Objects: Effective Way of Knowledge Representation and Decision Making
PublikacjaThis paper presents a knowledge representation case study by constructing Decisional DNA of engineering objects. Decisional DNA, as a knowledge representation structure not only offers great possibilities on gathering explicit knowledge of formal decision events but also it is a powerful tool for decision-making process. The concept of Virtual engineering Object (VEO), which is a knowledge and experience representation of engineering...
-
Application of Majority Voting Protocols to Supporting Trading Decisions
PublikacjaA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
APPLICATION OF MAJORITY VOTING PROTOCOLS TO SUPPORTING TRADING DECISIONS
PublikacjaA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
Integrated safety and security analysis of hazardous plants and systems of critical infrastructure
PublikacjaThis article addresses an integrated safety and security analysis approach of hazardous industrial plants and systems of critical infrastructure. Nowadays due to new hazards that emerge there are opinions among experts that these issues require an integrated approach in life cycle, from the design concept, through the design and operation of the plant, to its decommissioning. It is proposed to start from an interesting methodology...
-
Wiktoria Wojnicz dr hab. inż.
OsobyDSc in Mechanics (in the field of Biomechanics) - Lodz Univeristy of Technology, 2019 PhD in Mechanics (in the field of Biomechanics) - Lodz Univeristy of Technology, 2009 (with distinction) Publikacje z listy MNiSW (2009 - ) Wojnicz W., Wittbrodt E., Analysis of muscles' behaviour. Part I. The computational model of muscle. Acta of Bioengineering and Biomechanics, Vol. 11, No.4, 2009, p. 15-21 Wojnicz W., Wittbrodt E.,...
-
Jakub Szulwic dr inż.
OsobyJakub Szulwic (ur. 23 grudnia 1974 w Bydgoszczy) – geodeta uprawniony, specjalizujący się w zakresie pomiarów i oceny geometrii obiektów inżynierskich szczególnie z wykorzystaniem metod fotogrametrii inżynieryjnej i skaningu laserowego; zajmuje się geomatyką i geoinformtyką. Autor ponad 100 publikacji naukowych, w tym 50 indeksowanych w Web of Science (h-index =15). W 1993 roku ukończył klasę o profilu mat-fiz i zdał maturę w Liceum...
-
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublikacjaA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
Applying Decisional DNA to Internet of Things: The Concept and Initial Case Study
PublikacjaIn this article, we present a novel approach utilizing Decisional DNA to help the Internet of Things capture decisional events and reuse them for decision making in future operations. The Decisional DNA is a domain-independent, standard and flexible knowledge representation structure that allows its domains to acquire, store, and share experiential knowledge and formal decision events in an explicit way. We apply this approach...
-
Towards Experience-Based Smart Product Design for Industry 4.0
PublikacjaThis paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...
-
Scalar and Vector acoustic fields and sources: a new look
PublikacjaA study of fundamental problems of the wavefields that are the reaction of fluid continuum on two kinds of primary actions in fluid, then on two kinds of elementary point sources, is presented in this paper, based on the assumption of the physical duality of linear fluid mechanics and the formal symmetry of mathematical description. The two fundamental wavefields generated in fluid by physical point sources are discussed in detail,...
-
Completeness and Consistency of the System Requirement Specification
PublikacjaAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublikacjaIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
Comparison of requirements for location, maintenance and removal of road advertising between polish and foreign regulations
PublikacjaThe article gives an overview of Polish and international formal and legal requirements for roadside advertising and the relevant road safety impacts. The analysis focussed on outdoor advertising life cycle consisting of three stages: location, operation and removal of advertising. Experience of road authorities from Australia (Queensland), Republic of South Africa and the United Kingdom was collected. The article is part of a...
-
Knowledge management in SMEs - theoretical considerations.
PublikacjaThe purpose of this chapter is to present an analysis of knowledge management concept with regard to small and medium-sized enterprises. It is aimed to propose an overview for SMEs to apply this above-mentioned concept. This overview can be used by managers and owners of SMEs to introduce knowledge management into their organizational structures.
-
Trends in Locally Balanced Energy Systems without the Use of Fossil Fuels: A Review
PublikacjaIn recent years, the idea of the operation of energy systems (power systems, heating systems) has changed significantly. This paper is an overview of locally balanced energy systems without the use of fossil fuels. The paper justifies the concept of local energy balancing in a new energy system that does not use fossil fuels (coal, natural gas, and crude oil), based on European Union guidelines and formal documents as well as the...
-
Shaping Place Identity through Interaction on the Example of the European Solidarity Centre in Gdansk
PublikacjaThe article presents process of shaping place identity on the example of an important for Pomerania region investment - European Solidarity Centre. The realization of the European Solidarity Centre aims to be one of the essential elements of shaping Gdańsk’s identity of space. The article is an attempt to analyse how the presence of realization gradually affects the formation of the place identity of new urban space. Analysis...
-
Implementing Smart Virtual Product Development (SVPD) to Support Product Manufacturing
PublikacjaThis paper illustrates the concept of providing the manufacturing knowledge during early stages of product life cycle to experts working on product development. The aim of this research is to enable a more collaborative product development environment by using Smart Virtual Product Development (SVPD) system, which is powered by Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product...
-
Emilia Miszewska dr inż.
OsobyEmilia Miszewska urodziła się w 1986 roku w Gdańsku. Ukończyła Szkołę Podstawową nr 17 w Gdańsku z klasami sportowymi o profilu pływanie oraz Liceum Sportowe nr 11 im. Janusza Kusocińskiego w Gdańsku. W 2005 roku rozpoczęła jednolite studia magisterskie na Wydziale Inżynierii Lądowej i Środowiska, które ukończyła w roku 2011, broniąc pracę dyplomową pt. „Analiza i opracowanie wytycznych zabezpieczenia pożarowego oraz planu...
-
Software Implementation of the RAKE receiver
PublikacjaThis paper presents concept of the RAKE receiver method with implemented algorithm of shifted phase WMSA filter (Weighed Multi-Slot Averaging). First, the RAKE receiver block diagram and WMSA filter analysis have been described. Next, the results of the simulation have been described. In summary usefulness of the concept has been confirmed.
-
Smart Decisional DNA Technology to Enhance Industry 4.0 Environment in Conjunction with Conventional Manufacturing
PublikacjaKnowledge-based support has become an indispensable part not only to the traditional manufacturing set-ups but also to the new fast-emerging Industry 4.0 scenario. In this regard, successful research has been performed and extensively reported to develop Decisional DNA based knowledge representation models of engineering object and engineering process called Virtual engineering object (VEO), Virtual engineering process (VEP) and...
-
Security aspects in functional safety analysis
PublikacjaA security level of distributed control and protection system may have a significant impact on the results of functional safety analysis. However, the issue of integrating the safety and security aspects is difficult and usually is neglected during the functional safety analysis. This article presents a method of functional safety analysis which takes into consideration a concept of integrating these two aspects. It is based on...
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publikacjan order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Analysis of positioning error and its impact on high frequency properties of differential signal coupler
PublikacjaThis paper presents the analysis of the effect of differential signal coupler positioning accuracy on its high frequency performance parameters for contact-less high speed chip-to-chip data transmission on PCB application. Our considerations are continuation of the previous works on differential signal coupler concept, design methodology and analysis for high speed data transmission monitoring. The theoretical analysis of possible...
-
The impact of institutions on innovation networks: empirical evidence from Poland
PublikacjaInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
The influence of robotization on the reliability of the production process in the bakery industry
PublikacjaThis article presents a new concept of technological system reliability based on the analysis of the relationship of associations of elements of energy streams, matter, information, time and finance. The method of stream specification and the method of determining the reliability values of significant and supporting relationships are given. Relevant relationships between elements of system streams were defined as having one-time...
-
The Brain of the city
PublikacjaIn order to highlight the characteristics of the West End of Wrocław, we conducted a site analysis. Using the strengths of the site, we were able to create a unique concept of the district while minimizing the impacts of weaknesses by design. The purpose of redesigning the West End of Wrocław is to attract new people to the district through the transformation of an identity. Initially, we conducted a SWOT analysis to identify the...
-
Analysis of Positioning Error and Its Impact on High Frequency Performance Parameters of Differential Signal Coupler of Differential Signal Coupler
PublikacjaThis paper presents the analysis of the effect of differential signal coupler positioning accuracy on its high frequency performance parameters for contact-less high speed chip-to-chip data transmission on PCB application. Our considerations are continuation of the previous works on differential signal coupler concept, design methodology and analysis for high speed data transmission monitoring presented in [1, 2]. The theoretical...
-
How to adapt Lean Six Sigma to improve performance of SMEs of manufacturing sector
PublikacjaThe main objective of the paper is to present the utilitarian effect of the adaptation of the Lean Six Sigma concept and its implementation in the small and medium-sized enterprises of the manufacturing sector. The original methodology was developed on the basis of research carried out in the Polish and French enterprises from 2009 to 2011. In the case of SMEs, the use of the concept of Lean Six Sigma is much less common, as...
-
Text-mining Similarity Approximation Operators for Opinion Mining in BI tools
PublikacjaThe concept of the Text-mining Similarity Approximation Operators for Opinion Mining as extensions to Natural Language Interface Database is defined. The new operators: “keywords of” dimension; subsetting operator “about C is q”; aggregation operator “by similar C” are proposed. These operators are based on the Latent Semantic Analysis and Social Network Analysis
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublikacjaIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
Arsalan Muhammad Soomar Doctoral Student
OsobyHi, I'm Arsalan Muhammad Soomar, an Electrical Engineer. I received my Master's and Bachelor's Degree in the field of Electrical Engineering from Mehran University of Engineering and Technology, Jamshoro, Sindh, Pakistan. Currently enrolled as a Doctoral student at the Gdansk University of Technology, Gdansk, Poland. Also worked in Yellowlite. INC, Ohio as a Solar Design Engineer. HEADLINE Currently Enrolled as a Doctoral...