Wyniki wyszukiwania - Biblioteka Nauki

1

Querying relational databases using ontology, rules and Jess reasoning engine

100%

Bąk J. , Jędrzejek C.

|

2008

|

tom T. 33

24-44

EN

We present a library which is used for querying and processing data with its semantics. The Semantic Data Library (SDL) is an environment for execution of hybrid (forward and backward) reasoning and querying using data stored in a relational database. SDL uses an ontology in the OWL format, rules in the SWRL format and the functionalities of Jess reasoning engine. We show how to integrate a relational database, an ontology, rules and the reasoning engine. Our method enables to query a relational database with the use of concepts from ontology. Our experiments show good scalability. This is demonstrated by executing queries using ontology used in a PPHS project. Query response times for five database sizes containing information about invoices were compared with the KAON2 engine and with the corresponding SQL queries.

PL

W pracy przedstawiono narzędzie SDL (ang. Semantic Data Library), które służyły do odpytywania i przetwarzania danych zgodnie ze zdefiniowaną ich semantyką. Biblioteka SDL dysponuje mechanizmem wnioskowania hybrydowego (w przód oraz wstecz) oraz umożliwia zadawanie pytań do relacyjnych baz danych. Narzędzie wykorzystuje ontologię w formacie OWL, reguły w formacie SWRL oraz funkcje silnika wnioskującego Jess. W pracy przedstawiono metodę integracji relacyjnej bazy danych, ontologii, reguł oraz silnika wnioskującego. Opracowana metoda integracji umożliwia zadawanie pytań do relacyjnej bazy danych wykorzystując pojęcia zdefiniowane w ontologii. Praca zawiera również zagadnienia wydajnościowe zademonstrowane przy użyciu ontologii rozwijaniej w ramach projektu PPBW. W tym celu wygenerowanych zostało pięć relacyjnych baz danych zawierających informacje o fakturach, firmach i towarach. Wyniki działania biblioteki SDL zostały porównane z wynikami działania silnika wnioskującego KAON2 oraz języka SQL.

2

Numeryczna analiza konwersji mocy pompującej w laserze typu VECSEL

63%

Sokół A. , Sarzała R. P.

Przegląd Elektrotechniczny

|

2013

|

tom R. 89, nr 10

86-89

PL

W pracy przedstawiono wyniki modelowania zjawisk fizycznych związanych z transportem nośników oraz wzmocnieniem materiałowym w optycznie pompowanym laserze typu VECSEL wykonanym w systemie materiałowym GaInNAs/GaAs pracującym na fali o długości 1,32 μm. W szczególności dokonano analizy wykorzystania mocy pompującej, strat nośników oraz wkładu poszczególnych studni kwantowych do całkowitego wzmocnienia generowanego w obszarze czynnym. Otrzymane wyniki mogą stanowić wstęp do dalszych badań mających na celu optymalizację konstrukcji przyrządów tego typu.

EN

The paper presents results of numerical modeling of physical processes connected with the carrier transport and material gain in the optically pumped GaInNAs/GaAs VECSEL operating at 1.32 μm. Especially the analysis of pumping power conversion, carrier losses and contribution of individual quantum wells to the overall gain generated in the active region has been carried out. The obtained results can be used in further research to optimize the design of semiconductor structures of such devices.

3

Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL - kolorowane sieci Petriego

63%

Szmuc W.

|

2003

|

tom T. 7, z. 1-2

267-273

PL

Referat pokazuje zasady przekształcania diagramów języka SDL na kolorowane sieci Petriego. Przedstawiono algorytm konwersji umożliwiający tłumaczenie konstrukcji obiektowych. Zachowuje on hierarchię diagramów SDL, co powoduje dużą (na ile to możliwe) czytelność sieci wynikowych. Zastosowanie takiej konwersji umożliwia wspomaganie wytwarzania poprawnego oprogramowania, przez formalną weryfikację poprawności produktu w poszczególnych fazach. Metoda konwersji diagramów SDL na sieci Petriego została opracowana na podstawie przekształcenia przykładowego systemu zdalnej rejestracji przejazdów autostradą. W artykule przedstawiono jedynie przykłady konwersji pewnych charakterystycznych konstrukcji, zastosowanych w wyżej wspomnianym systemie (nie przedstawiono samego systemu). Sam algorytm jest rozwinięciem opracowanej wcześniej metody konwersji diagramów SDL na sieci Petriego. Polega ono na dodaniu mechanizmów hierarchizacji sieci, co z kolei umożliwia łatwe przekształcanie konstrukcji obiektowych. Algorytm nie umożliwia jednak pełnego tłumaczenia diagramów SDL ze względu na brak możliwości konwersji struktur danych oraz algorytmów przetwarzania danych (dotyczy jedynie dynamiki systemu). W artykule wspomniano również o niektórych metodach sprawdzania własności oprogramowania wykorzystujących sieci Petriego oraz narzędziach wspomagających wykonanie tych operacji.

