Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
The aim of this paper is the identification and description of the capabilities and limitations of military aviation in intervention operations. Over the last two decades, military aviation was treated by political decision-makers as a remedy for solving international crises and conflicts. Intervention operations with the participation of military aviation included: humanitarian intervention, crisis response operation and regional ethnic conflicts in many areas of the world. Short analysis of the above-mentioned operations shows a tendency for military aviation to possess attributes (capabilities) which distinguish it from other services. Doctrinal attributes describing military aviation, that is to say, speed, reach, height, ubiquity, agility and concertation, give the intervening coalition an advantage over the enemy from the beginning of the intervention. However, the doctrinal capabilities of military aviation in many cases are not sufficient for conducting air operations during an intervention. It is believed that military aviation may create other capabilities that are very important in the context of the political and military end state of intervention. These might be: possibility of enforcement of no-fly zones as an element of military deterrence, creation of psychological effects against the enemy, show of force or inputs to intelligence, surveillance and reconnaissance. However, the most important capability of military aviation in intervention operations may be the ability for coercion, which allows politicians to put pressure on adversaries. There is no doubt that military aviation also possesses limitations which may reduce its capabilities during intervention operations. The most known of these are: impermanence, limited payload and vulnerability. Sometimes, these would also be political challenges connected with witnessing a given operation by individual countries or the international community. In a specific situation, they may limit or prevent conducting air operations in the area of operations.
PL
Celem artykułu jest identyfikacja i opis zdolności oraz ograniczeń lotnictwa wojskowego w operacjach interwencyjnych. W ciągu ostatnich dwóch dekad lotnictwo wojskowe było traktowane przez decydentów politycznych jako remedium w rozwiązywaniu międzynarodowych kryzysów i konfliktów. Działania interwencyjne z udziałem lotnictwa wojskowego obejmowały: interwencje humanitarne, operacje reagowania kryzysowego czy konflikty etniczne w wielu obszarach całego świta. Krótka analiza tego rodzaju operacji pokazuje, że lotnictwo wojskowe posiada atrybuty (zdolności) wyróżniające je spośród innych rodzajów wojsk. Doktrynalne atrybuty opisujące lotnictwo wojskowe, tj. szybkość działania, zasięg, wysokość, wszechobecność oraz elastyczność użycia i zdolność do koncentracji dają koalicji interwentów przewagę nad przeciwnikiem od początku trwania operacji. Jednakże doktrynalne atrybuty lotnictwa wojskowego w wielu przypadkach okazują się niewystarczające do realizacji operacji powietrznych. Należy zauważyć, że lotnictwo wojskowe posiada bardzo istotne zdolności w kontekście politycznego i militarnego celu operacji. Mogą to być: zdolność do wymuszania stref zakazu lotów, zdolność do militarnego odstraszania, zdolność do tworzenia efektów psychologicznych, demonstracja siły czy wkład w system rozpoznania i obserwacji. Jednakże prawdopodobnie najważniejszą zdolnością lotnictwa wojskowego w operacjach interwencyjnych może być zdolność do wymuszania oraz wywieranie presji na przeciwnikach. Nie ulega wątpliwości, że lotnictwo wojskowe posiada również swoje ograniczenia, które mogą zmniejszać jego zdolności w działaniach interwencyjnych. Za kluczowe należy uznać: nietrwałość podejmowanych działań, ograniczony udźwig statków powietrznych czy ograniczoną żywotność. Również polityczne wyzwania związane z postrzeganiem danej operacji przez poszczególne państwa i społeczność międzynarodową mogą wpływać pośrednio na zdolności lotnictwa wojskowego. W specyficznej sytuacji mogą one ograniczać lub uniemożliwiać wykonywanie misji lotniczych w rejonie operacji.
EN
We show how a signatory can indicate coercion by embedding a secret message into the signature. Our scheme is practical and applies to standard signature schemes unlike the recent construction of Durnoga et al. (2013). The construction follows directly from kleptographic techniques due to Moti Yung and Adam Young.
3
Content available remote A Type Driven Theory of Predication with Complex Types
EN
This paper investigates several models of the complex type ź which is needed to analyze copredication. Previous accounts are shown to be inadequate and a new account both of ź and copredication is proposed.
4
Content available remote Coinductive axiomatization of recursive type equality and subtyping
EN
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by coinductive characterizations of type containment and type equality via simulation and bisimulation, respectively. The main novelty of the axiomatization is the fixpoint rule (or coinduction principle). It states that from A,Pý P one may deduce Aý P, where P is either a type equality t = t1 or type containment t
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ć.