An empirical evaluation of a framework for design for variety and novelty

The objective of this paper is to empirically evaluate a framework for designing – GEMS of SAPPhIRE as req-sol – to check if it supports design for variety and novelty. A set of observational studies is designed where three teams of two designers each, solve three different design problems in the following order: without any support, using the framework, and using a combination of the framework and a catalogue. Results from the studies reveal that both variety and novelty of the concept space increases with the use of the framework or the framework and the catalogue. However, the number of concepts and the time taken by the designers decreases with the use of the framework and, the framework and the catalogue. Based on the results and the interview sessions with the designers, an interactive framework for designing to be supported on a computer is proposed as future work.

Optimal design of timer-based, distributed selection with unknown number of nodes

The timer-based selection scheme is a popular, simple, and distributed scheme that is used to select the best node from a set of available nodes. In it, each node sets a timer as a function of a local preference number called a metric, and transmits a packet when its timer expires. The scheme ensures that the timer of the best node, which has the highest metric, expires first. However, it fails to select the best node if another node transmits a packet within Delta s of the transmission by the best node. We derive the optimal timer mapping that maximizes the average success probability for the practical scenario in which the number of nodes in the system is unknown but only its probability distribution is known. We show that it has a special discrete structure, and present a recursive characterization to determine it. We benchmark its performance with ad hoc approaches proposed in the literature, and show that it delivers significant gains. New insights about the optimality of some ad hoc approaches are also developed.

Mechanism design for time critical and cost critical task execution via crowdsourcing

An exciting application of crowdsourcing is to use social networks in complex task execution. In this paper, we address the problem of a planner who needs to incentivize agents within a network in order to seek their help in executing an atomic task as well as in recruiting other agents to execute the task. We study this mechanism design problem under two natural resource optimization settings: (1) cost critical tasks, where the planner's goal is to minimize the total cost, and (2) time critical tasks, where the goal is to minimize the total time elapsed before the task is executed. We identify a set of desirable properties that should ideally be satisfied by a crowdsourcing mechanism. In particular, sybil-proofness and collapse-proofness are two complementary properties in our desiderata. We prove that no mechanism can satisfy all the desirable properties simultaneously. This leads us naturally to explore approximate versions of the critical properties. We focus our attention on approximate sybil-proofness and our exploration leads to a parametrized family of payment mechanisms which satisfy collapse-proofness. We characterize the approximate versions of the desirable properties in cost critical and time critical domain.

Membership models and the design of authentication protocols for MANETs

Authentication protocols are very much essential for secure communication in mobile ad hoc networks (MANETs). A number of authentication protocols for MANETs have been proposed in the literature which provide the basic authentication service while trying to optimize their performance and resource consumption parameters. A problem with most of these protocols is that the underlying networking environment on which they are applicable have been left unspecified. As a result, lack of specifications about the networking environments applicable to an authentication protocol for MANETs can mislead about the performance and the applicability of the protocol. In this paper, we first characterize networking environment for a MANET as its 'Membership Model' which is defined as a set of specifications related to the 'Membership Granting Server' (MGS) and the 'Membership Set Pattern' (MSP) of the MANET. We then identify various types of possible membership models for a MANET. In order to illustrate that while designing an authentication protocol for a MANET, it is very much necessary to consider the underlying membership model of the MANET, we study a set of six representative authentication protocols, and analyze their applicability for the membership models as enumerated in this paper. The analysis shows that the same protocol may not perform equally well in all membership models. In addition, there may be membership models which are important from the point of view of users, but for which no authentication protocol is available.

Physical realizations: transforming into physical embodiments of concepts in the design of mechanical movements

