Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

This paper introduces a new methodology for epistemic logic, to analyze communication protocols that uses knowledge structures, a specific form of Kripke semantics over hostile networks. The paper particularly focuses on automatic verification of authentication protocols. Our approach is based on the actual definitions of a protocol, not on some difficultto-establish justifications. The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification-oriented instead of falsification-oriented, i.e., finding bugs in a protocol. The main idea is based on observations： separating a principal executing a run of protocol from the role in the protocol, and inferring a principal＇s knowledge from the local observations of the principal. And we show analytically and empirically that this model can be easily reduced to Satisfiability （SAT） problem and efficiently implemented by a modern SAT solver.     

Validation and improvement of gamma heating calculation methods for the G.A. Siwabessy multipurpose reactor

Nuclear Science and Techniques - This study presents the RF design of a linear accelerator (linac) operated in single-bunch mode. The accelerator is powered by a compressed RF pulse produced from a...     

Studies on batch adsorptive removal of cadmium and nickel from synthetic waste water using silty clay originated from Balochistan–Pakistan

The potentials of silty clay(SC), acquired from Chaman, Balochistan, were investigated as adsorbent for Ni(Ⅱ)and Cd(Ⅱ) removal from contaminated media. The influence of different operating factors like dose, pH, temperature, and time of contact was explored, and optimum values were noted under batch adsorption method. Isothermal study was conducted with varying concentrations of solutions on optimized conditions and different adsorption models i.e., Langmuir, Freundlich, Temkin and Dubinin–Radushkevich(D–R) isotherm, which were employed to interpret the process. The isothermal data of both Ni(Ⅱ) and Cd(Ⅱ) were well fitted to Langmuir isotherm suggesting the formation of monolayer of metal ions on silty clay. The values of adsorption capacity noted for Ni(Ⅱ) and Cd(Ⅱ) were 3.603 mg·g~(-1) and 5.480 mg·g~(-)1, respectively. Kinetic studies affirmed that pseudo second order(PSO) kinetics was being obeyed by the removal of Ni(Ⅱ) and Cd(Ⅱ). Thermodynamic variables like free energy change(ΔG°), enthalpy change(ΔH°) and entropy change(ΔS°) were calculated. The negative value of ΔG° and the positive values of ΔH° and ΔS° unfolded that the removal process of both metal ions of by SC was spontaneous, endothermic and feasible.     

Assessment on the mechanical,structural, and thermal attributes of green graphene-based water soluble polymer electrolyte composites

In the current study, graphene oxide (GO) was prepared using green chemistry with modified Hummer's method without incorporating sodium nitrate (NaNO₃). Solvent casting was employed to fabricate GO-doped poly(ethylene oxide) (PEO), that is, PEO/GO composites with various proportion of Na₂SO₄ and were then subjected to characterization via advanced spectroscopic techniques for different physicochemical aspects to estimate their potential applications as marketable products. XRD analysis explored that fabricated composites are more crystalline than neat PEO. PEO/GO/Na₂SO₄ composite films offered maximum crystallinity. SEM displayed the same trend. TG/DTA thermogram exposed better thermal stability than pristine polymer. FTIR studies confirmed complexation among hybrid's components. Elongation-at-break and Young's modulus displayed an enhancing behavior with an incremental loading of salt and filler. In terms of mechanical performance, composite of PEO with 0.37 wt % GO and 0.08 g salt was found to be an ideal composition during the course of study. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48376.     

Radiation induced decontamination of Cr(Ⅵ), Cu(Ⅱ) and phenol in some tannery effluents

