35 resultados para Kr
Resumo:
The encryption method is a well established technology for protecting sensitive data. However, once encrypted, the data can no longer be easily queried. The performance of the database depends on how to encrypt the sensitive data. In this paper we review the conventional encryption method which can be partially queried and propose the encryption method for numerical data which can be effectively queried. The proposed system includes the design of the service scenario, and metadata.
Resumo:
Nanowires (NWs) have attracted intensive researches owing to the broad applications that arise from their remarkable properties. Over the last decade, immense numerical studies have been conducted for the numerical investigation of mechanical properties of NWs. Among these numerical simulations, the molecular dynamics (MD) plays a key role. Herein we present a brief review on the current state of the MD investigation of nanowires. Emphasis will be placed on the FCC metal NWs, especially the Cu NWs. MD investigations of perfect NWs’ mechanical properties under different deformation conditions including tension, compression, torsion and bending are firstly revisited. Following in succession, the studies for defected NWs including the defects of twin boundaries (TBs) and pre-existing defects are discussed. The different deformation mechanism incurred by the presentation of defects is explored and discussed. This review reveals that the numerical simulation is an important tool to investigate the properties of NWs. However, the substantial gaps between the experimental measurements and MD results suggest the urgent need of multi-scale simulation technique.
Resumo:
Nowadays, Workflow Management Systems (WfMSs) and, more generally, Process Management Systems (PMPs) are process-aware Information Systems (PAISs), are widely used to support many human organizational activities, ranging from well-understood, relatively stable and structures processes (supply chain management, postal delivery tracking, etc.) to processes that are more complicated, less structured and may exhibit a high degree of variation (health-care, emergency management, etc.). Every aspect of a business process involves a certain amount of knowledge which may be complex depending on the domain of interest. The adequate representation of this knowledge is determined by the modeling language used. Some processes behave in a way that is well understood, predictable and repeatable: the tasks are clearly delineated and the control flow is straightforward. Recent discussions, however, illustrate the increasing demand for solutions for knowledge-intensive processes, where these characteristics are less applicable. The actors involved in the conduct of a knowledge-intensive process have to deal with a high degree of uncertainty. Tasks may be hard to perform and the order in which they need to be performed may be highly variable. Modeling knowledge-intensive processes can be complex as it may be hard to capture at design-time what knowledge is available at run-time. In realistic environments, for example, actors lack important knowledge at execution time or this knowledge can become obsolete as the process progresses. Even if each actor (at some point) has perfect knowledge of the world, it may not be certain of its beliefs at later points in time, since tasks by other actors may change the world without those changes being perceived. Typically, a knowledge-intensive process cannot be adequately modeled by classical, state of the art process/workflow modeling approaches. In some respect there is a lack of maturity when it comes to capturing the semantic aspects involved, both in terms of reasoning about them. The main focus of the 1st International Workshop on Knowledge-intensive Business processes (KiBP 2012) was investigating how techniques from different fields, such as Artificial Intelligence (AI), Knowledge Representation (KR), Business Process Management (BPM), Service Oriented Computing (SOC), etc., can be combined with the aim of improving the modeling and the enactment phases of a knowledge-intensive process. The 1st International Workshop on Knowledge-intensive Business process (KiBP 2012) was held as part of the program of the 2012 Knowledge Representation & Reasoning International Conference (KR 2012) in Rome, Italy, in June 2012. The workshop was hosted by the Dipartimento di Ingegneria Informatica, Automatica e Gestionale Antonio Ruberti of Sapienza Universita di Roma, with financial support of the University, through grant 2010-C26A107CN9 TESTMED, and the EU Commission through the projects FP7-25888 Greener Buildings and FP7-257899 Smart Vortex. This volume contains the 5 papers accepted and presented at the workshop. Each paper was reviewed by three members of the internationally renowned Program Committee. In addition, a further paper was invted for inclusion in the workshop proceedings and for presentation at the workshop. There were two keynote talks, one by Marlon Dumas (Institute of Computer Science, University of Tartu, Estonia) on "Integrated Data and Process Management: Finally?" and the other by Yves Lesperance (Department of Computer Science and Engineering, York University, Canada) on "A Logic-Based Approach to Business Processes Customization" completed the scientific program. We would like to thank all the Program Committee members for the valuable work in selecting the papers, Andrea Marrella for his valuable work as publication and publicity chair of the workshop, and Carola Aiello and the consulting agency Consulta Umbria for the organization of this successful event.
Resumo:
Client puzzles are cryptographic problems that are neither easy nor hard to solve. Most puzzles are based on either number theoretic or hash inversions problems. Hash-based puzzles are very efficient but so far have been shown secure only in the random oracle model; number theoretic puzzles, while secure in the standard model, tend to be inefficient. In this paper, we solve the problem of constucting cryptographic puzzles that are secure int he standard model and are very efficient. We present an efficient number theoretic puzzle that satisfies the puzzle security definition of Chen et al. (ASIACRYPT 2009). To prove the security of our puzzle, we introduce a new variant of the interval discrete logarithm assumption which may be of independent interest, and show this new problem to be hard under reasonable assumptions. Our experimental results show that, for 512-bit modulus, the solution verification time of our proposed puzzle can be up to 50x and 89x faster than the Karame-Capkum puzzle and the Rivest et al.'s time-lock puzzle respectively. In particular, the solution verification tiem of our puzzle is only 1.4x slower than that of Chen et al.'s efficient hash based puzzle.
Resumo:
Filtration using granular media such as quarried sand, anthracite and granular activated carbon is a well-known technique used in both water and wastewater treatment. A relatively new prefiltration method called pebble matrix filtration (PMF) technology has been proved effective in treating high turbidity water during heavy rain periods that occur in many parts of the world. Sand and pebbles are the principal filter media used in PMF laboratory and pilot field trials conducted in the UK, Papua New Guinea and Serbia. However during first full-scale trials at a water treatment plant in Sri Lanka in 2008, problems were encountered in sourcing the required uniform size and shape of pebbles due to cost, scarcity and Government regulations on pebble dredging. As an alternative to pebbles, hand-made clay pebbles (balls) were fired in a kiln and their performance evaluated for the sustainability of the PMF system. These clay balls within a filter bed are subjected to stresses due to self-weight and overburden, therefore, it is important that clay balls should be able to withstand these stresses in water saturated conditions. In this paper, experimentally determined physical properties including compression failure load (Uniaxial Compressive Strength) and tensile strength at failure (theoretical) of hand-made clay balls are described. Hand-made clay balls fired between the kiln temperatures of 875oC to 960oC gave failure loads of between 3.0 kN and 7.1 kN. In another test when clay balls were fired to 1250oC the failure load was 35.0 kN compared to natural Scottish cobbles with an average failure load of 29.5 kN. The uniaxial compressive strength of clay balls obtained by experiment has been presented in terms of the tensile yield stress of clay balls. Based on the effective stress principle in soil mechanics, a method for the estimation of maximum theoretical load on clay balls used as filter media is proposed and compared with experimental failure loads.
Resumo:
Current design standards do not provide adequate guidelines for the fire design of cold-formed steel compression members subject to flexural-torsional buckling. Eurocode 3 Part 1.2 (2005) recommends the same fire design guidelines for both hot-rolled and cold-formed steel compression members subject to flexural-torsional buckling although considerable behavioural differences exist between cold-formed and hot-rolled steel members. Past research has recommended the use of ambient temperature cold-formed steel design rules for the fire design of cold-formed steel compression members provided appropriately reduced mechanical properties are used at elevated temperatures. To assess the accuracy of flexural-torsional buckling design rules in both ambient temperature cold-formed steel design and fire design standards, an experimental study of slender cold-formed steel compression members was undertaken at both ambient and elevated temperatures. This paper presents the details of this experimental study, its results, and their comparison with the predictions from the current design rules. It was found that the current ambient temperature design rules are conservative while the fire design rules are overly conservative. Suitable recommendations have been made in relation to the currently available design rules for flexural-torsional buckling including methods of improvement. Most importantly, this paper has addressed the lack of experimental results for slender cold-formed steel columns at elevated temperatures.
Resumo:
Power system stabilizer (PSS) is one of the most important controllers in modern power systems for damping low frequency oscillations. Many efforts have been dedicated to design the tuning methodologies and allocation techniques to obtain optimal damping behaviors of the system. Traditionally, it is tuned mostly for local damping performance, however, in order to obtain a globally optimal performance, the tuning of PSS needs to be done considering more variables. Furthermore, with the enhancement of system interconnection and the increase of system complexity, new tools are required to achieve global tuning and coordination of PSS to achieve optimal solution in a global meaning. Differential evolution (DE) is a recognized as a simple and powerful global optimum technique, which can gain fast convergence speed as well as high computational efficiency. However, as many other evolutionary algorithms (EA), the premature of population restricts optimization capacity of DE. In this paper, a modified DE is proposed and applied for optimal PSS tuning of 39-Bus New-England system. New operators are introduced to reduce the probability of getting premature. To investigate the impact of system conditions on PSS tuning, multiple operating points will be studied. Simulation result is compared with standard DE and particle swarm optimization (PSO).
Resumo:
Sandwich panels comprising steel facings and a polystyrene foam core are increasingly used as roof and wall claddings in buildings in Australia. When they are subjected to loads causing bending and/or axial compression, the steel plate elements of their profiled facing are susceptible to local buckling. However, when compared to panels with no foam core, they demonstrate significantly improved local buckling behaviour because they are supported by foam. In order to quantify such improvements and to validate the use of available design buckling stress formulae, an investigation using finite element analyses and laboratory experiments was carried out on steel plates that are commonly used in Australia of varying yield stress and thickness supported by a polystyrene foam core. This paper presents the details of this investigation, the buckling results and their comparison with available design buckling formulae.
Resumo:
In this paper, an interactive planning and scheduling framework are proposed for optimising operations from pits to crushers in ore mining industry. Series of theoretical and practical operations research techniques are investigated to improve the overall efficiency of mining systems due to the facts that mining managers need to tackle optimisation problems within different horizons and with different levels of detail. Under this framework, mine design planning,mine production sequencing and mine transportation scheduling models are integrated and interacted within a whole optimisation system. The proposed integrated framework could be used by mining industry for reducing equipment costs, improving the production efficiency and maximising the net present value.
Resumo:
Vibration characteristics of columns are influenced by their axial loads. Numerous methods have been developed to quantify axial load and deformation in individual columns based on their natural frequencies. However, these methods cannot be applied to columns in a structural framing system as the natural frequency is a global parameter of the entire framing system. This paper presents an innovative method to quantify axial deformations of columns in a structural framing system using its vibration characteristics, incorporating the influence of load tributary areas, boundary conditions and load migration among the columns.
Resumo:
This paper presents the modeling and position-sensorless vector control of a dual-airgap axial flux permanent magnet (AFPM) machine optimized for use in flywheel energy storage system (FESS) applications. The proposed AFPM machine has two sets of three-phase stator windings but requires only a single power converter to control both the electromagnetic torque and the axial levitation force. The proper controllability of the latter is crucial as it can be utilized to minimize the vertical bearing stress to improve the efficiency of the FESS. The method for controlling both the speed and axial displacement of the machine is discussed. An inherent speed sensorless observer is also proposed for speed estimation. The proposed observer eliminates the rotary encoder, which in turn reduces the overall weight and cost of the system while improving its reliability. The effectiveness of the proposed control scheme has been verified by simulations and experiments on a prototype machine.
Resumo:
Clustering is an important technique in organising and categorising web scale documents. The main challenges faced in clustering the billions of documents available on the web are the processing power required and the sheer size of the datasets available. More importantly, it is nigh impossible to generate the labels for a general web document collection containing billions of documents and a vast taxonomy of topics. However, document clusters are most commonly evaluated by comparison to a ground truth set of labels for documents. This paper presents a clustering and labeling solution where the Wikipedia is clustered and hundreds of millions of web documents in ClueWeb12 are mapped on to those clusters. This solution is based on the assumption that the Wikipedia contains such a wide range of diverse topics that it represents a small scale web. We found that it was possible to perform the web scale document clustering and labeling process on one desktop computer under a couple of days for the Wikipedia clustering solution containing about 1000 clusters. It takes longer to execute a solution with finer granularity clusters such as 10,000 or 50,000. These results were evaluated using a set of external data.
Resumo:
Introduction Hydrogels prepared from poly(ethylene glycol) (PEG) and maleimide-functionalized heparin provide a potential matrix for use in developing three dimensional (3D) models. We have previously demonstrated that these hydrogels support the cultivation of human umbilical vein endothelial cells (HUVECs) (1). We extend this body of work to study the ability to create an extracellular matrix (ECM)-like model to study breast and prostate cancer cell growth in 3D. Also, we investigate the ability to produce a tri-culture mimicking tumour angiogenesis with cancer spheroids, HUVECs and mesenchymal stem cells (MSC). Materials and Methods The breast cancer cell lines, MCF-7 and MDA-MB-231, and prostate cancer cell lines, LNCaP and PC3, were seeded into starPEG-heparin hydrogels and grown for 14 Days to analyse the effects of varying hydrogel stiffness on spheroid development. Resulting hydrogel constructs were analyzed via Alamar Blue assays, light microscopy, and immunofluorescence staining for cytokeratin 8/18, Ki67 and E-Cadherin. Cancer cell lines were then pre-grown in hydrogels for 5-7 days and then re-seeded into starPEG-heparin hydrogels functionalised with RGD, SDF-1, bFGF and VEGF as spheroids with HUVECs and MSC and grown for 14 days as a tri-culture in Endothelial Cell Growth Medium (ECGM; Promocell). Cell lines were also seeded as a single cell suspension into the functionalised tri-culture system. Cultures were fixed in 4% paraformaldehyde and analysed via immunostaining for Von Willebrand Factor and CD31, as well as the above mentioned markers, and observed using confocal microscopy. Results Cultures prepared in MMP-cleavable starPEG-heparin hydrogels display spheroid formation in contrast to adherent growth on tissue culture plastic. Small differences were visualised in cancer spheroid growth between different gel stiffness across the range of cell lines. Cancer cell lines were able to be co-cultivated with HUVECs and MSC. HUVEC tube formation and cancer line spheroid formation occured after 3-4 days. Interaction was visualised between tumours and HUVECs via confocal microscopy. Slightly increased interaction was seen between cancer tumours and micro-vascular tubes when seeded as single cells compared with the pre-formed spheroid approach. Further studies intend to utilise cytokine gradients to further optimise the ECM environment of in situ tumour angiogenesis. Discussion and Conclusions Our results confirm the suitability of hydrogels constructed from starPEG-heparin for HUVECs and MSC co-cultivation with cancer cell lines to study cell-cell and cell-matrix interactions in a 3D environment. This represents a step forward in the development of 3D culture models to study the pathomechanisms of breast and prostate cancer. References 1. Tsurkan MV, Chwalek K, Prokoph S, Zieris A, Levental KR, Freudenberg U, Werner C. Advanced Materials. 25, 2606-10, 2013. Disclosures The authors declare no conflicts of interest
Resumo:
Pebble matrix filtration (PMF) is a water treatment technology that can remove suspended solids in highly turbid surface water during heavy storms. PMF typically uses sand and natural pebbles as filter media. Hand-made clay pebbles (balls) can be used as alternatives to natural pebbles in PMF treatment plants, where natural pebbles are not readily available. Since the high turbidity is a seasonal problem that occurs during heavy rains, the use of newly developed composite clay balls instead of pure clay balls have the advantage of removing other pollutants such as natural organic matter (NOM) during other times. Only the strength properties of composite clay balls are described here as the pollutant removal is beyond the scope of this paper. These new composite clay balls must be able to withstand dead and live loads under dry and saturated conditions in a filter assembly. Absence of a standard ball preparation process and expected strength properties of composite clay balls were the main reasons behind the present study. Five different raw materials from industry wastes: Red Mud (RM), Water Treatment Alum Sludge (S), Shredded Paper (SP), Saw Dust (SD), and Sugar Mulch (SM) were added to common clay brick mix (BM) in different proportions. In an effort to minimize costs, in this study clay balls were fired to 1100 0C at a local brick factory together with their bricks. A comprehensive experimental program was performed to evaluate crushing strength of composite hand-made clay balls, using uniaxial compression test to establish the best material combination on the basis of strength properties for designing sustainable filter media for water treatment plants. Performance at both construction and operating stages were considered by analyzing both strength properties under fully dry conditions and strength degradation after saturation in a water bath. The BM-75% as the main component produced optimum combination in terms of workability and strength. With the material combination of BM-75% and additives-25%, the use of Red Mud and water treatment sludge as additives produced the highest and lowest strength of composite clay balls, with a failure load of 5.4 kN and 1.4 kN respectively. However, this lower value of 1.4 kN is much higher than the effective load on each clay ball of 0.04 kN in a typical filter assembly (safety factor of 35), therefore, can still be used as a suitable filter material for enhanced pollutant removal.