Search results for " Mach"
showing 10 items of 1388 documents
Directional Shuttling of a Stimuli-Responsive Cone-Like Macrocycle on a Single-State Symmetric Dumbbell Axle
2018
Rotaxane-based molecular shuttles are often operated using low-symmetry axles and changing the states of the binding stations. A molecular shuttle capable of directional shuttling of an acid-responsive cone-like macrocycle on a single-state symmetric dumbbell axle is now presented. The axle contains three binding stations: one symmetric di(quaternary ammonium) station and two nonsymmetric phenyl triazole stations arranged in opposite orientations. Upon addition of an acid, the protonated macrocycle shuttles from the di(quaternary ammonium) station to the phenyl triazole binding station closer to its butyl groups. This directional shuttling presumably originates from charge repulsion and an …
4th International Workshop on Language Engineering (ATEM 2007)
2008
Following the great success of previous editions, ATEM2007 is the 4thedition of the ATEM workshop series. The first two editions were held with WCRE in 2003 and 2004, while the 3rdone was held with MoDELS 2006. ATEM has always been focused on engineering of language descriptions. In order to cover as many aspects of language descriptions important for greater success and adoption of model-driven engineering, ATEM has been evolving so as its scope: The first edition was about metamodelsand schemas. The second about was metamodels, schemasand grammars. The third edition was about metamodels, schemas, grammarsand ontologies.
Design Considerations of Transverse Flux Generator to Sea Wave Energy
2014
In this paper we study the possibility to use a transverse flux linear generator (TFG) because transverse flux technology presents the highest force density per volume index among the iron based electrical machines. This paper is organized as follows an introduction to describe "state of the art" of WEC's and TFG, in the Section II we find a summary description of the marine condition of the chosen site; in the Section III there is an the analytical procedure for geometric and magnetic design of device (chosen material, length, etc) and in the Section IV the simulation of generator. Further defined the design of the generator, the machine was designed and analyzed through the use of a 3D FE…
An ontology-based metamodel for multiagent-based simulations
2014
Multiagent-based simulations enable us to validate dierent use-case scenarios in a lot of application domains. The idea is to develop a realistic virtual environment to test particular domain-specic procedures. This paper presents our general framework for interactive multiagent-based simulations in virtual environments. The major contribution of this paper is the integration of the notion of ontology as a core element to the design process of a behavioral simulation. The proposed metamodel describes the concepts of a multiagent simulation using situated agents moving in a semantically enriched 3D environment. The agents perceive the geometric and semantic data in the surrounding environmen…
A genetic algorithm approach to purify the classifier training labels for the analysis of remote sensing imagery
2017
This paper proposes a Genetic Algorithm (GA) approach to clean a given classifier training set for remote sensing image analysis. Starting from an initial set of training data, the new method called GA-Training Label Purifying (GA-TLP) consists of the significant training sample selection using GAs in order to maximize the classifier accuracy. This means to retain the most informative samples and to remove the uncertain, redundant, and misclassified ones. As a result of the selection process, we can obtain a purified training set. The proposed model is implemented and evaluated using a LANDSAT 7 ETM+ image. The experimental results confirm the effectiveness of the proposed approach.
Comparative in vitro study of the accuracy of impression techniques for dental implants: Direct technique with an elastomeric impression material ver…
2019
Background The aim of this study was to compare a conventional technique (elastomeric impression material - EIM) and a digital technique (scanner digital model – SDM) on a six-analog master model (MM) to determine which was the most exact. Material and Methods Twenty impressions were taken of a master model (EIM) and twenty scanned impressions (SDM) (True Definition). A coordinate measuring machine (CMM) was used to measure the distances between adjacent analogues (1-2, 2-3, 3-4, 4-5, 5-6), intermittently positioned analogues (1-4, 3-6) and the most distal (1-6). Reference values were established from the master model, which were compared with the two impression techniques. The significance…
On Obtaining Classification Confidence, Ranked Predictions and AUC with Tsetlin Machines
2020
Tsetlin machines (TMs) are a promising approach to machine learning that uses Tsetlin Automata to produce patterns in propositional logic, leading to binary (hard) classifications. In many applications, however, one needs to know the confidence of classifications, e.g. to facilitate risk management. In this paper, we propose a novel scheme for measuring TM confidence based on the logistic function, calculated from the propositional logic patterns that match the input. We then use this scheme to trade off precision against recall, producing area under receiver operating characteristic curves (AUC) for TMs. Empirically, using four real-world datasets, we show that AUC is a more sensitive meas…
A General Frame for Building Optimal Multiple SVM Kernels
2012
The aim of this paper is to define a general frame for building optimal multiple SVM kernels. Our scheme follows 5 steps: formal representation of the multiple kernels, structural representation, choice of genetic algorithm, SVM algorithm, and model evaluation. The computation of the optimal parameter values of SVM kernels is performed using an evolutionary method based on the SVM algorithm for evaluation of the quality of chromosomes. After the multiple kernel is found by the genetic algorithm we apply cross validation method for estimating the performance of our predictive model. We implemented and compared many hybrid methods derived from this scheme. Improved co-mutation operators are u…
Multi-pass execution of functional logic programs
1994
An operational semantics for functional logic programs is presented. In such programs functional terms provide for reduction of expressions, provided that they ground. The semantics is based on multi-pass evaluation techniques originally developed for attribute grammars. Program execution is divided into two phases: (1) construction of an incomplete proof tree, and (2) its decoration into a complete proof tree. The construction phase applies a modified SLD-resolution scheme, and the decoration phase a partial (multi-pass) traversal over the tree. The phase partition is generated by static analysis where data dependencies are extracted for the functional elements of the program. The method g…
Extension and Tuning of Virtual Synchronous Machine to Avoid Oscillatory Instability in Isolated Power Networks
2020
The risk of oscillatory instability introduced by virtual synchronous machines (VSM) control in isolated power networks is investigated. The considered control is a common scheme widely studied in literature, in several configurations and for different case studies. The impact of the VSM control on the system stability is examined for the existing power network of a Mediterranean island. The VSM control is implemented within the power converters interfacing the energy storage systems (ESS) installed in the network. Simulations and analysis show the occurrence of oscillatory instability in the system, with the ESS-VSM and the synchronous machines of the network progressively swinging against…