Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "oprogramowania" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 154
Tytuł:
PRAWO WŁASNOŚCI INTELEKTUALNEJ DZIEŁ GENEROWANYCH KOMPUTEROWO POCHODZĄCYCH ZE SZTUCZNEJ INTELIGENCJI
Autorzy:
Akbar, Ismanjanov,
Powiązania:
https://bibliotekanauki.pl/articles/567804.pdf
Data publikacji:
2019-09-04
Wydawca:
Międzynarodowy Instytut Innowacji Nauka – Edukacja – Rozwój w Warszawie
Tematy:
prawa autorskie w dziełach generowanych komputerowo
autor sztucznej inteligencji
prawo dotyczące oprogramowania generatywnego
dychotomia oryginalności i ekspresji pomysłów
Opis:
Wraz z rozprzestrzenianiem się sztucznej inteligencji, powstał również problem tworzenia dzieł, chronionych prawem autorskim, autonomicznie przez komputer, bez znacznych nakładów ludzkiego wysiłku i umiejętności. Dzisiejsza rzeczywistość polega na tym, że treść informacji pochodzi głównie z komputera, gdzie dychotomia wyrażania idei oryginalności odnosi się raczej do komputera niż do człowieka. Jednak prawa autorskie obracają się wokół autor- stwa skoncentrowanego na człowieku, stawiając opór kreatywności innej niż ludzka. W kontekście autorstwa, sztuczna kategoria korporacji posiadającej własność w interesie akcjonariuszy, pozwalająca na zastosowanie w odniesieniu do autora sztucznej inteligencji. Co więcej, programy komputerowe dokonujące niezależnego wyboru w nieprzewidywalności wyniku operacji mogą obiektywnie przybliżać sztuczną inteligencję do kwalifikacji autorstwa. prawa autorskie w dziełach generowanych komputerowo, autor sztucznej inteligencji, prawo dotyczące oprogramowania generatywnego, dychotomia oryginalności i ekspresji pomysłów
Źródło:
International Journal of Legal Studies (IJOLS); 2019, 5(1); 307-316
2543-7097
2544-9478
Pojawia się w:
International Journal of Legal Studies (IJOLS)
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methods and models of reliable software protection systems
Metody i modele systemów ochrony niezawodności oprogramowania
Autorzy:
Aleksander, M.
Petrov, A.
Powiązania:
https://bibliotekanauki.pl/articles/312454.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
software protection systems
software reliability
executable code
analysis of executable code
systemy ochrony
niezawodność oprogramowania
kod wykonywalny
analiza kodu wykonywalngo
Opis:
The article deals with the problems in constructing a protection system of executable code. The techniques of breaking the integrity of executable code and ways to eliminate them are described. The adoption of virtual machine technology in the context of executable code protection from analysis is considered. The substantiation of the application of virtual machines as the best way to oppose the analysis of executable code is made. The protection of executable code by transferring the protected code in a virtual execution environment is considered. An efficient implementation of the method is proposed. Also, general characteristics of information systems software life cycle are specified in this paper, considered software protection applications reliability questions and use of fail-safe ensuring programming. In addition there presented some known models used for software debugging and operating.
Artykuł dotyczy problemów w opracowywaniu systemów ochrony kodu wykonywalnego. Zostały opisane techniki przerwania integralności kodu wykonywalnego. Uwzględniono zastosowanie technologii maszyn wirtualnych w kontekście ochrony analizy kodu wykonywalnego. Przedstawiono dowód na zastosowanie maszyn wirtualnych, jako najlepszego sposobu przeciwdziałania analizy kodu wykonywalnego. Ponadto przedstawiono ogólną charakterystyka systemów informatycznych, cyklu życia oprogramowania, ochrony oprogramowania, kwestie niezawodności aplikacji oraz zapewnienia bezawaryjności działania oprogramowania
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 37-46
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generating placated random shapes for an area estimation study
Autorzy:
Almowanes, A.
Kakiashvili, T.
Koczkodaj, W. W.
Powiązania:
https://bibliotekanauki.pl/articles/123002.pdf
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
image processing
Gaussian blur
random polygon
computational geometry
cognitive process
software testing
przetwarzanie obrazów
geometria obliczeniowa
proces poznawczy
testowanie oprogramowania
Opis:
Random but visually nice shapes are often needed for cognitive experiments and processes. This study describes a heuristic for generating random but nice shapes. We call them placated shapes. These shapes are produced by applying the Gaussian blur to randomly generated polygons. Subsequently, the threshold is set to transform pixels to black and white from different shades of gray. This transformation produces placated shapes for easier estimation of areas. Randomly generated placated shapes are used for testing the accuracy of cognitive processes by pairwise comparisons. They can also be used in many other areas such as computer games or software testing. Such shapes could also be used for camouflaging heavy army equipment.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2013, 12, 2; 5-13
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hybrid binary whale optimization algorithm based on taper shaped transfer function for software defect prediction
Hybrydowy, binarny algorytm WOA oparty na transmitancji stożkowej do prognozowania defektów oprogramowania
Autorzy:
Alnaish, Zakaria A. Hamed
Hasoon, Safwan O.
Powiązania:
https://bibliotekanauki.pl/articles/27315468.pdf
Data publikacji:
2023
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
feature selection
binary whale optimization algorithm
taper-shaped transfer function
software defect prediction
wybór cech
algorytm optymalizacji binarnej
transmitancja stożkowa
przewidywanie defektów oprogramowania
Opis:
Reliability is one of the key factors used to gauge software quality. Software defect prediction (SDP) is one of the most important factors which affectsmeasuring software's reliability. Additionally, the high dimensionality of the features has a direct effect on the accuracy of SDP models.The objective of this paper is to propose a hybrid binary whale optimization algorithm (BWOA) based on taper-shape transfer functions for solving feature selection problems and dimension reduction with a KNN classifier as a new software defect prediction method. In this paper, the values of a real vector that representsthe individual encoding have been converted to binary vector by using the four types of Taper-shaped transfer functionsto enhance the performance of BWOA to reduce the dimension of the search space. The performance of the suggestedmethod (T-BWOA-KNN)was evaluatedusing eleven standard software defect prediction datasets from the PROMISE and NASA repositories depending on the K-Nearest Neighbor (KNN) classifier. Seven evaluation metrics have been used to assess the effectiveness of the suggested method. The experimental results have shownthat the performanceof T-BWOA-KNNproduced promising results compared to other methods including ten methods from the literature, four typesof T-BWOAwith the KNN classifier. In addition, the obtained results are compared and analyzed with other methods from the literature in termsof the average numberof selected features (SF) and accuracy rate (ACC) using the Kendall W test. In this paper, a new hybrid software defect prediction methodcalledT-BWOA-KNNhas been proposed which is concerned with the feature selection problem. The experimental results have provedthatT-BWOA-KNN produced promising performance compared with other methods for most datasets.
Niezawodność jest jednym z kluczowych czynników stosowanych do oceny jakości oprogramowania.Przewidywanie defektów oprogramowania SDP (ang. Software Defect Prediction) jest jednym z najważniejszych czynników wpływających na pomiar niezawodności oprogramowania. Dodatkowo, wysoka wymiarowość cech ma bezpośredni wpływ na dokładność modeli SDP.Celemartykułu jest zaproponowanie hybrydowego algorytmu optymalizacji BWOA (ang. Binary Whale Optimization Algorithm) w oparciu o transmitancję stożkową do rozwiązywania problemów selekcji cech i redukcji wymiarów za pomocą klasyfikatora KNN jako nowej metody przewidywania defektów oprogramowania.W artykule, wartości wektora rzeczywistego, reprezentującego indywidualne kodowanie zostały przekonwertowane na wektor binarny przy użyciu czterech typów funkcji transferu w kształcie stożka w celu zwiększenia wydajności BWOA i zmniejszenia wymiaru przestrzeni poszukiwań.Wydajność sugerowanej metody (T-BWOA-KNN) oceniano przy użyciu jedenastu standardowych zestawów danych do przewidywania defektów oprogramowania z repozytoriów PROMISE i NASA w zależności od klasyfikatora KNN. Do oceny skuteczności sugerowanej metody wykorzystano siedemwskaźników ewaluacyjnych. Wyniki eksperymentów wykazały, że działanie rozwiązania T-BWOA-KNN pozwoliło uzyskaćobiecujące wyniki w porównaniu z innymi metodami, w tym dziesięcioma metodami na podstawie literatury, czterema typami T-BWOA z klasyfikatorem KNN. Dodatkowo, otrzymane wyniki zostały porównanei przeanalizowane innymi metodami z literatury pod kątem średniej liczby wybranych cech (SF) i współczynnika dokładności (ACC), z wykorzystaniem testu W.Kendalla. W pracy, zaproponowano nową hybrydową metodę przewidywania defektów oprogramowania, nazwaną T-BWOA-KNN, która dotyczy problemu wyboru cech. Wyniki eksperymentów wykazały, że w przypadku większości zbiorów danych T-BWOA-KNN uzyskała obiecującą wydajnośćw porównaniu z innymi metodami.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2023, 13, 4; 85--92
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Internal control standards and software support for risk management in public administration
Wsparcie zarządzania bezpieczeństwem informacji i zarządzania ryzykiem w administracji publicznej
Autorzy:
Bagiński, J.
Powiązania:
https://bibliotekanauki.pl/articles/375817.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
risk management
risk analysis
software support
internal control standards
information security
business continuity
zarządzanie ryzykiem
analiza ryzyka
wsparcie oprogramowania
standardy kontroli wewnętrznej
bezpieczeństwo informacji
ciągłość działania
Opis:
The chapter deals with the issue of the risk and security management process in public administration, according to the internal audit standards and their requirements. Main legal acts and standards were specified and shortly described. Specially the risk analysis process and security measures selection were emphasized. The possibility to use the software tools for the risk analysis and security measures selection support in public administration was presented. The experiment of OSCAD usage in public administration was shortly described and its results were presented. This experiment shows that the software primarily intended for IT Security Management can be used for risk management in different area as well, for example – in public administration. Some possibilities of further development of risk management supporting tools were proposed
Rozdział dotyczy problemów procesu zarządzania ryzykiem i zarządzania bezpieczeństwem w administracji publicznej i jednostkach sektora finansów publicznych, w odniesieniu do standardów kontroli zarządczej i ich wymagań. W artykule wymieniono i krótko opisano główne akty prawne i standardy związane z tymi tematami. Szczególnie wyróżniono proces analizy ryzyka i doboru zabezpieczeń. Przedstawiono możliwość wykorzystania narzędzi komputerowych do wsparcia procesu zarządzania ryzykiem i doboru zabezpieczeń w jednostkach administracji publicznej. Krótko opisano próbę wykorzystania do tego celu oprogramowania OSCAD. Eksperyment ten wykazał możliwość wykorzystania w obszarze administracji publicznej narzędzia, dedykowanego pierwotnie do wsparcia procesu zarządzania bezpieczeństwem informacji i ciągłością działania. Na koniec przedstawiono możliwości dalszego rozwoju narzędzi wspierających proces zarządzania ryzykiem.
Źródło:
Theoretical and Applied Informatics; 2014, 26, 3-4; 119-135
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ procedur i narzędzi stosowanych przy projektowaniu mostów na bezpieczeństwo ich konstrukcji
Impact of bridge design procedures and tools on the safety of bridge structures
Autorzy:
Bąk, Jerzy
Grej, Krzysztof
Pijanowski, Krzysztof
Oleszek, Radosław
Powiązania:
https://bibliotekanauki.pl/articles/24024766.pdf
Data publikacji:
2022
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
bezpieczeństwo konstrukcji
procedura obliczeń
błąd oprogramowania
construction safety
calculation procedures
software error
Opis:
W artykule omówiono wpływ procedur stosowanych w obliczeniach konstrukcji mostowych na bezpieczeństwo konstrukcji. Porównano wyniki obliczeń wybranych elementów konstrukcji uzyskane przy zastosowaniu procedur rekomendowanych obecnie w Polsce z wynikami uzyskanymi z użyciem procedur powiązanych z systemem norm PN-S-XXXXX, które były stosowane przed kilkoma laty. Zwrócono uwagę na zwiększoną pracochłonność obliczeń wykonywanych według norm systemu PN-EN, a także na utrudniony proces weryfikacji obliczeń i związane z tym zagrożenie dla konstrukcji spowodowane trudnością w wykrywaniu błędów. Podano przykłady błędów i nieścisłości w oprogramowaniu i kalkulatorach do obliczeń konstrukcyjnych powszechnie stosowanych w Europie (i gdzie indziej). Wskazano warunki, które powinny być spełnione dla ich bezpiecznego użytkowania.
The article discusses the impact of procedures used in the calculation of bridge structures on the safety of structures. A comparison was made between the results of calculations of selected structural elements obtained using procedures currently recommended in Poland and those obtained using procedures associated with the PN-S-XXXXX system of standards which were used several years ago. Attention has been drawn to the increased time-consumption of calculations made according to PN-EN system standards, as well as to the difficult process of verifying calculations and the related threat to structures caused by the difficulty in detecting errors. Examples are given of errors and inaccuracies in software and calculators for structural calculations commonly used in Europe (and elsewhere). Conditions which should be met for their safe use are indicated.
Źródło:
Drogownictwo; 2022, 2-3; 40--48
0012-6357
Pojawia się w:
Drogownictwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of agri-food products on the basis of solid geometry with examples in Autodesk 3ds Max and finite element mesh generation
Modelowanie bryłowe produktów rolno-żywnościowych z przykładami w Autodesk 3ds Max i tworzeniem siatek elementów skończonych
Autorzy:
Balcerzak, K.
Weres, J.
Górna, K.
Idziaszek, P.
Powiązania:
https://bibliotekanauki.pl/articles/335255.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:
geometry modeling
cereal grain
kernel
3ds Max modeling
FEM mesh generation
software development
modelowanie geometrii
ziarniak
zboże
modelowanie
3ds Max
generowanie siatek MES
tworzenie oprogramowania
Opis:
In order to predict behavior of agri-food products subjected to drying, cooling and heating operations, adequate data on product geometry are required in mathematical models of heat and water transport. Sufficient knowledge about geometry of agri-food products is lacking due to the complexity of their shape. Therefore an original approach consisting in the 3ds Max solid geometry modeling was developed and exemplified for the case of corn and oat kernels. To acquire data on the original product geometry, the approach was supported with image processing and analysis, generation of finite element meshes, and collection of coordinates of mesh nodes. The geometry models of investigated products were developed in the intention of future enhancement of mathematical models and predictions of cereal grain drying and storing processes.
Aby prognozować zachowanie produktów rolno-żywnościowych poddawanych operacjom suszenia, chłodzenia i ogrzewania, w matematycznych modelach transportu ciepła i wody są niezbędne dane dotyczące geometrii takich produktów. Brakuje dostatecznej wiedzy o geometrii produktów rolno-żywnościowych z powodu złożoności ich kształtu. Opracowano więc oryginalne podejście do bryłowego modelowania geometrii w środowisku 3ds Max oraz przedstawiono je dla przykładu ziarniaków kukurydzy i owsa. W celu pozyskania danych o geometrii oryginalnych produktów, wsparto to podejście przetwarzaniem i analizą obrazów, generowaniem siatek elementów skończonych oraz pobieraniem współrzędnych węzłów tych siatek. Modele geometrii badanych produktów opracowano z myślą o przyszłym ulepszeniu matematycznych modeli oraz predykcji procesów suszenia i przechowywania ziarna zbóż.
Źródło:
Journal of Research and Applications in Agricultural Engineering; 2015, 60, 2; 5-8
1642-686X
2719-423X
Pojawia się w:
Journal of Research and Applications in Agricultural Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Methodology of Using Augmented Reality Technology in the Training of Future Computer Science Teachers
Metodologia wykorzystania technologii rozszerzonej rzeczywistości w szkoleniu przyszłych nauczycieli informatyki
Autorzy:
Balyk, Nadiia
Grod, Inna
Vasylenko, Yaroslav
Shmyger, Galyna
Oleksiuk, Vasyl
Powiązania:
https://bibliotekanauki.pl/articles/2046862.pdf
Data publikacji:
2021-06-29
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
rzeczywistość rozszerzona
rzeczywistość wirtualna
zestaw narzędzi dla programistów do rzeczywistości rozszerzonej
zestaw do tworzenia oprogramowania
zintegrowane środowisko programistyczne
augmented reality
virtual reality
augmented reality software developer toolkit
software development kit
integrated development environment
Opis:
The paper describes the concept of augmented reality. Based on literature analysis, the authors claim that augmented reality technology enriches human experiences with digital data. The introduction of augmented reality applications and services provides an opportunity to increase the realism of research, while also offering an enhanced emotional and cognitive experience. Therefore, it can be an effective tool for the organization of learning in schools, colleges and universities.Augmented reality technologies can be interesting as an object of study as well. To do this, scientists need to design, develop and test appropriate methodologies.This paper explores one of the components of such techniques. The authors analysed several platforms for creating augmented reality applications. Unity, Vuforia and 3d-Studio were chosen for the purpose of analysis. Using them, the authors developed a fragment of the content of education. It contains instructionsfor creating an augmented reality application. The paper contains the author’s account of the process of training future teachers of computer science at Ternopil Volodymyr Hnatiuk National Pedagogical University (Ukraine). Based on the conducted study, the authors claim that students showed considerable interest in augmented reality technologies and the content of their training.
Artykuł zawiera przegląd koncepcji rozszerzonej rzeczywistości. Na podstawie analizy literatury autorzy twierdzą, że technologia rzeczywistości rozszerzonej wzbogaca ludzkie doznania o dane cyfrowe. Wprowadzenie aplikacji i usług rzeczywistości rozszerzonej daje szansę na zwiększenie realizmu badań; dostarcza wrażeń emocjonalnych i poznawczych. Może więc być skutecznym narzędziem do organizacji nauki w szkołach i na uczelniach. Technologie rzeczywistości rozszerzonej mogą być również interesujące jako przedmiot badań. Dlatego naukowcy muszą zaprojektować, opracować i przetestować odpowiednie metodologie. Autorzy artykułu przeanalizowali kilka platform do tworzenia aplikacji rozszerzonej rzeczywistości. Wśród nich wybrano Unity, Vuforia i 3d-Studio. Korzystając z nich, autorzy opracowali fragment treści kształcenia zawierający instrukcje tworzenia aplikacji rozszerzonej rzeczywistości. Artykuł zawiera relację autora z procesu kształcenia przyszłych nauczycieli informatyki na Narodowym Uniwersytecie Pedagogicznym im. Włodzimierza Hnatiuka w Tarnopolu (Ukraina). Na podstawie badania autorzy twierdzą, że studenci wykazywali duże zainteresowanie technologiami rozszerzonej rzeczywistości i treścią ich szkoleń.
Źródło:
International Journal of Research in E-learning IJREL; 2021, 7, 1; 1-20
2451-2583
2543-6155
Pojawia się w:
International Journal of Research in E-learning IJREL
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Perspektywy rozwoju inteligentnych systemów pomiarowych
Prospects for development of smart metering
Autorzy:
Billewicz, K.
Powiązania:
https://bibliotekanauki.pl/articles/156164.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
inteligentny licznik
aktualizacja oprogramowania
inteligentny system pomiarowy
rozwój
smart meter
update firmware
smart metering
development
Opis:
Obecnie można zaobserwować globalny ruch w kierunku inteligentnych sieci. Pomimo tego, że są różne ścieżki osiągnięcia tego samego celu, który jeszcze nie jest precyzyjne określony, to budowę takiej sieci najczęściej rozpoczyna się od wdrażania inteligentnych systemów pomiarowych. Urządzenia elektroniczne (komputery, telefony komórkowe itp.) w ostatnim czasie uległy bardzo szybkiemu rozwojowi. Autor stawia tezę, że wystąpi podobny rozwój inteligentnych liczników, zatem już teraz trzeba przewidzieć to przygotowując specyfikacje wdrożeniowe dla takich systemów.
You can now see the global movement towards smart grids. Despite the fact that there are different paths to achieve the same purpose which is not yet precisely defined, the construction of such a network usually starts with the implementation of smart metering. Currently, engineers and scientists contribute to the rapid development of electronic devices. The modern electronic devices (computers, cell phones, etc.) have more functions than devices produced a few years ago. In fact, by 2015, 250 million smart meters will be installed worldwide. Millions of electric smart meters in customers' homes cannot be developed in a simple and fast way. This limitation may hinder AMI (Advanced Metering Infrastructure) development. Smart meter will have a remote firmware update feature. The paper presents limitations of this feature. The article describes a problem of interoperability. Interoperability is the ability of diverse systems and devices to work together (inter-operate). The author argues that a rapid development of smart meters will be occur, so distribution network operators must take this into account when preparing specifications for the implementation of such systems.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 1, 1; 79-84
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody i narzędzia projektowania aplikacji dla mikrokontrolerów jednoukładowych
Methods and tools to designing applications of one-chip micro-controllers
Autorzy:
Bodjański, M.
Powiązania:
https://bibliotekanauki.pl/articles/234695.pdf
Data publikacji:
2006
Wydawca:
Wojskowy Instytut Techniczny Uzbrojenia
Tematy:
projektowanie oprogramowania
mikrokontroler
programowanie komputera
software design
microcontroller
computer programming
Opis:
W artykule opisano proces projektowania oprogramowania dla systemów z mikrokontrolerami jednoukładowymi. Przedstawiono podstawowe metody i narzędzia tworzenia aplikacji. Porównano jakość kodów wynikowych i efektywność projektowania za pomocą prezentowanych metod.
A process of designing software for systems with one-chip micro-controllers is presented in the paper. The basic methods and tools are described with the quality characteristics of final codes and the designing effectiveness of proposed methods.
Źródło:
Problemy Techniki Uzbrojenia; 2006, R. 35, z. 100; 79-84
1230-3801
Pojawia się w:
Problemy Techniki Uzbrojenia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Badanie użyteczności oraz dostępności interfejsu w aplikacjach mobilnych
Usability and accessibility testing of mobile application interfaces
Autorzy:
Borys Plechawska-Wójcik, Magdalena
Plechawska-Wójcik, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/941742.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
użyteczność aplikacji mobilnych
dostępność aplikacji mobilnych
testowanie użyteczności interfejsu
dostępności oprogramowania
mobile application usability
mobile application accessibility
user interface testing
software accessibility
Opis:
Tworzenie użytecznych i dostępnych interfejsów użytkowników na urządzenia mobilne nie jest zadaniem łatwym. Z jednej strony ze względu na małe doświadczenie projektantów w tej dziedzinie – aplikacje mobilne i mobilne witryny internetowe są nowym trendem na rynku oprogramowania. Z drugiej strony dziedzina oprogramowania mobilnego jest w stosunkowo wczesnym stadium rozwoju. Urządzenia mobilne udostępniają nowe możliwości interakcji, wprowadzają dużą różnorodność rozdzielczości oraz zastosowań, dlatego konieczne są dodatkowe badania oraz doświadczenia, aby opracować metody badania użyteczności i dostępności dostosowane do interfejsu urządzeń mobilnych.
The usage of mobile devices to access information and communication continues to grow. The software designer and developers, who are creating a new mobile application or rebuilding an existing website, have to take into account not only the needs and requirements of users, but also the limitations of the interaction between the user and the application interface resulting from the technologies, the mobile device resolution or type and the environment in which the device will be used. Therefore, the developing of high-quality mobile applications is difficult, as well as expensive. The paper presents usability of mobile software interface as one of the most important factor of software quality. It discusses the classification of usability testing methods, their place in the software development process. Moreover, the most common usability testing methods, such as prototyping, heuristic analysis, cognitive walkthrough and usability tests, are described and evaluated. In addition, the paper addresses the issue of accessibility of user interface for people with disabilities such as blindness or visual impairment. It reports existing accessibility standards, best practices and testing methods at different stages of interface development.
Źródło:
Nierówności Społeczne a Wzrost Gospodarczy; 2013, 35; 63-78
1898-5084
2658-0780
Pojawia się w:
Nierówności Społeczne a Wzrost Gospodarczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:
Brzuchcz, R.
Powiązania:
https://bibliotekanauki.pl/articles/320396.pdf
Data publikacji:
2006
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types
Opis:
W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
Źródło:
Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
1640-7202
Pojawia się w:
Elektrotechnika i Elektronika
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zwalczanie cyberprzestępczości ekonomicznej przy wykorzystaniu sztucznej inteligencji (AI)
Autorzy:
Bukowski, Michał
Powiązania:
https://bibliotekanauki.pl/articles/45660971.pdf
Data publikacji:
2023-11-13
Wydawca:
Akademia Policji w Szczytnie
Tematy:
sztuczna inteligencja
wykrywanie zagrożeń
analiza behawioralna
zapobieganie oszustwom
wykrywanie phishingu
wykrywanie złośliwego oprogramowania
zarządzanie lukami w zabezpieczeniach
reagowanie na incydenty
analityka predykcyjna
automatyzacja bezpieczeństwa
Opis:
Zwalczanie cyberprzestępczości gospodarczej za pomocą sztucznej inteligencji może być skutecznym nowym podejściem. Technologie sztucznej inteligencji mogą bowiem wykrywać cyber zagrożenia i reagować na nie w czasie rzeczywistym, identyfikować wzorce i anomalie w dużych zbiorach danych oraz automatyzować różne procesy bezpieczeństwa. Podstawowe sposoby wykorzystania sztucznej inteligencji do zwalczania cyberprzestępczości ekonomicznej to wykrywanie zagrożeń, analiza behawioralna, zapobieganie oszustwom, wykrywanie phishingu i złośliwego oprogramowania, zarządzanie lukami w zabezpieczeniach, reagowanie na incydenty i wykrywanie zagrożeń, analityka predykcyjna czy automatyzacja bezpieczeństwa. Należy jednak zauważyć, że chociaż sztuczna inteligencja może znacznie usprawnić działania związane z cyber bezpieczeństwem, nie jest to samodzielne rozwiązanie. Należy go używać w połączeniu z innymi środkami bezpieczeństwa, takimi jak regularne aktualizacje oprogramowania, szkolenia pracowników i silne kontrole dostępu, aby stworzyć solidną obronę przed cyberprzestępczością ekonomiczną.
Źródło:
Przegląd Policyjny; 2023, 151(3); 151-179
0867-5708
Pojawia się w:
Przegląd Policyjny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inżynieria oprogramowania. Przegląd metodyk
Software Engineering. Review of Methodologies
Autorzy:
Burgielski, Benedykt
Powiązania:
https://bibliotekanauki.pl/articles/509622.pdf
Data publikacji:
2016
Wydawca:
Akademia Finansów i Biznesu Vistula
Tematy:
inżynieria oprogramowania
metodyki
BPMN
software engineering
methodologies
Business Process Model and Notation (BPMN)
Opis:
W artykule dokonano przeglądu niektórych metodyk inżynierii oprogramowania oraz oceniono ich wady i zalety. Przedstawiono najnowsze tendencje szczególnie w obszarze rozwiązań typu BPMN. Pokazano przyczyny, które wymusiły stworzenie narzędzi w ramach inżynierii oprogramowania. W kolejnych częściach artykułu zawarto opisy trzech metodyk – obiektowej, strukturalnej i BPMN. W zakończeniu porównano i oceniono przydatność poszczególnych metodyk.
The author made a short review of some software engineering methodologies. Evaluation of strengths, weaknesses, and limitations of these methodologies is made in this paper. The author brings forward new perspectives in this area: the BPMN (Business Process Modelling Notation) methodology. In point 2, there are shown some reasons for creating particular tools in the software engineering area of interest. Points 3-5 contain a short description of three of them: structured approach, object approach and BPMN. In the conclusion part, the author made comparisons and evaluated usefulness of particular methodologies.
Źródło:
Zeszyty Naukowe Uczelni Vistula; 2016, 49(4) Informatyka; 57-69
2353-2688
Pojawia się w:
Zeszyty Naukowe Uczelni Vistula
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Economic–geographical method delimiting wagon flows in the region considered: model and algorithm
Autorzy:
Chislov, O.
Bogachev, V.
Zadorozhniy, Zadorozhniy.
Bogachev, T.
Powiązania:
https://bibliotekanauki.pl/articles/375452.pdf
Data publikacji:
2018
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
traffic simulation
freight traffic
operator company
railway station
oligopolistic market
Cartesian ovals
Pascal’s limaçon
software package
symulacja ruchu drogowego
przewozy ładunków
firma operatorska
stacja kolejowa
rynek oligopolistyczny
owal Kartezjusza
ślimak Pascala
pakiet oprogramowania
Opis:
The problem of effective management of the railway freight flows in the conditions of the multiplicity of operators requires the rationalization of the transportation process. The further development of the authors’ research on creating the mathematical model of the railway freight flows in the region transportation and technological system is presented. For the first time, the theory of algebraic curves of higher orders is used to create a territorial model of the oligopolistic market of freight traffic. The algorithm for creating a model of freight transportation is based on the analysis of the qualitative and quantitative indicators of the operator company in the considered region with the use of analytical, heuristic, and graphic capabilities of math software. The theoretical substantia-tion of the territorial picture, the freight transportation market in the region is obtained. The carried-out research allows to specify possible ways of optimization of freight traffic distribution.
Źródło:
Transport Problems; 2018, 13, 2; 39-48
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 154

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies