KEMNAD:a knowledge engineering methodology for negotiating agent development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents (especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system.

Optimal packing for cascaded regenerative transmission based on phase sensitive amplifiers

We investigate the transmission performance of advanced modulation formats in nonlinear regenerative channels based on cascaded phase sensitive amplifiers. We identify the impact of amplitude and phase noise dynamics along the transmission line and show that after a cascade of regenerators, densely packed single ring PSK constellations outperform multi-ring constellations. The results of this study will greatly simplify the design of future nonlinear regenerative channels for ultra-high capacity transmission

Effect of carrier reshaping and narrow MUX-DEMUX filtering in 0.8 bit/s/Hz WDM RZ-DPSK transmission

Effect of the carrier shape in the ultra high dense wavelength division multiplexing (WDM) return to zero differential phase shift keying (RZ-DPSK) transmission has been examined through numerical optimization of the pulse form, duty cycle and narrow multiplex/de-multiplex (MUX/DEMUX) filtering parameters. © 2007 Springer Science+Business Media, LLC.

Advanced optical sensing techniques using novel fibre gratings

We describe some recently developed fibre grating sensing devices (Bragg and long-period types) and applications with emphasis on simultaneous measurement of multiple measurands using combinational grating structures, and the realisation of ultra-high sensitivity sensors utilising the quadratic dispersion of long-period grating structure.

Spatial-spectral flexible optical networking:enabling switching solutions for a simplified and efficient SDM network platform

The traffic carried by core optical networks grows at a steady but remarkable pace of 30-40% year-over-year. Optical transmissions and networking advancements continue to satisfy the traffic requirements by delivering the content over the network infrastructure in a cost and energy efficient manner. Such core optical networks serve the information traffic demands in a dynamic way, in response to requirements for shifting of traffics demands, both temporally (day/night) and spatially (business district/residential). However as we are approaching fundamental spectral efficiency limits of singlemode fibers, the scientific community is pursuing recently the development of an innovative, all-optical network architecture introducing the spatial degree of freedom when designing/operating future transport networks. Spacedivision- multiplexing through the use of bundled single mode fibers, and/or multi-core fibers and/or few-mode fibers can offer up to 100-fold capacity increase in future optical networks. The EU INSPACE project is working on the development of a complete spatial-spectral flexible optical networking solution, offering the network ultra-high capacity, flexibility and energy efficiency required to meet the challenges of delivering exponentially growing traffic demands in the internet over the next twenty years. In this paper we will present the motivation and main research activities of the INSPACE consortium towards the realization of the overall project solution. © 2014 Copyright SPIE.

Optimal packing for cascaded regenerative transmission based on phase sensitive amplifiers

We investigate the transmission performance of advanced modulation formats in nonlinear regenerative channels based on cascaded phase sensitive amplifiers. We identify the impact of amplitude and phase noise dynamics along the transmission line and show that after a cascade of regenerators, densely packed single ring PSK constellations outperform multi-ring constellations. The results of this study will greatly simplify the design of future nonlinear regenerative channels for ultra-high capacity transmission. © 2013 Optical Society of America.

Highly sensitive liquid-level sensor based on dual-wavelength double-ring fiber laser assisted by beat frequency interrogation

A highly sensitive liquid-level sensor based on dual-wavelength single-longitudinal-mode fiber laser is proposed and demonstrated. The laser is formed by exploiting two parallel arranged phase-shift fiber Bragg gratings (ps-FBGs), acting as ultra-narrow bandwidth filters, into a doublering resonators. By beating the dual-wavelength lasing output, a stable microwave signal with frequency stability better than 5 MHz is obtained. The generated beat frequency varies with the change of dual-wavelength spacing. Based on this characteristic, with one ps-FBG serving as the sensing element and the other one acting as the reference element, a highly sensitive liquid level sensor is realized by monitoring the beat frequency shift of the laser. The sensor head is directly bonded to a float which can transfer buoyancy into axial strain on the fiber without introducing other elastic elements. The experimental results show that an ultra-high liquidlevel sensitivity of 2.12 × 107 MHz/m within the measurement range of 1.5 mm is achieved. The sensor presents multiple merits including ultra-high sensitivity, thermal insensitive, good reliability and stability. © 2012 Optical Society of America.

Eigenvalue communications in nonlinear fiber channels

Continuous progress in optical communication technology and corresponding increasing data rates in core fiber communication systems are stimulated by the evergrowing capacity demand due to constantly emerging new bandwidth-hungry services like cloud computing, ultra-high-definition video streams, etc. This demand is pushing the required capacity of optical communication lines close to the theoretical limit of a standard single-mode fiber, which is imposed by Kerr nonlinearity [1–4]. In recent years, there have been extensive efforts in mitigating the detrimental impact of fiber nonlinearity on signal transmission, through various compensation techniques. However, there are still many challenges in applying these methods, because a majority of technologies utilized in the inherently nonlinear fiber communication systems had been originally developed for linear communication channels. Thereby, the application of ”linear techniques” in a fiber communication systems is inevitably limited by the nonlinear properties of the fiber medium. The quest for the optimal design of a nonlinear transmission channels, development of nonlinear communication technqiues and the usage of nonlinearity in a“constructive” way have occupied researchers for quite a long time.

Localized surface plasmon fiber device coated with carbon nanotubes for the specific detection of CO2

We explored the potential of a carbon nanotube (CNT) coating working in conjunction with a recently developed localized surface plasmon (LSP) device (based upon a nanostructured thin film consisting of of nano-wires of platinum) with ultra-high sensitivity to changes in the surrounding index. The uncoated LSP sensor’s transmission resonances exhibited a refractive index sensitivity of Δλ/Δn ~ -6200nm/RIU and ΔΙ/Δn ~5900dB/RIU, which is the highest reported spectral sensitivity of a fiber optic sensor to bulk index changes within the gas regime. The complete device provides the first demonstration of the chemically specific gas sensing capabilities of CNTs utilizing their optical characteristics. This is proven by investigating the spectral response of the sensor before and after the adhesion of CNTs to alkane gases along with carbon dioxide. The device shows a distinctive spectral response in the presence of gaseous CO2 over and above what is expected from general changes in the bulk refractive index. This fiber device yielded a limit of detection of 150ppm for CO2 at a pressure of one atmosphere. Additionally the adhered CNTs actually reduce sensitivity of the device to changes in bulk refractive index of the surrounding medium. The polarization properties of the LSP sensor resonances are also investigated and it is shown that there is a reduction in the overall azimuthal polarization after the CNTs are applied. These optical devices offer a way of exploiting optically the chemical selectivity of carbon nanotubes, thus providing the potential for real-world applications in gas sensing in many inflammable and explosive environments. © (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.

Refinement methods for software architecture design using the software architecture model

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

Assessment of the occurrence and potential risks of pharmaceuticals and their metabolites in fish and water using liquid chromatography mass spectrometry

A comprehensive method for the analysis of 11 target pharmaceuticals representing multiple therapeutic classes was developed for biological tissues (fish) and water. Water samples were extracted using solid phase extraction (SPE), while fish tissue homogenates were extracted using accelerated solvent extraction (ASE) followed by mixed-mode cation exchange SPE cleanup and analyzed by liquid chromatography tandem mass spectrometry (LC-MS/MS). Among the 11 target pharmaceuticals analyzed, trimethoprim, caffeine, sulfamethoxazole, diphenhydramine, diltiazem, carbamazepine, erythromycin and fluoxetine were consistently detected in reclaimed water. On the other hand, caffeine, diphenhydramine and carbamazepine were consistently detected in fish and surface water samples. In order to understand the uptake and depuration of pharmaceuticals as well as bioconcentration factors (BCFs) under the worst-case conditions, mosquito fish were exposed to reclaimed water under static-renewal for 7 days, followed by a 14-day depuration phase in clean water. Characterization of the exposure media revealed the presence of 26 pharmaceuticals while 5 pharmaceuticals including caffeine, diphenhydramine, diltiazem, carbamazepine, and ibuprofen were present in the organisms as early as 5 h from the start of the exposure. Liquid chromatography ultra-high resolution Orbitrap mass spectrometry was explored as a tool to identify and quantify phase II pharmaceutical metabolites in reclaimed water. The resulting data confirmed the presence of acetyl-sulfamethoxazole and sulfamethoxazole glucuronide in reclaimed water. To my knowledge, this is the first known report of sulfamethoxazole glucuronide surviving intact through wastewater treatment plants and occurring in environmental water samples. Finally, five bioaccumulative pharmaceuticals including caffeine, carbamazepine, diltiazem, diphenhydramine and ibuprofen detected in reclaimed water were investigated regarding the acute and chronic risks to aquatic organisms. The results indicated a low potential risk of carbamazepine even under the worst case exposure scenario. Given the dilution factors that affect environmental releases, the risk of exposure to carbamazepine will be even more reduced.

Investigation into possible causes of elevated ozone concentrations in Miami, Florida

Ozone readings which exceeded the National Ambient Air Quality Standard of 120 ppbv were recorded in Miami, Florida during 1978 and 1980. Similar elevated concentrations of ozone extended across upper Florida and into the Southeastern portion of the United States. It is concluded that tropospheric transport of ozone into the Miami area occurs. This conclusion is supported by lead analyses of atmospheric samples taken in Miami and by isentropic trajectories. Six case studies are presented. In all cases transport of ozone into Florida appears to occur. In only four of the cases does this result in elevated ozone levels in Miami. In one case lower Florida was experiencing an oceanic influx of air and low ozone concentrations. In the other case Miami was experiencing a stagnation and high ozone concentrations apparently generated locally. The long range transport of ozone across the Southeastern United States appears to result from circulation within a weather pattern characterized by a stagnant high pressure system over the Southeastern United States.

Database of the GLAMAP project

A uniform chronology for foraminifera-based sea surface temperature records has been established in more than 120 sediment cores obtained from the equatorial and eastern Atlantic up to the Arctic Ocean. The chronostratigraphy of the last 30,000 years is mainly based on published d18O records and 14C ages from accelerator mass spectrometry, converted into calendar-year ages. The high-precision age control provides the database necessary for the uniform reconstruction of the climate interval of the Last Glacial Maximum within the GLAMAP-2000 project.

Uma abordagem crítica do conteúdo esporte nas aulas de educação física no ensino médio integrado

Researchers have analyzed how sport is being taught in the classroom as a regular subject and how it is accepted as a pedagogical action at school. This study aims to suggest some pedagogic proposal on the Physical Education subject to High School System which would be planned, formulated, and applied based on some critical approach on teaching, as well as analyzing and thinking over its impact on the students' learning, taking in consideration some conceptual, procedural and attitudinal dimensions to make possible for the students to become more critical so that they will understand how this subject works in contemporary time. .We had three specific blocs to develop our research: Historic, conceptual and cultural elements about sport; Public policies to sport; Individual, group and environmental characteristics. The method of this work was based on qualitative research through some research action. The study was made actually at IFRN (Federal Institute of Education, Science and Technology of Rio Grande do Norte state), in the city of Pau dos Ferros. Students from the second year of the computing course in high school were the participants in the research, there were 37 students from eleven different cities near Pau dos Ferros. They answered some questionares and a Research Diary. From the pedagogical intervention we could prove the students have improved their knowledge about the concept on sport itself, leaving the old idea about sport only as a physical practice such as an activity with rules or as competition, we could prove they have sport as a social-cultural event, involving policies, ideologies as well as historical interferences. Another aspect they mentioned was that sport is the citizens' right and as such there must be public policies pro sports. Understanding that sport transpires on peoples' habits as well as their behavior allowed us to identify its influence on our students' quality of life back in their home towns. Therewith, it is clear the necessity of a pedagogical focus on the content of Physical Education at school to make this subject more meaningful, so that the students will become more critical and reflexive about life and will be able be real citizens