Conceptual design involves identification of required functions of the intended design, generation of concepts to fulfill these functions, and evaluation of these concepts to select the most promising ones for further development. The focus of this paper is the second phase-concept generation, in which a challenge has been to develop possible physical embodiments to offer designers for exploration and evaluation. This paper investigates the issue of how to transform and thus synthesise possible generic physical embodiments and reports an implemented method that could automatically generate these embodiments. In this paper, a method is proposed to transform a variety of possible initial solutions to a design problem into a set of physical solutions that are described in terms of abstraction of mechanical movements. The underlying principle of this method is to make it possible to link common attributes between a specific abstract representation and its possible physical objects. For a given input, this method can produce a set of concepts in terms of their generic physical embodiments. The method can be used to support designers to start with a given input-output function and systematically search for physical objects for design consideration in terms of simplified functional, spatial, and mechanical movement requirements.

Computational design of model Re/Ru bearing Ni-base superalloys

It is well established that Re and Ru additions to Ni-base superalloys result in improved creep performance and phase stability. However, the role of Re and Ru and their synergetic effects are not well understood, and the first step in understanding these effects is to design alloys with controlled microstructural parameters. A computational approach was undertaken in the present work for designing model alloys with varying levels of Re and Ru. Thermodynamic and first principles calculations were employed complimentarily to design a set of alloys with varying Re and Ru levels, but which were constrained by constant microstructural parameters, i.e., phase fractions and lattice misfit across the alloys. Three ternary/quaternary alloys of type Ni-Al-xRe-yRu were thus designed. These compositions were subsequently cast, homogenized and aged. Experimental results suggest that while the measured volume fraction matches the predicted value in the Ru containing alloy, volume fraction is significantly higher than the designed value in the Re containing alloys. This is possibly due to errors in the thermodynamic database used to predict phase fraction and composition. These errors are also reflected in the mismatch between predicted and measured values of misfit.

Design and Evaluation of Torsional Probes for Multifrequency Atomic Force Microscopy

Multifrequency atomic force microscopy is a powerful nanoscale imaging and characterization technique that involves excitation of the atomic force microscope (AFM) probe and measurement of its response at multiple frequencies. This paper reports the design, fabrication, and evaluation of AFM probes with a specified set of torsional eigen-frequencies that facilitate enhancement of sensitivity in multifrequency AFM. A general approach is proposed to design the probes, which includes the design of their generic geometry, adoption of a simple lumped-parameter model, guidelines for determination of the initial dimensions, and an iterative scheme to obtain a probe with the specified eigen-frequencies. The proposed approach is employed to design a harmonic probe wherein the second and the third eigen-frequencies are the corresponding harmonics of the first eigen-frequency. The probe is subsequently fabricated and evaluated. The experimentally evaluated eigen-frequencies and associated mode shapes are shown to closely match the theoretical results. Finally, a simulation study is performed to demonstrate significant improvements in sensitivity to the second-and the third-harmonic spectral components of the tip-sample interaction force with the harmonic probe compared to that of a conventional probe.

An approximation to the QoS aware throughput region of a tree network under IEEE 802.15.4 CSMA/CA with application to wireless sensor network design

In the context of wireless sensor networks, we are motivated by the design of a tree network spanning a set of source nodes that generate packets, a set of additional relay nodes that only forward packets from the sources, and a data sink. We assume that the paths from the sources to the sink have bounded hop count, that the nodes use the IEEE 802.15.4 CSMA/CA for medium access control, and that there are no hidden terminals. In this setting, starting with a set of simple fixed point equations, we derive explicit conditions on the packet generation rates at the sources, so that the tree network approximately provides certain quality of service (QoS) such as end-to-end delivery probability and mean delay. The structures of our conditions provide insight on the dependence of the network performance on the arrival rate vector, and the topological properties of the tree network. Our numerical experiments suggest that our approximations are able to capture a significant part of the QoS aware throughput region (of a tree network), that is adequate for many sensor network applications. Furthermore, for the special case of equal arrival rates, default backoff parameters, and for a range of values of target QoS, we show that among all path-length-bounded trees (spanning a given set of sources and the data sink) that meet the conditions derived in the paper, a shortest path tree achieves the maximum throughput. (C) 2015 Elsevier B.V. All rights reserved.

Hybrid Working Set Algorithm for SVM Learning With a Kernel Coprocessor on FPGA

