Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

Not if but when: Out-group reactions to the timing of disclosure of an individual's same-sex attractions

One factor that research suggests impedes positive contact between outgroup members is the experience of anxiety that can occur when anticipating negative consequences of such interactions. Research examining attitudes and behaviour towards same-sex attracted individuals indicates that this intergroup anxiety is particularly evident when the anticipated interaction involves members of the same gender. The current studies investigate the effect of timing of disclosure of a person’s same-sex attractions in an effort to identify a means of reducing this anxiety. Study 1 uses a hypothetical scenario to gain insight into participants’ stated preferences for early or delayed knowledge of a person’s sexual orientation. Results reveal an association between experiencing close contact with gay individuals of the same gender in real life (but not opposite gender), and a preference for early disclosure. Results from an experimental study concur with these findings. After a face-to-face interaction task with a confederate of the same gender, participants sit further from the confederate for the late disclosure condition when compared with the early disclosure and no disclosure control. Future studies investigating the interaction between timing of disclosure of same-sex attractions and the intimacy of disclosure (casual vs. intimate), are discussed.

Avaliação das Capacidades de Timing e Seletividade dos Gestores de Fundos de Ações em Períodos de Crise: Evidência Empírica para o Mercado Português

Os fundos de investimento mobiliários são uma boa alternativa para os aforradores diversificarem as suas poupanças, em particular que investem em ações. Esta classe de fundos visa proporcionar ao investidor o acesso a uma aplicação com uma elevada expectativa de rendibilidade a longo prazo. Dentro da oferta deste tipo de fundos domiciliados em Portugal, a questão fundamental é saber quais os mais apropriados para investir. Com este trabalho, pretende-se contribuir para o conhecimento da qualidade da gestão desta classe de ativos e, assim, fornecer mais elementos aos investidores para uma melhor tomada de decisão. Deste modo, esta investigação avalia as capacidades de timing e seletividade dos gestores de fundos de ações domiciliados em Portugal, em períodos de crise e não-crise, bem como os seus estilos de investimento. O estudo incide sobre o período de janeiro de 2000 a dezembro de 2014 e inclui todos os fundos, sobreviventes e não sobreviventes, que estiveram em atividade durante um período mínimo de 24 meses. Os resultados sugerem uma reduzida capacidade de timing e a inexistência de capacidades de seletividade por parte dos gestores. De um modo geral, as capacidades de seletividade são melhores nos períodos de não-crise do que nos períodos de crise, enquanto as capacidades de timing são, na maior parte dos casos, idênticas em diferentes estados do mercado. Em relação aos estilos de investimento, verifica-se uma maior predominância de ações com pequenas capitalizações nas carteiras, com maior incidência nos períodos de crise. Verifica-se, também, uma preferência dos gestores dos fundos que investem em Portugal e na Europa por ações de rendimento e uma preferência dos restantes gestores por ações de crescimento, sendo estas tendências mais vincadas em alturas de crise.

Knowledge maintenance and the frame problem

Knowledge maintenance is a major challenge for both knowledge management and the Semantic Web. Operating over the Semantic Web, there will be a network of collaborating agents, each with their own ontologies or knowledge bases. Change in the knowledge state of one agent may need to be propagated across a number of agents and their associated ontologies. The challenge is to decide how to propagate a change of knowledge state. The effects of a change in knowledge state cannot be known in advance, and so an agent cannot know who should be informed unless it adopts a simple ‘tell everyone – everything’ strategy. This situation is highly reminiscent of the classic Frame Problem in AI. We argue that for agent-based technologies to succeed, far greater attention must be given to creating an appropriate model for knowledge update. In a closed system, simple strategies are possible (e.g. ‘sleeping dog’ or ‘cheap test’ or even complete checking). However, in an open system where cause and effect are unpredictable, a coherent cost-benefit based model of agent interaction is essential. Otherwise, the effectiveness of every act of knowledge update/maintenance is brought into question.

The spacing and timing of [a chic] critique

This rejoinder reflects an important step, for me, in a preoccupation with methodology that has provided me with many hours of enjoyable reading, not to mention anxiety. For me the ‘reality’ of the incommensurable nature of paradigms and acceptance of the legitimacy of a range of conceptual and philosophical traditions came late. As a constructionist I find myself on the ‘anything goes’ end of methodology choice. This paper and my main paper ought not to be read as a critique of ‘middle range’ theory, but as a critique of an important and necessary aspect of the way we all seek to inscribe facts and structure our writing. What follows is a reflection of the influence Bruno Latour’s writings have had on my ways of seeing and perhaps an unhealthy emphasis on the small things that combine to produce convincing arguments and ‘facts’.

Actively modelocked dual-wavelength fibre laser with ultra-low inter-pulse-stream timing jitter

We demonstrate a novel dual-wavelength erbium-fiber laser that uses a single nonlinear-optical loop mirror modulator to simultaneously modelock two cavities with chirped fiber Bragg gratings as end mirrors. We show that this configuration produces synchronized soliton pulse trains with an ultra-low RMS inter-pulse-stream timing jitter of 620 fs enabling application to multiwavelength systems at data rates in excess of 130 Gb/s.

Characteristics of UK firms related to timing of adoption of Statement of Standard Accounting Practice No. 20

