Documentação automatizada de APIs com tutoriais gerados a partir do Stack Overflow

One of the most common forms of reuse is through API usage. However, one of the main challenges to effective usage is an accessible and easy to understand documentation. Several papers have proposed alternatives to make more understandable API documentation, or even more detailed. However, these studies have not taken into account the complexity of understanding of the examples to make these documentations adaptable to different levels of experience of developers. In this work we developed and evaluated four different methodologies to generate tutorials for APIs from the contents of Stack Overflow and organizing them according to the complexity of understanding. The methodologies were evaluated through tutorials generated for the Swing API. A survey was conducted to evaluate eight different features of the generated tutorials. The overall outcome of the tutorials was positive on several characteristics, showing the feasibility of the use of tutorials generated automatically. In addition, the use of criteria for presentation of tutorial elements in order of complexity, the separation of the tutorial in basic and advanced parts, the nature of tutorial to the selected posts and existence of didactic source had significantly different results regarding a chosen generation methodology. A second study compared the official documentation of the Android API and tutorial generated by the best methodology of the previous study. A controlled experiment was conducted with students who had a first contact with the Android development. In the experiment these students developed two tasks, one using the official documentation of Android and using the generated tutorial. The results of this experiment showed that in most cases, the students had the best performance in tasks when they used the tutorial proposed in this work. The main reasons for the poor performance of students in tasks using the official API documentation were due to lack of usage examples, as well as its difficult use.

Geo-Locating the Knowledge Transfer in StackOverflow

By analyzing the transactions in Stack Overflow we can get a glimpse of the way in which the different geographical regions in the world contribute to the knowledge market represented by the website. In this paper we aggregate the knowledge transfer from the level of the users to the level of geographical regions and learn that Europe and North America are the principal and virtually equal contributors; Asia comes as a distant third, mainly represented by India; and Oceania contributes less than Asia but more than South America and Africa together.

STACK OVERWRITING ATTACKS AND DEFENCES IN UNIX ENVIRONMENT

Työn tarkoituksena on tutkia pinon ylikirjoitukseen perustuvien hyökkäysten toimintaa ja osoittaa kokeellisesti nykyisten suojaustekniikoiden olevan riittämättömiä. Tutkimus suoritetaan testaamalla miten valitut tietoturvatuotteet toimivat eri testitilanteissa. Testatut tuotteet ovat Openwall, PaX, Libsafe 2.0 ja Immunix 6.2. Testaus suoritetaan pääasiassa RedHat 7.0 ympäristössä testiohjelman avulla. Testeissä mitataan sekä tuotteiden kyky havaita hyökkäyksiä että niiden nopeusvaikutukset. Myös erityyppisten hyökkäysten ja niitä vastaan kehitettyjen metodien toimintaperiaatteet esitellään seikkaperäisesti ja havainnollistetaan yksinkertaistetuilla esimerkeillä. Esitellyt tekniikat sisältävät puskurin ylivuodot, laittomat muotoiluparametrit, loppumerkittömät merkkijonot ja taulukoiden ylivuodot. Testit osoittavat, etteivät valitut tuotteet estä kaikkia hyökkäyksiä, joten lopuksi perehdytään myös vahinkojen minimointiin onnistuneiden hyökkäysten varalta.

(Table 1) Tie points between IODP Site 306-U1314 benthic d18O and the global benthic d18O stack LR04