EN

Growing complexity of software forces improvement of design tools. Real-time systems usually are developed in SDL. Unfortunately this tool cannot prove some system features that have to be met in family of real-time systems. The article proposes solution that can be used to at least minimize this kind of disadvantages. The paper describes an algorithm for conversion of SDL diagrams into Petri nets. Application of hierarchical nets enables translation of objects constructions and keeps clarity (as it is possible). This solution helps in design of proper software by formal verification of product correctness in individual phases. The algorithm is result of experience gained in transformation of example system of remote registration of motorway users. The article presents only examples of some characteristic constructions conversion used in the system (not described). The algorithm is expansion of earlier proposed conversion method of SDL diagram into Petri nets. The improvement lies in application of hierarchy constructs, which makes translation of object constructs easier. The algorithm is focused on behavioral view of system, doesn't deals with translation of data structures and constructions associated with them. The paper mentions also some methods for checking of software properties using Petri nets. Tools supporting the checking are shortly described too.

4

Thermal management of GaInNAs/GaAs VECSELs

54%

Sokół A. K. , Sarzała R. P.

Opto-Electronics Review

|

2013

|

tom Vol. 21, No. 2

191-198

EN

Different methods used to reduce temperature increase within the active region of vertical-external-cavity surface-emitting lasers (VECSELs) are described and compared with the aid of the self-consistent thermal finite-element method. Simulations have been carried out for the GaInNAs/GaAs multiple-quantum-well (MQW) VECSEL operating at room temperature at 1.31 µm. Main results are presented in form of "thermal maps" which can be simply used to determine maximal temperature of different structures at specified pumping conditions. It has been found that these maps are also appropriate for some other GaAs-based VECSELs and can be very helpful especially during structure designing. Moreover, convective and thermal radiation heat transfer from laser walls has been investigated.

5

Influence of Pumping Beam Width on VECSEL Output Power

54%

Sokół A. K. , Sarzała R. P.

International Journal of Electronics and Telecommunications

|

2014

|

tom Vol. 60, No. 3

239-245

EN

The paper is devoted to a numerical analysis of an influence of a pumping beam diameter on output power of optically pumped vertical-external-cavity surface-emitting lasers. Simulations have been carried out for a structure with a GaInNAs/GaAs active region operating at 1.32 μm. Various assembly configurations have been considered. Results obtained show that laser power scaling is strongly affected by thermal properties of the device.

6

Ewolucja protokołów telekomunikacyjnych

51%

Brzeziński K.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

|

2000

|

tom nr 1

46-52

PL

Dokonano przeglądu osiągnięć dziedziny wiedzy, nazwanej roboczo protokologią, dotyczącej projektowania i wdrażania protokołów komunikacyjnych w systemach i sieciach telekomunikacyjnych. Omówiono rozwój metod analizy zachowania protokołu i specyfikowania składni przesyłanych wiadomości oraz koncepcje związane z testowaniem implementacji protokołu. Zwrócono także uwagę na istotę różnic w tradycyjnym i "internetowym" podejściu do standaryzowania protokołów.

EN

The paper presents an overview of research results of protocol science, concerned with the design and implementation of communication protocols in telecommunications systems and networks. The development of methods for behaviourial anałysis, syntax definition and testing is surveyed. The naturę of differences between the standard-making ideas used in traditional telecommunications and Internet is also discussed.

7

Productivity improvement in underground coal mines – a case study

51%

Mishra D. P. , Sugla M. , Singha P.

Journal of Sustainable Mining

|

2013

|

tom Vol. 12, iss. 3

48--53

EN

Improvement of productivity has become an important goal for today’s coal industry in the race to increase price competitiveness. The challenge now lying ahead for the coal industry is to identify areas of waste, meet the market price and maintain a healthy profit. The only way to achieve this is to reduce production costs by improving productivity, efficiency and the effectiveness of the equipment. This paper aims to identify the various factors and problems affecting the productivity of underground coal mines adopting the bord and pillar method of mining and to propose suitable measures for improving them. The various key factors affecting productivity, namely the cycle of operations, manpower deployment, machine efficiency, material handling and management of manpower are discussed. In addition, the problem of side discharge loader (SDL) cable handling resulting in the wastage of precious manpower resources and SDL breakdown have also been identified and resolved in this paper.