A coherence maximisation process for solving normative inconsistencies

Norms can be used in multi-agent systems for defining patterns of behaviour in terms of permissions, prohibitions and obligations that are addressed to agents playing a specific role. Agents may play different roles during their execution and they may even play different roles simultaneously. As a consequence, agents may be affected by inconsistent norms; e.g., an agent may be simultaneously obliged and forbidden to reach a given state of affairs. Dealing with this type of inconsistency is one of the main challenges of normative reasoning. Existing approaches tackle this problem by using a static and predefined order that determines which norm should prevail in the case where two norms are inconsistent. One main drawback of these proposals is that they allow only pairwise comparison of norms; it is not clear how agents may use the predefined order to select a subset of norms to abide by from a set of norms containing multiple inconsistencies. Furthermore, in dynamic and non-deterministic environments it can be difficult or even impossible to specify an order that resolves inconsistencies satisfactorily in all potential situations. In response to these two problems, we propose a mechanism with which an agent can dynamically compute a preference order over subsets of its competing norms by considering the coherence of its cognitive and normative elements. Our approach allows flexible resolution of normative inconsistencies, tailored to the current circumstances of the agent. Moreover, our solution can be used to determine norm prevalence among a set of norms containing multiple inconsistencies.     

A visual analytics framework for spatio-temporal analysis and modelling

To support analysis and modelling of large amounts of spatio-temporal data having the form of spatially referenced time series (TS) of numeric values, we combine interactive visual techniques with computational methods from machine learning and statistics. Clustering methods and interactive techniques are used to group TS by similarity. Statistical methods for TS modelling are then applied to representative TS derived from the groups of similar TS. The framework includes interactive visual interfaces to a library of modelling methods supporting the selection of a suitable method, adjustment of model parameters, and evaluation of the models obtained. The models can be externally stored, communicated, and used for prediction and in further computational analyses. From the visual analytics perspective, the framework suggests a way to externalize spatio-temporal patterns emerging in the mind of the analyst as a result of interactive visual analysis: the patterns are represented in the form of computer-processable and reusable models. From the statistical analysis perspective, the framework demonstrates how TS analysis and modelling can be supported by interactive visual interfaces, particularly, in a case of numerous TS that are hard to analyse individually. From the application perspective, the framework suggests a way to analyse large numbers of spatial TS with the use of well-established statistical methods for TS analysis.     

Educational affordances of PDAs: A study of a teacher’s exploration of this technology

This paper reports on a case study of a teacher from a technical education institution who explored the educational affordances of PDA technology over a period of six months. Based on this teacher’s perspectives, the study was designed to inform our own understanding of educational affordances of this new and emerging technology. Understanding of educational affordances is important in the context of planning a suitable intervention to support pedagogically effective integration of PDA technology. The study explicated a set of five affordances of PDA technology: as a multimedia-access tool, connectivity tool, capture tool, representational tool and analytical tool. We call on further research to expand this set into a more comprehensive collage of educational affordances of PDA technology.     

Classification of slice-based VBR video traffic and estimation of link loss by exceedance

Classification of a video stream is an essential preliminary step to estimate the bit loss when the video stream is transmitted over a communication network. In this paper, we classify the video frames by the average frame size and estimate the bit loss for each class when the bitrate exceeds the capacity of the bottleneck link. The video stream under study is encoded using the explicit slice-based H.264/AVC encoding scheme. This scheme reduces the burstiness of regular H.264/AVC encoded video by removing the traditional GOP structure. Instead, a repetitive combination of intracoded and predicted slices is employed, thereby introducing a specific dependence structure in the video data. We consider a bufferless model of the communication system and evaluate the channel capacity required to give a maximum allowed loss rate for each class.Due to the high variability, non-stationarity and non-homogeneity of the underlying video data, the obtained classes are checked regarding the dependence and distribution structure of the data. The high quantiles of the losses are estimated for each class.     

Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points

The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra, is designed so that normalization problems of high analytical complexity could be solved. It is used to obtain the Birkhoff normal form of the Hamiltonian in the given problem. The normalization is carried out up to the 6th order of expansion of the Hamiltonian in the coordinates and momenta. Analytical expressions for the coefficients of the normal form of the 6th order are derived. Though intermediary expressions occupy gigabytes of the computer memory, the obtained coefficients of the normal form are compact enough for presentation in typographic format. The analogue of the Deprit formula for the stability criterion is derived in the 6th order of normalization. The obtained floating-point numerical values for the normal form coefficients and the stability criterion confirm the results by Markeev (1969) and Coppola and Rand (1989), while the obtained analytical and exact numeric expressions confirm the results by Meyer and Schmidt (1986) and Schmidt (1989). The given computational problem is solved without constructing a specialized algebraic processor, i.e., the designed computer algebra package has a broad field of applicability.     

Engineering Transition Metal Layers for Long Lasting Anionic Redox in Layered Sodium Manganese Oxide

Oxygen-redox-based-layered cathode materials are of great importance in realizing high-energy-density sodium-ion batteries (SIBs) that can satisfy the demands of next-generation energy storage technologies. However, Mn-based-layered materials (P2-type Na-poor Na_y[A_xMn_1−x]O₂, where A = alkali ions) still suffer from poor reversibility during oxygen-redox reactions and low conductivity. In this work, the dual Li and Co replacement is investigated in P2-type-layered Na_xMnO₂. Experimentally and theoretically, it is demonstrated that the efficacy of the dual Li and Co replacement in Na_0.6[Li_0.15Co_0.15Mn_0.7]O₂ is that it improves the structural and cycling stability despite the reversible Li migration from the transition metal layer during de-/sodiation. Operando X-ray diffraction and ex situ neutron diffraction analysis prove that the material maintains a P2-type structure during the entire range of Na⁺ extraction and insertion with a small volume change of ≈4.3%. In Na_0.6[Li_0.15Co_0.15Mn_0.7]O₂, the reversible electrochemical activity of Co³⁺/Co⁴⁺, Mn³⁺/Mn⁴⁺, and O^2-/(O₂)^n- redox is identified as a reliable mechanism for the remarkable stable electrochemical performance. From a broader perspective, this study highlights a possible design roadmap for developing cathode materials with optimized cationic and anionic activities and excellent structural stabilities for SIBs.     

