A expressão do condicionado contrafactual em construções se p, então q no português brasileiro

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Future perfect

"Future Perfect" is a solo artist exhibition featuring a 9 channel video installation, which is comprised of looped computer animation projections. In the first room, the big one, there are nine projections of looped computer animations. Many of these look like representations of gallery spaces containing sculptures, including rotating interpenetrating discs, bouncing coloured coffins, and jostling cardboard cubes (the cubes are blank, then covered in drawings, then covered in photographic imagery). In one video, a man and a woman walk towards one another but never get together. In the second room, an animated video on a flatscreen suggests an origin story. The subtitles tell how, in Russia, my great-grandfather made a joke about Stalin's child bride that cost him his life. That one isn’t a loop; it has a beginning, middle, and end. Lying on the floor, in front of the video, are two slightly crumpled mural prints of photographs of the ocean. There's also a clear Perspex cloud shape on a wall. Viewers will see themselves reflected in it, as if it were a distant hovering mirage. The first room of the exhibition, where objects are set in perpetual motion, is about departure. The second room registers some sense of arrival. The future perfect implies looking back on something that hasn't happened yet; future and past are conflated and the present is somehow deferred. The future perfect combines anticipation and reflection, and it relates to my interest in combining 3-D animation with other mediums like drawing, painting, and shot video. In my work, the virtual and actual coexist in tension, just like experience and expectation in the future perfect.

Future(s) Perfect: uchronian mapping as a research and visualisation tool in the fringes of the Olympic Park

This article explores and discusses the development of a mapping tool inspired by Charles Renouvier’s philosophical novel Uchronie (l’utopie dans l’histoire) (1876). The article explains the research and design process of creating a uchronian map of a formerly empty site in Fish Island in East London and describes a participatory workshop titled ‘Hackney Wick and Fish Island: Future Perfect(s)’ (25 April 2015) that used uchronian mapping to explore past and future development imaginaries of two sites in the neighbourhood. Given a uchronian mapping template, a protocol and a dossier of planning and other documents, participants were encouraged to develop their own uchronian map of each site, and in doing so test and question the process of visualizing ‘what was supposed to happen’, ‘what actually happened’ and ‘what could have happened’. The article concludes with a reflection on uchronian mapping as a tool for researching, analysing and making visible urban alternatives.

A expressão da futuridade verbal no espaço da lusofonia: Brasil, Portugal e Moçambique

O futuro verbal caracteriza-se por uma conformação cognitiva e semântica bastante distinta da verificada nos demais tempos verbais, distintos do tempo cronológico. Tal fato apresenta-se abrangente nas línguas e traz consequências morfossintáticas apreciáveis na constituição de tal tempo verbal em português, tanto em perspectiva sincrônica quanto em diacrônica. Hoje, em língua portuguesa, presenciamos uma nova mudança na manifestação desse futuro verbal, com a crescente difusão da forma perifrástica composta por ir e infinitivo, como gramaticalização da expressão de futuro. Tal processo de mudança ainda se encontra em curso na língua, fato atestável em vários usos. Objetivamos aqui a descrição dos tempos verbais futuros da língua portuguesa, que não se confundem com a simples expressão de futuridade, bem como o estabelecimento de um estudo comparativo entre três variedades do português, a brasileira, a europeia e a moçambicana, quanto a usos e valores do futuro do presente, tempo verbal prototípico dos futuros

A expressão do tempo futuro no português brasileiro dos séculos XVIII ao XX

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

EXPLICIT WRITTEN CORRECTIVE FEEDBACK AND LANGUAGE APTITUDE IN SLA: IMPLICATIONS FOR IMPROVEMENT OF LINGUISTIC ACCURACY

Most second language researchers agree that there is a role for corrective feedback in second language writing classes. However, many unanswered questions remain concerning which linguistic features to target and the type and amount of feedback to offer. This study examined two new pieces of writing by 151 learners of English as a Second Language (ESL), in order to investigate the effect of direct and metalinguistic written feedback on errors with the simple past tense, the present perfect tense, dropped pronouns, and pronominal duplication. This inquiry also considered the extent to which learner differences in language-analytic ability (LAA), as measured by the LLAMA F, mediated the effects of these two types of explicit written corrective feedback. Learners in the feedback groups were provided with corrective feedback on two essays, after which learners in all three groups completed two additional writing tasks to determine whether or not the provision of corrective feedback led to greater gains in accuracy compared to no feedback. Both treatment groups, direct and metalinguistic, performed better than the comparison group on new pieces of writing immediately following the treatment sessions, yet direct feedback was more durable than metalinguistic feedback for one structure, the simple past tense. Participants with greater LAA proved more likely to achieve gains in the direct feedback group than in the metalinguistic group, whereas learners with lower LAA benefited more from metalinguistic feedback. Overall, the findings of the present study confirm the results of prior studies that have found a positive role for written corrective feedback in instructed second language acquisition.

