Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Avaliação do impacto do Programa Farmácia Popular em uma rede independe de drogarias

A despeito de o Brasil contar com modelo de distribuição pública gratuita de medicamentos, representando avanço em relação à maioria dos países em desenvolvimento, o cenário geral apresenta problemas de diversas ordens. O abastecimento público é falho e ineficiente, contando com profissionais pouco motivados e com pouco treinamento. Isso resulta em perdas oriundas de desvios, má condição de estocagem e processos inadequados de distribuição. A utilização da malha privada através do Programa Farmácia Popular do Brasil, do ponto de vista do governo, promove capilaridade no atendimento, aumentando o bem estar social e reduz custos com a utilização de pessoal. Do ponto de vista da sociedade, amplia o acesso de medicamentos à população. Deste modo, o programa tem representado uma solução eficiente para a distribuição de medicamentos no país. No entanto, do ponto de vista empresarial, os resultados da utilização da malha privada para a distribuição gratuita de medicamentos ainda são pouco descritos. O presente estudo pretende avaliar os impactos relacionados ao credenciamento no programa do governo federal em redes independentes de farmácias e drogarias privadas na distribuição gratuita de medicamentos para a população. Aborda um assunto multifuncional, além de consistir em uma análise do programa que faz parte das diretrizes do governo federal e ser um tema de caráter inédito com foco no ambiente empresarial. Do ponto de vista empresarial, o atendimento ao programa de distribuição gratuita de medicamentos em atendimento ao programa do governo federal pode representar um fator de alavancagem dos negócios ao trazer consumidores potenciais para o estabelecimento. No entanto, é necessário que ocorram adaptações na gestão do capital de giro para suportar os possíveis atrasos no repasse do governo e suprir o abastecimento de medicamentos à demandas crescentes. Assim, as drogarias inseridas no setor varejista farmacêutico em cidades em desenvolvimento adquirem vantagem competitiva e fornecem maior valor a seus consumidores. Em suma, o projeto de acesso a medicamentos, implica em benefícios líquidos generalizados. Para a população, o acesso direto e efetivo. Para o setor privado, a ampliação do mercado e a estabilidade da demanda. Para o governo, a substituição de uma estratégia que converge para o desgaste econômico, social e político.

Teorias de motivação de pessoas, aplicadas nas organizações públicas fortemente hierarquizadas

Esta tese teve por objetivo identificar os principais fatores de motivação de pessoas que trabalham em organizações públicas fortemente hierarquizadas, como as do Exército Brasileiro, preenchendo uma lacuna de conhecimento existente em pesquisas acadêmicas sobre o tema. Diferentes trabalhadores possuem diferentes fatores de motivação, fatores estes que liberam a motivação que está dentro dessas pessoas.Estudou-se dezoito teorias sobre motivação dentre as mais citadas no meio acadêmico. Estas teorias permitiram estruturar um roteiro de entrevistas que foi aplicado em trinta e três militares do Exército Brasileiro.Estas entrevistas foram submetidas à análise de conteúdo, o que permitiu a identificação dos principais fatores de motivação desses profissionais.Concluiu-se que os principais fatores de motivação das pessoas que trabalham em organizações fortemente hierarquizadas, em ordem de importância, são: 1) valorização, 2) fazer o que se gosta, 3) exemplo do chefe, 4) importância do que se faz, 5) realização, 6) confiança e 7) justiça. Os três primeiros fatores formam um primeiro grupo e os outros quatro fatores formam um segundo grupo. Essa divisão se fez necessária porque os fatores do primeiro grupo se revelaram muito mais fortes que os fatores do segundo grupo, havendo necessidade de destacá-los. Confirmou-se, também, que as teorias de motivação são perfeitamente aplicáveis às organizações públicas fortemente hierarquizadas e que estas teorias produzem alguns fatores de motivação específicos à realidade organizacionaldessas instituições. Após a análise do conteúdo das entrevistas, à luz das teorias de motivação, concluiu-se que há uma necessidade psicológica muito forte nas pessoas: a necessidadede se sentir valorizada. A motivação no contexto organizacional normalmente depende do relacionamento entre o gestor de pessoas, ou o líder e os seus liderados. A ação do líder é fundamental para despertar a motivação que já está dentro das pessoas. O foco das atenções do líder deve estar voltado para os liderados e não para si mesmo.Porque quando os liderados são fortes, o líder é forte e a organização obtém resultados surpreendentes. Por fim, conclui-se que a motivação das pessoas, nas organizações públicas fortemente hierarquizadas, como o Exército Brasileiro, é liberada quando a organização procura aplicar os sete principais fatores de motivação de pessoas revelados nesta tese.E acima de tudo, quando o líder cria condições para a satisfação da principal necessidade das pessoas: se sentir valorizadas.

Information Processing in a Cognitive Model of NLP

A model of the cognitive process of natural language processing has been developed using the formalism of generalized nets. Following this stage-simulating model, the treatment of information inevitably includes phases, which require joint operations in two knowledge spaces – language and semantics. In order to examine and formalize the relations between the language and the semantic levels of treatment, the language is presented as an information system, conceived on the bases of human cognitive resources, semantic primitives, semantic operators and language rules and data. This approach is applied for modeling a specific grammatical rule – the secondary predication in Russian. Grammatical rules of the language space are expressed as operators in the semantic space. Examples from the linguistics domain are treated and several conclusions for the semantics of the modeled rule are made. The results of applying the information system approach to the language turn up to be consistent with the stages of treatment modeled with the generalized net.

