Operating Model of Knowledge Quantum Engineering for Decision-Making in Conditions of Indeterminacy

The operating model of knowledge quantum engineering for identification and prognostic decision- making in conditions of α-indeterminacy is suggested in the article. The synthesized operating model solves three basic tasks: Аt-task to formalize tk-knowledge; Вt-task to recognize (identify) objects according to observed results; Сt-task to extrapolate (prognosticate) the observed results. Operating derivation of identification and prognostic decisions using authentic different-level algorithmic knowledge quantum (using tRAKZ-method) assumes synthesis of authentic knowledge quantum database (BtkZ) using induction operator as a system of implicative laws, and then using deduction operator according to the observed tk-knowledge and BtkZ a derivation of identification or prognostic decisions in a form of new tk-knowledge.

A Two Layered Model for Evolving Web Resources

In this paper the key features of a two-layered model for describing the semantic of dynamical web resources are introduced. In the current Semantic Web proposal [Berners-Lee et al., 2001] web resources are classified into static ontologies which describes the semantic network of their inter-relationships [Kalianpur, 2001][Handschuh & Staab, 2002] and complex constraints described by logical quantified formula [Boley et al., 2001][McGuinnes & van Harmelen, 2004][McGuinnes et al., 2004], the basic idea is that software agents can use techniques of automatic reasoning in order to relate resources and to support sophisticated web application. On the other hand, web resources are also characterized by their dynamical aspects, which are not adequately addressed by current web models. Resources on the web are dynamical since, in the minimal case, they can appear or disappear from the web and their content is upgraded. In addition, resources can traverse different states, which characterized the resource life-cycle, each resource state corresponding to different possible uses of the resource. Finally most resources are timed, i.e. they information they provide make sense only if contextualised with respect to time, and their validity and accuracy is greatly bounded by time. Temporal projection and deduction based on dynamical and time constraints of the resources can be made and exploited by software agents [Hendler, 2001] in order to make previsions about the availability and the state of a resource, for deciding when consulting the resource itself or in order to deliberately induce a resource state change for reaching some agent goal, such as in the automated planning framework [Fikes & Nilsson, 1971][Bacchus & Kabanza,1998].

Representing "Recursive" Default Logic in Modal Logic

The "recursive" definition of 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 "recursive" fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning of the fixed-point 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 is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original "recursive" definition of Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults.

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.

Representing spray zone with cross flow as a well-mixed compartment in a high shear granulator

The spray zone is an important region to control nucleation of granules in a high shear granulator. In this study, a spray zone with cross flow is quantified as a well-mixed compartment in a high shear granulator. Granulation kinetics is quantitatively derived at both particle-scale and spray zone-scale. Two spatial decay rates, DGSDR (droplet-granule spatial decay rate) ζDG and DPSDR (droplet-primary particle spatial decay rate) ζDP, which are functions of volume fraction and diameter of particulate species within the powder bed, are defined to simplify the deduction. It is concluded that in cross flow, explicit analytical results show that the droplet concentration is subject to exponential decay with depth which produces a numerically infinite depth of spray zone in a real penetration process. In a well-mixed spray zone, the depth of the spray zone is 4/(ζDG + ζDP) and π2/3(ζDG + ζDP) in cuboid and cylinder shape, respectively. The first-order droplet-based collision rates of, nucleation rate B0 and rewetting rate RW0 are uncorrelated with the flow pattern and shape of the spray zone. The second-order droplet-based collision rate, nucleated granule-granule collision rate RGG, is correlated with the mixing pattern. Finally, a real formulation case of a high shear granulation process is used to estimate the size of the spray zone. The results show that the spray zone is a thin layer at the powder bed surface. We present, for the first time, the spray zone as a well-mixed compartment. The granulation kinetics of a well-mixed spray zone could be integrated into a Population Balance Model (PBM), particularly to aid development of a distributed model for product quality prediction.

Vernaculares: a casa de fazenda seridoense do século XIX como exemplo de adaptação ao clima semiárido

