Computer Support of Semantic Text Analysis of a Technical Specification on Designing Software

The given work is devoted to development of the computer-aided system of semantic text analysis of a technical specification. The purpose of this work is to increase efficiency of software engineering based on automation of semantic text analysis of a technical specification. In work it is offered and investigated a technique of the text analysis of a technical specification is submitted, the expanded fuzzy attribute grammar of a technical specification, intended for formalization of limited Russian language is constructed with the purpose of analysis of offers of text of a technical specification, style features of the technical specification as class of documents are considered, recommendations on preparation of text of a technical specification for the automated processing are formulated. The computer-aided system of semantic text analysis of a technical specification is considered. This system consist of the following subsystems: preliminary text processing, the syntactic and semantic analysis and construction of software models, storage of documents and interface.

Formal Specification of Relational Model of Data in Z-Notation

Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.

Taylor Spectrum and Characteristic Functions of Commuting 2-Contractions

2000 Mathematics Subject Classification: 47A10, 47A13.

Specification and quantitative analysis of probabilistic cloud deployment patterns

Cloud computing is a new technological paradigm offering computing infrastructure, software and platforms as a pay-as-you-go, subscription-based service. Many potential customers of cloud services require essential cost assessments to be undertaken before transitioning to the cloud. Current assessment techniques are imprecise as they rely on simplified specifications of resource requirements that fail to account for probabilistic variations in usage. In this paper, we address these problems and propose a new probabilistic pattern modelling (PPM) approach to cloud costing and resource usage verification. Our approach is based on a concise expression of probabilistic resource usage patterns translated to Markov decision processes (MDPs). Key costing and usage queries are identified and expressed in a probabilistic variant of temporal logic and calculated to a high degree of precision using quantitative verification techniques. The PPM cost assessment approach has been implemented as a Java library and validated with a case study and scalability experiments. © 2012 Springer-Verlag Berlin Heidelberg.

Kockázattal kiegészített Taylor-szabályok becslése Magyarországra = Estimation of risk-augmented Taylor rules for Hungary

Cikkünkben a magyar monetáris politikát vizsgáljuk olyan szempontból, hogy kamatdöntései meghozatalakor figyelembe vette-e az országkockázatot, és ha igen, hogyan. A kérdés megválaszolásához a monetáris politika elemzésének leggyakoribb eszközét használjuk: az ország monetáris politikáját leíró Taylor-szabályokat becslünk. A becslést több kockázati mérőszámmal is elvégeztük több, különféle Taylor-szabályt használva. Az érzékenységvizsgálatban az inflációhoz és a kibocsátási réshez is alkalmaztunk más, az alapspecifikációban szereplőtől eltérő mérőszámokat. Eredményeink szerint a Magyar Nemzeti Bank kamatdöntései jól leírhatók egy rugalmas, inflációs célkövető rezsimmel: a Taylor-szabályban szignifikáns szerepe van az inflációs céltól való eltérésének és - a szabályok egy része esetén - a kibocsátási résnek. Emellett a döntéshozók figyelembe vették az országkockázatot is, annak növekedésére a kamat emelésével válaszoltak. Az országkockázat Taylor-szabályba történő beillesztése a megfelelő kockázati mérőszám kiválasztása esetén jelentős mértékben képes javítani a Taylor-szabály illeszkedését. _____ The paper investigates the degree to which Hungarian monetary policy has considered country risk in its decisions and if so, how. The answer was sought through the commonest method of analysing a countrys monetary policy: Taylor rules for describing it. The estimation of the rule was prepared using several risk indicators and applying various types of Taylor rules. As a sensitivity analysis, other indicators of inflation and output gap were employed than in the base rule. This showed that the interest-rate decisions of the National Bank of Hungary can be well described by a flexible inflation targeting regime: in the Taylor rules, deviation of inflation from its target has a significant role and the output gap is also significant in one part of the rules. The decision-makers also considered country risk and responded to an increase in it by raising interest rates. Insertion of country risk into the Taylor rule could improve the models fit to an important degree when choosing an appropriate risk measure.

„A gyári üzemnek évszázados fejlődésből leszűrt breviáriuma” A magyar vezetés- és szervezéstudományi gondolkodás kezdetei: Vitasorozat a Taylor-rendszerről 1912-ben

Magyarország társadalmi és gazdasági változásai kapcsán gyakran merül fel a kérdés, hogy egyes új fejlemények vajon a nemzetközi folyamatok hatására bontakoztak-e ki, és ha igen, azokkal egyidejűleg vagy bizonyos idővel később került-e sor rájuk? Egyidejűség vagy fáziskésés? Külföldi minták szolgai másolása vagy hazai viszonyokra történő alkalmazása, esetleg egy speciális „harmadik út” megfogalmazása volt-e jellemző az időszerűvé vált problémákra adott „magyar válaszra”?

Security specification and enforcement in mediation system

