Filtry
wszystkich: 2231
wybranych: 1055
-
Katalog
- Publikacje 1055 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 234 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 680 wyników po odfiltrowaniu
- Wydarzenia 88 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI FORMALNE
-
Sztuka i matematyka -algorytmiczne i parametryczne detale
PublikacjaOpracowanie dotyczy wykorzystania komputerowych metod obliczeniowych do projektowania dzieł architektonicznych, w których geometria formy, detal struktury i efekty materiałowe są wynikiem spójnej reguły generatywnej. Nowatorskie biura tworzą własne narzędzia na poziomie języków programowania czerpiąc idee z abstrakcyjnych koncepcji i procedur matematycznych. W konsekwencji algorytmiczne i parametryczne strategie projektowania w...
-
The antioxidant and antimicrobial properties of phenol-rich extracts of Dracocephalum forrestii W. W. Smith shoot cultures grown in the nutrient sprinkle bioreactor
Publikacja -
High quality speech coding using combined parametric and perceptual modules. [Kodowanie sygnału mowy z zachowaniem wysokiej jakości przy wykorzystaniu modułu parametrycznego i perceptualnego]
PublikacjaW komunikacie zaprezentowano nową metodę hybrydowego kodowania sygnału mowy. Techniki kodowania parametrycznego oraz perceptualnego zostały wykorzystane w celu zapewnienia wysokiej jakości kodowania sygnału mowy. Przedstawiono wyniki badań dla dwóch architektur kodeka. Jedna z nich bazuje na algorytmie pozwalajacym wyodrębnić składowe dźwięczne, bezdźwięczne oraz transjenty. Składowe dźwięczne kodowane są metodą perceptualną, bezdźwięczne...
-
Billiard in a rotating half-plane
PublikacjaThe main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic...
-
Convenient and efficient N-methylation of secondary amines under solvent-free ball milling conditions
PublikacjaIn the present work, we report the development of a rapid, efcient, and solvent-free procedure for the N-methylation of secondary amines under mechanochemical conditions. After optimization of the milling parameters, a vibrational ball mill was used to synthesize 26 tertiary N-methylated amine derivatives in a short time of 20 min (30 Hz frequency) and high yields ranging from 78 to 95%. An exception was compounds having a hydroxyl...
-
Karta założeń nowego produktu
PublikacjaW pracy przedstawiono istotę i funkcje założeń nowego produktu oraz składniki karty założeń. Założenia te stanowią zestawienie planowanych aspektów technicznych, marketingowych i ekonomicznych dotyczących wdrażanego nowego produktu. Powstają one jako jeden z końcowych elementów fazy przygotowania koncepcji w procesie kształtowania nowego produktu, zaś karta założeń jest ich formalnym wyrazem. Określono trzy podstawowe funkcje założeń...
-
Analiza drgań przewodu jezdnego dla potrzeb walidacji modelu matematycznego sieci trakcyjnej
PublikacjaNieprawidłowa współpraca odbieraka z siecią jezdną, w niekorzystnych warunkach lokalnych, prowadzi do uszkodzeń sieci lub odbieraka. Najczęściej spowodowane to jest niewłaściwą regulacją tych elementów układu zasilania. Awarie te wywołują z reguły duże opóźnienia w ruchu pociągów i generują olbrzymie koszty. Sieć trakcyjna nie posiada rezerwy, stąd wysokie wymagania jakościowe i niezawodnościowe określa się szczególnie dla niej....
-
The role of analytical chemistry in the study of the Anthropocene
PublikacjaThe term “Anthropocene” refers to not yet formalized epoch of geologic time during which geologic processes have been dominated by the human impact. This impact takes on many forms. Biological, physical and chemical changes to the Earth System caused by anthropogenic activity are recorded in natural archives either as new fossil assemblages (neobiota), anthropogenic deposits or a wide variety of pollutants emitted to the environment....
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublikacjaWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Teoria zbiorów rozmytych w zarządzaniu ryzykiem jako utylitarne narzędzie systemu zarządzania jakością
PublikacjaDziałalność przedsiębiorstwa wiąże się z potrzebą analizowania ryzyka oddziałującego na procesy firmy. Norma PN-EN ISO 9001:2015 dokonuje identyfikacji czynników ryzyka i ich wpływu na jakość wyrobu. W szacowaniu ryzyka punktowe oceny wyrażające subiektywne opinie zastępowane są coraz częściej formalnym zapisem niepewności. Artykuł ukazuje zastosowanie rozmytego systemu wnioskującego w procesie zarządzania ryzykiem, umożliwiającego...
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublikacjaSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
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...
-
Balancing agility and discipline in a research project
PublikacjaSuccessful software development requires both agility and discipline. Optimal selection of methods, however, is not an easy task. The problem becomes even more difficult for long lasting projects. Appropriate selection of methods involving skillful introduction and abandonment of certain practices in time makes the whole process dynamic. The paper presents in this context a research project which was realized in a few iterations....
-
Distance learning trends: introducing new solutions to data analysis courses
PublikacjaNowadays data analysis of any kind becomes a piece of art. The same happens with the teaching processes of statistics, econometrics and other related courses. This is not only because we are facing (and are forced to) teach online or in a hybrid mode. Students expect to see not only the theoretical part of the study and solve some practical examples together with the instructor. They are waiting to see a variety of tools, tutorials,...
-
Modeling of hazards, consequences and risk for safety assessment of ships in damaged conditions in operation
PublikacjaPraca dotyczy problematyki związanej z modelowaniem zagrożeń, konsekwencji i ryzyka, w metodzie oceny bezpieczeństwa statków w stanie uszkodzonym. Metoda oparta jest na podejściu zorientowanym na ocenę zachowania się statku i ocenę ryzyka wypadku. Kolejne moduły metody dotyczą identyfikacji zagrożeń i scenariuszy wypadków oraz oceny i kontroli ryzyka. Ocenę ryzyka można przeprowadzić przy zastosowaniu elementów metodyki Przypadku...
-
UWARUNKOWANIA ZMIAN TARYFOWYCH W MIEJSKIM TRANSPORCIE ZBIOROWYM NA OBSZARZE FUNKCJONOWANIA METROPOLITALNEGO ZWIĄZKU KOMUNIKACYJNEGO ZATOKI GDAŃSKIEJ
PublikacjaW sytuacji gdy transport zbiorowy jest obsługiwany przez więcej niż jednego organizatora, powstają problemy koordynacji taryf w różnych przekrojach i konkurencji cenowej pomiędzy ofertą poszczególnych organizatorów transportu komunalnego. Obszarem takim jest licząca ponad 1 mln mieszkańców Metropolia Zatoki Gdańskiej, na terenie której obowiązują taryfy uchwalane przez kilka rad miast i gmin oraz ustanowione przez operatorów kolejowych....
-
Sparse autoregressive modeling
PublikacjaIn the paper the comparison of the popular pitch determination (PD) algorithms for thepurpose of elimination of clicks from archive audio signals using sparse autoregressive (SAR)modeling is presented. The SAR signal representation has been widely used in code-excitedlinear prediction (CELP) systems. The appropriate construction of the SAR model is requiredto guarantee model stability. For this reason the signal representation...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce
PublikacjaOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). W trakcie...
-
Procedura zmiany sprzedawcy energii elektrycznej w Polsce
PublikacjaOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). Odniesiono...
-
Navy sonar's modernization developed in Gdansk University of Technology
PublikacjaSzybki rozwój technologii elektronicznej i metod przetwarzania sygnałów powoduje szybkie starzenie moralne systemów instalowanych na okrętach. Ponieważ kadłuby, silniki i inne, drogie, mechaniczne komponenty okrętów nie starzeją się w takim tempie i wytrzymują kilkadziesiąt nawet lat eksploatacji, istnieje głęboki sens modernizacji systemów sonarowych, z ewentualnym zachowaniem istniejących anten hydroakustycznych i ich stabilizacji....
-
Searching for metric structure of musical files
PublikacjaCelem opisywanych prac jest porównanie efektywności wybranych metod sztucznej inteligencji w wyznaczaniu rytmu dla zapisu symbolicznego muzyki. Opisano sposób wykorzystania sztucznych sieci neuronowych i zbiorów przybliżonych do poszukiwania właściwej struktury rytmicznej utworu. Analizowane są fizyczne atrybuty dźwięku, które są najbardziej znaczące dla określenia położenia dźwięku na pozycji akcentowanej lub nieakcentowanej....
-
Zaawansowane rozwiązania projektowe aplikacji typu Rich Internet Application
PublikacjaRich Internet Application (RIA) jest modelem aplikacji internetowych zyskującym w ostatnim czasie coraz większą popularność. Jednym ze sposobów jego realizacji jest paradygmat AJAX. Stosowane w nowatorski sposób, istniejące od wielu lat technologie pozwalają osiągnąć niespotykane dotąd możliwości. Wieloletnie doświadczenia programistów powodują jednak, że w aplikacjach tego typu stosuje się często rozwiązania projektowe przeznaczone...
-
Analiza właściwości emiterów LCR
PublikacjaOd wielu lat pojawiają się publikacje dotyczące konstrukcji emiterów służących do wypromieniowania energii pola elektromagnetycznego z układów, w których są wytwarzane impulsy prądowe o krótkim czasie trwania (rzędu ns lub µs) i znaczącej wartości szczytowej (rzędu MA). Tego rodzaju emitery nazywane są w języku angielskim Large Current Radiators (LCR). Budowa emitera LCR powinna zapewniać możliwie niewielką indukcyjność (rzędu...
-
AUTOMATYCZNE ROZPOZNAWANIE GATUNKÓW MUZYCZNYCH W APLIKACJI SYNTEZUJĄCEJ NISKIE CZĘSTOTLIWOŚCI W URZĄDZENIACH MOBILNYCH
PublikacjaW pracy został opisany inteligentny algorytm syntezy niskich częstotliwości w urządzeniach mobilnych (Smart VBS). Algorytm Smart VBS rozpoznaje gatunek muzyczny i w zależności od wskazania dobiera optymalne parametry syntezy niskich częstotliwości. Synteza niskich częstotliwości odbywa się z wykorzystaniem metody funkcji nieliniowych (NLD). Modyfikacji podlega wykorzystywana funkcja nieliniowa, liczba oraz poziom wzmocnienia dodawanych...
-
Metody teorii sterowania w projektowaniu układów diagnostycznych.
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy algorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąź współczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocie opierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wektorów resztowych, czyli ważonych błędów oszacowań wyjścia danego obiektu dynamicznego (nadzorowanego procesu). Na treść pracy...
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublikacjaMinimalne automaty skończone są często wybierane do przedstawiania słowników morfologicznych języka naturalnego. Wśród ich zalet znajdują się duża szybkość rozpoznawania i małe wymagania pamięciowe. Tłumaczenie opisów morfologicznych opartych o klasy kontynuacji na minimalne, cykliczne automaty skończone jest tradycyjnie dokonywane w kilku fazach, zawierających tworzenie automatu niedeterministycznego z przejściami etykietowanymi...
-
Control theory methods in diagnostic system design
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy al-gorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąźwspółczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocieopierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wek-torów resztowych, czyli ważonych błędów oszacowań wyjściadanego obiektu dy-namicznego (nadzorowanego procesu). Na treść pracy...
-
Metody wyszukiwania informacji w bazach multimedialnych.
PublikacjaW artykule przedstawiono przegląd zagadnień związanych z wyszukiwaniem informacji zawartych w bazach multimedialnych. Przegląd ten został oparty o zrealizowany projekt badawczy pt.: "Nowe metody wyszukiwania informacji multimedialnej w sieciach telekomunikacyjnych". Eksperymenty badawcze prowadzone w ramach projektu obejmowały wdrożenie wybranych metod sztucznej inteligencji do celów akwizycji i rozpoznawania obiektów muzycznych,...
-
E-learning course "International comparative studies on SMEs"
PublikacjaProjekt Leonardo da Vinci "International comparative studies and course development on SMEs" został zainspirowany poprzednim projektem LdV "A European Diploma in SME Management". Bazując na poprzednich doświadczeniach projektowych zaproponowano opracowanie struktur dla opisania narodowych systemów małych i średnich przedsiębiorstw (ang. SME Small Media Enterprises) przy wykorzystaniu dostępnych krajowych danych. Udowodniono, że...
-
Risk criteria for sea-going ships arising from the operation of the main engines' crankshaft - conecting rod - piston systems
PublikacjaIn the article the risk criterion for sea-going ships arising from the operation of the main engines' crankshaft - connecting rod - piston systems is proposed. These criterion is based on the procedures recommended in the Formal Safety Assessment method developed under the auspices of International Maritime Organization (IMO). First of all the collective risk criterion for ship has been proposed. In the next step, the share of...
-
Firing map of an almost periodic input function
PublikacjaIn mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system ẋ = f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map for the simplified model ẋ = f(t) still...
-
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...
-
Participatory approach to urban regeneration processes in polish cities and regions
PublikacjaThe paper presents the impact of EU Cohesion Policy 2014-2020 on regeneration processes which are implemented in Polish towns, cities and metropolis when emphasizing general formal and legal framework including examination of the possible distribution of EU funds for regeneration projects within the regional operational programmes. The paper focuses on different approaches to the implementation of Cohesion Policy in Polish regions....
-
Modelowanie i ograniczanie skutków ataków uzurpacji uprawnień w systemach teleinformatycznych wspierających różnicowanie poziomu QoS
PublikacjaW wieloagentowych systemach teleinformatycznych pracujących w paradygmacie Klient-Serwer i wspierających różnicowanie poziomu QoS poważnym zagrożeniem są ataki uzurpacji uprawnień metodą Fałszywego VIPa. Ich celem jest zapewnienie Klientowi nienależnie wysokiego poziomu QoS, co powoduje nadużycie zasobów Serwera i szkody dla innych Klientów. W referacie podjęto próbę sforma-lizowania modelu takich ataków oraz zaproponowa-no obustronnie...
-
Experimental research on low-cost cold gas propulsion for a space robot platform
Publikacja -
Innovative Resistojet Propulsion System—Use in Robotic Space Platforms
Publikacja -
Geo-Questionnaire for Environmental Planning: The Case of Ecosystem Services Delivered by Trees in Poland
PublikacjaStudies on society and the environment interface are often based on simple questionnaires that do not allow for an in-depth analysis. Research conducted with geo-questionnaires is an increasingly common method. However, even if data collected via a geo-questionnaire are available, the shared databases provide limited information due to personal data protection. In the article, we present open databases that overcome those limitations....
-
Ocena naprężeń w regenerowanych korpusach parowych turbin energetycznych.
PublikacjaPrzedstawiono wyniki badań naprężeń własnych w ścianach korpusów turbin poddanych procesowi reparacji przez zaspawanie. Wykorzystano do badań metodę wykorzystujacą efekt Barkhausena oraz - dla kontrolo - metodę nawiercania otworów (metoda Mathar'a). Dwa rezultaty badań są istotne: 1) stwierdzono niski stan naprężeń w strefie reperowanej - co dowodzi poprawnej technologii; oraz 2) - uzyskano bardzo dobrą zgodność poziomów naprężeń...
-
Complementary studies of residual stress distribution of repaired power plant steam turbine casing
PublikacjaRozkład i poziom naprężeń własnych w korpusach turbin badano za pomocą efektu Barkhausena oraz metodą nawiercania otworów. Badano również twardość. Korpusy były reperowane metodą zaspawania. Wykazano, iż zastosowana technologia nie wprowadza naprężeń o poziomie zagrażającym dalszej ekploatacji korpusu.
-
Methodology for developing Web-Based applications from reusable components using open source tools
PublikacjaGlobalna sieć stwarza nowe mozliwości dla projektantów IT. Pozwala na budowanie aplikacji z wielu części zwanych komponentami i rozproszonych w różnych miejscach sieci. metodologia wskazuje jak zbudować wszystkie elementy systemu: warstwę logiki biznesowej, dostępu do danych oraz prezentacji z gruboziarnistych komponentów. Takie mozliwości daje język Java i powiązane z nim technologie open-source: EJB do tworzenia komponentów biznesowych...
-
Incremental construction of Minimal Tree Automata [online]
PublikacjaWe describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...
-
Quality Model for Integrated Security Monitoring and Control in Water Distribution Systems
PublikacjaThis article addresses the problem of drinking water distribution system (DWDS) security in the terms of water quality which in the era of terrorist threat is of high importance to the public. The contribution of this paper is the development of the so called security module to extend a multi-species water quality model. This gives an insight to the situation in DWDS not only under normal operational conditions but also in case...
-
On Some Aspects of Fish Target Strength Estimation in Shallow Waters
PublikacjaThe theory of acoustic surveys for determining fish abundance are well established in fishery acoustics. The origins of the estimation are related to overcoming the problem of unknown position of target in the beam using statistical inversion. Although recently researchers use more sophisticated echosounders that provides more informative data allowing for direct solution it is known that the results are biased due to not ideally...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublikacjaHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Wpływ utleniania w wysokich temperaturach na struktury napawanych warstw na bazie kobaltu
PublikacjaPrzedmiotem badań są napawane plazmowo warstwy wykonane ze stopu kobaltu zawierające ok. 29% chromu, ok. 5% wolframu i ok. 2% niklu, nałożone powierzchnie przylgni grzybków zaworów wylotowych silnika dieslowskiego. Powierzchnia podlega zarówno oddziaływaniom temperatury i środowiska, jak i oddziaływaniom mechanicznym. Podczas badań warstwy poddano oddziaływaniu środowiska utleniającego i wysokich temperatur: 750°C- górna w normalnej...
-
Multiscalar Control Based Airgap Flux Optimization of Induction Motor for Loss Minimization
PublikacjaBased on the induction motor model, considering the core loss resistance that accounts for magnetic characteristic saturation, a speed control approach is devised with an adaptive full-order (AFO) speed observer. The induction motor model analysis is done sincerely in a stationary reference frame. The control approach incorporates a flux reference generator designed to meet optimal operational circumstances and a nonlinear speed...
-
Low-Cost Data-Driven Surrogate Modeling of Antenna Structures by Constrained Sampling
PublikacjaFull-wave electromagnetic (EM) analysis has become one of the major design tools for contemporary antenna structures. Although reliable, it is computationally expensive which makes automated simulation-driven antenna design (e.g., parametric optimization) difficult. This difficulty can be alleviated by utilization of fast and accurate replacement models (surrogates). Unfortunately, conventional data-driven modeling of antennas...
-
Application of 3D Whole Body Scanning in Research on Human Body Surface Area
PublikacjaHuman body surface area (BSA) is one of the major parameters used in several medical fields. Its heterogeneity caused by individual human characteristics sustains a many-decades-long research on the matter. Today’s technology allows to create exact body models in mere seconds. However, an extensive research that includes scanning people with major disfigurements or people suffering from diseases, which often prevent their mobility,...
-
Możliwości wyszukiwania dokumentów muzycznych utworzonych zgodnie z architekturą IODA
PublikacjaArtykuł przedstawia zagadnienie zastosowania dokumentów muzycznych utworzonych zgodnie z architekturą IODA (ang. Interactive Open Document Architecture). Dokumenty w architekturze IODA składają się z wielu plików powiązanych ze sobą semantycznie. Zależności te definiowane są w tzw. grzbiecie (ang. spine) dokumentu będącym plikiem w formacie XML (ang. eXtensible Markup Language). Dokumenty muzyczne tworzone zgodnie z architekturą...
-
Graph security testing
PublikacjaSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...