Applying Data Mining Tools in E-Learning

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2014

A generalized notion of compliance

It is a known fact in structural optimization that for structures subject to prescribed non-zero displacements the work done by the loads is not agood measure of compliance, neither is the stored elastic energy. We briefly discuss a possible alternative measure of compliance, valid for general boundary conditions. We also present the adjoint states (necessary for the computation of the structural derivative) for the three functionals under consideration. (C) 2011 Academie des sciences. Published by Elsevier Masson SAS. All rights reserved.

Geometric picture of generalized-CP and Higgs-family transformations in the two-Higgs-doublet model

In the two-Higgs-doublet model (THDM), generalized-CP transformations (phi(i) -> X-ij phi(*)(j) where X is unitary) and unitary Higgs-family transformations (phi(i) -> U-ij phi(j)) have recently been examined in a series of papers. In terms of gauge-invariant bilinear functions of the Higgs fields phi(i), the Higgs-family transformations and the generalized-CP transformations possess a simple geometric description. Namely, these transformations correspond in the space of scalar-field bilinears to proper and improper rotations, respectively. In this formalism, recent results relating generalized CP transformations with Higgs-family transformations have a clear geometric interpretation. We will review what is known regarding THDM symmetries, as well as derive new results concerning those symmetries, namely how they can be interpreted geometrically as applications of several CP transformations.

The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling

Composition is a practice of key importance in software engineering. When real-time applications are composed it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface does typically contain information about the amount of computing capacity needed by the application. In multiprocessor platforms, the interface should also present information about the degree of parallelism. Recently there have been quite a few interface proposals. However, they are either too complex to be handled or too pessimistic.In this paper we propose the Generalized Multiprocessor Periodic Resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We describe a method to generate the interface from the application specification. All these methods have been implemented in Matlab routines that are publicly available.

On a generalized Laguerre operational matrix of fractional integration

A new operationalmatrix of fractional integration of arbitrary order for generalized Laguerre polynomials is derived.The fractional integration is described in the Riemann-Liouville sense.This operational matrix is applied together with generalized Laguerre tau method for solving general linearmultitermfractional differential equations (FDEs).Themethod has the advantage of obtaining the solution in terms of the generalized Laguerre parameter. In addition, only a small dimension of generalized Laguerre operational matrix is needed to obtain a satisfactory result. Illustrative examples reveal that the proposedmethod is very effective and convenient for linear multiterm FDEs on a semi-infinite interval.

Schedulability analysis of generalized multiframe traffic on multihop-networks comprising software-implemented ethernet switches

Consider a multihop network comprising Ethernet switches. The traffic is described with flows and each flow is characterized by its source node, its destination node, its route and parameters in the generalized multiframe model. Output queues on Ethernet switches are scheduled by static-priority scheduling and tasks executing on the processor in an Ethernet switch are scheduled by stride scheduling. We present schedulability analysis for this setting.

Approximating fractional derivatives through the generalized mean

This paper addresses the calculation of fractional order expressions through rational fractions. The article starts by analyzing the techniques adopted in the continuous to discrete time conversion. The problem is re-evaluated in an optimization perspective by tacking advantage of the degree of freedom provided by the generalized mean formula. The results demonstrate the superior performance of the new algorithm.

A numerical analysis of generalized Boussinesq-type equation using continuos/discontinuous FEM

An improved class of Boussinesq systems of an arbitrary order using a wave surface elevation and velocity potential formulation is derived. Dissipative effects and wave generation due to a time-dependent varying seabed are included. Thus, high-order source functions are considered. For the reduction of the system order and maintenance of some dispersive characteristics of the higher-order models, an extra O(mu 2n+2) term (n ??? N) is included in the velocity potential expansion. We introduce a nonlocal continuous/discontinuous Galerkin FEM with inner penalty terms to calculate the numerical solutions of the improved fourth-order models. The discretization of the spatial variables is made using continuous P2 Lagrange elements. A predictor-corrector scheme with an initialization given by an explicit RungeKutta method is also used for the time-variable integration. Moreover, a CFL-type condition is deduced for the linear problem with a constant bathymetry. To demonstrate the applicability of the model, we considered several test cases. Improved stability is achieved.

Generalized models from Beta(p,2) densities with strong allee effect: dynamical approach

A dynamical approach to study the behaviour of generalized populational growth models from Bets(p, 2) densities, with strong Allee effect, is presented. The dynamical analysis of the respective unimodal maps is performed using symbolic dynamics techniques. The complexity of the correspondent discrete dynamical systems is measured in terms of topological entropy. Different populational dynamics regimes are obtained when the intrinsic growth rates are modified: extinction, bistability, chaotic semistability and essential extinction.

Generalized synchronization in a system of several non-autonomous oscillators coupled by a medium

An abstract theory on general synchronization of a system of several oscillators coupled by a medium is given. By generalized synchronization we mean the existence of an invariant manifold that allows a reduction in dimension. The case of a concrete system modeling the dynamics of a chemical solution on two containers connected to a third container is studied from the basics to arbitrary perturbations. Conditions under which synchronization occurs are given. Our theoretical results are complemented with a numerical study.

On derivatives and norms of generalized matrix functions and respective symmetric powers

In recent papers, the authors obtained formulas for directional derivatives of all orders, of the immanant and of the m-th xi-symmetric tensor power of an operator and a matrix, when xi is a character of the full symmetric group. The operator norm of these derivatives was also calculated. In this paper, similar results are established for generalized matrix functions and for every symmetric tensor power.