Mediation techniques provide interoperability and support integrated query processing among heterogeneous databases. While such techniques help data sharing among different sources, they increase the risk for data security, such as violating access control rules. Successful protection of information by an effective access control mechanism is a basic requirement for interoperation among heterogeneous data sources. ^ This dissertation first identified the challenges in the mediation system in order to achieve both interoperability and security in the interconnected and collaborative computing environment, which includes: (1) context-awareness, (2) semantic heterogeneity, and (3) multiple security policy specification. Currently few existing approaches address all three security challenges in mediation system. This dissertation provides a modeling and architectural solution to the problem of mediation security that addresses the aforementioned security challenges. A context-aware flexible authorization framework was developed in the dissertation to deal with security challenges faced by mediation system. The authorization framework consists of two major tasks, specifying security policies and enforcing security policies. Firstly, the security policy specification provides a generic and extensible method to model the security policies with respect to the challenges posed by the mediation system. The security policies in this study are specified by 5-tuples followed by a series of authorization constraints, which are identified based on the relationship of the different security components in the mediation system. Two essential features of mediation systems, i. e., relationship among authorization components and interoperability among heterogeneous data sources, are the focus of this investigation. Secondly, this dissertation supports effective access control on mediation systems while providing uniform access for heterogeneous data sources. The dynamic security constraints are handled in the authorization phase instead of the authentication phase, thus the maintenance cost of security specification can be reduced compared with related solutions. ^

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Rapid responses of vegetation to hydrological changes in Taylor Slough, Everglades National Park, Florida, USA

We analyzed the dynamics of freshwater marsh vegetation of Taylor Slough in eastern Everglades National Park for the 1979 to 2003 period, focusing on cover of individual plant species and on cover and composition of marsh communities in areas potentially influenced by a canal pump station (‘‘S332’’) and its successor station (‘‘S332D’’). Vegetation change analysis incorporated the hydrologic record at these sites for three intervals: pre-S332 (1961–1980), S332 (1980–1999), post-S332 (1999–2002). During S332 and post-S332 intervals, water level in Taylor Slough was affected by operations of S332 and S332D. To relate vegetation change to plot-level hydrological conditions in Taylor Slough, we developed a weighted averaging regression and calibration model (WA) using data from the marl prairies of Everglades National Park and Big Cypress National Preserve. We examined vegetation pattern along five transects. Transects 1–3 were established in 1979 south of the water delivery structures, and were influenced by their operations. Transects 4 and 5 were established in 1997, the latter west of these structures and possibly under their influence. Transect 4 was established in the northern drainage basin of Taylor Slough, beyond the likely zones of influence of S332 and S332D. The composition of all three southern transects changed similarly after 1979. Where muhly grass (Muhlenbergia capillaris var. filipes) was once dominant, sawgrass (Cladium jamaicense), replaced it, while where sawgrass initially predominated, hydric species such as spikerush (Eleocharis cellulosa Torr.) overtook it. Most of the changes in species dominance in Transects 1–3 occurred after 1992, were mostly in place by 1995–1996, and continued through 1999, indicating how rapidly vegetation in seasonal Everglades marshes can respond to hydrological modifications. During the post-S332 period, these long-term trends began reversing. In the two northern transects, total cover and dominance of both muhly grass and sawgrass increased from 1997 to 2003. Thus, during the 1990’s, vegetation composition south of S332 became more like that of long hydroperiod marshes, but afterward it partially returned to its 1979 condition, i.e., a community characteristic of less prolonged flooding. In contrast, the vegetation change along the two northern transects since 1997 showed little relationship to hydrologic status.

View of the TS/Ph-2 autosampler site from road, Taylor Slough

This material is based upon work supported by the National Science Foundation through the Florida Coastal Everglades Long-Term Ecological Research program under Cooperative Agreements #DBI-0620409 and #DEB-9910514. This image is made available for non-commercial or educational use only.

Snake at TS/Ph-1b, Taylor Slough

This material is based upon work supported by the National Science Foundation through the Florida Coastal Everglades Long-Term Ecological Research program under Cooperative Agreements #DBI-0620409 and #DEB-9910514. This image is made available for non-commercial or educational use only.

Xavier Zapata (FIU graduate student) collecting a groundwater sample, Taylor Slough

This material is based upon work supported by the National Science Foundation through the Florida Coastal Everglades Long-Term Ecological Research program under Cooperative Agreements #DBI-0620409 and #DEB-9910514. This image is made available for non-commercial or educational use only.

Xavier Zapata (FIU graduate student) installing a meteorological tower, Taylor Slough

This material is based upon work supported by the National Science Foundation through the Florida Coastal Everglades Long-Term Ecological Research program under Cooperative Agreements #DBI-0620409 and #DEB-9910514. This image is made available for non-commercial or educational use only.

Dr. Rene Price (FCE LTER co-PI) installing a meteorological tower, Taylor Slough

This material is based upon work supported by the National Science Foundation through the Florida Coastal Everglades Long-Term Ecological Research program under Cooperative Agreements #DBI-0620409 and #DEB-9910514. This image is made available for non-commercial or educational use only.