Processing of Knowledge about Optimization of Classical Optimizing Transformations

The article describes the structure of an ontology model for Optimization of a sequential program. The components of an intellectual modeling system for program optimization are described. The functions of the intellectual modeling system are defined.

On OBDD Transformations Representing Finite State Automata

We present OBDD transformation problem representing finite labeled transition systems corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a minimized transition system for this congruence relation.

Representing Reflective Logic in Modal Logic

The nonmonotonic logic called Reflective Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Reflective Logic with an initial set of axioms and defaults if and only if the meaning of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Reflective Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since all the laws of First Order Logic hold and since both the Barcan Formula and its converse hold.

Representing Default Logic in Modal Logic

The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan Formula and its converse hold.

Representing Autoepistemic Logic in Modal Logic

The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold.

Volume strain sensor based on spectra analysis of in-fiber modal interferometer

An optical in-fiber modal interferometer-based volume strain sensor for earthquake prediction is proposed and experimentally demonstrated. The sensing element is formed by wrapping a multimode-singlemode-multimode fiber structure onto a polyurethane hollow column. Due to the modal interference between the excited guided modes in the fiber, strong interference pattern could be observed in the transmission spectrum. Theoretical analysis verifies that the resonant wavelength shifts as a result of the volume strain variation caused by the column deformation with square root relationship. Sensitivity > 3.93 pm/με within the volume strain ranging from 0 to 1300 με is also experimentally demonstrated. By taking the response of bidirectional change of volume strain and the sluggish character of the employed sensing material into consideration, the sensing system presents good repeatability and stability. © 2001-2012 IEEE.

Cryptographic Primitives with Quasigroup Transformations

AMS Subj. Classification: Primary 20N05, Secondary 94A60

On the Transformations of Symplectic Expansions and the Respective Bäcklund Transformation for the KDV Equation

2000 Mathematics Subject Classification: Primary: 34B40; secondary: 35Q51, 35Q53

Invariants of Unipotent Transformations Acting on Noetherian Relatively Free Algebras

2000 Mathematics Subject Classification: 16R10, 16R30.

Nonlinear signal transformations:path to capacity above the linear AWGN Shannon limit

We present a methodology for simultaneous optimization of modulation format and regenerative transformations in nonlinear communication channels. We derived analytically the maximum regenerative Shannon capacity, towards which any regenerative channel tends at high SNR and large number of regenerators.

On the Semigroup of all Increasing Full Transformations

Илинка А. Димитрова - Полугрупата Tn от всички пълни преобразувания върху едно n-елементно множество е изучавана в различни аспекти ог редица автори. Обект на разглеждане в настоящата работа е полугрупата Incn състояща се от всички нарастващи пълни преобразувания. Очевидно Incn е подполугрупа на Tn. Доказано е, че всеки елемент на полугрупата Incn от ранг r може да се представи като произведение на идемпотенти от същия ранг и всеки идемпотент от ранг по-малък или равен на r може да се представи като произведение на идемпотенти от ранг r. С помощта на тези твърдения е показано, че полугрупата Incn се поражда от множеството на всички идемпотенти от ранг n − 1 и тъждественото преобразувание. Освен това е доказано, че идемпотентите от ранг n − 1 са неразложими в полугрупата Incn. В резултат на това е получено, че рангът и идемпотичниат ранг на разглежданата полугрупа са равни. Като са използвани тези твърдения е направена пълна класификация на маскималните подполугрупи на полугрупата Incn.

Classification of the Maximal Subsemigroups of the Semigroup of all Partial Order-Preserving Transformations

Илинка А. Димитрова, Цветелина Н. Младенова - Моноида P Tn от всички частични преобразования върху едно n-елементно множество относно операцията композиция на преобразования е изучаван в различни аспекти от редица автори. Едно частично преобразование α се нарича запазващо наредбата, ако от x ≤ y следва, че xα ≤ yα за всяко x, y от дефиниционното множество на α. Обект на разглеждане в настоящата работа е моноида P On състоящ се от всички частични запазващи наредбата преобразования. Очевидно P On е под-моноид на P Tn. Направена е пълна класификация на максималните подполугрупи на моноида P On. Доказано е, че съществуват пет различни вида максимални подполугрупи на разглеждания моноид. Броят на всички максимални подполугрупи на POn е точно 2^n + 2n − 2.

Impact of inter-modal four-wave mixing on the performance of mode- and wavelength-division-multiplexing systems

In this paper, we investigate the impact of inter-modal four-wave mixing on mode- and wavelength-division-multiplexing systems. A set of coupled nonlinear Schrödinger equations, including linear mode coupling, is derived allowing to isolate the inter-modal four-wave mixing terms. The efficiency of inter-modal four-wave mixing between degenerate LP modes is found to be significantly higher than the intra-modal four-wave mixing efficiency. However, it is shown that the inter-modal four-wave mixing efficiency between degenerate modes is significantly reduced by the linear mode coupling.

Simultaneous measurement for liquid level and refractive index based on all-fiber modal interferometer

A simple fiber sensor capable of simultaneous measurement of liquid level and refractive index (RI) is proposed and experimentally demonstrated. The sensing head is an all-fiber modal interferometer manufactured by splicing an uncoated single-mode fiber with two short sections of multimode fiber. The interference pattern experiences blue shift along with an increase of axial strain and surrounding RI. Owing to the participation of multiple cladding modes with different sensitivities, the height and RI of the liquid could be simultaneously measured by monitoring two dips of the transmission spectrum. Experimental results show that the liquid level and RI sensitivities of the two dips are 245.7 pm/mm, -38 nm/RI unit (RIU), and 223.7 pm/mm, -62 nm/RIU, respectively. The approach has distinctive advantages of easy fabrication, low cost, and high sensitivity for liquid level detection with the capability of distinguishing the RI variation simultaneously. © 2013 Copyright Taylor and Francis Group, LLC.

Pd/C catalysts based on synthetic carbons with bi- and tri-modal pore-size distribution:applications in flow chemistry

Two new types of phenolic resin-derived synthetic carbons with bi-modal and tri-modal pore-size distributions were used as supports for Pd catalysts. The catalysts were tested in chemoselective hydrogenation and hydrodehalogenation reactions in a compact multichannel flow reactor. Bi-modal and tri-modal micro-mesoporous structures of the synthetic carbons were characterised by N2 adsorption. HR-TEM, PXRD and XPS analyses were performed for characterising the synthesised catalysts. N2 adsorption revealed that tri-modal synthetic carbon possesses a well-developed hierarchical mesoporous structure (with 6.5 nm and 42 nm pores), contributing to a larger mesopore volume than the bi-modal carbon (1.57 cm3 g-1versus 1.23 cm3 g-1). It was found that the tri-modal carbon promotes a better size distribution of Pd nanoparticles than the bi-modal carbon due to presence of hierarchical mesopore limitting the growth of Pd nanoparticles. For all the model reactions investigated, the Pd catalyst based on tri-modal synthetic carbon (Pd/triC) show high activity as well as high stability and reproducibility. The trend in reactivities of different functional groups over the Pd/triC catalyst follows a general order alkyne ≫ nitro > bromo ≫ aldehyde.