Stable carbon and oxygen isotopes from benthic and planktic foraminifers, planktic foraminifer assemblages and ice rafted debris from the North Atlantic Site U1314 (Integrated Ocean Drilling Program Expedition 306) were examined to investigate orbital and millennial-scale climate variability in the North Atlantic and its impact on global circulation focusing on the development of glacial periods during the mid-Pleistocene (ca 800-400 ka). Glacial initiations were characterized by a rapid cooling (6-10 °C in less than 7 kyr) in the mean annual sea surface temperature (SST), increasing benthic d18O values and high benthic d13C values. The continuous increase in benthic d18O suggests a continuous ice sheet growth whereas the positive benthic d13C values indicate that the flow of the Iceland Scotland Overflow water (ISOW) was vigorous. Strong deep water formation in the Norwegian Greenland Sea promoted a high transfer of freshwater from the ocean to the continents. However, low SSTs at Site U1314 suggest a subpolar gyre cooling and freshening that may have reduced deep water formation in the Labrador Sea during glacial initiations. Once the 3.5 per mil threshold in the benthic d18O record was exceeded, ice rafting started and ice sheet growth was punctuated by millennial-scale waning events which returned to the ocean part of the freshwater accumulated on the continents. Ice-rafting events were associated with a rapid reduction in the ISOW (benthic d13C values dropped 0.5-1?) and followed by millennial-scale warmings. The first two millennial-scale warm intervals of each glacial period reached interglacial temperatures and were particularly abrupt (6-10 °C in ~3 kyr). Subsequent millennial-scale warm events were cooler probably because the AMOC was rather reduced as suggested by the low benthic d13C values. These two abrupt warming events that occurred at early glacial periods were also observed in the Antarctic temperature and CO2 records, suggesting a close correlation between both Hemispheres. The comparison of the sea surface proxies with the benthic d18O record (as the Southern sign) indicates the presence of a millennial-scale seesaw pattern similar to that seen during the Last Glacial period.

Overflow characteristics of circular weirs: Effects of inflow conditions

The most common types of weirs are the broad-crested weir, the sharp-crested weir, the circular-crested weir, and nowadays, the ogee crest weir, Advantages of the cylindrical weir shape include the stable overflow pattern, the ease to pass floating debris, the simplicity of design compared to ogee crest design, and the associated lower costs. in this study, the writers describe new experiments of circular weir overflows, with eight cylinder sizes, for several weir heights and for five types of inflow conditions: partially developed inflow, fully developed inflow, upstream ramp, upstream undular hydraulic jump, and upstream (breaking) hydraulic jump. Within the range of the experiments, the cylinder size, the weir height DIR and the presence of an upstream ramp had no effect on the discharge coefficient, flow depth at crest, and energy dissipation. But the inflow conditions had substantial effects on the discharge characteristics and flow properties at the crest. Practically, the results indicate that discharge measurements with circular weirs are significantly affected by the upstream flow conditions.

Model based procedure for scale-up of wet overflow ball mills Part 1: Outline of the methodology

Bond's method for ball mill scale-up only gives the mill power draw for a given duty. This method is incompatible with computer modelling and simulation techniques. It might not be applicable for the design of fine grinding ball mills and ball mills preceded by autogenous and semi-autogenous grinding mills. Model-based ball mill scale-up methods have not been validated using a wide range of full-scale circuit data. Their accuracy is therefore questionable. Some of these methods also need expensive pilot testing. A new ball mill scale-up procedure is developed which does not have these limitations. This procedure uses data from two laboratory tests to determine the parameters of a ball mill model. A set of scale-up criteria then scales-up these parameters. The procedure uses the scaled-up parameters to simulate the steady state performance of full-scale mill circuits. At the end of the simulation, the scale-up procedure gives the size distribution, the volumetric flowrate and the mass flowrate of all the streams in the circuit, and the mill power draw.

Model-based procedure for scale-up of wet, overflow ball mills - Part II: Worked example

A new ball mill scale-up procedure is developed which uses laboratory data to predict the performance of MI-scale ball mill circuits. This procedure contains two laboratory tests. These laboratory tests give the data for the determination of the parameters of a ball mill model. A set of scale-up criteria then scales-up these parameters. The procedure uses the scaled-up parameters to simulate the steady state performance of the full-scale mill circuit. At the end of the simulation, the scale-up procedure gives the size distribution, the volumetric flowrate and the mass flowrate of all the streams in the circuit, and the mill power draw. A worked example shows how the new ball mill scale-up procedure is executed. This worked example uses laboratory data to predict the performance of a full-scale re-grind mill circuit. This circuit consists of a ball mill in closed circuit with hydrocyclones. The MI-scale ball mill has a diameter (inside liners) of 1.85m. The scale-up procedure shows that the full-scale circuit produces a product (hydrocyclone overflow) that has an 80% passing size of 80 mum. The circuit has a recirculating load of 173%. The calculated power draw of the full-scale mill is 92kW (C) 2001 Elsevier Science Ltd. All rights reserved.

Model-based procedure for scale-up of wet, overflow ball mills - Part III: Validation and discussion

