Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Structural variations and formation constants of first-row transition metal complexes of biologically active aroylhydrazones

Iron chelators of the 2-pyridinecarbaldehyde isonicotinoylhydrazone (HPCIH) class show high potential for the treatment of iron overload diseases. In the present study, selected first-row transition metal (from Mn to Zn) complexes with HPCIH and 2-pyridinecarbaldehyde (4'-aminobenzoyl)hydrazone (HPCAH) were synthesised and characterised. Crystallography reveals that HPCAH exclusively forms bis complexes with divalent transition metals, with each ligand coordinating meridionally through its pyridine-N, imine-N and carbonyl-O atoms, forming distorted octahedral cis-MN4O2 complexes. Complexes of HPCIH were more varied and unpredictable, with metal/ligand ratios of 1:1, 1:2, 2:2 and 3:2 obtained with different metal ions. The isonicotinoyl ring N-atom in HPCIH was found to be an effective ligand, and this resulted in the varied metal/ligand ratios observed. The formation constants of divalent metal complexes with HPCIH were determined by potentiometric titrations and the values obtained were consistent with similar tridentate ligands and with the Irving-Williams order. ((C) Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2003).

Structural definition of the low-temperature phase transition of tris(ethane-1,2-diamine)zinc(II) dinitrate

The 93 K X-ray crystal structure of tris(ethane-1,2-diamine)zinc(II) dinitrate is reported. As predicted by the spectroscopic studies of other workers, there is a reversible phase transition of the structure at low temperature. We have determined this temperature to be 143 K. The structure at this temperature and below resembles that of the room temperature structure, except the crystallographic D-3 symmetry of the complex cation (296 K) is lowered to C-2 ( below 144 K) by subtle changes in cation-anion hydrogen bonding. No change in the conformation of the cation or its bond lengths and angles was found.

Prospectiva estrat??gica: instrumento para a constru????o do futuro e para a elabora????o de pol??ticas p??blicas

A prospectiva estrat??gica aparece como ferramenta que, apoiada nos instrumentos de an??lise econ??mica e social existentes e em t??cnicas espec??ficas, como o Delphi, a constru????o de cen??rios, a matriz de impactos cruzados e outras, possibilita ???vis??es de futuro???, que permitir??o a elabora????o de pol??ticas p??blicas que visem ?? constru????o de futuro desej??vel. Este trabalho pressup??e um Estado formulador de pol??ticas p??blicas e detentor de instrumentos de planejamento, o que nos remete a um vi??s ideol??gico: de que, no capitalismo contempor??neo, Estado e mercado coordenem os sistemas econ??micos, conforme explicitado no Plano Diretor da Reforma do Aparelho de Estado (Governo Federal, Brasil, 1995). S?? a aceita????o dessa hip??tese pode supor a exist??ncia e a necessidade de pol??ticas p??blicas, remetendo-nos o campo da ideologia e contrapondo-nos ao liberalismo.

A consolida????o institucional do cargo de dirigente p??blico

O trabalho pretende desenvolver uma reflex??o sobre a profissionaliza????o dos cargos de dire????o na administra????o p??blica e sua evolu????o ao longo das ??ltimas d??cadas nos pa??ses desenvolvidos, tendo como eixo condutor a institucionaliza????o dos cargos de dirigentes p??blicos nos sistemas pol??tico-administrativos contempor??neos. Inicia-se definindo a expans??o e o desenvolvimento do gerenciamento nos sistemas p??blicos, descrevendo, de forma breve e comparada, sua evolu????o mais recente em alguns pa??ses da OCDE. Em seguida, s??o apontados os tra??os b??sicos de um modelo de exerc??cio das fun????es de dire????o na administra????o p??blica. A seguir, trata-se do tema central mencionado. Primeiramente, o texto define os elementos que configuram um marco institucional para as fun????es de dire????o no setor p??blico. Depois, aborda o conte??do, o alcance e o ??mbito das reformas necess??rias para a constru????o desse marco. Por ??ltimo, analisa as vari??veis que podem influenciar a elabora????o das reformas, expondo os principais desafios e dificuldades tra??ados pelos empenhos de reforma.

Abrang??ncia, inser????o e impacto transformador dos sistemas de compras eletr??nicas na administra????o p??blica: an??lise do Siasg/Comprasnet

Quais as funcionalidades necess??rias aos sistemas de compras eletr??nicas no ambiente da administra????o p??blica? Que par??metros s??o relevantes para a an??lise e a avalia????o desses sistemas? O trabalho aborda a aplica????o da tecnologia da informa????o ??s compras governamentais, focalizando o caso do Sistema Integrado de Administra????o de Servi??os Gerais (Siasg) e seu portal na Internet, o Comprasnet, desenvolvido pela Administra????o P??blica Federal brasileira. Contextualiza a emerg??ncia do com??rcio eletr??nico e sua aplica????o ?? administra????o p??blica. Sistematiza as fases e os procedimentos do processo de compras e contrata????es na administra????o p??blica brasileira, indicando os componentes e as funcionalidades que devem compor os sistemas de compras eletr??nicas governamentais. Prop??e par??metros de an??lise para a avalia????o desses sistemas: abrang??ncia, inser????o e impacto na transforma????o da gest??o. A aplica????o desses par??metros ao estudo de caso evidencia que o Siasg/Comprasnet apresenta abrang??ncia ainda incompleta, inser????o consolidada e impacto transformador mais acentuado sobre as compras realizadas por meio de modalidades de licita????o eletr??nicas.

A moderniza????o do estado e a ger??ncia p??blica

O artigo analisa a problem??tica da moderniza????o do Estado vista como um processo de constitui????o de cidadania e de otimiza????o dos recursos p??blicos. Os autores focalizam, por um lado, o atendimento aos usu??rios, a qualidade dos servi??os e a transpar??ncia. Por outro lado, a incorpora????o de t??cnicas de gest??o avan??adas ?? considerada indispens??vel para o aumento da efic??cia e da efici??ncia no setor p??blico. Os principais problemas discutidos no artigo incluem: racionalidade do setor p??blico racionalidade das empresas privadas; incentivos e motiva????o dos servidores p??blicos; rigidez dos procedimentos administrativos; margem de decis??o dos gestores; sistemas de acesso a informa????o; import??ncia da gest??o de pessoal e da valoriza????o do trabalho no setor p??blico; papel dos gerentes na moderniza????o das institui????es p??blicas; cargos de carreira, cargos de confian??a; mecanismos de recrutamento e reten????o e sistemas de capacita????o dos servidores p??blicos. Os autores concluem que, devido ??s inova????es constantes em mat??ria de ger??ncia p??blica, n??o existe hoje um perfil gerencial definitivo como resposta ??s necessidades do Estado. Pelo contr??rio, o que se observa ?? uma crescente complexidade da gest??o p??blica que continuar?? oscilando entre a pol??tica e a tecnocracia, entre a maior flexibilidade e as exig??ncias de controle, entre a ado????o das t??cnicas de gest??o e a recupera????o da tradi????o administrativa e a cultura da fun????o p??blica.

Pol??tica social, governan??a e capacidade: reformas e restri????es do setor p??blico

Tendo como pano de fundo a natureza problem??tica das tentativas de reformar os sistemas nacionais de presta????o de servi??os sociais e de sa??de, este artigo busca fazer uma revis??o da l??gica da Nova Gest??o P??blica (NGP) no setor de servi??os de sa??de. Ap??s contextualizar as diversas abordagens da capacita????o em pol??ticas sociais e as tr??s gera????es de reformas do setor p??blico, faz um exame das reformas aplicadas na presta????o de servi??os de sa??de, sugerindo estrat??gias que levem em conta a capacidade. O artigo finaliza com uma discuss??o sobre o papel da governan??a na pol??tica social e no desenvolvimento.

Organiza????es virtuais no setor p??blico: uma nova abordagem

?? crescente o envolvimento de organiza????es p??blicas e privadas com alian??as e parcerias. No novo cen??rio colaborativo, uma nova abordagem para o planejamento das organiza????es precisa ser desenvolvida, com especial aten????o para o setor p??blico, em cujo ambiente a escassez de recursos pode ser total ou parcialmente suprida pela cria????o ou incremento de redes entre organiza????es e sistemas. A nova abordagem para a coordena????o interorganizacional no ??mbito do planejamento governamental pode resultar em algum tipo de ???organiza????o virtual??? para o setor p??blico, ?? semelhan??a do que j?? ocorre no setor privado. O artigo destaca a import??ncia da reflex??o sobre as implica????es e possibilidades que os conceitos relativos a organiza????es virtuais podem trazer para a coordena????o interorganizacional no ??mbito do planejamento governamental, de forma a contribuir para incrementar a efetividade da a????o de governo, por meio de ambiente informacional cooperativo. Aspectos como cultura organizacional, poder e controle, fronteiras e estruturas organizacionais, confian??a e gest??o cooperativa da informa????o dever??o ser observados no contexto do planejamento governamental, caso se pretenda evoluir na aplica????o do conceito de organiza????es virtuais no setor p??blico

Temas e quest??es sobre a gest??o da despesa p??blica

O presente texto tem por escopo a avalia????o da gest??o da despesa p??blica, num contexto de mudan??as inseridas por novas t??cnicas gerenciais, provocando uma amplia????o do conceito de gest??o da despesa, que, al??m de se preocupar com sistemas e t??cnicas operacionais, teria tamb??m sua aten????o voltada para os resultados e a satisfa????o do cliente. A transforma????o gerada pelo pacote emplementador da reforma ?? avaliada, partindo de uma simula????o em que as reformas seriam consideradas completamente instaladas, com o objetivo de ressaltar suas totais implica????es num contexto futuro. Elege-se o ano de 2020, como um marco, para levantar quest??es cruciais do referido pacote, abordando elementos que poderiam favorecer melhores resultados.

Gest??o p??blica e pesquisa operacional: avalia????o de desempenho em ag??ncias da Previd??ncia Social

O presente trabalho utiliza a metodologia DEA (Data Envelopment Analysis ), para avaliar a efici??ncia das 22 Ag??ncias da Previd??ncia Social ??? Ger??ncia Executiva Fortaleza (APS-GEXFOR). DEA utiliza programa????o linear cujo n??cleo das estruturas anal??ticas ?? formado a partir do modelo original CCR (Charnes, Cooper, e Rhodes). Aplicada ??s DMU (Decision Making Units), define uma Fronteira de Efici??ncia identificando Unidades Eficientes e Ineficientes. Foi utilizado o modelo DEA-CCR implementado pelo software DEA Solver??. A Previd??ncia Social (INSS) disp??e de indicadores de desempenho. Algumas vari??veis utilizadas no modelo implementado derivam desses indicadores, outras informa????es foram disponibilizadas pelos sistemas de informa????o da institui????o. A avalia????o de efici??ncia DEA das APS-GEXFOR permitiu identificar as melhores pr??ticas, mensurar a participa????o de cada vari??vel envolvida na avalia????o da unidade e projetar as unidades ineficientes na fronteira de efici??ncia, identificando metas a serem atingidas para torn??-las eficientes no conjunto observado.

O processo or??ament??rio e a apura????o de custos de produtos e servi??os no setor p??blico do Brasil

O presente artigo aborda a quest??o da apura????o de custos de servi??os p??blicos a partir da perspectiva do processo or??ament??rio no setor p??blico. Nesse sentido, o objetivo principal do trabalho consiste em explicitar uma sistem??tica de an??lise e apura????o de custos de servi??os p??blicos que seja adaptada ao processo or??ament??rio do setor p??blico brasileiro e, assim, contribuir para a obten????o da efici??ncia alocativa e efici??ncia operacional. A sistem??tica de apura????o de custos aqui proposta ?? totalmente compat??vel com os sistemas gerenciais de informa????o utilizados pelo Governo e tem baixo custo de operacionaliza????o porque n??o implica mudan??as apreci??veis nos sistemas de informa????o em uso e na forma de registro das informa????es na contabilidade p??blica. Por fim, a sistem??tica de apura????o de custos de servi??os p??blicos proposta atende ?? Lei de Responsabilidade Fiscal e a complementa quanto ?? apura????o de custos de servi??os e produtos do setor p??blico.

No-till corn performance in response to P and fertilization modes

No-tillage systems provide soil changes that affect nutrient dynamics, hence, changing rates and forms of fertilizer application. This study aimed to evaluate the effect of phosphorus (P) and modes of nitrogen (N) and P application in corn under long-term no-tillage in a clayey Oxisol. Two experiments were carried out in the same experimental area and in the same year, in a randomized blocks design with four replications. In experiment I, the treatments consisted of five doses of phosphorus (0, 40, 80, 120 and 160 kg ha-1 of P2O5) applied in the sowing furrow. In experiment II, the treatments consisted of the N and P application modes (topdressing, in the sowing furrow and control - without N and P). Experiment I evaluated the root length, P uptake and grain yield and, the Experiment II, the firing height and yield. The P rates provided linear increases in root length in the 0-10 cm layer, P uptake and grain production. The different modes of application provided differences in the firing height and corn yield. The control treatment (0 kg ha-1 of N and P) provided the highest firing height, superior than those of topdressing and application in the furrow, which were not significantly different. The topdress application of N and P provided an increase in corn yield that exceeded 16 and 42% of the application in the furrow and the control, respectively. Thus, the results confirmed that increasing rates of P2O5, in soil with high initial P content, influence positively corn production factors, but with little significant responses, and the topdress application of N and P on soil with high P content, without water restriction, provided increased grain yield in relation to the application in the furrow.

Ambivalent implications of health care information systems: a study in the Brazilian public health care system

This article evaluates social implications of the "SIGA" Health Care Information System (HIS) in a public health care organization in the city of São Paulo. The evaluation was performed by means of an in-depth case study with patients and staff of a public health care organization, using qualitative and quantitative data. On the one hand, the system had consequences perceived as positive such as improved convenience and democratization of specialized treatment for patients and improvements in work organization. On the other hand, negative outcomes were reported, like difficulties faced by employees due to little familiarity with IT and an increase in the time needed to schedule appointments. Results show the ambiguity of the implications of HIS in developing countries, emphasizing the need for a more nuanced view of the evaluation of failures and successes and the importance of social contextual factors.

Deuterium NMR Study of Orientational Order in Cellulosic Network Microfibers

Deuterium NMR was used to investigate the orientational order in a composite cellulosic formed by liquid crystalline acetoxypropylcellulose (A PC) and demented nematic 4'-penty1-4-cyanobiphenyl (5CB-4 alpha d(2)) with the per centage of 85% A PC by weight Three forms of the composite including electro spun microfibers, thin film and bulk samples were analyzed The NMR results initially suggest two distinct scenarios, one whet e the 503-alpha d(2), is confined to small droplets with dimensions smaller than the magnetic coherence length and the other where the 503-alpha d(2) molecules arc aligned with the A PC network chains Polarized optical microscopy (POW from thin film samples along with all the NMR results show the presence of 5CB-alpha d(2) droplets in the composite systems with a nematic wetting layer at the APC-5CB-alpha d(2) interface that experiences and order disorder transition driven by the polymer network N-I transition The characterization of the APC network I-N transition shows a pronounced subcritical behavior within a heterogeneity scenario.