The farm’s rural dwellings of creation from the Seridó Potiguar microregion, built in the nineteenth century, became a reference by its vernacular character, i.e. these buildings, besides having recognized relevance to the identity of the region, they are adapted to the conditions of the place in many aspects (economic, cultural, construction, physical, et.) and consist in protective spaces in relation to hostile characteristics of Seridó’s climate. Considering the above premise, the following question arises: What characteristics of the nineteenth century Seridó Potiguar’s cattle farms are crucial for them to be a protective space in relation to the semiarid climate? In order to answer the question, this research aim to identify which particularities of the Seridó’s farmhouses that contribute to adaptability in these buildings to semiarid climate, as protection environments; and contribute to the stock valuation of the architectural heritage concerned. Therefore, procedures were adopted divided into two stages. Were first identified the recurring characteristics in the studied buildings, through typological study performed from existing inventories (DINIZ, 2008; FEIJÓ, 2002; IPHAN, 2012). To define the type it worked up with the concept that merges Durand’s analytical typology that identifies the similarities and differences to classify buildings, having the character of historical survey and architectural documentation, with the definition proposed by Argan (1963) that the type is not defined a priory, but the deduction from a number of illustrative cases which have formal and functional similarity with each other. Then worked up in a sample of five different types with each other, defined by the possibility of access to the interior of the houses, proximity to other copies, good state of conservation and preservation. The contemplated farms were: Pitombeiras, Agenus e Garrotes in Acari’s town, and the municipality of Caicó, Palma and Penedo. The second stage consists of the architectural survey, photographic record, digital three-dimensional modeling (aiming to expand the existing documentation and registration) and thermal monitoring over approximately a representative day in five farmhouses, relating the thermal performance of the houses with their individual characteristics. The selected variables for analysis monitoring are based on the thermal comfort adaptive model (SPAGNOLO and DE DEAR, 2003 apud NEGREIROS, 2010). The characteristics of the houses were analyzed as meeting the passive thermal conditioning strategies recommended by NBR 15220 (ABNT, 2005), for the bioclimatic zone 7 where the municipalities of Caicó and Acari are located. The house’s analysis of the operating temperatures revealed that 90% of the times of day the environments are within the comfort range. The farmhouses, which had a higher degree of compliance with recommended bioclimatic strategies, had the best thermal performance. In environments (usually the kitchen and rooms with low ceiling heights, exposed to west radiation) which still had discomfort hours, the thermal comfort can be reached with air movement approximately 1,0 m/s.

Vernaculares: a casa de fazenda seridoense do século XIX como exemplo de adaptação ao clima semiárido

The farm’s rural dwellings of creation from the Seridó Potiguar microregion, built in the nineteenth century, became a reference by its vernacular character, i.e. these buildings, besides having recognized relevance to the identity of the region, they are adapted to the conditions of the place in many aspects (economic, cultural, construction, physical, et.) and consist in protective spaces in relation to hostile characteristics of Seridó’s climate. Considering the above premise, the following question arises: What characteristics of the nineteenth century Seridó Potiguar’s cattle farms are crucial for them to be a protective space in relation to the semiarid climate? In order to answer the question, this research aim to identify which particularities of the Seridó’s farmhouses that contribute to adaptability in these buildings to semiarid climate, as protection environments; and contribute to the stock valuation of the architectural heritage concerned. Therefore, procedures were adopted divided into two stages. Were first identified the recurring characteristics in the studied buildings, through typological study performed from existing inventories (DINIZ, 2008; FEIJÓ, 2002; IPHAN, 2012). To define the type it worked up with the concept that merges Durand’s analytical typology that identifies the similarities and differences to classify buildings, having the character of historical survey and architectural documentation, with the definition proposed by Argan (1963) that the type is not defined a priory, but the deduction from a number of illustrative cases which have formal and functional similarity with each other. Then worked up in a sample of five different types with each other, defined by the possibility of access to the interior of the houses, proximity to other copies, good state of conservation and preservation. The contemplated farms were: Pitombeiras, Agenus e Garrotes in Acari’s town, and the municipality of Caicó, Palma and Penedo. The second stage consists of the architectural survey, photographic record, digital three-dimensional modeling (aiming to expand the existing documentation and registration) and thermal monitoring over approximately a representative day in five farmhouses, relating the thermal performance of the houses with their individual characteristics. The selected variables for analysis monitoring are based on the thermal comfort adaptive model (SPAGNOLO and DE DEAR, 2003 apud NEGREIROS, 2010). The characteristics of the houses were analyzed as meeting the passive thermal conditioning strategies recommended by NBR 15220 (ABNT, 2005), for the bioclimatic zone 7 where the municipalities of Caicó and Acari are located. The house’s analysis of the operating temperatures revealed that 90% of the times of day the environments are within the comfort range. The farmhouses, which had a higher degree of compliance with recommended bioclimatic strategies, had the best thermal performance. In environments (usually the kitchen and rooms with low ceiling heights, exposed to west radiation) which still had discomfort hours, the thermal comfort can be reached with air movement approximately 1,0 m/s.