Peter Alwast talks to Grant Stevens

This interview was published in the catalogue for Peter Alwast's solo exhibition, "Future Perfect", at the Institute of Modern Art, Brisbane, in August 2011.

The Impact of Emissions Trading on the Price of Electricity in Nord Pool : Market Power and Price Determination in the Nordic Electricity Market

The objective of this thesis is to find out how dominant firms in a liberalised electricity market will react when they face an increase in the level of costs due to emissions trading, and how this will effect the price of electricity. The Nordic electricity market is chosen as the setting in which to examine the question, since recent studies on the subject suggest that interaction between electricity markets and emissions trading is very much dependent on conditions specific to each market area. There is reason to believe that imperfect competition prevails in the Nordic market, thus the issue is approached through the theory of oligopolistic competition. The generation capacity available at the market, marginal cost of electricity production and seasonal levels of demand form the data based on which the dominant firms are modelled using the Cournot model of competition. The calculations are made for two levels of demand, high and low, and with several values of demand elasticity. The producers are first modelled under no carbon costs and then by adding the cost of carbon dioxide at 20€/t to those technologies subject to carbon regulation. In all cases the situation under perfect competition is determined as a comparison point for the results of the Cournot game. The results imply that the potential for market power does exist on the Nordic market, but the possibility for exercising market power depends on the demand level. In season of high demand the dominant firms may raise the price significantly above competitive levels, and the situation is aggravated when the cost of carbon dioixide is accounted for. Under low demand leves there is no difference between perfect and imperfect competition. The results are highly dependent on the price elasticity of demand.

A semi-analytical solution for multilayer diffusion in a composite medium consisting of a large number of layers

Diffusion in a composite slab consisting of a large number of layers provides an ideal prototype problem for developing and analysing two-scale modelling approaches for heterogeneous media. Numerous analytical techniques have been proposed for solving the transient diffusion equation in a one-dimensional composite slab consisting of an arbitrary number of layers. Most of these approaches, however, require the solution of a complex transcendental equation arising from a matrix determinant for the eigenvalues that is difficult to solve numerically for a large number of layers. To overcome this issue, in this paper, we present a semi-analytical method based on the Laplace transform and an orthogonal eigenfunction expansion. The proposed approach uses eigenvalues local to each layer that can be obtained either explicitly, or by solving simple transcendental equations. The semi-analytical solution is applicable to both perfect and imperfect contact at the interfaces between adjacent layers and either Dirichlet, Neumann or Robin boundary conditions at the ends of the slab. The solution approach is verified for several test cases and is shown to work well for a large number of layers. The work is concluded with an application to macroscopic modelling where the solution of a fine-scale multilayered medium consisting of two hundred layers is compared against an “up-scaled” variant of the same problem involving only ten layers.

Structured Dispersion Matrices From Division Algebra Codes for Space-Time Shift Keying

We propose a novel method of constructing Dispersion Matrices (DM) for Coherent Space-Time Shift Keying (CSTSK) relying on arbitrary PSK signal sets by exploiting codes from division algebras. We show that classic codes from Cyclic Division Algebras (CDA) may be interpreted as DMs conceived for PSK signal sets. Hence various benefits of CDA codes such as their ability to achieve full diversity are inherited by CSTSK. We demonstrate that the proposed CDA based DMs are capable of achieving a lower symbol error ratio than the existing DMs generated using the capacity as their optimization objective function for both perfect and imperfect channel estimation.

Space-Time Coded Spatial Modulated Physical Layer Network Coding for Two-Way Relaying

Using the spatial modulation approach, where only one transmit antenna is active at a time, we propose two transmission schemes for two-way relay channel using physical layer network coding with space time coding using coordinate interleaved orthogonal designs (CIODs). It is shown that using two uncorrelated transmit antennas at the nodes, but using only one RF transmit chain and space-time coding across these antennas can give a better performance without using any extra resources and without increasing the hardware implementation cost and complexity. In the first transmission scheme, two antennas are used only at the relay, adaptive network coding (ANC) is employed at the relay and the relay transmits a CIOD space time block code (STBC). This gives a better performance compared to an existing ANC scheme for two-way relay channel which uses one antenna each at all the three nodes. It is shown that for this scheme at high SNR the average end-to-end symbol error probability (SEP) is upper bounded by twice the SEP of a point-to-point fading channel. In the second transmission scheme, two transmit antennas are used at all the three nodes, CIOD STBCs are transmitted in multiple access and broadcast phases. This scheme provides a diversity order of two for the average end-to-end SEP with an increased decoding complexity of O(M-3) for an arbitrary signal set and O(M-2 root M) for square QAM signal set. Simulation results show that the proposed schemes performs better than the existing ANC schemes under perfect and imperfect channel state information.

Imperfection Insensitive Thin Shells

