Wyniki wyszukiwania - BazTech

1

Gramatyki formalne dla prostych wyrażeń arytmetycznych

Brzeski Robert

MINUT Matematyka i Informatyka na Uczelniach Technicznych

|

2021

|

Nr 3

245-254

PL

W procesie dydaktycznym dotyczącym gramatyk formalnych, jednym z często używanych przykładów jest definiowanie gramatyki dla wyrażeń algebraicznych. W rozwiązaniach generujących reguły tworzenia słów, uwzględnia się priorytet wykonywania poszczególnych działań algebraicznych. W bieżącym artykule przedstawiono kilka takich rozwiązań, a następnie zaproponowano rozwiązania generujące taki sam język, ale w postaci mniejszej liczby reguł generujących słowa. Zrealizowano to poprzez pominięcie w regułach zdefiniowanej gramatyki informacji o priorytetach działań algebraicznych. W ten sposób przedstawiono możliwość znacznego uproszczenia zdefiniowanej gramatyki, która bardzo często przedstawiana jest studentom, przy okazji omawiania języków i gramatyk formalnych.

2

Discovering grammar of an unknown text as an optimisation problem

Ryszawa P. A.

Computer Science and Mathematical Modelling

|

2017

|

No. 6

15--22

EN

This paper concerns the problem of discovering an unknown grammar from a text sample. The discovering methods are formulated as optimisation problems based on a binary representation of context-sensitive grammars. The representation starts with a longest possible vector of bits to, finally, make it more compact so as to be usable in practical applications. For the sake of simplicity, considered are only noncontracting (length-preserving) grammars of order 2, excluding productions of the form P: A→ B and those deriving the empty string, i.e P: A → ε.

PL

Niniejszy artykuł dotyczy problemu odkrywania nieznanej gramatyki z próbki tekstu. Metody odkrywania zostały sformułowane jako zadania optymalizacyjne oparte na binarnej reprezentacji gramatyk kontekstowych. Reprezentacja ta, początkowo jako najdłuższy możliwy wektor bitów, ostatecznie została skrócona do zwięzłej postaci, nadającej się do wykorzystania praktycznego. Dla uproszczenia uwzględniono tylko gramatyki nieskracające rzędu 2, z wyłączeniem produkcji postaci P: A→ B i tych wyprowadzających łańcuch pusty, tj. P: A → ε.

3

Frigram : a French Interaction Grammar

Perrier G., Guillaume B.

Journal of Language Modelling

|

2015

|

Vol. 3, No. 1

265--316

EN

We present Frigram, a French grammar with a large coverage, written in the formalism of Interaction Grammars. The originality of the formalism lies in its system of polarities which expresses the resource sensitivity of natural languages and which is used to guide syntactic composition. We present the principles underlying grammar design, highlight its modular architecture and show that the lexicon used is independent of the grammar formalism. We also introduce the “companion property”, and show that it helps to enforce grammar consistency.

4

Documents protection by personalization of protection means

Korostil J.

Metody Informatyki Stosowanej

|

2011

|

nr 1

43-51

EN

In this work are examined methods of construction of personalizing document protection means for situations when document can legally belong to different users. As a protection means are selected graphical protection means which are abstract images like grids, vignettes and other patterns. In this work are built models of graphical protection means in theframe-work of which are developed methods of protection personalization.

5

Comparative effectiveness study of automatic harmonization methods in music with respect to the formal rules of tonal harmony

Zabierowski W.

Zeszyty Naukowe. Elektryka / Politechnika Łódzka

|

2008

|

z. 115

183-189

EN

In the Introduction the subject of Computer Generated Music as a research field in the world science is presented. Next, the explanation of basic musical terms, necessary for understanding the problem, has been given. After that, the results of investigations of automated generation of harmonic function sequences, together with filling missing sounds in accords by means of neural network technique have been shown.

PL

W artykule przedstawiono w skrócie dziedzinę znaną pod angielskim terminem Computer Generated Musie. Na wstępie podano podstawowe terminy muzyczne, niezbędne do zrozumienia zagadnień opisanych w głównej części artykułu. Następnie opisano zastosowane metody prezentacji danych muzycznych na potrzeby badań. Zostało przedstawione rozwiązanie z wykorzystaniem sieci neuronowych do generacji ciągów funkcji harmonicznych oraz uzupełniania brakujących treści dźwiękowych. Zaprezentowano wyniki działania opracowanych metod wraz z ich notacją muzyczną. W podsumowaniu zawarto kilka sugestii możliwych zastosowań osiągniętych wyników.

6

A language for security issues specification during the IT security development process

Białas A.

Theoretical and Applied Informatics

|

2008

|

Vol. 20, No. 2

125-145

EN

The paper deals with the modelling of IT (Information Technology) security development process to be compliant with the Common Criteria (ISO/IEC 15408) family of standards. The paper concerns a more extensive project of the IT security development framework (ITSDF) but special attention is paid to improving and extending the means used to build the IT security specification. A dedicated language is proposed to define specification means for development stages other than the security requirement elaboration stage for which the standard does not provide specification means. The proposed means, called “enhanced generics”, can be used to specify items for the security environment, objectives, environmental requirements and the security functions. The enhanced generics have similar features as the components of the security requirements. They have a well defined structure and allow operations (iteration) on themselves. This solution, instead of the informal textual descriptors, ensures better preciseness of the security features description. The key element of the paper is the formal grammar of generics. It allows to derive all possible “legal” enhanced generics. They have semiformal character and features, similarly to the functional and assurance components defined by the standard to specify the security requirements. The paper, concluding an earlier informal approach, introduces syntax and semantics definitions based on the formal grammar and approach used to define the OCL language formally. The proposed means make security specifications more precise and coherent, allowing to reach the assurance level more easily. Moreover, this approach allows to create an IT security development tool in which the specification means are implemented as the design library elements.

