Enhancing Intercultural Communication in Teaching Chinese as a Foreign Language : An Action Research Study

Enhancing Intercultural Communication in Teaching Chinese as a Foreign Language – An Action Research Study Over the past few decades, the rapid development of information communication technology, internationalization and globalization worldwide have required a shift in the focus of Chinese as a foreign language (CFL) towards competence in intercultural communication in which the role of culture in the acquisition of CFL and in the pragmatic use of the language is emphasized and promoted. However, most of the current research in this academic area remains only on a theoretical level. Practical examples, particularly with regard to distance learning/teaching of the Chinese language, are very limited. This motivated the implementation of an action research study which aimed at exploring the possibilities and limitations of integrating Chinese culture and applying intercultural communication theory into a contemporary distance CFL course for beginners. By observing and comparing the performance of subjects in the control and experimental groups, this action research study focuses on exploring three basic areas. Firstly, it discloses the cultural elements which underlie effective daily communication. Secondly, it investigates how students acquire cultural knowledge and develop their ability to competently communicate in the target course. And thirdly, it evaluates how the modified course syllabus could enhance students’ intercultural communicative competence. The findings of the research aim to serve as both a resource and reference for educators and researchers who are interested in carrying out reforms and research in this academic domain.

An Architectural Description Language for Enterprise Computing

Architectural description languages (ADLs) are used to specify high-level, compositional view of a software application. ADLs usually come equipped with a rigourous state-transition style semantics, facilitating specification and analysis of distributed and event-based systems. However, enterprise system architectures built upon newer middleware (implementations of Java’s EJB specification, or Microsoft’s COM+/ .NET) require additional expressive power from an ADL. The TrustME ADL is designed to meet this need. In this paper, we describe several aspects of TrustME that facilitate specification and anlysis of middleware-based architectures for the enterprise.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Object modeling for user-centered development and user interface design: the wisdom approach

João Bernardo de Sena Esteves Falcão e Cunha

The influence of triiodothyronine (T-3) on the early development of piracanjuba (Brycon orbignyanus)

This paper reports the triiodothyronine's (T-3) effects on the early growth and survival of piracanjuba (Brycon orbignyanus) produced from fertilized eggs hormone exposed The study was carried out in two phases In the first phase, eggs divided in 6 batches were Immersed in T-3 solutions 0 01, 0 05, 0 1, 0 5 ppm, 1 ppm and control (no T-3) After a 15-min immersion, eggs were transferred to incubators where larvae were kept up to 72 h after hatching Larval weight, length and yolk sac volume were determined every 12 h Sixty and 72 h after hatching, larvae exposed to 0 5 ppm T-3 were significantly heavier than the others, and those exposed to 1 ppm T-3 showed the lowest weight The yolk sac absorption was not affected In the second experimental phase, the resulting fry from the first phase were stocked into 3 boxes per treatment (5 larvae L-1) and fed with plankton, fish larvae and feed prepared in the hatchery (48% CP) in the first 3 days, plankton and feed from the 4th to the 10th day and only feed in the next (last) 5 days Fry weight, length and specific growth rate were determined at 1, 5, 10 and 15 days Survival was calculated in the last day In the 15th day, fry length did not differ among treatments but the weight of the control group was higher Higher survival in the T-3-treated groups suggested lower predation among fry The results allowed us to conclude that there was no expressive effect of T-3 on the growth, but it improved the survival of the piracanjuba progeny

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Data information system to promote the organization data of collections - modeling considerations by the Unified Modelign Language (UML)

Pode-se afirmar que a evolução tecnológica (desenvolvimento de novos instrumentos de medição como, softwares, satélites e computadores, bem como, o barateamento das mídias de armazenamento) permite às Organizações produzirem e adquirirem grande quantidade de dados em curto espaço de tempo. Devido ao volume de dados, Organizações de pesquisa se tornam potencialmente vulneráveis aos impactos da explosão de informações. Uma solução adotada por algumas Organizações é a utilização de ferramentas de sistemas de informação para auxiliar na documentação, recuperação e análise dos dados. No âmbito científico, essas ferramentas são desenvolvidas para armazenar diferentes padrões de metadados (dados sobre dados). Durante o processo de desenvolvimento destas ferramentas, destaca-se a adoção de padrões como a Linguagem Unificada de Modelagem (UML, do Inglês Unified Modeling Language), cujos diagramas auxiliam na modelagem de diferentes aspectos do software. O objetivo deste estudo é apresentar uma ferramenta de sistemas de informação para auxiliar na documentação dos dados das Organizações por meio de metadados e destacar o processo de modelagem de software, por meio da UML. Será abordado o Padrão de Metadados Digitais Geoespaciais, amplamente utilizado na catalogação de dados por Organizações científicas de todo mundo, e os diagramas dinâmicos e estáticos da UML como casos de uso, sequências e classes. O desenvolvimento das ferramentas de sistemas de informação pode ser uma forma de promover a organização e a divulgação de dados científicos. No entanto, o processo de modelagem requer especial atenção para o desenvolvimento de interfaces que estimularão o uso das ferramentas de sistemas de informação.

Development of an open case-based decision-support system for diagnosis in oral pathology