Advanced Characterization and Optimization of NiOx:Cu-SAM Hole-Transporting Bi-Layer for 23.4% Efficient Monolithic Cu(In,Ga)Se2-Perovskite Tandem Solar Cells

The performance of five hole-transporting layers (HTLs) is investigated in both single-junction perovskite and Cu(In, Ga)Se₂ (CIGSe)-perovskite tandem solar cells: nickel oxide (NiO_x,), copper-doped nickel oxide (NiO_x:Cu), NiO_x+SAM, NiO_x:Cu+SAM, and SAM, where SAM is the [2-(3,-6Dimethoxy-9H-carbazol-9yl)ethyl]phosphonic acid (MeO-2PACz) self-assembled monolayer. The performance of the devices is correlated to the charge-carrier dynamics at the HTL/perovskite interface and the limiting factors of these HTLs are analyzed by performing time-resolved and absolute photoluminescence ((Tr)PL), transient surface photovoltage (tr-SPV), and X-ray/UV photoemission spectroscopy (XPS/UPS) measurements on indium tin oxide (ITO)/HTL/perovskite and CIGSe/HTL/perovskite stacks. A high quasi-Fermi level splitting to open-circuit (QFLS-V_oc) deficit is detected for the NiO_x-based devices, attributed to electron trapping and poor hole extraction at the NiO_x-perovskite interface and a low carrier effective lifetime in the bulk of the perovskite. Simultaneously, doping the NiO_x with 2% Cu and passivating its surface with MeO-2PACz suppresses the electron trapping, enhances the holes extraction, reduces the non-radiative interfacial recombination, and improves the band alignment. Due to this superior interfacial charge-carrier dynamics, NiO_x:Cu+SAM is found to be the most suitable HTL for the monolithic CIGSe-perovskite tandem devices, enabling a power-conversion efficiency (PCE) of 23.4%, V_oc of 1.72V, and a fill factor (FF) of 71%, while the remaining four HTLs suffer from prominent V_oc and FF losses.     

Influence of isovalent and heterovalent substitution for Bi<Superscript>3+</Superscript> and Fe<Superscript>3+</Superscript> on the properties of Bi<Subscript>2</Subscript>Fe<Subscript>4</Subscript>O<Subscript>9</Subscript>-based solid solutions

Bi_2–хLa_хFe₄O₉ and Bi₂Fe_4–2xTi_xCo_xO₉ ferrites have been prepared by solid-state reactions at a temperature of 1073 K. X-ray diffraction data indicate that, in the Bi_2–хLa_хFe₄O₉ system, the limiting degree of La³⁺ substitution for Bi³⁺ ions in Bi₂Fe₄O₉ does not exceed 0.05 and that the limiting degree of substitution in the Bi₂Fe_4–2xTi_xCo_xO₉ system lies in the range 0.05 < x < 0.1. The specific magnetization and specific magnetic susceptibility of the samples have been measured at temperatures from 5 to 300 K in a magnetic field of 0.86 T. The field dependences of magnetization obtained for the Bi_2–хLa_хFe₄O₉ and Bi₂Fe_4–2xTi_xCo_xO₉ ferrites at temperatures of 300 and 5 K demonstrate that partial isovalent substitution of La³⁺ for Bi³⁺ ions in Bi₂Fe₄O₉ and heterovalent substitution of Ti⁴⁺ and Co²⁺ ions for two Fe³⁺ ions leads to partial breakdown of the antiferromagnetic state and nucleation of a ferromagnetic state.     

Reduction of the self-forces in Monte Carlo simulations of semiconductor devices on unstructured meshes

When using an unstructured mesh for device geometry, the ensemble Monte Carlo simulations of semiconductor devices may be affected by unwanted self-forces resulting from the particle-mesh coupling. We report on the progress in minimisation of the self-forces on arbitrary meshes by showing that they can be greatly reduced on a finite element mesh with proper interpolation functions. The developed methodology is included into a self-consistent finite element 3D Monte Carlo device simulator. Minimising of the self-forces using the proper interpolation functions is tested by simulating the electron transport in a 10 nm gate length, 6.1 nm body thick, double gate metal-oxide-semiconductor field-effect transistor (MOSFET). We demonstrate the reduction in the self-force and illustrate the practical distinction by showing I-V characteristics for the device.     

Spatial generalization and aggregation of massive movement data

Movement data (trajectories of moving agents) are hard to visualize: numerous intersections and overlapping between trajectories make the display heavily cluttered and illegible. It is necessary to use appropriate data abstraction methods. We suggest a method for spatial generalization and aggregation of movement data, which transforms trajectories into aggregate flows between areas. It is assumed that no predefined areas are given. We have devised a special method for partitioning the underlying territory into appropriate areas. The method is based on extracting significant points from the trajectories. The resulting abstraction conveys essential characteristics of the movement. The degree of abstraction can be controlled through the parameters of the method. We introduce local and global numeric measures of the quality of the generalization, and suggest an approach to improve the quality in selected parts of the territory where this is deemed necessary. The suggested method can be used in interactive visual exploration of movement data and for creating legible flow maps for presentation purposes.