Types and associated type families for hardware simulation and synthesis

In this article we overview the design and implementation of the second generation of Kansas Lava. Driven by the needs and experiences of implementing telemetry decoders and other circuits, we have made a number of improvements to both the external API and the internal representations used. We have retained our dual shallow/deep representation of signals in general, but now have a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals. We introduce these abstractions, as well as our abstractions for reading and writing memory. Internally, we found the need to represent unknown values inside our circuits, so we made aggressive use of associated type families to lift our values to allow unknowns, in a principled and regular way. We discuss this design decision, how it unfortunately complicates the internals of Kansas Lava, and how we mitigate this complexity. Finally, when connecting Kansas Lava to the real world, the standardized idiom of using named input and output ports is provided by Kansas Lava using a new monad, called Fabric. We present the design of this Fabric monad, and illustrate its use in a small but complete example.     

Pentadiagonal alternating-direction-implicit finite-difference time-domain method for two-dimensional Schrödinger equation

In this paper, we have proposed a pentadiagonal alternating-direction-implicit (Penta-ADI) finite-difference time-domain (FDTD) method for the two-dimensional Schrödinger equation. Through the separation of complex wave function into real and imaginary parts, a pentadiagonal system of equations for the ADI method is obtained, which results in our Penta-ADI method. The Penta-ADI method is further simplified into pentadiagonal fundamental ADI (Penta-FADI) method, which has matrix-operator-free right-hand-sides (RHS), leading to the simplest and most concise update equations. As the Penta-FADI method involves five stencils in the left-hand-sides (LHS) of the pentadiagonal update equations, special treatments that are required for the implementation of the Dirichlet’s boundary conditions will be discussed. Using the Penta-FADI method, a significantly higher efficiency gain can be achieved over the conventional Tri-ADI method, which involves a tridiagonal system of equations.     

Formation of bed agglomeration in a fluidized multi-waste incinerator

A case study was carried out to investigate the bed agglomeration observed in a fluidized bed incinerator when burning blends of three wastes (carbon soot, biosludge and fuel oil). Several instrumental approaches were employed (i.e. XRF, SEM, XRD, and ICP-AES) to identify the bed materials (fresh sand and degrader sand) and clinkers formed in the full-scale incinerator tests. Several elements (V, Al, S, Na, Fe, Ni, P, and Cl), which normally are associated with the formation of low melting point compounds, were found in the waste blends at high content levels. The clinker bridges were identified to be associated with Al, Fe, V, K, Na, S, Ni, and Si elements.The effects of temperature and blending ratio were investigated in a muffle furnace. Carbon soot is believed to be more susceptible to the clinker formation than the other two fuels. Thermodynamic multi-phase multi-component equilibrium calculations predict that the main low melting point species could be Al₂(SO₄)₃, Fe₂(SO₄)₃, Na₂SO₄, NaCl, Na₂SiO₃ and V₂O₅. This information is useful to understand the chemistry of clinker formation. Also, it helps to develop methods for the control and possible elimination of the agglomeration problem for the design fuels.     

The min-dist location selection and facility replacement queries

We propose and study a new type of location optimization problem, the min-dist location selection problem: given a set of clients and a set of existing facilities, we select a location from a given set of potential locations for establishing a new facility, so that the average distance between a client and her nearest facility is minimized. The problem has a wide range of applications in urban development simulation, massively multiplayer online games, and decision support systems. We also investigate a variant of the problem, where we consider replacing (instead of adding) a facility while achieving the same optimization goal. We call this variant the min-dist facility replacement problem. We explore two common approaches to location optimization problems and present methods based on those approaches for solving the min-dist location selection problem. However, those methods either need to maintain an extra index or fall short in efficiency. To address their drawbacks, we propose a novel method (named MND), which has very close performance to the fastest method but does not need an extra index. We then utilize the key idea behind MND to approach the min-dist facility replacement problem, which results in two algorithms names MSND and RID. We provide a detailed comparative cost analysis and conduct extensive experiments on the various algorithms. The results show that MND and RID outperform their competitors by orders of magnitude.     

Manipulating the microstructure and rheology in polymer‐organoclay composites

A series of nanocomposites prepared by melt‐blending of cloisite‐based organoclays with poly(ethylene‐vinylacetate) (EVA) and neutralized poly (ethylene‐methacrylic acid) (EMA) copolymers were investigated via DSC, small‐angle X‐ray scattering (SAXS), and rheological techniques. SAXS results indicated partial clay exfoliation in all samples. In both EMA and EVA systems, the nominal melting temperature T_m and bulk crystallinity are not significantly affected by the presence of organoclays, suggesting that clay particles are predominantly confined in the amorphous phase. In rheological measurements (above T_m), the EVA‐clay system demonstrated a solid‐like rheological behavior under the small‐strain oscillatory shear, yet it was able to yield and flow under a steady shear, which is the characteristic of physical crosslinking. In contrast, the EMA‐clay system exhibited a melt‐like rheological behavior, where the influence of organoclay on the thermorheological behavior of the EMA composite was quite minimal. We propose that the carbonyl groups of vinylacetate in EVA interact with the clay surface, resulting in a strong physically crosslinking like interaction in the melt. On the other hand, the interaction between EMA and clay is weak because of repulsion between carboxyl anions and negatively charged clay surface.     