This study examines whether the timing of adoption of the UK Statement of Standard Accounting Practice No. 20 'Foreign Currency Translation' depended on firms' financial characteristics. Consistent with US studies, we find that early adopters tended to be larger firms, and that variables, such as growth options, profitability, leverage and management payout, have strong predictive power. In general, the decision to adopt the Statement of Standard Accounting Practice No. 20 did not appear to adversely affect the profitability measures or dividend payout. Firms tended to adopt when the adverse economic consequences of the adoption were likely to be minimal. They also appeared to defer the adoption of the standard to influence their financial performance and, hence, to achieve certain corporate financial objectives. © 2006 AFAANZ.

A biological-inspired support frame for an artificial cornea

Bilateral corneal blindness represents a quarter of the total blind, world-wide. The artificial cornea in assorted forms, was developed to replace opaque non-functional corneas and to return sight in otherwise hopeless cases that were not amenable to corneal grafts; believed to be 2% of corneal blind. Despite technological advances in materials design and tissue engineering no artificial cornea has provided absolute, long-term success. Formidable problems exist, due to a combination of unpredictable wound healing and unmanageable pathology. To have a solid guarantee of reliable success an artificial cornea must possess three attributes: an optical window to replace the opaque cornea; a strong, long term union to surrounding ocular tissue; and the ability to induce desired host responses. A unique artificial cornea possesses all three functional attributes- the Osteo-odonto-keratoprosthesis (OOKP). The OOKP has a high success rate and can survive for up to twenty years, but it is complicated both in structure and in surgical procedure; it is expensive and not universally available. The aim of this project was to develop a synthetic substitute for the OOKP, based upon key features of the tooth and bone structure. In doing so, surgical complexity and biological complications would be reduced. Analysis of the biological effectiveness of the OOKP showed that the structure of bone was the most crucial component for implant retention. An experimental semi-rigid hydroxyapatite framework was fabricated with a complex bone-like architecture, which could be fused to the optical window. The first method for making such a framework, was pressing and sintering of hydroxyapatite powders; however, it was not possible to fabricate a void architecture with the correct sizes and uniformity of pores. Ceramers were synthesised using alternative pore forming methods, providing for improved mechanical properties and stronger attachment to the plastic optical window. Naturally occurring skeletal structures closely match the structural features of all forms of natural bone. Synthetic casts were fabricated using the replamineform process, of desirable natural artifacts, such as coral and sponges. The final method of construction by-passed ceramic fabrication in favour of pre-formed coral derivatives and focused on methods for polymer infiltration, adhesion and fabrication. Prototypes were constructed and evaluated; a fully penetrative synthetic OOKP analogue was fabricated according to the dimensions of the OOKP. Fabrication of the cornea shaped OOKP synthetic analogue was also attempted.

A temporary connection for an aluminium space frame

This thesis examines theoretically and experimentally the behaviour of a temporary end plate connection for an aluminium space frame structure, subjected to static loading conditions. Theoretical weld failure criterions are derived from basic fundamentals for both tensile and shear fillet welds. Direct account of weld penetration is taken by incorporating it into a more exact poposed weld model. Theoretical relationships between weld penetration and weld failure loads, failure planes and failure lengths are derived. Also, the variation in strength between tensile and shear fillet welds is shown to be dependent upon the extent of weld penetration achieved/ The proposed tensile weld failure theory is extended to predict the theoretical failure of the welds in the end plate space frame connection. A finite element analysis is conducted to verify the assumptions made for this theory. Experimental hardness and tensile tests are conducted to substantiate the extent and severity of the heat affected zone in aluminium alloy 6082-T6. Simple transverse and longitudinal fillet welded specimens of the same alloy, are tested to failure. These results together with those of other authors are compared to the theoretical predictions made by the proposed weld failure theories and by those made using Kamtekar's and Kato and Morita's failure equations, the -formula and BS 8118. Experimental tests are also conducted on the temporary space frame connection. The maximum stresses and displacements recorded are checked against results obtained from a finite element analysis of the connection. Failure predictions made by the proposed extended weld failure theory, are compared against the experimental results.

Behaviour of concrete frame structures under localised fire scenarios

This thesis encompasses an investigation of the behaviour of concrete frame structure under localised fire scenarios by implementing a constitutive model using finite-element computer program. The investigation phase included properties of material at elevated temperature, description of computer program, thermal and structural analyses. Transient thermal properties of material have been employed in this study to achieve reasonable results. The finite-element computer package of ANSYS is utilized in the present analyses to examine the effect of fire on the concrete frame under five various fire scenarios. In addition, a report of full-scale BRE Cardington concrete building designed to Eurocode2 and BS8110 subjected to realistic compartment fire is also presented. The transient analyses of present model included additional specific heat to the base value of dry concrete at temperature 100°C and 200°C. The combined convective-radiation heat transfer coefficient and transient thermal expansion have also been considered in the analyses. For the analyses with the transient strains included, the constitutive model based on empirical formula in a full thermal strain-stress model proposed by Li and Purkiss (2005) is employed. Comparisons between the models with and without transient strains included are also discussed. Results of present study indicate that the behaviour of complete structure is significantly different from the behaviour of individual isolated members based on current design methods. Although the current tabulated design procedures are conservative when the entire building performance is considered, it should be noted that the beneficial and detrimental effects of thermal expansion in complete structures should be taken into account. Therefore, developing new fire engineering methods from the study of complete structures rather than from individual isolated member behaviour is essential.