Generalized differentiability and integrability for fuzzy set-valued functions on time scales

This paper deals with the fuzzy set-valued functions of real variables on time scale whose values are normal, convex, upper semicontinuous and compactly supported fuzzy sets in \(\mathbb {R}^{n}\). We introduce and study the fundamental properties of new class of derivative called generalized delta derivative (\(\Delta _{g}\)-derivative) and generalized delta integral (\(\Delta _{g}\)-integral) for such fuzzy functions.     

Samplinghelper a web-based tool to assess the reliability of sampling strategies in sewers and receiving waters

Sampling is a key step in the analysis of chemical compounds. It is particularly important in the environmental field, for example for wastewater effluents, wet-weather discharges or streams in which the flows and concentrations vary greatly over time. In contrast to the improvements that have occurred in analytical measurement, developments in the field of sampling are less active. However, sampling errors may exceed by an order of magnitude those related to analytical processes. We proposed an Internet-based application based on a sampling theory to identify and quantify the errors in the process of taking samples. This general theory of sampling, already applied to different areas, helps to answer questions related to the number of samples, their volume, their representativeness, etc. The use of the internet to host this application facilitates use of theoretical tools and raise awareness of the uncertainties related to sampling. An example is presented, which highlights the importance of the sampling step in the quality of analytical results.     

Toward a programming theory for rational agents

An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation. Part of this research was carried out while the first author was affiliated with the Nijmegen Institute for Cognition and Information, Radboud University Nijmegen.     

Reaching the Fundamental Limitation in CO2 Reduction to CO with Single Atom Catalysts

The electrochemical CO₂ reduction reaction (CO₂RR) to value-added chemicals with renewable electricity is a promising method to decarbonize parts of the chemical industry. Recently, single metal atoms in nitrogen-doped carbon (MNC) have emerged as potential electrocatalysts for CO₂RR to CO with high activity and faradaic efficiency, although the reaction limitation for CO₂RR to CO is unclear. To understand the comparison of intrinsic activity of different MNCs, two catalysts are synthesized through a decoupled two-step synthesis approach of high temperature pyrolysis and low temperature metalation (Fe or Ni). The highly meso-porous structure results in the highest reported electrochemical active site utilization based on in situ nitrite stripping; up to 59±6% for NiNC. Ex situ X-ray absorption spectroscopy (XAS) confirms the penta-coordinated nature of the active sites. The catalysts are amongst the most active in the literature for CO₂ reduction to CO. The density functional theory calculations (DFT) show that their binding to the reaction intermediates approximates to that of Au surfaces. However, it is found that the turnover frequencies (TOFs) of the most active catalysts for CO evolution converge, suggesting a fundamental ceiling to the catalytic rates.     

Design and analysis of RF MEMS shunt switch for V-band applications

Microsystem Technologies - In this paper, we have designed and simulations of RF MEMS shunt switch. The electro-mechanical and electromagnetic analysis of the switch have been done using COMSOL...     

Design,simulation and analysis of RF MEMS capacitive shunt switches with high isolation and low pull-in-voltage

Microsystem Technologies - This paper presents the design a capacitive shunt type RF-MEMS switch with high isolation, high switching speed and low actuation voltage for Ka-band applications. The...     

A new approach to the design of high-Tc superconductors: Metallised interlayers

We show from muon spin relaxation (SR) studies on mercury HTS superconductors that a 50-fold increase in irreversibility field obtained by partial substitution of Re for Hg is due to metallisation of the Hg/Re layer. Induced superconductivity on this metallic layer doubles the overall superfluid density. This suggests a new approach to the design of high performance HTS materials: metallising one of the non-CuO₂ interlayers and thereby greatly enhancing the superconducting properties.     

Scanning tunneling spectroscopy studies on YBa2Cu3O7−δ

Scanning Tunneling Spectroscopy (STS) measurements have been carried out on the high T_c superconductor (HTS) YBa₂Cu₃O_7– (YBCO). Using very high quality single crystals as well as hard tips, we obtained differential conductance spectra which showed various conductance features in agreement with other spectroscopic techniques. The reproducibility of our spectra allowed us to map for the first time the vortex lattice on a HTS using a STS technique¹. The vortices are arranged in a short range order oblique lattice, while the cores of the flux lines show an anisotropic shape. These observations can be related to the in-plane anisotropy of YBCO.     

A modeling approach on the TelosB WSN platform power consumption

Substantial characteristics of wireless sensor networks, such as autonomy and miniature size, are achieved at the expense of restricted energy resources. Optimal resource management is thus among the most important challenges in WSNs development and its success requires accurate and practical models based on detailed insight concerning the factors contributing to the overall power consumption of a WSN mote. To achieve such awareness, that will enable models development, appropriate measuring test-beds and methodologies are needed, facilitating reliable and accurate power consumption measurements of critical functionalities.To cover the need for energy models that precisely define the power consumption behavior of WSN hardware platforms, this paper contributes with a measuring methodology including three steps: the design and implementation of a measuring system for a wide range of power consumption thresholds, the identification, isolation and measurement of elementary functionalities of a WSN platform with respect to their contribution to the overall mote power consumption, and the extraction of valuable conclusions based on the respective measurements resulting in the composition of a practical, yet accurate power consumption model.