PL

Artykuł dotyczy wybranych zagadnień modelowania procesu konstruowania produktów lub systemów teleinformatycznych zawierających elementy zabezpieczeń, zgodnie z wymaganiami określonymi we “Wspólnych kryteriach oceny zabezpieczeń teleinformatycznych” (ISO/IEC 15408) i w standardach z nim związanych. Dotyczy on szerzej zakrojonych prac autora nad szkieletowym systemem konstruowania zabezpieczeń (ITSDF – IT security development framework). Skupiono w nim uwagę na udoskonaleniu i rozszerzeniu środków do tworzenia specyfikacji modeli bezpieczeństwa produktów lub systemów teleinformatycznych. Zaproponowano dedykowany język do specyfikowania własności bezpieczeństwa dla wszystkich etapów konstruowania, innych niż etap definiowania wymagań bezpieczeństwa. Należy nadmienić, że w standardzie Wspólne kryteria tylko dla tego etapu określono środki specyfikacji, czyli komponenty funkcjonalne i uzasadniające zaufanie. Natomiast dla etapów wypracowania: otoczenia zabezpieczeń (“problemu bezpieczeństwa” według wersji 3.1 standardu), celów zabezpieczeń, wymagań dla środowiska eksploatacji oraz funkcji zabezpieczających, dotychczas takich środków nie zdefiniowano. Konstruktorzy zabezpieczeń stosują więc opisy słowne lub zwięzłe, ale dość swobodnie zdefiniowane, sformułowania oznaczane etykietami, które zwane są potocznie generykami. Autor w swej publikacji zaproponował udoskonalenie tego sposobu opisu. Zaproponowane w publikacji środki specyfikacji, z racji swych możliwości, nazwano “udoskonalonymi generykami” (enhanced generics). Są one przeznaczone dla tych etapów konstruowania, dla których dotychczas było brak środków opisu. Podobnie jak zdefiniowane przez standard komponenty wymagań bezpieczeństwa – funkcjonalne oraz uzasadniające zaufanie, wspomniane udoskonalone generyki mają charakter półformalny. Udoskonalone generyki dorównują precyzją i możliwościami komponentom zdefiniowanym w standardzie i razem z tymi komponentami stanowią spójny zbiór środków specyfikacji dla wszystkich etapów konstruowania zabezpieczeń. Mogą posiadać parametry, pod które można podstawiać inne generyki. Pozwala to na iterację, czyli wielokrotne umieszczanie danego generyka w specyfikacji, ale z różnymi podstawionymi wartościami parametrów, np. tego samego zagrożenia z różnymi agentami zagrożenia i atakowanymi zasobami (Przykład 3). Na wzór uszczegółowienia (ang. refinement) komponentu wprowadzono operację uszczegółowienia generyka. Nowum stanowi możliwość wyprowadzania z danego generyka generyków pochodnych (ang. derived), a przede wszystkim predefiniowane ciągi generyków wspomagające rozwiązywania problemów bezpieczeństwa przez konstruktora (ang. supporting chains). Dla danego zagrożenia (reguły polityki bezpieczeństwa czy założenia) przypisano bowiem typowe dla niego cele bezpieczeństwa, które dany problem rozwiązuja˛. Z kolei każdy cel ma przypisane typowe komponenty funkcjonalne, które go wyrażają “w języku wspólnych kryteriów”, zaś pogrupowane komponenty mają przypisane typowe funkcje bezpieczeństwa, które należy zaimplementować w produkcie lub systemie informatycznym. Konstruktor zabezpieczeń, bazując na “typowych”, predefiniowanych rozwiązaniach ma znacznie ułatwioną pracę podczas tworzenia i uzasadniania zadania zabezpieczeń (ang. ST- Security target) lub profilu zabezpieczeń (ang. PP- Protection Profile). Na tle stosowanych dotychczas nieformalnych środków specyfikacji (sformułowań tekstowych, prostych generyków), artykuł pokazuje ich ewolucję do postaci “udoskonalonych generyków”. Pierwszym krokiem była próba określenia stosowanego, lecz nigdzie jeszcze nie zdefiniowanego pojęcia “generyk” (Definicja 1). Następnie podano definicję udoskonalonego generyka, stosując popularną wśród użytkowników standardu notację z kropką (Definicja 2). Stało się to podstawą zdefiniowania składni (Definicja 3) i samego języka (Definicja 4). W ten sposób określono wszystkie możliwe nazwy generyków, nie precyzując jednak ich znaczenia. W celu zdefiniowania semantyki (sekcja 4) posłużono się metodą z rozprawy doktorskiej Richtersa, za pomocą której zdefiniowano semantykę języka OCL (Object Constraint Language), wykorzystywanego do precyzyjnego modelowania w UML (Unified Modeling Language). Istota metody tkwi w przypisaniu interpretacji do stosowanych literałów. W tym sensie środki specyfikacji własności bezpieczeństwa stały się zgodne z językiem OCL i mogą być traktowane jako jego podzbiór. Szerzej te zagadnienia prezentuje monografia [5]. Opisany powyżej zbiór środków do specyfikowania, obejmujący udoskonalone generyki oraz zdefiniowane przez standard komponenty, dzięki zastosowanym formalizmom, pozwala na większą spójność i dokładność modeli oraz na implementacje˛ programowa˛w postaci elementów bibliotecznych systemów wspomagania konstruowania zabezpieczeń teleinformatycznych.

7

A Grammar for the Polish inflection lexicon

Lubaszewski W.

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

|

2000

|

Vol. 4, No 2

291-300