The buckling of axially compressed cylindrical shells and externally pressurized spherical shells is extremely sensitive to even very small geometric imperfections. In practice this issue is addressed by either using overly conservative knockdown factors, while keeping perfect axial or spherical symmetry, or adding closely and equally spaced stiffeners on shell surface. The influence of imperfection-sensitivity is mitigated, but the shells designed from these approaches are either too heavy or very expensive and are still sensitive to imperfections. Despite their drawbacks, these approaches have been used for more than half a century.

This thesis proposes a novel method to design imperfection-insensitive cylindrical shells subject to axial compression. Instead of following the classical paths, focused on axially symmetric or high-order rotationally symmetric cross-sections, the method in this thesis adopts optimal symmetry-breaking wavy cross-sections (wavy shells). The avoidance of imperfection sensitivity is achieved by searching with an evolutionary algorithm for smooth cross-sectional shapes that maximize the minimum among the buckling loads of geometrically perfect and imperfect wavy shells. It is found that the shells designed through this approach can achieve higher critical stresses and knockdown factors than any previously known monocoque cylindrical shells. It is also found that these shells have superior mass efficiency to almost all previously reported stiffened shells.

Experimental studies on a design of composite wavy shell obtained through the proposed method are presented in this thesis. A method of making composite wavy shells and a photogrametry technique of measuring full-field geometric imperfections have been developed. Numerical predictions based on the measured geometric imperfections match remarkably well with the experiments. Experimental results confirm that the wavy shells are not sensitive to imperfections and can carry axial compression with superior mass efficiency.

An efficient computational method for the buckling analysis of corrugated and stiffened cylindrical shells subject to axial compression has been developed in this thesis. This method modifies the traditional Bloch wave method based on the stiffness matrix method of rotationally periodic structures. A highly efficient algorithm has been developed to implement the modified Bloch wave method. This method is applied in buckling analyses of a series of corrugated composite cylindrical shells and a large-scale orthogonally stiffened aluminum cylindrical shell. Numerical examples show that the modified Bloch wave method can achieve very high accuracy and require much less computational time than linear and nonlinear analyses of detailed full finite element models.

This thesis presents parametric studies on a series of externally pressurized pseudo-spherical shells, i.e., polyhedral shells, including icosahedron, geodesic shells, and triambic icosahedra. Several optimization methods have been developed to further improve the performance of pseudo-spherical shells under external pressure. It has been shown that the buckling pressures of the shell designs obtained from the optimizations are much higher than the spherical shells and not sensitive to imperfections.

Complex mutation at a microsatellite locus in sturgeons: Acipenser sinensis, A-schrenckii, A-gueldenstaedtii and A-baerii

Cross-species amplifications of microsatellite locus Spl-106, which was originally screened from the genome of shovelnose sturgeon (Scaphirhynchus platorynchus) with a perfect TAGA repeat motif, were carried out in four other species of the genera Acipenser. A total of 34 polymerase chain reaction (PCR) products representing 16 different alleles of this locus was sequenced. Sequence analysis results showed that besides the number changes of repeat units, many mutational events, such as single-base substitutions and various insertion/deletion (indels) occurred not only at species level but also at individual level, even among the different alleles within the same individual. The repeat motifs varied from perfect (TAGA)n array to perfect compound (TAAA)m (GAAA)n and perfect or imperfect compound (TAAA)m (TAGA)n (TAAA)x arrays in different species and different individuals. The evolution dynamics of this locus in sturgeons was inferred in that it may evolve from a single perfect to different perfect or imperfect compounds.

Power Scaling of Uplink Massive MIMO Systems with Arbitrary-Rank Channel Means

This paper investigates the uplink achievable rates of massive multiple-input multiple-output (MIMO) antenna systems in Ricean fading channels, using maximal-ratio combining (MRC) and zero-forcing (ZF) receivers, assuming perfect and imperfect channel state information (CSI). In contrast to previous relevant works, the fast fading MIMO channel matrix is assumed to have an arbitrary-rank deterministic component as well as a Rayleigh-distributed random component. We derive tractable expressions for the achievable uplink rate in the large-antenna limit, along with approximating results that hold for any finite number of antennas. Based on these analytical results, we obtain the scaling law that the users' transmit power should satisfy, while maintaining a desirable quality of service. In particular, it is found that regardless of the Ricean K-factor, in the case of perfect CSI, the approximations converge to the same constant value as the exact results, as the number of base station antennas, M, grows large, while the transmit power of each user can be scaled down proportionally to 1/M. If CSI is estimated with uncertainty, the same result holds true but only when the Ricean K-factor is non-zero. Otherwise, if the channel experiences Rayleigh fading, we can only cut the transmit power of each user proportionally to 1/√M. In addition, we show that with an increasing Ricean K-factor, the uplink rates will converge to fixed values for both MRC and ZF receivers.