Ion Electrodiffusion Governs Silk Electrogelation

Silk electrogelation involves the transition of an aqueous silk fibroin solution to a gel state (E-gel) in the presence of an electric current. The process is based on local pH changes as a result of water electrolysis - generating H(+) and OH(-) ions at the (+) and (-) electrodes, respectively. Silk fibroin has a pI=4.2 and when local pH相似文献   

Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

Model Based System Engineering (MBSE) is a renowned approach in the context of embedded systems development. It is frequently used to deal with the structural and behavioral aspects of system design. However, the verification of system design is generally performed in isolation. It is particularly true in the context of assertion based verification. Consequently, there is a huge gap between system design and its verification that seriously effects the productivity and time-to market objectives. Therefore, in this research, we target to reduce this gap by exploiting the features of MBSE and SystemVerilog assertions (SVA’s). This article introduces a novel MBSE approach to model the design verification aspects of embedded systems, along with the system design (structural and behavioral aspects). We propose SystemVerilog in Object Constraint Language (SVOCL), an OCL temporal extension for SystemVerilog, to represent the design verification requirements by means of SVA’s. As a part of research, SVOCL transformation engine has been developed to generate SVA’s code in order to automate the design verification of embedded systems. The application of SVOCL has been validated through four case studies.     

Assessment of Corrosion Resistance and Metal Ion Leaching of Nitinol Alloys

Nitinol usage for biomedical implant devices has received significant attention due to its high corrosion resistance and biocompatibility. However, surface treatments are known to affect surface charge, surface chemistry, morphology, wettability, and corrosion resistance. In this investigation, the corrosion resistance of a binary and various ternary Nitinol alloys was determined after being subjected to electropolishing, magnetoelectropolishing, and water boiling and passivation. Cyclic polarization in vitro corrosion tests were conducted in Phosphate Buffer Saline (PBS) in compliance with ASTM F 2129-08 before and after surface treatments. The concentrations of dissolved metal ions in the electrolyte were also determined by ICPMS.     

Boron nitride based polyaniline nanocomposite: Preparation,property, and application

In this study, we report first time the electrical properties and photocatalytic activity of HCl doped polyaniline (Pani) and Pani/boron nitride (Pani/BN) nanocomposite prepared by in situ polymerization of aniline using potassium persulfate (K₂S₂O₈) in the presence of hexagonal boron nitride (h‐BN). The prepared Pani and Pani/BN nanocomposite were characterized by Fourier transform infrared, X‐ray diffraction, Thermogravimetric analysis, Scanning electron microscope, and Transmission electron microscope. The stability of the Pani/BN nanocomposite in comparison of Pani in terms of the DC electrical conductivity retention was investigated under isothermal and cyclic aging conditions. The Pani/BN nanocomposite in terms of DC electrical conductivity was observed to be comparatively more thermally stable than Pani. The degradation of Methylene blue (MB) and Rhodamine B (RhB) under UV‐light irradiation were 50 and 56.4%, respectively, over Pani and 65.7 and 71.6%, respectively, over Pani/BN. The results indicated that the extent of degradation of MB and RhB was greater over nanocomposite material than Pani, which may result due to high electron–hole pairs charge separation under UV light. © 2016 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43989.     

Fabrication of protective-coated SiC reinforced tungsten matrix composites with reduced reaction phases by spark plasma sintering

SiC reinforced tungsten matrix composites were fabricated via the spark plasma sintering process. In order to prevent an interfacial reaction between the SiC and tungsten during sintering, TiOx coated SiC particles were synthesized by a solution-based process. TiOx layer coated SiC particles were treated in high temperature nitriding conditions or annealed in a high temperature vacuum to form TiN or TiC coated SiC particles, respectively. The TiC layers coated on SiC particles successfully prevented tungsten from reacting with SiC; hence the proposed process resulted in successful fabrication of the SiC/W composites. The mechanical properties such as compressive strength and flexural strength of the composites were measured. Additionally, the effect of SiC on the high temperature oxidative ablation of tungsten was also investigated. The addition of SiC resulted in an improved oxidative ablation resistance of the tungsten-based composites.     

Application of transmission FT-IR spectroscopy for the trans fat determination in the industrially processed edible oils

The amount of trans fatty acids (TFA) in fourteen industrially hydrogenated and deodorized oils was determined. To achieve better sensitivity 200 μm KCl cell was used in transmission Fourier transform infrared (FT-IR) spectroscopy. The results of transmission FT-IR spectroscopy were evaluated by gas chromatography (GC) with flame ionization detector (FID), and found to be comparable. All analyzed cooking oil samples had a lower trans content of 0.4–1.8%. Trans fatty acid contents of partially hydrogenated oil samples were relatively higher as comparable to those of the cooking oils. Among the samples examined, the highest level was found to be at 26.5% and 25.7% by the GC–FID and FT-IR spectroscopy, respectively. Due to harmful effects, high amounts of trans fatty acids in partially hydrogenated oils is an alarming issue for the consumer’s health and quality control authorities.     

A new analytical/iterative approach to statistical delay characterization of cmos digital combinational circuits

This paper is believed to be one of the first attempts to statistically characterize signal delays of basic CMOS digital building blocks. Analytic expressions in terms of the transistor geometries and technological process variations are provided for fast delay computations, to be used for manufacturing yield optimization, delay variability reduction and general VLSI circuit design for quality. the proposed approach is novel in several ways: (1) It is a combination of an accurate, semi-empirical MOS transistor model with the use of an efficient interpolation technique to link the non-physical model parameters to the ‘designable’ and ‘noise’ factors. (2) It uses several newly developed analytical delay formulae where possible and simple iterative solutions where direct analytical solutions do not exist. (3) the resulting hybrid analytical/iterative models are tuned, if necessary, to enhance the overall statistical accuracy. (4) Local delays are combined together for the analysis of complex combinational VLSI circuits. (5) C-code is generated for specific delay paths to further increase efficiency (improvement in analysis times by two to four orders of magnitude with respect to SPICE, with about 5%-10% accuracy). Examples of statistical delay characterization are used to illustrate the high accuracy of the proposed approach in modelling the influence of the ‘noise’ parameters on circuit delay relative to direct SPICE-based Monte Carlo analysis. the important impact of the proposed approach is that statistical evaluation and optimization of delays in much larger VLSI circuits will become possible.     

A decision support framework for metrics selection in goal-based measurement programs: GQM-DSFMS

Software organizations face challenges in managing and sustaining their measurement programs over time. The complexity of measurement programs increase with exploding number of goals and metrics to collect. At the same time, organizations usually have limited budget and resources for metrics collection. It has been recognized for quite a while that there is the need for prioritizing goals, which then ought to drive the selection of metrics. On the other hand, the dynamic nature of the organizations requires measurement programs to adapt to the changes in the stakeholders, their goals, information needs and priorities. Therefore, it is crucial for organizations to use structured approaches that provide transparency, traceability and guidance in choosing an optimum set of metrics that would address the highest priority information needs considering limited resources. This paper proposes a decision support framework for metrics selection (DSFMS) which is built upon the widely used Goal Question Metric (GQM) approach. The core of the framework includes an iterative goal-based metrics selection process incorporating decision making mechanisms in metrics selection, a pre-defined Attributes/Metrics Repository, and a Traceability Model among GQM elements. We also discuss alternative prioritization and optimization techniques for organizations to tailor the framework according to their needs. The evaluation of the GQM-DSFMS framework was done through a case study in a CMMI Level 3 software company.