La transformación de la tabla kantiana de las categorías en el Fundamento de toda la doctrina de la ciencia de J. G. Fichte de 1794/95

El presente artículo analiza la deducción fichteana de la categorías en el Fundamento de toda la doctrina de la ciencia de 1794/95 a la luz de la comprensión que tiene Fichte, durante los años de la génesis y publicación de esta obra, acerca de su relación con la filosofía kantiana con respecto a la cuestión de las categorías. Se argumenta que la deducción fichteana de las categorías en esta obra de 1794/95 transforma la tabla kantiana de las categorías en una tríada de tríadas (nueve categorías reunidas en los grupos de relación, cantidad, cualidad) en la que la determinación recíproca es la categoría fundamental, el grupo de la modalidad queda excluido y la distinción entre categorías matemáticas y dinámicas desaparece. El análisis de la deducción fichteana es seguido de una revisión crítica de las interpretaciones habituales sobre este tema.

Identification and bioactivity evaluation of two novel temporins from the skin secretion of the European edible frog, Pelophylax kl. Esculentus

The amphibian temporins, amongst the smallest antimicrobial peptides (AMPs), are α-helical, amphipathic, hydrophobic and cationic and are active mainly against Gram-positive bacteria but inactive or weakly active against Gram-negative bacteria. Here, we report two novel members of the temporin family, named temporin-1Ee (FLPVIAGVLSKLFamide) and temporin-1Re (FLPGLLAGLLamide), whose biosynthetic precursor structures were deduced from clones obtained from skin secretion-derived cDNA libraries of the European edible frog, Pelophylax kl. esculentus, by ‘shotgun’ cloning. Deduction of the molecular masses of each mature processed peptide from respective cloned cDNAs was used to locate respective molecules in reverse-phase HPLC fractions of secretion. Temporin-1Ee (MIC = 10 μM) and temporin-1Re (MIC = 60 μM) were both found to be active against Gram-positive Staphylococcus aureus, but retaining a weak haemolytic activity. To our knowledge, Single-site substitutions can dramatically change the spectrum of activity of a given temporin. Compared with temporine-1Ec, just one chemically-conservative substitution (Val8 instead of Leu8), temporin-1Ee bearing a net charge of +2 displays broad-spectrum activity with particularly high potency on the clinically relevant Gram-negative strains, Escherichia coli (MIC = 40 μM). These factors bode well for translating temporins to be potential drug candidates for the design of new and valuable anti-infective agents.

Sysselsättningseffekter i svenska aktiebolag av införandet av RUT-avdraget : En Difference-in-Differenceanalys

