275 resultados para Equivalence Proof
Resumo:
The aim of this project was to develop a general theory of stigmergy and a software design pattern to build collaborative websites. Stigmergy is a biological term used when describing some insect swarm-behaviour where 'food gathering' and 'nest building' activities demonstrate the emergence of self-organised societies achieved without an apparent management structure. The results of the project are an abstract model of stigmergy and a software design pattern for building Web 2.0 components exploiting this self-organizing phenomenon. A proof-of-concept implementation was also created demonstrating potential commercial viability for future website projects.
Resumo:
So far, low probability differentials for the key schedule of block ciphers have been used as a straightforward proof of security against related-key differential analysis. To achieve resistance, it is believed that for cipher with k-bit key it suffices the upper bound on the probability to be 2− k . Surprisingly, we show that this reasonable assumption is incorrect, and the probability should be (much) lower than 2− k . Our counter example is a related-key differential analysis of the well established block cipher CLEFIA-128. We show that although the key schedule of CLEFIA-128 prevents differentials with a probability higher than 2− 128, the linear part of the key schedule that produces the round keys, and the Feistel structure of the cipher, allow to exploit particularly chosen differentials with a probability as low as 2− 128. CLEFIA-128 has 214 such differentials, which translate to 214 pairs of weak keys. The probability of each differential is too low, but the weak keys have a special structure which allows with a divide-and-conquer approach to gain an advantage of 27 over generic analysis. We exploit the advantage and give a membership test for the weak-key class and provide analysis of the hashing modes. The proposed analysis has been tested with computer experiments on small-scale variants of CLEFIA-128. Our results do not threaten the practical use of CLEFIA.
Resumo:
When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.
Resumo:
The rehabilitation programs of bone-anchorage prostheses relying either on the OPRA (Integrum, Sweden) or the ILP (Orthodynamics, Germany) fixation involve some forms of static load bearing exercises (LBE). So far, most of biomechanical studies of these static LBEs focused on the direct measurements of the actual forces and moments applied on the OPRA fixation of individuals with transfemoral amputation (TFA). To date, the proof-of-concept of an apparatus to conduct these kinetic measurements has been presented, along with some preliminary data. The understanding of the kinetic data is essential to improve rehabilitation programs as well as the design of upcoming loading frames. However, kinetic information alone is difficult to interpret without concomitant kinematic data. The purpose of this preliminary study was to introduce a qualitative analysis describing the different body postures during LBE for a group of TFAs.
Resumo:
The desire to solve problems caused by socket prostheses in transfemoral amputees and the acquired success of osseointegration in the dental application has led to the introduction of osseointegration in the orthopedic surgery. Since its first introduction in 1990 in Gothenburg Sweden the osseointegrated (OI) orthopedic fixation has proven several benefits[1]. The surgery consists of two surgical procedures followed by a lengthy rehabilitation program. The rehabilitation program after an OI implant includes a specific training period with a short training prosthesis. Since mechanical loading is considered to be one of the key factors that influence bone mass and the osseointegration of bone-anchored implants, the rehabilitation program will also need to include some form of load bearing exercises (LBE). To date there are two frequently used commercially available human implants. We can find proof in the literature that load bearing exercises are performed by patients with both types of OI implants. We refer to two articles, a first one written by Dr. Aschoff and all and published in 2010 in the Journal of Bone and Joint Surgery.[2] The second one presented by Hagberg et al in 2009 gives a very thorough description of the rehabilitation program of TFA fitted with an OPRA implant. The progression of the load however is determined individually according to the residual skeleton’s quality, pain level and body weight of the participant.[1] Patients are using a classical bathroom weighing scale to control the load on the implant during the course of their rehabilitation. The bathroom scale is an affordable and easy-to-use device but it has some important shortcomings. The scale provides instantaneous feedback to the patient only on the magnitude of the vertical component of the applied force. The forces and moments applied along and around the three axes of the implant are unknown. Although there are different ways to assess the load on the implant for instance through inverse dynamics in a motion analysis laboratory [3-6] this assessment is challenging. A recent proof- of-concept study by Frossard et al (2009) showed that the shortcomings of the weighing scale can be overcome by a portable kinetic system based on a commercial transducer[7].
Resumo:
We have studied the mineral poldervaartite CaCa\[SiO3(OH)(OH)] which forms a series with its manganese analogue olmiite CaMn\[SiO3(OH)](OH) using a range of techniques including scanning electron microscopy, thermogravimetric analysis, Raman and infrared spectroscopy. Chemical analysis shows the mineral is reasonably pure and contains only calcium and manganese with low amounts of Al and F. Thermogravimetric analysis proves the mineral decomposes at 485 °C with a mass loss of 7.6% compared with the theoretical mass loss of 7.7%. A strong Raman band at 852 cm−1 is assigned to the SiO stretching vibration of the SiO3(OH) units. Two Raman bands at 914 and 953 cm−1 are attributed to the antisymmetric vibrations. Intense prominent peaks observed at 3487, 3502, 3509, 3521 and 3547 cm−1 are assigned to the OH stretching vibration of the SiO3(OH) units. The observation of multiple OH bands supports the concept of the non-equivalence of the OH units. Vibrational spectroscopy enables a detailed assessment of the molecular structure of poldervaartite.
Resumo:
We have studied the carbonate mineral kamphaugite-(Y)(CaY(CO3)2(OH)·H2O), a mineral which contains yttrium and specific rare earth elements. Chemical analysis shows the presence of Ca, Y and C. Back scattering SEM appears to indicate a single pure phase. The vibrational spectroscopy of kamphaugite-(Y) was obtained using a combination of Raman and infrared spectroscopy. Two distinct Raman bands observed at 1078 and 1088cm(-1) provide evidence for the non-equivalence of the carbonate anion in the kamphaugite-(Y) structure. Such a concept is supported by the number of bands assigned to the carbonate antisymmetric stretching mode. Multiple bands in the ν4 region offers further support for the non-equivalence of carbonate anions in the structure. Vibrational spectroscopy enables aspects of the structure of the mineral kamphaugite-(Y) to be assessed.
Resumo:
Purpose – The purpose of this paper is to describe an innovative compliance control architecture for hybrid multi‐legged robots. The approach was verified on the hybrid legged‐wheeled robot ASGUARD, which was inspired by quadruped animals. The adaptive compliance controller allows the system to cope with a variety of stairs, very rough terrain, and is also able to move with high velocity on flat ground without changing the control parameters. Design/methodology/approach – The paper shows how this adaptivity results in a versatile controller for hybrid legged‐wheeled robots. For the locomotion control we use an adaptive model of motion pattern generators. The control approach takes into account the proprioceptive information of the torques, which are applied on the legs. The controller itself is embedded on a FPGA‐based, custom designed motor control board. An additional proprioceptive inclination feedback is used to make the same controller more robust in terms of stair‐climbing capabilities. Findings – The robot is well suited for disaster mitigation as well as for urban search and rescue missions, where it is often necessary to place sensors or cameras into dangerous or inaccessible areas to get a better situation awareness for the rescue personnel, before they enter a possibly dangerous area. A rugged, waterproof and dust‐proof corpus and the ability to swim are additional features of the robot. Originality/value – Contrary to existing approaches, a pre‐defined walking pattern for stair‐climbing was not used, but an adaptive approach based only on internal sensor information. In contrast to many other walking pattern based robots, the direct proprioceptive feedback was used in order to modify the internal control loop, thus adapting the compliance of each leg on‐line.
Resumo:
Large volumes of heterogeneous health data silos pose a big challenge when exploring for information to allow for evidence based decision making and ensuring quality outcomes. In this paper, we present a proof of concept for adopting data warehousing technology to aggregate and analyse disparate health data in order to understand the impact various lifestyle factors on obesity. We present a practical model for data warehousing with detailed explanation which can be adopted similarly for studying various other health issues.
Resumo:
A facile and sensitive surface-enhanced Raman scattering substrate was prepared by controlled potentiostatic deposition of a closely packed single layer of gold nanostructures (AuNS) over a flat gold (pAu) platform. The nanometer scale inter-particle distance between the particles resulted in high population of ‘hot spots’ which enormously enhanced the scattered Raman photons. A renewed methodology was followed to precisely quantify the SERS substrate enhancement factor (SSEF) and it was estimated to be (2.2 ± 0.17) × 105. The reproducibility of the SERS signal acquired by the developed substrate was tested by establishing the relative standard deviation (RSD) of 150 repeated measurements from various locations on the substrate surface. A low RSD of 4.37 confirmed the homogeneity of the developed substrate. The sensitivity of pAu/AuNS was proven by determining 100 fM 2,4,6-trinitrotoluene (TNT) comfortably. As a proof of concept on the potential of the new pAu/AuNS substrate in field analysis, TNT in soil and water matrices was selectively detected after forming a Meisenheimer complex with cysteamine.
Resumo:
The mineral aerinite is an interesting mineral because it contains both silicate and carbonate units which is unusual. It is also a highly colored mineral being bright blue/purple. We have studied aerinite using a combination of techniques which included scanning electron microscopy, energy dispersive X-ray analysis, Raman and infrared spectroscopy. Raman bands at 1049 and 1072 cm−1 are assigned to the carbonate symmetric stretching mode. This observation supports the concept of the non-equivalence of the carbonate units in the structure of aerinite. Multiple infrared bands at 1354, 1390 and 1450 cm−1 supports this concept. Raman bands at 933 and 974 cm−1 are assigned to silicon–oxygen stretching vibrations. Multiple hydroxyl stretching and bending vibrations show that water is in different molecular environments in the aerinite structure.
Resumo:
We have studied the phosphate mineral vantasselite Al4(PO4)3(OH)3·9H2O using a combination of SEM with EDX and Raman and infrared spectroscopy. Qualitative chemical analysis shows Al, Fe and P. Raman bands at 1013 and 1027cm−1 are assigned to the PO43−ν1 symmetric stretching mode. The observation of two bands suggests the non-equivalence of the phosphate units in the vantasselite structure. Raman bands at 1051, 1076 and 1090cm−1 are attributed to the PO43−ν3 antisymmetric stretching vibration. A comparison is made with the spectroscopy of wardite. Strong infrared bands at 1044, 1078, 1092, 1112, 1133, 1180 and 1210cm−1 are attributed to the PO43−ν3 antisymmetric stretching mode. Some of these bands may be due to δAl2OH deformation modes. Vibrational spectroscopy offers a mechanism for the study of the molecular structure of vantasselite.
Resumo:
The mineral brianyoungite, a carbonate–sulphate of zinc, has been studied by scanning electron microscopy (SEM) with chemical analysis using energy dispersive spectroscopy (EDX) and Raman and infrared spectroscopy. Multiple carbonate stretching modes are observed and support the concept of non-equivalent carbonate units in the brianyoungite structure. Intense Raman band at 1056 cm−1 with shoulder band at 1038 cm−1 is assigned to the CO32− ν1 symmetric stretching mode. Two intense Raman bands at 973 and 984 cm−1 are assigned to the symmetric stretching modes of the SO42− anion. The observation of two bands supports the concept of the non-equivalence of sulphate units in the brianyoungite structure. Raman bands at 704 and 736 cm−1 are assigned to the CO32− ν4 bending modes and Raman bands at 507, 528, 609 and 638 cm−1 are assigned to the CO32− ν2 bending modes. Multiple Raman and infrared bands in the OH stretching region are observed, proving the existence of water and hydroxyl units in different molecular environments in the structure of brianyoungite. Vibrational spectroscopy enhances our knowledge of the molecular structure of brianyoungite.
Resumo:
This thesis is an ethnographic study of social psychological theories of influence and persuasion in higher education decision making processes. It focuses on the academic library and the budget allocation process in one study site. The findings show that influence tactics such as liking, reciprocity and social proof are important elements in the interpersonal relationships which impact decisions. The researcher was able to determine and propose practical applications for academic library administrators and library and information science educators.
Resumo:
In Uganda, a significant proportion of the population depends on the micronutrient poor East African highland banana as a food staple. Consequently, micronutrient deficiencies such as vitamin A deficiency are an important health concern in the country. To reach most vulnerable rural poor populations, staple crops can be biofortified with essential micronutrients though conventional breeding or genetic engineering. This thesis provided proof of concept that genetically modified East African highland bananas with enhanced provitamin A levels can be generated and fully characterised in Uganda. In addition, provitamin A levels present in popular banana varieties was documented.