3,414 research outputs found
The volcanology and fission track age dating of pyroclastic deposits in Tatun volcano group, northern Taiwan
No full text
Effect of interface traps related to mobile charges on silicon n-channel metal/oxide/semiconductor field effect transistors determined by a charge-temperature technique
No full text
Interface adaptation for conversational services
No full textThe proliferation of services on the web is leading to the formation of service ecosystems wherein services interact with one another in ways not foreseen during their development or deployment. This means that over its lifetime, a service is likely to be reused across multiple interactions, such that in each of them a different interface is required from it. Implementing, testing, deploying, and maintaining adapters to deal with this multiplicity of required interfaces can be costly and error-prone. The problem is compounded in the case of services that do not follow simple request-response interactions, but instead engage in conversations comprising arbitrary patterns of message exchanges. A key challenge in this setting is service mediation: the act of retrofitting existing services by intercepting, storing, transforming, and (re-)routing messages going into and out of these services so they can interact in ways not originally foreseen. This thesis addresses one aspect of service mediation, namely service interface adaptation. This problem arises when the interface that a service provides does not match the interface that it is expected to provide in a given interaction. Specifically, the thesis focuses on the reconciliation of mismatches between behavioural interfaces, that is, interfaces that capture ordering constraints between message exchanges. We develop three complementary proposals. Firstly, we propose a visual language for specifying adapters for conversational services. The language is based on a an algebra of operators that are composed to define links between provided-required interfaces. These expressions are fed into an execution engine that intercepts, buffers, transforms and forwards messages to enact the adapter specification. Secondly, we endow such adapter specifications with a formal semantics defined in terms of Petri nets. The formal semantics is used to statically check the correctness of adapter specifications. Finally, we propose an alternative approach to service interface adaptation that does not require hard-wired links between provided and required interfaces. This alternative approach is based on the definition of mapping rules between message types, and is embodied in an adaptation machine. The adaptation machine sits between pairs of services and manipulates the exchanged messages according to a repository of mapping rules. The adaptation machine is also able to detect deadlocks and information loss at runtime
Fabrication, spectroscopy and laser performance of Nd<sup>3+</sup>-doped single-mode lead-silicate glass-fibres
No full textThe fabrication of a highly efficient Nd3+-doped single-mode fiber laser operating at 1.06km is described. The Nd3+ is introduced by doping Nd2O3 into a multicomponent (flint) lead-silicate glass host, Schott commercial optical glass FV. A fabrication technique for doping rare-earth evenly into commercial optical glasses is demonstrated. Spectroscopic properties relevant to laser operation in the Nd3+-doped lead-silicate glass fibers were measured and the influence of Pb2+ ions on the spectral properties was analyzed. Owing to the long lifetime and large absorption and emission cross-sections of Nd3+ in this lead-silicate glass host, a high-performance Nd3+-doped lead-silicate fibre laser device operating at 1.06µm has been successfully demonstrated
- …
