PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available On the SMT-based verification of communicative commitments
Woźna-Szcześniak B., Szcześniak I.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2016
|
Vol. 21
161--187
EN
We propose an SMT-based bounded model checking (BMC) technique for the existential fragments of CCTL*K – an epistemic temporal logic extended to include modalities for different social commitments – and for multi-agent systems modelled by Communication Interpreted Systems (CIS). Furthermore, we exemplify the use of the technique by means of the NetBill protocol, a popular example in the MAS literature related to the modelling of business processes.
2
Content available SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
Woźna-Szcześniak B., Szcześniak I.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2015
|
Vol. 20
69--81
EN
We define an SAT-based bounded model checking (BMC) method for RTECTLK (the existential fragment of the real-time computation tree logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. Specifically, we translate the model checking problem for RTECTLK to the model checking problem for a variant of branching temporal logic (called EyCTLK) interpreted over an abstract model, and we redefine an SAT-based BMC technique for EyCTLK.
3
Content available Optical interconnection networks with time slot routing
Szcześniak I., Wyrzykowski R.
Theoretical and Applied Informatics
|
2013
|
Vol. 25, No. 1
41--48
EN
We propose the time slot routing, a novel routing scheme that allows for a simple design of interconnection networks. The simulative results show that the proposed scheme demonstrates optimal performance at the maximal uniform network load, and for uniform loads the network throughput is greater than for defl ection routing.
PL
W artykule opisujemy ruting ze szczelinami czasowymi, który wymaga jedynie prostej architektury sieci połączeń. Uzyskane wyniki symulacyjne pokazują, że ruting ze szczelinami czasowymi pozwala na osiągnięcie maksymalnej możliwej przepustowości sieci przy maksymalnym równomiernym obciążeniu sieci. Wyniki pokazują także, że ruting ze szczelinami czasowymi osiąga lepsze wyniki wydajnościowe niż ruting z odbiciami.
4
Content available Evaluation of a method for enumerating the most probable packet arrangements
Szcześniak I.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2011
|
Vol. 16
147--152
EN
The problem of calculating routing probabilities in packet synchronous networks, such as optically-switched packet networks, involves enumerating packet arrangements. Previously we published a method for enumerating the most probable packet arrangements, and in this article we present its novel graph interpretation and evaluate the method for several stop conditions and for the Poisson and geometric probability distributions of arriving packets.
5
Content available remote Overview of optical packet switching
Szcześniak I.
Theoretical and Applied Informatics
|
2009
|
Vol. 21, No. 3-4
167-180
EN
Optical packet switching has been researched for about two decades, but it has not been deployed in commercial networks yet. Nonetheless, the research on optical packet switching continues as it promises to perform better than electronic hardware. We report on the established results of optical packet switching, and examine the reasons for its current state.
PL
Technologia optycznego przełączania pakietów jest tematem prac badawczych od około dwóch dekad, ale mimo to nie została ona jeszcze zastosowana w sieciach operatorów telekomunikacyjnych. A artykule jest opisany aktualny stan wiedzy z dziedziny optycznego przełączania pakietów z wyszczególnieniem problemów technicznych. We wprowadzeniu omawiane są podstawowe sposoby komunikacji w sieciach optycznych. Na rys. 1 pokazany jest schemat sieci optycznej, której węzły są zbudowane z elementów optycznych symbolicznie przedstawionych na rys. 2. Następnie omówiona jest ogólna budowa przełączników optycznych (rys. 3) i bardziej szczegółowo są omówione przełączniki typu "rozgłaszanie i wybieranie" (rys. 4) i przełączniki oparte na krotnicach falowych AWG (rys. 5). Omówione zostały także problemy techniczne związane z optycznym buforowaniem pakietów (rys. 6). Optyczne przełączanie pakietów ma większy potencjał niż elektroniczne przełączanie pakietów i dlatego nad tą technologią ciągle prowadzone są prace badawcze. Należy jednak pamiętać, że elektroniczne przełączanie pakietów jest ulepszane, co sprawia, że optyczne przełączanie pakietów powinno sprostać jeszcze większym wymaganiom, aby mogło być zastosowane w sieciach operatorów telekomunikacyjnych.
6
The Hive Network and its Routing Algorithm
Szcześniak I.
Archiwum Informatyki Teoretycznej i Stosowanej
|
2004
|
T. 16, z. 3
171-178
EN
We present the hive network, a new three-dimensional network, and furnish it with an efficient routing algorithm. The network is built by interconnecting several identical honeycomb networks placed next to each other like real honeycomb in a hive. The mathematical measure of a network's complexity, hereinafter referred to as "the complexity", is defined as the product of the node degree and the length of the network diameter. Such defined complexity is important because it is related to the real-money cost. The proposed hive network is studies since it is less complex that the three- dimensional honeycomb network. The complexity of the hive network N nodes is approximately k1 =10.48 ??N, while the complexity of a three-dimensional honeycomb network is approximately k2 = 14.52 ??N, 38% greater. Our simulation verified that the routing algorithm generates correct results.
PL
W artykule zaproponowano nową trójwymiarową sieć połączeń w kształcie ula dla komputerów wieloprocesowych, oraz jej algorytm wyznaczania trasy przesyłania pakietów. Sieć jest zbudowana przez połączenia wielu identycznych sieci plastra miodu. Które są umieszczone obok siebie jak prawdziwe plastry miodu w ulu. Badanie tej sieci jest uzasadniony, ponieważ jej koszt jest mniejszy w porównaniu z trójwymiarową siecią plastra miodu. Matematyczna miara kosztu jest definiowana jako iloczyn długości średnicy sieci i stopnia węzłów. Tak zdefiniowana miara przekłada się na koszt wyrażony w pieniądzu. Matematyczny koszt proponowanej sieci z liczba węzłów N wynosi w przybliżeniu k1 =10.48 ??N , natomiast koszt trójwymiarowej sieci plastra miodu wynosi w przybliżeniu k2 = 14.52 ??N, 38% więcej. Symulacyjnie sprawdzono poprawność wyników zwracanych przez algorytm wyznaczania trasy.
7
Deflection routing with Hamiltonian cycles
Szcześniak I.
Studia Informatica
|
2003
|
Vol. 24, nr 4
251-257
EN
For the mixed routing algorithm running on the networks with non buffering nodes this article presents an improvement in which an Eulerian cycle is replaced with Hamiltonian cycles. The new upper bound on a data packefs end to end number of hops is eąual to or lower than the original upper bound.
PL
W artykule proponuje się ulepszenie mieszanego algorytmu trasującego dla sieci z węzłami, które nie przechowują pakietów (ang. non-buffering nodes). Ulepszenie polega na wykorzystaniu cykli Hamiltona w zamian cyklu Eulera, co sprawia, że górna granica na liczbę skoków pakietu jest mniejsza od (albo w najbardziej niekorzystnym przypadku równa) górnej granicy przed wprowadzeniem ulepszenia.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.