Formalizing a hierarchical file system

An abstract file system is defined here as a partial function from (absolute) paths to data. Such a file system determines the set of valid paths. It allows the file system to be read and written at a valid path, and it allows the system to be modified by the Unix operations for creation, removal, and moving of files and directories. We present abstract definitions (axioms) for these operations. This specification is refined towards a pointer implementation. The challenge is to have a natural abstraction function from the implementation to the specification, to define operations on the concrete store that behave exactly in the same way as the corresponding functions on the abstract store, and to prove these facts. To mitigate the problems attached to partial functions, we do this in two steps: first a refinement towards a pointer implementation with total functions, followed by one that allows partial functions. These two refinements are proved correct by means of a number of invariants. Indeed, the insights gained consist, on the one hand, of the invariants of the pointer implementation that are needed for the refinement functions, and on the other hand of the precise enabling conditions of the operations on the different levels of abstraction. Each of the three specification levels is enriched with a permission system for reading, writing, or executing, and the refinement relations between these permission systems are explored. Files and directories are distinguished from the outset, but this rarely affects our part of the specifications. All results have been verified with the proof assistant PVS, in particular, that the invariants are preserved by the operations, and that, where the invariants hold, the operations commute with the refinement functions.     

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相似文献   

CuPc based organic--inorganic hetero-junction with Au electrodes

In present work, a hetero-junction of n-silicon (n-Si) with copper phthalocyanine (CuPc) has been fabricated. The current-voltage characteristics were investigated to explain the rectification and conduction mechanism. The effect of temperature and humidity on electrical properties of n-Si/CuPc hetero-junction has also been investigated. The characteristics of the junction have been observed to be temperature and humidity dependent so it is suggested that this junction can be used as temperature and humidity sensor.     

Accuracy improving guidelines for network anomaly detection systems

An unprecedented growth in computer and communication systems in the last two decades has resulted in a proportional increase in the number and sophistication of network attacks. In particular, the number of previously-unseen attacks has increased exponentially in the last few years. Due to the rapidly evolving nature of network attacks, a considerable paradigm shift has taken place in the intrusion detection community. The main focus is now on Network Anomaly Detection Systems (NADSs) which model and flag deviations from normal/benign behavior of a network and can hence detect previously-unseen attacks. Contemporary NADS borrow concepts from a variety of theoretical fields (e.g., Information theory, stochastic and machine learning, signal processing, etc.) to model benign behavior. These NADSs, however, fall short of achieving acceptable performance levels as therefore widespread commercial deployments. Thus, in this paper, we firstly evaluate the performance of eight prominent network-based anomaly detectors under malicious portscan attacks to identify which NADSs perform better than others and why. These NADSs are evaluated on three criteria: accuracy (ROC curves), scalability (with respect to varying normal and attack traffic rates, and deployment points) and detection delay. These criteria are evaluated using two independently collected datasets with complementary strengths. We then propose novel methods and promising guidelines to improve the accuracy and scalability of existing and future anomaly detectors. Experimental analysis of the proposed guidelines is also presented for the proof of concept.     

Interval-valued fuzzy graphs

We define the Cartesian product, composition, union and join on interval-valued fuzzy graphs and investigate some of their properties. We also introduce the notion of interval-valued fuzzy complete graphs and present some properties of self-complementary and self-weak complementary interval-valued fuzzy complete graphs.     

Numerical treatment of nonlinear Emden–Fowler equation using stochastic technique

The article is based on the approximate solution of a well known Lane–Emden–Fowler (LEF) equation. A trial solution of the model is formulated as an artificial feed-forward neural network containing unknown weights which are optimized in an unsupervised way. The proposed scheme is tested successfully on various test cases of initial value problems of LEF equations. The reliability and effectiveness is validated through comprehensive statistical analysis.     

Evaluation of machinability and economic performance in cryogenic-assisted hard turning of α-β titanium: a step towards sustainable manufacturing

Abstract