Making diagnoses in oral pathology are often difficult and confusing in dental practice, especially for the lessexperienced dental student. One of the most promising areas in bioinformatics is computer-aided diagnosis, where a computer system is capable of imitating human reasoning ability and provides diagnoses with an accuracy approaching that of expert professionals. This type of system could be an alternative tool for assisting dental students to overcome the difficulties of the oral pathology learning process. This could allow students to define variables and information, important to improving the decision-making performance. However, no current open data management system has been integrated with an artificial intelligence system in a user-friendly environment. Such a system could also be used as an education tool to help students perform diagnoses. The aim of the present study was to develop and test an open case-based decisionsupport system.Methods: An open decision-support system based on Bayes' theorem connected to a relational database was developed using the C++ programming language. The software was tested in the computerisation of a surgical pathology service and in simulating the diagnosis of 43 known cases of oral bone disease. The simulation was performed after the system was initially filled with data from 401 cases of oral bone disease.Results: the system allowed the authors to construct and to manage a pathology database, and to simulate diagnoses using the variables from the database.Conclusion: Combining a relational database and an open decision-support system in the same user-friendly environment proved effective in simulating diagnoses based on information from an updated database.

Uso de expressões orais durante a implementação do recurso de comunicação suplementar e alternativa

The literature has discussed the importance of early implementation of augmentative and alternative systems with people with various disabilities. This discussion is related to concerns about language acquisition and development within the various expressive possibilities. Researchers advise that starting intervention early through resources and procedures using augmentative and alternative communication does not impede speech acquisition and development. This paper aimed to describe oral expressive abilities during the implementation of augmentative and alternative communication with a student with cerebral palsy. An 11-year-old student with cerebral palsy participated in the augmentative and alternative communication program for two years. Twelve sessions were selected during the first year of the intervention. The sessions were filmed and the augmentative and alternative communication resource procedures were transcribed. The categories of analysis were defined as verbal expression; nonverbal expression and verbal and nonverbal expression associated. The results of this study identified that augmentative and alternative communication resources supported the use of verbal expression such as vocalizations, words and unintelligible oral expressions.

Intervenções em linguagem escrita: Uma revisão da literatura com vistas à redução dos transtornos funcionais de aprendizagem

The importance reading and writing and being able to use these skills in a variety of situations is an absolute reality. In our society in which reading and writing are widely used, Brazil still faces severe problems with literacy, as revealed in literacy statistics and in the large number of students with learning disabilities. Thus, our text aims to present a survey of the research that focuses on intervention programs highlighting the needs of this group, with special attention on the use of narrative or storytelling. Specific criteria were established, the main one being the period of the publications (2000 to 2010). The results of the analysis of 15 texts showed that intervention is the most neglected area. International literature presents concerns related to scientific rigor or greater control of variables related to ongoing programs, as well as measures for generalizing the effective use of these programs, within verbal communities, with special focus on schools. Our revision enabled us to conclude that, even though production on written language is large, international literature is much more expressive with reference to intervention programs. Furthermore, in both national and international literature, production concerning the understanding of written language processes of acquisition and development prevails.

Que dança é essa?: uma proposta para a educação infantil

Pós-graduação em Artes - IA

Development of computational 3D MoM algorithm for nanoplasmonics

In this paper, we present an algorithm for full-wave electromagnetic analysis of nanoplasmonic structures. We use the three-dimensional Method of Moments to solve the electric field integral equation. The computational algorithm is developed in the language C. As examples of application of the code, the problems of scattering from a nanosphere and a rectangular nanorod are analyzed. The calculated characteristics are the near field distribution and the spectral response of these nanoparticles. The convergence of the method for different discretization sizes is also discussed.

Towards criterion validity in classroom language analysis: methodological constraints of metadiscourse and inter-rater agreement

This paper reports on a process to validate a revised version of a system for coding classroom discourse in foreign language lessons, a context in which the dual role of language (as content and means of communication) and the speakers' specific pedagogical aims lead to a certain degree of ambiguity in language analysis. The language used by teachers and students has been extensively studied, and a framework of concepts concerning classroom discourse well-established. Models for coding classroom language need, however, to be revised when they are applied to specific research contexts. The application and revision of an initial framework can lead to the development of earlier models, and to the re-definition of previously established categories of analysis that have to be validated. The procedures followed to validate a coding system are related here as guidelines for conducting research under similar circumstances. The advantages of using instruments that incorporate two types of data, that is, quantitative measures and qualitative information from raters' metadiscourse, are discussed, and it is suggested that such procedure can contribute to the process of validation itself, towards attaining reliability of research results, as well as indicate some constraints of the adopted research methodology.

Linguagem poética e crescimento urbano-industrial / Poetical language and urban-industrial growth

O impacto do crescimento urbano-industrial sobre a lírica moderna é abordado sob o ângulo das dissonâncias ocorridas entre as representações temáticas e os procedimentos expressivos. Assim se confrontam as “respostas” dos poetas europeus à Revolução Industrial e o surgimento das grandes cidades com as dos modernistas brasileiros de 22 face à industrialização de São Paulo. Nestes, ao contrário dos primeiros, os conflitos instauram-se entre a celebração programática da vida moderna e, num primeiro momento, a impossibilidade de adequação de suas formas de expressão ao registro dessa modernidade. Dessa forma se explicam os desequilíbrios temático-expressivos existentes em Paulicéia Desvairada, bem como as adequações conseguidas por obras posteriores. The impact of urban-industrial growth on modern lyrics is approached from the angle of the dissonances which occurred between the thematic representations and the expressive procedures. Thus, the European poets’ responses to the Industrial Revolution and the emergence of the large cities are confronted with those of the 1922 Brazilian Modernists in relation to the industrialization of São Paulo. In the latter, contrary to what happened with ther former ones, the conflicts take place between the programmatic celebration of modern life and, at first, the impossibility of adequating their form of expressions to the record of said modernity. Thus the thematic-expressive disequilibrium in Paulicéia Desvairada, as well as de adequations obtained in later works are explained.