Support vector machines (SVM) are a popular class of supervised models in machine learning. The associated compute intensive learning algorithm limits their use in real-time applications. This paper presents a fully scalable architecture of a coprocessor, which can compute multiple rows of the kernel matrix in parallel. Further, we propose an extended variant of the popular decomposition technique, sequential minimal optimization, which we call hybrid working set (HWS) algorithm, to effectively utilize the benefits of cached kernel columns and the parallel computational power of the coprocessor. The coprocessor is implemented on Xilinx Virtex 7 field-programmable gate array-based VC707 board and achieves a speedup of upto 25x for kernel computation over single threaded computation on Intel Core i5. An application speedup of upto 15x over software implementation of LIBSVM and speedup of upto 23x over SVMLight is achieved using the HWS algorithm in unison with the coprocessor. The reduction in the number of iterations and sensitivity of the optimization time to variation in cache size using the HWS algorithm are also shown.

SUPPORTING ENVIRONMENTALLY-BENIGN DESIGN ELUCIDATING ENVIRONMENTAL IMPACT PROPAGATION IN CONCEPTUAL DESIGN PHASE BY SAPPHIRE MODEL OF CAUSALITY

Conceptual Design Phase is the most critical for design decisions and their impact on the Environment. It is also a phase of many `unknowns' making it flexible and allowing exploration of many solutions. Thus, it is a challenge to determine the most Environmentally-benign Solution or Concept to be translated in to a `good' product. The SAPPhIRE Model captures the various levels of abstractions present in Conceptual Design by Outcomes and defines a Solution-variant as a set of verifiable and quantifiable Outcomes. The Causality explains the propagation of Environmental Impact across Outcomes at varying levels of abstraction, suggesting that the Environmental Impact of an Outcome at a certain level can be represented as a collation of Environmental Impact information of all the Outcomes at each of its subsequent lower levels of abstraction. Thus a ball-park impact value can be associated with the higher-levels of abstraction, thereby supporting design decisions taken earlier on in Conceptual Design directing towards Environmentally-benign Design.

Design and implementation of spectrum sensing for cognitive radios with a frequency-hopping primary system

In this work, spectrum sensing for cognitive radios is considered in the presence of multiple Primary Users (PU) using frequency-hopping communication over a set of frequency bands. The detection performance of the Fast Fourier Transform (FFT) Average Ratio (FAR) algorithm is obtained in closed-form, for a given FFT size and number of PUs. The effective throughput of the Secondary Users (SU) is formulated as an optimization problem with a constraint on the maximum allowable interference on the primary network. Given the hopping period of the PUs, the sensing duration that maximizes the SU throughput is derived. The results are validated using Monte Carlo simulations. Further, an implementation of the FAR algorithm on the Lyrtech (now, Nutaq) small form factor software defined radio development platform is presented, and the performance recorded through the hardware is observed to corroborate well with that obtained through simulations, allowing for implementation losses. (C) 2015 Elsevier B.V. All rights reserved.

DESIGN REQUIREMENTS FOR DIRECT SUPERCRITICAL CARBON DIOXIDE RECEIVER DEVELOPMENT AND TESTING

This paper establishes the design requirements for the development and testing of direct supercritical carbon dioxide (sCO2) solar receivers. Current design considerations are based on the ASME Boiler and Pressure Vessel Code (BPVC). Section I (BPVC) considers typical boilers/superheaters (i.e. fired pressure vessels) which work under a constant low heat flux. Section VIII (BPVC) considers pressure vessels with operating pressures above 15 psig 2 bar] (i.e. unfired pressure vessels). Section III, Division I - Subsection NH (BPVC) considers a more detailed stress calculation, compared to Section I and Section VIII, and requires a creep-fatigue analysis. The main drawback from using the BPVC exclusively is the large safety requirements developed for nuclear power applications. As a result, a new set of requirements is needed to perform detailed thermal-structural analyses of solar thermal receivers subjected to a spatially-varying, high-intensity heat flux. The last design requirements document of this kind was an interim Sandia report developed in 1979 (SAND79-8183), but it only addresses some of the technical challenges in early-stage steam and molten-salt solar receivers but not the use of sCO2 receivers. This paper presents a combination of the ASME BPVC and ASME B31.1 Code modified appropriately to achieve the reliability requirements in sCO(2) solar power systems. There are five main categories in this requirements document: Operation and Safety, Materials and Manufacturing, Instrumentation, Maintenance and Environmental, and General requirements. This paper also includes the modeling guidelines and input parameters required in computational fluid dynamics and structural analyses utilizing ANSYS Fluent, ANSYS Mechanical, and nCode Design Life. The main purpose of this document is to serve as a reference and guideline for design and testing requirements, as well as to address the technical challenges and provide initial parameters for the computational models that will be employed for the development of sCO(2) receivers.

