Las revistas académicas del campo de la educación (Argentina, 1990-2002)

El estudio de las revistas especializadas permite comprender aspectos importantes de la dinámica de los campos científicos y académicos. Entre ellos, los grados de institucionalización, diferenciación y especialización o las redes de intercambio. La cantidad, la calidad y la difusión de las revistas expresa, en buena medida, el poder relativo de las diversas comunidades académicas y su influencia en el nivel nacional e internacional. Este estudio realiza un análisis descriptivo de las revistas académicas argentinas especializadas en educación durante la década de 1990, como parte de una investigación más amplia sobre la producción de conocimientos en educación, desarrollada en la FLACSO entre 2002 y 2004. Se presentan los datos y conclusiones del análisis de 17 revistas que refieren exclusivamente a temas de educación y que declaran contar con algún mecanismo de referato científico-académico. La descripción toma como punto de partida las siguientes dimensiones: a) las agencias productoras; b) las referencias temporales (fecha de aparición, frecuencia y regularidad de las revistas); c) la distribución regional; d) la estructura de las publicaciones; d) la pertenencia institucional de los autores y e) los temas abordados en las publicaciones. Al final del artículo, se discuten los avances alcanzados en materia de publicaciones en la década pasada y las dificultades que persisten para consolidar una cantidad y diversidad de instancias de comunicación especializada en el campo de la educación en la Argentina.

Las revistas académicas del campo de la educación (Argentina, 1990-2002)

El estudio de las revistas especializadas permite comprender aspectos importantes de la dinámica de los campos científicos y académicos. Entre ellos, los grados de institucionalización, diferenciación y especialización o las redes de intercambio. La cantidad, la calidad y la difusión de las revistas expresa, en buena medida, el poder relativo de las diversas comunidades académicas y su influencia en el nivel nacional e internacional. Este estudio realiza un análisis descriptivo de las revistas académicas argentinas especializadas en educación durante la década de 1990, como parte de una investigación más amplia sobre la producción de conocimientos en educación, desarrollada en la FLACSO entre 2002 y 2004. Se presentan los datos y conclusiones del análisis de 17 revistas que refieren exclusivamente a temas de educación y que declaran contar con algún mecanismo de referato científico-académico. La descripción toma como punto de partida las siguientes dimensiones: a) las agencias productoras; b) las referencias temporales (fecha de aparición, frecuencia y regularidad de las revistas); c) la distribución regional; d) la estructura de las publicaciones; d) la pertenencia institucional de los autores y e) los temas abordados en las publicaciones. Al final del artículo, se discuten los avances alcanzados en materia de publicaciones en la década pasada y las dificultades que persisten para consolidar una cantidad y diversidad de instancias de comunicación especializada en el campo de la educación en la Argentina.

Las revistas académicas del campo de la educación (Argentina, 1990-2002)

El estudio de las revistas especializadas permite comprender aspectos importantes de la dinámica de los campos científicos y académicos. Entre ellos, los grados de institucionalización, diferenciación y especialización o las redes de intercambio. La cantidad, la calidad y la difusión de las revistas expresa, en buena medida, el poder relativo de las diversas comunidades académicas y su influencia en el nivel nacional e internacional. Este estudio realiza un análisis descriptivo de las revistas académicas argentinas especializadas en educación durante la década de 1990, como parte de una investigación más amplia sobre la producción de conocimientos en educación, desarrollada en la FLACSO entre 2002 y 2004. Se presentan los datos y conclusiones del análisis de 17 revistas que refieren exclusivamente a temas de educación y que declaran contar con algún mecanismo de referato científico-académico. La descripción toma como punto de partida las siguientes dimensiones: a) las agencias productoras; b) las referencias temporales (fecha de aparición, frecuencia y regularidad de las revistas); c) la distribución regional; d) la estructura de las publicaciones; d) la pertenencia institucional de los autores y e) los temas abordados en las publicaciones. Al final del artículo, se discuten los avances alcanzados en materia de publicaciones en la década pasada y las dificultades que persisten para consolidar una cantidad y diversidad de instancias de comunicación especializada en el campo de la educación en la Argentina.

Using coloured petri nets to simulate DoS-resistant protocols

In this work, we examine unbalanced computation between an initiator and a responder that leads to resource exhaustion attacks in key exchange protocols. We construct models for two cryp-tographic protocols; one is the well-known Internet protocol named Secure Socket Layer (SSL) protocol, and the other one is the Host Identity Protocol (HIP) which has built-in DoS-resistant mechanisms. To examine such protocols, we develop a formal framework based on Timed Coloured Petri Nets (Timed CPNs) and use a simulation approach provided in CPN Tools to achieve a formal analysis. By adopting the key idea of Meadows' cost-based framework and re¯ning the de¯nition of operational costs during the protocol execution, our simulation provides an accurate cost estimate of protocol execution compar- ing among principals, as well as the percentage of successful connections from legitimate users, under four di®erent strategies of DoS attack.