Industrialization has led to a number of environmental problems, such as release of toxic metals and other toxic organic and inorganic compounds to the environment. Among all, the rapid expansion of leather related industries in Pakistan have resulted in considerable environmental problems and effluents from processing of both domestic and imported hides and skins have increased pollution to alarming levels. Some tannery effluents of Peshawar area investigated in the present study showed high concentrations of Cr(Ⅵ) (2.7-12.6 mg/L), Cu(Ⅱ) (2.6-11.4 mg/L) and phenol (0.1-4.2 mg/L). These contaminants are very toxic and must be removed from effluents before releasing into water bodies. A new technique of gamma irradiation has been investigated to decrease the load of COD and concentrations of Cr(Ⅵ), Cu(Ⅱ) and phenol associated with tannery effluents to the permitted values. It was observed that concentration of Cr(Ⅵ) in the effluents can be brought to the permitted level by applying radiation dose of 3 kGy. A radiation dose of 2.5 kGy was required to remove more than 95% of Cu(Ⅱ) and 100 % degradation of phenol in tannery effluents could be achieved by only one kGy of radiation dose.     

The effects of physical refining on the formation of 3-monochloropropane-1,2-diol esters in relation to palm oil minor components

The formation of 3-monochloropropane-1,2-diol (3-MCPD) esters in refined palm oil during deodorisation is attributed to the intrinsic composition of crude palm oil. Utilising D-optimal design, the effects of the degumming and bleaching processes on the reduction in 3-MCPD ester formation in refined palm oil from poor-quality crude palm oil were studied relative to the palm oil minor components that are likely to be their precursors. Water degumming remarkably reduced 3-MCPD ester formation by up to 84%, from 9.79 mg/kg to 1.55 mg/kg. Bleaching with synthetic magnesium silicate caused a further 10% reduction, to 0.487 mg/kg. The reduction in 3-MCPD ester formation could be due to the removal of related precursors prior to the deodorisation step. The phosphorus content of bleached palm oil showed a significant correlation with 3-MCPD ester formation.     

Ergogenic Attributes of Young and Mature Coconut (Cocos nucifera L.) Water Based on Physical Properties,Sugars and Electrolytes Contents

The present work aimed to compare the main ergogenic attributes of two commercialized stages (young and mature) of coconut water (CW) obtained from four coconut varieties. The changes of electrolytes and sugars in CW upon maturation were quantified by inductively coupled plasma mass spectrophotometer and high-performance liquid chromatography, respectively. Based on the electrolyte profiling, potassium yielded the highest amount (ranging from 237.41 to 361.20 mg/100 mL) followed by sodium, magnesium, calcium, iron, manganese, copper, selenium, and zinc across all the maturity stages tested. For sugars, there were lower amounts of fructose and glucose, but a higher amount of sucrose with the maturation of the fruits. In conclusion, the amount of beneficial nutrients in the form of sugars and minerals was higher than that of young CW, and the ergogenic attributes of mature CW especially from MATAG variety (M-MATAG) were the best to be exploited further in the development of natural energy drinks.     

Potential Use of FTIR-ATR Spectroscopic Method for Determination of Virgin Coconut Oil and Extra Virgin Olive Oil in Ternary Mixture Systems

The aim of this study was to investigate the feasibility of Fourier-transform infrared (FTIR) spectroscopy combined with multivariate calibrations of partial least square (PLS) and principle component regression (PCR) for analysis of virgin coconut oil (VCO) in the ternary mixture with palm oil (PO) and olive oil, and for analysis of extra virgin olive oil (EVOO) mixed with soybean oil (SO) and corn oil (CO). The spectra of individual oils and their blends with certain concentrations were scanned using horizontal attenuated total reflectance accessory at mid-infrared region of 4,000–650 cm⁻¹. The optimal frequency regions selected for calibration models were based on its ability to give the highest values of coefficient of determination (R ²) and the lowest values of root mean standard error of calibration (RMSEC). PLS was slightly better for quantitative analysis of VCO and EVOO compared with PCR. VCO in ternary mixtures is successfully determined at frequency region of 1,200–1,000 using second derivative FTIR spectra with R ² and RMSEC values of 0.999 and 0.200, respectively. Meanwhile, EVOO is best determined at 1,200–1,000 using first derivative FTIR spectra with R ² and RMSEC values of 0.999 and 0.975, respectively. The results showed that FTIR spectroscopy offers accurate and reliable technique for quantitative analysis of VCO and EVOO in ternary systems. In addition, the developed method can be used for the monitoring of VCO and EVOO adulteration with cheaper oils like PO in VCO as well as SO and CO in EVOO.