Titanium, a difficult-to-cut material, consumes higher time and cost in removing material by machining to produce parts. Machining of Ti alloys has got serious attention owing to its reactive nature with tool materials at elevated temperature that aggravates tool wear. Reportedly, effective and efficient cooling and lubrication at the tool–work interface can ameliorate the machinability of Ti-alloys. In this perspective, this article interrogates the underlying mechanism of critical responses such as surface roughness, temperature, tool life and machining cost under dry, minimum quantity lubrication (MQL) and cryogenic liquid nitrogen (LN2) modes. The effect of cutting speeds and feed rates on such responses have been considered as a function of cooling strategy to standardize the cooling technique as the best alternative for machining. Cryogenic cooling seems to be preponderant regarding machining cost, temperature, surface roughness and tool life in hard turning of a–b titanium alloy. The feasibility of cryogenic cooling was investigated using the iso-response technique in comparison with dry and MQL-assisted hard turning. Experimental results revealed longer tool life and lower machining cost under cryogenic condition followed by MQL and dry machining. Moreover, cryogenic LN2 has been identified as an appropriate alternative to reduce the temperature and surface roughness. On contrary, dry turning evoked a high-temperature and rapid tool wear. In a nutshell, cryogenic assisted hard turning has acceded as a sustainable strategy from an environmental and economic perspective.     

EXPERIMENTAL INVESTIGATIONS INTO THE INFLUENCE OF MAJOR OPERATING PARAMETERS DURING MICRO-ELECTRO DISCHARGE DRILLING OF CEMENTED CARBIDE

Present study investigates the influence of major operating parameters on the performance of micro-EDM drilling of cemented carbide (WC-10wt%Co) and identifies the ideal values for improved performance. The operating parameters studied were electrode polarity, gap voltage, resistance, peak current, pulse duration, pulse interval, duty ratio, electrode rotational speed and EDM speed. The performance of micro-EDM drilling process was evaluated by machining time, material removal rate (MRR), relative electrode wear ratio (RWR), spark gap, surface finish and dimensional accuracy of micro-holes. It has been found that there are two major conflicting issues in the micro-EDM of carbide. If the primary objective is to obtain better surface finish, it can be obtained by the sacrifice of high machining time, low MRR and high RWR. However, for faster micro-EDM, the surface roughness is higher and electrode wear is again much higher. It is concluded that negative electrode polarity, gap voltage of 120 V, resistance of 33 Ω, peak current of 8 A, pulse duration of 21 μs, pulse interval of 30 μs, duty cycle of 0.47, electrode rotational speed of 700 rpm and EDM speed of 10 μm/s can be considered as ideal parameters to provide improved performances during the micro-EDM of WC-Co.     

Structural and magnetic properties of Pr–Ni substituted Ca0.5Ba0.5Fe12O19 hexa-ferrite nanoparticles

Effect of Pr–Ni substitution on structural and magnetic properties of Ca_0.5Ba_0.5−xPr_xNi_yFe_12−yO₁₉ (x=0.00–0.10 and y=0.00–1.00) prepared by the sol–gel auto combustion method were investigated. The XRD analysis confirmed the single phase M-type hexa-ferrite structure. The lattice parameters were found to increase as Pr–Ni content increases, which is attributed to the ionic size of the implicated cations. The Pr–Ni seems to be completely soluble in the lattice. Transmission electron microscopy reveals that the grain size decreases with increase of Pr–Ni substitution. The coercivity and remanent magnetization ranges from 1511 to 1925 (Oe) and 21.4 to 26.5 (emu/g), respectively. The coercivity values of all the samples fall in the range of M-type hexa-ferrites.     

Microbial-Catalyzed Biotransformation of Multifunctional Triterpenoids Derived from Phytonutrients

Microbial-catalyzed biotransformations have considerable potential for the generation of an enormous variety of structurally diversified organic compounds, especially natural products with complex structures like triterpenoids. They offer efficient and economical ways to produce semi-synthetic analogues and novel lead molecules. Microorganisms such as bacteria and fungi could catalyze chemo-, regio- and stereospecific hydroxylations of diverse triterpenoid substrates that are extremely difficult to produce by chemical routes. During recent years, considerable research has been performed on the microbial transformation of bioactive triterpenoids, in order to obtain biologically active molecules with diverse structures features. This article reviews the microbial modifications of tetranortriterpenoids, tetracyclic triterpenoids and pentacyclic triterpenoids.