A new ball mill scale-up procedure is developed. This procedure has been validated using seven sets of Ml-scale ball mil data. The largest ball mills in these data have diameters (inside liners) of 6.58m. The procedure can predict the 80% passing size of the circuit product to within +/-6% of the measured value, with a precision of +/-11% (one standard deviation); the re-circulating load to within +/-33% of the mass-balanced value (this error margin is within the uncertainty associated with the determination of the re-circulating load); and the mill power to within +/-5% of the measured value. This procedure is applicable for the design of ball mills which are preceded by autogenous (AG) mills, semi-autogenous (SAG) mills, crushers and flotation circuits. The new procedure is more precise and more accurate than Bond's method for ball mill scale-up. This procedure contains no efficiency correction which relates to the mill diameter. This suggests that, within the range of mill diameter studied, milling efficiency does not vary with mill diameter. This is in contrast with Bond's equation-Bond claimed that milling efficiency increases with mill diameter. (C) 2001 Elsevier Science Ltd. All rights reserved.

Solid State Marx Modulator with Blumlein Stack for Bipolar Pulse Generation

Sub-nanosecond bipolar high voltage pulses are a very important tool for food processing, medical treatment, waste water and exhaust gas processing. A Hybrid Modulator for sub-microsecond bipolar pulse generation, comprising an unipolar solid-state Marx generator connected to a load through a stack Blumlein system that produces bipolar pulses and further multiplies the pulse voltage amplitude, is presented. Experimental results from an assembled prototype show the generation of 1000 V amplitude bipolar pulses with 100 ns of pulse width and 1 kHz repetition rate.

A power line communication stack for metering, SCADA and large-scale domotic applications

This paper describes the communication stack of the REMPLI system: a structure using power-lines and IPbased networks for communication, for data acquisition and control of energy distribution and consumption. It is furthermore prepared to use alternative communication media like GSM or analog modem connections. The REMPLI system provides communication service for existing applications, namely automated meter reading, energy billing and domotic applications. The communication stack, consisting of physical, network, transport, and application layer is described as well as the communication services provided by the system. We show how the peculiarities of the power-line communication influence the design of the communication stack, by introducing requirements to efficiently use the limited bandwidth, optimize traffic and implement fair use of the communication medium for the extensive communication partners.

Open-ZB: an open-source implementation of the IEEE 802.15.4/ZigBee protocol stack on TinyOS

The IEEE 802.15.4/ZigBee protocols are gaining increasing interests in both research and industrial communities as candidate technologies for Wireless Sensor Network (WSN) applications. In this paper, we present an open-source implementation of the IEEE 802.15.4/Zigbee protocol stack under the TinyOS operating system for the MICAz motes. This work has been driven by the need for an open-source implementation of the IEEE 802.15.4/ZigBee protocols, filling a gap between some newly released complex C implementations and black-box implementations from different manufacturers. In addition, we share our experience on the challenging problem that we have faced during the implementation of the protocol stack on the MICAz motes. We strongly believe that this open-source implementation will potentiate research works on the IEEE 802.15.4/Zigbee protocols allowing their demonstration and validation through experimentation.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Inversão estocástica de sísmica 3D post-stack e dados de poço para a caracterização de reservatórios e modelação de propriedades

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Characterization of dry-stack interlocking compressed earth blocks

Earth has been a traditional building material to construct houses in Africa. One of the most common techniques is the use of sun dried or kiln fired adobe bricks with mud mortar. Fired bricks are the main cause for deforestation in countries like Malawi. Although this technique is low-cost, the bricks vary largely in shape, strength and durability. This leads to weak houses which suffer considerable damage during floods and seismic events. One solution is the use of dry-stack masonry with stabilized interlocking compressed earth blocks (ICEB). This technology has the potential of substituting the current bricks by a more sustainable kind of block. This study was made in the context of the HiLoTec project, which focuses on houses in rural areas of developing countries. For this study, Malawi was chosen for a case study. This paper presents the experimental results of tests made with dry-stack ICEBs. Soil samples from Malawi were taken and studied. Since the experimental campaign could not be carried out in Malawi, a homogenization process of Portuguese soil was made to produce ICEBs at the University of Minho, Portugal. Then, the compression and tensile strength of the materials was determined via small cylinder samples. Subsequently, the compression and flexural strength of units were determined. Finally, tests to determine the compressive strength of both prisms and masonry wallets and to determine the initial shear strength of the dry interfaces were carried out. This work provides valuable data for low-cost eco-efficient housing

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011