Search
Filters
total: 21616
-
Catalog
displaying 1000 best results Help
Search results for: AUTOMATED CODE GENERATION
-
International Symposium on Code Generation and Optimization
Conferences -
Marek Moszyński dr hab. inż.
People -
Artificial intelligence for software development — the present and the challenges for the future
PublicationSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Influence of finishing colour on the efficiency of automated production line for wooden doors
PublicationPorta KMI Poland S.A. company has implemented a fully automated intelligent technological line TechnoPORTA for customized mass-production of technical door leaves. Each door leaf is provided with a unique QR code. It allows the line modules to individually adjust the machining parameters to the currently processed element according to the IT controlling system. Before en-tering the TechnoPorta line, the door leaves are not sorted,...
-
Matching Exception Class Hierarchies between .NET, Java Environments
PublicationThe paper presents a methodology of exception classification and matching exception messages between .NET andJava environments. The methodology operates on existing exception class hierarchies and proposes two complementingapproaches: automated and manual matching. The automated matching uses the similarity measure to find associationsbetween exception messages from the two sets of classes for the considered programming languages....
-
Wybrane problemy ochrony żeglugi (Maritime Security)
Publicationprzedstawiono zagadnienia ochrony żeglugi w aspekcie uwarunkowań związanych z radiokomunikacją morską. Opisano Międzynarodowy Kodeks Ochrony Statków i Urządzeń Portowych - ISPS (International Ship and Port Facility Security Code) i Statkowy System Alarmowania - SSAS (Ship Security Alert System) oraz także scharakteryzowano system AIS (Automated Information System) i System Identyfikacji i Śledzenia Dalekiego Zasięgu - LRIT (Long...
-
SUSHI - jak to ugryźć? Czyli o standaryzacji i gromadzeniu statystyk wykorzystania zasobów elektronicznych na przykładzie Biblioteki Głównej Gdańskiego Uniwersytetu Medycznego
PublicationStatystyki wykorzystania dostarczają bibliotekarzom informacji niezbędnych przy podejmowaniu decyzji o zakupie dostępu do wybranych zasobów elektronicznych. W roku 2002 rozpoczął działalność międzynaro- dowy projekt COUNTER (Counting Online Usage of Networked Electronic Resources), którego celem było ujednolicenie raportów wykorzystania e-zasobów, a także uczynienie ich możliwie najbardziej miarodajnymi. W roku 2007 amerykańska...
-
Kod fontannowy z przyrastającą liczbą symboli źródłowych
PublicationKody fontannowe zabezpieczające transmisję przed wymazaniami wyróżnia brak określonej z góry długości i losowy sposób generacji kolejnych pakietów kodowych. W pracy pokazano jak właściwości tych kodów zależą od rozkładu macierzy generującej dla dwóch wariantów dostarczania pakietów do kodera. Szczególnie interesujący jest przypadek, gdy pakiety źródłowe trafiają do kodera stopniowo podczas transmisji. Uzyskane wyniki wskazują na...
-
Magdalena Szuflita-Żurawska
PeopleHead of the Scientific and Technical Information Services at the Gdansk University of Technology Library and the Leader of the Open Science Competence Center. She is also a Plenipotentiary of the Rector of the Gdańsk University of Technology for open science. She is a PhD Candidate. Her main areas of research and interests include research productivity, motivation, management of HEs, Open Access, Open Research Data, information...
-
Automated Reduced Model Order Selection
PublicationThis letter proposes to automate generation of reduced-order models used for accelerated -parameter computation by applying a posteriori model error estimators. So far,a posteriori error estimators were used in Reduced Basis Method (RBM) and Proper Orthogonal Decomposition (POD) to select frequency points at which basis vectors are generated. This letter shows how a posteriori error estimators can be applied to automatically select...
-
Kodikas/Code
Journals -
Noise effect on parameters of quiet sonar with code modulation
PublicationEarlier publications of the paper authors have shown that the use of code keying mixed with the CW FM sound signal allows the significant reduction in the distance measurement error, compared to classic silent CW FM sonar. In addition to the code modulation parameters, the magnitude of this error is influenced by the received input acoustic noise. The article shows the dependence of the input signal-to-noise ratio and the sound...
-
Active and Dynamic Graphical Code for Object Identification in Healthcare
PublicationA new approach for item marking using two dimensional discrete graphics markers. Proposed solution allow o change the code rapidly, upon request and in the case of thermal markers make the code invisible for unauthorized observers. Connecting the proposed codes with wearable multmedial platform such as eGlasses can create new possibilities in human-environment interaction.
-
Automated Reasoning Based User Interface
PublicationMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Average Redundancy of the Shannon Code for Markov Sources
PublicationIt is known that for memoryless sources, the average and maximal redundancy of fixed–to–variable length codes, such as the Shannon and Huffman codes, exhibit two modes of behavior for long blocks. It either converges to a limit or it has an oscillatory pattern, depending on the irrationality or rationality, respectively, of certain parameters that depend on the source. In this paper, we extend these findings, concerning the Shannon...
-
Automated Design of Linear Phase Filters
PublicationThis paper presents a fast technique for an automated design of microwave filters with linear phase. The proposed method exploits the cost function defined using the location of complex zeros and poles of the filter’s transfer and reflection function. The effectiveness of the proposed technique is presented with two illustrative examples.
-
Quick Response code w komunikacji marketingowej
PublicationPodstawą efektywnego prowadzenia firmy jest wymiana różnego rodzaju informacji z klientami, partnerami i dostawcami. Mnogość dostępnych mediów, różny stopień trudności ich wykorzystania oraz różna moc sprawcza i prawna prowadzonej za ich pośrednictwem komunikacji powodują, że współczesnym przedsiębiorstwom coraz trudniej jest panować nad skutecznym dostarczaniem i odbieraniem informacji. Wydaje się, że panaceum na te problemy może...
-
The New Chinese Civil Code and its contribution to Sustainable Development
PublicationThe first civil code of the People’s Republic of China in the history was adopted by the 13th National People’s Congress in Beijing on 28 May 2020 and will enter into effect on 1 January 2021. The new civil code puts much more emphasis on the sustainable development and protection of the environment and because of that, the Chinese private law has begun to respond to ecological problems as well. The...
-
Analysis of distance measurement errors in CW FM sonar with MLS code modulation
PublicationAlthough used in the classic silent sonar, the CW FM sounding signal has a major flaw which is its inaccuracy in determining the distance to a target. The authors of the article have developed a concept of silent sonar using frequency modulation signals switched by pseudorandom codes, already discussed in their previous work. This article presents a detailed analysis of errors in CW FM sonar with pseudo-random sequence code modulation...
-
Increasing K-Means Clustering Algorithm Effectivity for Using in Source Code Plagiarism Detection
PublicationThe problem of plagiarism is becoming increasingly more significant with the growth of Internet technologies and the availability of information resources. Many tools have been successfully developed to detect plagiarisms in textual documents, but the situation is more complicated in the field of plagiarism of source codes, where the problem is equally serious. At present, there are no complex tools available to detect plagiarism...
-
QR CODE JAKO NARZĘDZIE KOMUNIKACJI Z KLIENTAMI
PublicationKażdą nową technologię użytkownicy muszą zacząć postrzegać jako użyteczną, aby mogła się ona upowszechnić. W ten sposób działania z nią związane stają się codziennością. Jednak oprócz użyteczności dla konsumentów istotna jest też prostota użytkowania technologii. Obie cechy dotyczą technologii mobilnych i związanych z nimi działań określanych mianem marketingu mobilnego . Zalicza się do nich: wysyłanie SMS i MMS, włączanie bluetooth...
-
On Accuracy Modeling of Gas Turbine Cycles by the In-house COM-GAS Code
PublicationIn this paper, a comparison of accuracy modeling of gas turbine cycles between the basic (classical) model and the in-house COM-GAS code has been presented. The basic model uses a semi-perfect gas and well known projecting assumption. On the other hand, the computational flow mechanics (CFM) basis on a real gas by using thermodynamic tables. The thermodynamic analysis of thermal cycles, simply gas cycle GT8C and gas turbine cycle...
-
Complementarity between entanglement-assisted and quantum distributed random access code
PublicationCollaborative communication tasks such as random access codes (RACs) employing quantum resources have manifested great potential in enhancing information processing capabilities beyond the classical limitations. The two quantum variants of RACs, namely, quantum random access code (QRAC) and the entanglement-assisted random access code (EARAC), have demonstrated equal prowess for a number of tasks. However, there do exist specific...
-
SEMG signal database for the automated upper limb rehabilitation process
Open Research DataAn automated rehabilitation device control system requires information about the patient's physiological condition. This is possible thanks to the use of biological feedback in the form of electromyography and surface signals (Surface Electromyography, SEMG).
-
Code Obfuscation. Where is it Heading?
Publication -
An Automated Method for Biometric Handwritten Signature Authentication Employing Neural Networks
PublicationHandwriting biometrics applications in e-Security and e-Health are addressed in the course of the conducted research. An automated graphomotor analysis method for the dynamic electronic representation of the handwritten signature authentication was researched. The developed algorithms are based on dynamic analysis of electronically handwritten signatures employing neural networks. The signatures were acquired with the use of the...
-
Automated Software Engineering
Journals -
JOURNAL OF AUTOMATED REASONING
Journals -
Identification, Assessment and Automated Classification of Requirements Engineering Techniques
PublicationSelection of suitable techniques to be used in requirements engineering or business analysis activities is not easy, especially considering the large number of new proposals that emerged in recent years. This paper provides a summary of techniques recommended by major sources recognized by the industry. A universal attribute structure for the description of techniques is proposed and used to describe 33 techniques most frequently...
-
Automated microwave planar filter design with generalized Chebyshev characteristics.
PublicationIn this paper a technique of automatization of design of microwave filters with generalized Chebyshev characteristics is presented. A full wave electromagnetic simulator linked with the Matlab computing environment is used to ensure a rigorous numerical analysis while at the same time allowing automatization. To decrease time of optimization and overall design process, the Cauchy interpolation technique was used. An automated design...
-
The Proposition of an Automated Honing Cell with Advanced Monitoring
PublicationHoning of holes allows for small shape deviation and a low value of a roughness profile parameter, e.g., Ra parameter. The honing process heats the workpiece and raises its temperature. The increase in temperature causes thermal deformations of the honed holes. The article proposes the construction of a honing cell, containing in addition to CNC honing machine: thermographic camera, sound intensity meter, and software for collecting...
-
Better understanding EMI generation of power converters
PublicationPrzedstawiono metodę przewidywania poziomu zaburzeń w układzie podwyższającym napięcie w oparciu o metodę filtracji Wienera. Pozwoliło to na określenie odpowiedzi impulsowej pomiędzy przyczyną zaburzenia (zmianą napięcia na elementach półprzewdonikowych) a zaburzeniem. Metodę zwerifikowano przy użyciu danych z symulacji oraz pomiarów w rzeczywistym obiekcie
-
Microscopic traffic simulation models for connected and automated vehicles (CAVs) – state-of-the-art
PublicationResearch on connected and automated vehicles (CAVs) has been gaining substantial momentum in recent years. However, thevast amount of literature sources results in a wide range of applied tools and datasets, assumed methodology to investigate thepotential impacts of future CAVs traffic, and, consequently, differences in the obtained findings. This limits the scope of theircomparability and applicability and calls for a proper standardization...
-
AUTOMATED SYSTEM FOR FLUCTUATION ENHANCED GAS SENSING
PublicationResistance gas sensors exhibit random phenomena (resistance noise) which can be utilized to improve gas sensitivity and selectivity. That new emerging technique has to be investigated to recognize optimal parameters for gas detection. It means that a measurement system has to have ability of numerous parameters adjustment (e.g., sampling frequency, heater voltage, polarization current, voltage noise amplification). That fact induced...
-
Automated Diagnostics of Current Pick-Up Disturbances in Electric Traction Networks
PublicationThe present work defines the basic causes of bow disturbances of current pick-up, sets a task of establishing a system of automated control of bow disturbances at feeder zones of electric traction networks, proposes structural variants of the technical system implementation, describes the algorithm of detection of bow disturbances of current pick-up.
-
Landscape of Automated Log Analysis: A Systematic Literature Review and Mapping Study
PublicationLogging is a common practice in software engineering to provide insights into working systems. The main uses of log files have always been failure identification and root cause analysis. In recent years, novel applications of logging have emerged that benefit from automated analysis of log files, for example, real-time monitoring of system health, understanding users’ behavior, and extracting domain knowledge. Although nearly every...
-
rysunek pt. QR Code – Klepsydra
Publication -
Client-side versus server-side geographic data processing performance comparison: Data and code
PublicationThe data and code presented in this article are related to the research article entitled “Analysis of Server-side and Client-side Web-GIS data processing methods on the example of JTS and JSTS using open data from OSM and Geoportal” (Kulawiak et al., 2019). The provided 12 datasets include multi-point and multi-polygon data of different scales and volumes, representing real-world geographic features. The datasets cover the area...
-
Computer-Aided Automated Greenery Design—Towards a Green BIM
PublicationContemporary climate challenges are changing the architect’s awareness, which results in a broader spectrum of interest. The available software enables the design of vegetation, but it is often very limited and requires specialist knowledge. The available software allows the creation of individual solutions based on visual algorithms or writing scripts; however, they are still not common methods used in architecture and urban planning....
-
Multi-criteria Robot Selection Problem for an Automated Single-Sided Lapping System
PublicationFlat lapping is a crucial process in a number of precision manufacturing technologies. Its aim is to achieve extremely high flatness of the workpiece. Single-sided lapping machines have usually standard kinematic systems and are used in conjunction with conditioning rings, which are set properly be-tween the center and the periphery of the lapping plate. In this paper, instead of conventional single-side lapping machine, an automated...
-
Finite element matrix generation on a GPU
PublicationThis paper presents an efficient technique for fast generation of sparse systems of linear equations arising in computational electromagnetics in a finite element method using higher order elements. The proposed approach employs a graphics processing unit (GPU) for both numerical integration and matrix assembly. The performance results obtained on a test platform consisting of a Fermi GPU (1x Tesla C2075) and a CPU (2x twelve-core...
-
Source Code for Biology and Medicine
Journals -
State of the Art of Automated Buses
PublicationUrban transportation in the next few decades will shift worldwide towards electrification and automation, with the final aim of increasing energy efficiency and safety for passengers. Such a big change requires strong collaboration and efforts among public administration, research and stakeholders in developing, testing and promoting these technologies in the public transportation. Working in this direction, this work provides...
-
Automated network control and supervision
PublicationPrzedstawiono ogólne problemy związane z postępem w zakresie integracji systemów informatycznych w elektroenergetyce. Podano zasady budowy struktury systemów sterowania i nadzoru.
-
Analysis of electricity generation variability in 2019 with special consideration of electrical energy generation from wind sources.
PublicationThis article presents issues related to the broadly understood development of wind energy. The state of the art of wind energy in the world has been discussed. This paper also shows issues related to factors affecting the development of renewable energy sources and their impact on the natural environment on the basis of available research. The focus is, however, on the critical analysis of phenomena in the data of the Transmission...
-
Systematic Test Data Generation for Embedded Software
PublicationSystematic Test Data Generation for Embedded Software
-
Optimization of a FDTD code for graphical processing units
PublicationArtykuł prezetuje implementację algorytmu FDTD w postaci jawnej przeznaczonej dla kart graficznych. Wykazany został wzrost efektywności obliczeń numerycznych w odniesieniu do implementacji przeznaczonej dla procesora komputerowego.
-
NAVIGATION USERS OF MULTI-GNSS CODE RECEIVERS
Publication -
Automated analyser for monitoring trace amounts of volatile chloro-organic compounds in recirculated industrial water
PublicationOpisano konstrukcję oraz badania laboratoryjne modelu nowego automatycznego analizatora śladowych ilości lotnych związków chlorowco-organicznych w wodzie do celów przemysłowych (o wysokiej czystości). Praca analizatora oparta jest na: - przeciwprądowym ciągłym wypłukiwaniu analitów ze strumienia próbki, - okresowym zatrzymywaniu uwolnionych analitów na złożu sorbenta, - desorpcji termicznej, - oznaczaniu sumy związków chlorowco-organicznych...
-
Low-Cost Automated Design of Compact Branch-Line Couplers
PublicationBranch-line couplers (BLCs) are important components of wireless communication systems. Conventional BLCs are often characterized by large footprints which make miniaturization an important prerequisite for their application in modern devices. State-of-the-art approaches to design of compact BLCs are largely based on the use of high-permittivity substrates and multi-layer topologies. Alternative methods involve replacement of transmission-line...