Design and simulations of SOI CMOS micro-hotplate gas sensors

This paper describes a new generation of integrated solid-state gas-sensors embedded in SOI micro-hotplates. The micro-hotplates lie on a SOI membrane and consist of MOSFET heaters that elevate the operating temperature, through self-heating, of a gas sensitive material. These sensors are fully compatible with SOI CMOS or BiCMOS technologies, offer ultra-low power consumption (under 100 mW), high sensitivity, low noise, low unit cost, reproducibility and reliability through the use of on-chip integration. In addition, the new integrated sensors offer a nearly uniform temperature distribution over the active area at its operating temperatures at up to about 300-350°C. This makes SOI-based gas-sensing devices particularly attractive for use in handheld battery-operated gas monitors. This paper reports on the design of a chemo-resistive gas sensor and proposes for the first time an intelligent SOI membrane microcalorimeter using active micro-FET heaters and temperature sensors. A comprehensive set of numerical and analogue simulations is also presented including complex 2D and 3D electro-thermal numerical analyses. © 2001 Elsevier Science B.V. All rights reserved.

Design of a Self-Adaptive Down-Hole Layered Steam Injector and Its Application

Layered steam injection, widely used in Liaohe Oilfield at Present, is an effective recovery technique to heavy oil reserves. Which makes the steam front-peak push forward uniformly, the amount of steam injection be assigned rationally, and the effect of injection steam be obtained as expected. To maintain a fixed ratio of layered steam injection and solve the problem of nonadjustable hole diameter with the change of layer pressure in the existing injectors, a new method is proposed in this paper to design layered steam injectors based on the dynamic balance theory. According to gas-liquid two-phase flow theory and beat transfer theory, the energy equation and the heat conduction equation in boreholes are developed. By analyzing the energy equilibrium of water-steam passing through the injector hole, we find an expression to describe the relation between the cross-sectional area of injector hole and the layer pressure. With this expression, we provide a new set of calculation methods and write the corresponding computer program to design and calculate the main parameters of a steam injector. The actual measurement data show that the theoretically calculated results are accurate, the software runs reliably, and they provide the design of self-adjustable layered steam injectors with the theoretical foundation.

Design of a Self-Adaptive Down-Hole Layered Steam Injector and Its Application

Layered steam injection, widely used in Liaohe Oilfield at present, is an effective recovery technique to heavy oil reserves. Which makes the steam front-peak push forward uniformly, the amount of steam injection be assigned rationally, and the effect of injection steam be obtained as expected. To maintain a fixed ratio of layered steam injection and solve the problem of nonadjustable hole diameter with the change of layer pressure in the existing injectors, a new method is proposed in this paper to design layered steam injectors based on the dynamic balance theory According to gas-liquid two-phase flow theory and heat transfer theory, the energy equation and the heat conduction equation in boreholes are developed. By analyzing the energy equilibrium of water-steam passing through the injector hole, we find an expression to describe the relation between the cross-sectional area of injector hole and the layer pressure. With this expression, we provide a new set of calculation methods and write the corresponding computer program to design and calculate the main parameters of a steam injector. The actual measurement data show that the theoretically calculated results are accurate, the software runs reliably, and they provide the design of self-adjustable layered steam injectors with the theoretical foundation.