Detta arbete har gjorts med syftet att utvärdera sysselsättningseffekterna i svenska aktiebolag av införandet av RUT-avdraget. RUT-avdraget infördes 2007 och innebär att privatpersoner kan få göra skattereduktion för olika typer av hushållsarbeten. Datamaterialet som används i denna studie är bokföringsdata för alla Sveriges aktiebolag mellan 2000 – 2010, aggregerat till tresiffriga SNI-koder för alla de svenska kommunerna. Utifrån datamaterialet har RUT-avdragets sysselsättningseffekter analyserats med hjälp av en Difference-in-Differencemodell. Resultatet visar att RUT-avdraget gjort att 6930 nya arbeten har skapats i de svenska aktiebolag som ingår i RUT-sektorn. Detta innebär alltså att RUT-avdraget har haft en positiv effekt på sysselsättningen.

Sysselsättningseffekter i svenska aktiebolag genererade av återinförandet av ROT-avdraget 2008 : En utvärdering med hjälp av syntetisk kontrollmetod

Målet med detta arbete är att utvärdera effekterna av ROT-avdraget som återinfördes i Sverige december 2008. ROT-avdragets syfte var att stimulera byggbranschen och öka byggandet i Sverige. Jag vill i detta arbeta undersöka vilka effekter återinförandet av ROT-avdraget hade på sysselsättningen inom byggbranschen i Sverige. De data som används kommer att behandla aktiebolag i Sverige och är insamlade från företagens bokföringar. En syntetisk kontrollmetod kommer att användas för analysen. Denna metod går ut på att skapa en syntetisk kontrollenhet som jämförs med den behandlade enheten, d.v.s. byggbranschen. I detta fall är det byggbranschen före och efter införandet av ROT-avdraget som kommer studeras. Resultaten tyder på att det skapats cirka 21 000 jobb genom återinförandet av ROT-avdraget.

Det är alltid bäst innan förändring : En studie om motivation vid förändring, individens upplevelse & ledares påverkan

Förändringar är vanligt förekommande i organisationer och forskning visar att många förändringsinitiativ tyvärr misslyckas. Genomförandet av förändringar som fokuserar på individens motivation är lyckosamma i bemärkelsen att personalen trivs och att arbetet inte blir lidande. Studien syftar till att ta reda på hur ledare kan arbeta för att främja medarbetares motivation vid organisationsförändringar. Genom ett kvalitativt perspektiv och en deduktiv ansats har vi undersökt vad som påverkar och främjar medarbetares motivation vid organisationsförändringar. Undersökningen har genomförts på två avdelningar i ett stort företag i Gästrikland som vid tiden för insamling av data, genomgick en förändring. Studien är en fallstudie med avsikt att undersöka den specifika skiftformsförändringen som företaget genomgick. Tillvägagångssättet för insamlingen av material är en process som ämnar att, genom delaktighet och diskussion ta reda på vad som motiverar medarbetare under förändringar. Analysen av resultatet visar att individernas grundläggande behov i arbetet, till viss del inte varit uppfyllda vilket har lett till att en del personal givit uttryck för att de är omotiverade och att de känner ett motstånd mot förändringen. Det upplevda motståndet består i en rad olika känslor, bland annat; chock, oro och förvirring som uppkommer på grund av osäkerhet och brist på kontroll rörande individens arbetssituation. Känslorna hämmar motivationen och kan ge en upplevelse av att de grundläggande behoven i arbetet inte är uppfyllda, även fast de kan vara det. Studien visar att ledare kan påverka motståndet och främja medarbetares motivation under förändringar dels genom att bjuda in till delaktighet i ett så tidigt stadie som möjligt i förändringsprocesssen och dels genom att på ett tydligt sätt kommunicera och informera kring förändringens innebörd. Det gör att individen upplever kontroll över sin framtid i arbetet vilket påverkar upplevelsen av att de grundläggande behoven inte skulle vara uppfyllda och gynnar motivationen. Ledare behöver även vara lyhörda för att alla upplever förändringar olika och läsa av behov och önskemål och anpassa eventuellt stöd efter det.

The VOP Voice, February 1, 2016, Vol. 2

Spotlight on Lynzey Kenworthy, Volunteer Anniversaries, Continuing Education, Trivia, Possible Tax Deduction for Mileage