Binjiang urban centre and transport interchange

This project is the result of a collaborative design process involving QUT School of Design, and AREN Consulting and ZIAD (Zheijiang Provincial Institute of Architectural Design and Research). This major urban initiative explores new standards for multi-function urban centres. The sophisticated integration of transit interchange with retail, commercial and residential functions provides a dramatic mix of social activities. The large site is formed into a raised and terraced urban garden, with the transit centre and retail shopping precinct housed below this landscaped roof. Towering above this ‘hill’ are five building blocks housing the commercial and residential accommodations. These environmentally low-impact buildings are topped with a high-tech greenhouse roof or photovoltaic cells.

Genshanmen Urban Centre and Transport Interchange

This project is the result of a collaborative design process involving QUT School of Design, and AREN Consulting and ZIAD (Zheijiang Provincial Institute of Architectural Design and Research). This project is the submission prepared by the above partnership for an invited international design competition, promoted by Hangzhou City, China. ---------- This major urban design and architecture project is for a large transport oriented development on the new Hangzhou Subway system. The development, covering several city blocks, includes the provision of residential, retail, education, commercial, and transport infrastructure; integrated with rail, bus and ferry systems. ---------- The design strategies are based on the development or artificial land forms; the cutting of new canals, raising of the ground plane, and metaphoric reference to the Yellow Mountains (explored in the detail of the central ‘ridge’ of built form). Further to this, the project explores the integration of sustainable technologies and philosophies with large scale building projects in a subtropical context.

Bottlenecks detection of track allocation schemes at rail stations by Petri nets

Robustness of the track allocation problem is rarely addressed in literatures and the obtained track allocation schemes (TAS) embody some bottlenecks. Therefore, an approach to detect bottlenecks is needed to support local optimization. First a TAS is transformed to an executable model by Petri nets. Then disturbances analysis is performed using the model and the indicators of the total trains' departure delays are collected to detect bottlenecks when each train suffers a disturbance. Finally, the results of the tests based on a rail hub linking six lines and a TAS about thirty minutes show that the minimum buffer time is 21 seconds and there are two bottlenecks where the buffer times are 57 and 44 seconds respectively, and it indicates that the bottlenecks do not certainly locate at the area where there is minimum buffer time. The proposed approach can further support selection of multi schemes and robustness optimization.

Soundness of workflow nets with reset arcs

Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation features, a mapping to workflow nets is not always possible. Therefore, it is interesting to consider workflow nets with reset arcs. Unfortunately, soundness is undecidable for workflow nets with reset arcs. In this paper, we provide a proof and insights into the theoretical limits of workflow verification.

Designing a workflow system using coloured petri nets

Traditional workflow systems focus on providing support for the control-flow perspective of a business process, with other aspects such as data management and work distribution receiving markedly less attention. A guide to desirable workflow characteristics is provided by the well-known workflow patterns which are derived from a comprehensive survey of contemporary tools and modelling formalisms. In this paper we describe the approach taken to designing the newYAWL workflow system, an offering that aims to provide comprehensive support for the control-flow, data and resource perspectives based on the workflow patterns. The semantics of the newYAWL workflow language are based on Coloured Petri Nets thus facilitating the direct enactment and analysis of processes described in terms of newYAWL language constructs. As part of this discussion, we explain how the operational semantics for each of the language elements are embodied in the newYAWL system and indicate the facilities required to support them in an operational environment. We also review the experiences associated with developing a complete operational design for an offering of this scale using formal techniques.

Train schedule coordination at an interchange station through Agent negotiation

In open railway markets, coordinating train schedules at an interchange station requires negotiation between two independent train operating companies to resolve their operational conflicts. This paper models the stakeholders as software agents and proposes an agent negotiation model to study their interaction. Three negotiation strategies have been devised to represent the possible objectives of the stakeholders, and they determine the behavior in proposing offers to the proponent. Empirical simulation results confirm that the use of the proposed negotiation strategies lead to outcomes that are consistent with the objectives of the stakeholders.

Analysis of Object-Specific Authorization Protocol (OSAP) using coloured petri nets - Version 1.0

Analyzing security protocols is an ongoing research in the last years. Different types of tools are developed to make the analysis process more precise, fast and easy. These tools consider security protocols as black boxes that can not easily be composed. It is difficult or impossible to do a low-level analysis or combine different tools with each other using these tools. This research uses Coloured Petri Nets (CPN) to analyze OSAP trusted computing protocol. The OSAP protocol is modeled in different levels and it is analyzed using state space method. The produced model can be combined with other trusted computing protocols in future works.