Microstructure and texture evolution during warm compression of the magnesium alloy AZ31

The evolution of the microstructure and texture with strain during compression at 150℃ of the magnesium alloy AZ31 has been investigated using the electron backscattered diffraction (EBSD) technique. The initial samples were chosen to have a strong basal plane texture with the crystal c-axes perpendicular to the compression direction. The EBSD data provide evidence concerning the relative activity of both {10-12} extension twinning and slip, and suggest that non-basal slip is important in samples deformed to a strain of more than 0.2. The relative contributions of the twinning and the slip during deformation have been discussed based on the results above.     

A gas chromatography–mass spectrometry method for the detection of chlorpyrifos contamination in palm-based fatty acids

Chlorpyrifos is a Malaysian Pesticide Board-approved organophosphate insecticide, which may become concentrated during fractionation. The objective of this project was to develop and validate a method to detect and quantify chlorpyrifos in food-grade fatty acids ingredients, e.g. caprylic-capric acid mixture and oleic acid (OLA) used to synthesize triacylglyceride based food additives and in the cosmetic industry. A selective ion monitoring gas chromatography–mass spectrometry method with a matrix-matched calibration curve calibration was selected. The method involved the direct injection of chlorpyrifos spiked into the fatty acids matrix. The percentage recoveries at spiking levels of 0.5, 0.75, 2.5, and 4.0 μg g⁻¹ of chlorpyrifos in OLA and caprylic-capric acid ranged from 85.7%–101.1% to 97.2%–112%, respectively, with a relative standard deviation of within 11%. The intra-day and inter-day precision were deemed acceptable as indicated by an relative SD value of within 10%. A good linear relationship with a coefficient of correlation >0.99 for the matrix-matched calibration was achieved between 0.5 and 5 μg g⁻¹. The limit of detection and limit of quantification corresponded to 0.5 μg g⁻¹ for OLA and 0.55 μg g⁻¹ for caprylic-capric acid.     

Topography of the flank wear surface

In many applications, topography represents the main external features of a surface. This paper describes the topography of the flank wear surface and also presents the relationship between the maximum flank wear and the topography parameters (roughness parameters) of the flank wear surface during the turning operation. A modern CNC lathe machine (Okuma LH35-N) was used for the machine turning operation. Three-dimensional surface roughness parameters of the flank wear surface were measured by a surface texture instrument (from Talysurf series) using surface topography software (Talymap). Based on the resulting experimental data, it is found that as the flank wear increases, the roughness parameters (sR_a, sR_q, and sR_t) on the flank surface increase significantly. The greater the roughness value of the flank wear surface, the higher the friction of the tool on the workpiece and the greater the heat generation that will occur, thus ultimately causing tool failure. On the other hand, positive skewness (sR_sk) indicates the presence of a small number of spikes on the flank surface of the cutting tool, which could quickly wear off during the machining process.     

Crack initiation in relation to the tool edge radius and cutting conditions in nanoscale cutting of silicon

In cutting of brittle materials, experimentally it was observed that there is a ductile–brittle transition when the undeformed chip thickness is increased from smaller to larger than the tool cutting edge radius of the zero rake angle. However, how the crack is initiated in the ductile–brittle mode transition as the undeformed chip thickness is increased from smaller to larger than the tool cutting edge radius has not been fully understood. In this study, the crack initiation in the ductile–brittle mode transition as the undeformed chip thickness is increased from smaller to larger than the tool cutting edge radius has been simulated using the Molecular Dynamics (MD) method on nanoscale cutting of monocrystalline silicon with a non-zero edge radius tool, from which, for the first time, a peak deformation zone in the chip formation zone has been found in the transition from ductile mode to brittle mode cutting. The results show that as the undeformed chip thickness is larger than the cutting edge radius, in the chip formation zone there is a peak deformation depth in association with the connecting point of tool edge arc and the rake face, and there is a crack initiation zone in the undeformed workpiece next to the peak deformation zone, in which the material is tensile stressed and the tensile stress is perpendicular to the direction from the connecting point to the peak. As the undeformed chip thickness is smaller than the cutting edge radius, there is no deformation peak in the chip formation zone, and thus there is no crack initiation zone formed in the undeformed workpiece. This finding explains well the ductile–brittle transition as the undeformed chip thickness increases from smaller to larger than the tool cutting edge radius.     

Better Safe than Sorry: A Study of Investigating Individuals’ Protection of Privacy in the Use of Storage as a Cloud Computing Service

Since the use of network-based storage as a cloud computing service [Storage as a Service (StaaS)] becomes ubiquitous, users who store data in the cloud are exposed to risk and potentially severe consequences. Therefore, individuals should carefully consider security and privacy issues when using StaaS. Drawing upon the principle of self-preservation and the theory of protection motivation, this study develops a research model explaining the mechanisms leading to the development of a protection strategy for individuals’ safe use of StaaS and empirically tests the proposed model. The results show that the natural propensity to trust, an individual trait, influences an individual’s need for privacy. This, in turn, along with perception of privacy risk, significantly affects individuals’ perception of the need to protect themselves. Three coping appraisal factors, preventive measures, self-efficacy, and willingness to incur cost of prevention, together with the individual perceived need to protect self, directly and positively affect users’ need to develop a protection strategy in a cloud computing environment. Theoretical and practical implications are discussed.