Abstract

Abstract
The design of injection molding systems for plastic parts relies heavily on experience and intuition. Recently, mold makers have been compelled to shorten lead times, reduce costs and improve process performance due to global competition. This paper presents a framework, based on a Multidisciplinary Design Optimization (MDO) methodology, which tackles the design of an injection mold by integrating the structural, feeding, ejection and heat-exchange sub-systems to achieve significant improvements. To validate it single objective optimization is presented leading to a 42% reduction in cycle time. We also perform multiple objective optimization simultaneously minimizing cycle time, wasted material and pressure drop. Sensitivity analysis shows a large impact of the sprue diameter (> 1.5 normalized sensitivity) highlighting the importance of the feeding subsystem on overall quality. The results show substantial improvements resulting in reduced rework and time savings for the entire mold design process.

Abstract
Zero-knowledge proofs of knowledge (ZK-PoK) are important building blocks for numerous cryptographic applications. Although ZK-PoK have a high potential impact, their real world deployment is typically hindered by their significant complexity compared to other (non-interactive) crypto primitives. Moreover, their design and implementation are time-consuming and error-prone. We contribute to overcoming these challenges as follows: We present a comprehensive specification language and a compiler for ZK-PoK protocols based on Sigma-protocols. The compiler allows the fully automatic translation of an abstract description of a proof goal into an executable implementation. Moreover, the compiler overcomes various restrictions of previous approaches, e.g., it supports the important class of exponentiation homomorphisms with hidden-order co-domain, needed for privacy-preserving applications such as DAA. Finally, our compiler is certifying, in the sense that it automatically produces a formal proof of the soundness of the compiled protocol for a large class of protocols using the Isabelle/HOL theorem prover.

Abstract
The Smart Grid vision along with the future deployment of Electric Vehicles presents numerous challenges in terms of grid infrastructure, communication, and control. In this context, Advanced Metering Infrastructure solutions are envisioned to be the active management link between utilities and consumers. This paper presents a survey of potential AMI functionalities particularly developed to foster the large scale deployment of EV in Smart Grids. For this accomplishment, the concepts of Automated Meter Reading, Automatic Meter Management and Smart Metering are revisited. Furthermore, different EV charging approaches are outlined and included in the functionalities under the Vehicle-To-Grid framework. Finally, AMI use cases are described under the Vehicle-to-Home perspective.

Abstract
Acoustic emission monitoring is often used in the diagnosis of electrical and mechanical incipient faults in high voltage apparatus. Partial discharges are a major source of insulation failure in power transformers and the differentiation from other sources of acoustic emissions is of the utmost importance. Also, it is important to give an indication of the PD source location in order to obtain a useful diagnosis. This paper reports the developments in partial discharges source location through the associated acoustic emissions using three different algorithms.

Abstract
As we observe society in our days, we can see that people live longer; this means that we have an older population, more likely to have health issues. The special needs presented by the elderly are becoming a major concern for all of us, along with the lack of time demonstrated by society as a whole and, as a consequence, the lack of time is seen when families are not able to take care of their own elders. Many solutions are being presented in order to solve this problem. Some of them are taking advantage of the new technological developments in the body sensor networks area. In this paper we propose the architecture of a system called Elder Care. The Elder Care solution has two primary goals: monitoring vital signs, sending alerts to family and to specialized help and providing a social network in order to help end the elderly's social isolation. © Copyright by authors.