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.     

A comparative study on in vitro behavior of calcium silicate ceramics synthesized from biowaste resources

Calcium silicate ceramics have received significant attention for biomedical applications for their excellent bioactivity and osteoconduction properties. Sol-gel process is extensively used for the fabrication of calcium silicates. In sol-gel process, calcium nitrate tetra hydrate (Ca(NO₃)₂·4H₂O) and tetraethylorthosilicate (TEOS) are used as precursors. However, these precursors are expensive. The objective of this work was to compare in vitro behavior of calcium silicate (CaSiO₃) produced using biowaste such as rice husk ash (RHA) and eggshells (coded; NCS) with CaSiO₃ prepared using TEOS and Ca(NO₃)₂·4H₂O (coded; CCS). Thermal investigation results revealed that the crystallization temperature for NCS is relatively lower (772°C) than for CCS (870°C). Bioactivity was studied in vitro using simulated body fluid (SBF) with respect to mineralization rate of hydroxyapatite. Mineralization of a greater hydroxyapatite was observed on NCS ceramics than CCS ceramics after incubation for 3, 7, 14 days in SBF solution, which was confirmed using X-ray diffractometer, Fourier transform infrared spectroscopy, scanning electron microscopy-energy dispersive spectroscopy. Degradation studies were conducted in Tris-HCl solution and the test results revealed that NCS ceramics has lower dissolution rate than CCS ceramics. The antimicrobial assay has shown that NCS samples exhibit significant zone of inhibition against Escherichia coli and Staphylococcus aureus which confirmed that the CaSiO₃ prepared from RHA and eggshell can prevent bacteria from adhering to the surface. In addition cell culture studies revealed that NCS ceramics possess good cytocompatibility with MG-63 cells and significantly promoted cell proliferation.     

Highly efficient supported AlCl3-based cationic catalysts to produce polyα-olefin oil base stocks

The main aim of this research is to decrease the amount of AlCl₃ content that is very corrosive and hazardous in the catalytic system, required for the α-olefin oligomerization without substantial change of final oil features. This was successfully achieved by supporting AlCl₃ on different carriers. More precisely, a series of supported bimetallic catalysts was synthesized by immobilization of AlCl₃ and TiCl₄ onto Al₂O₃, SiO₂, and mixed supports, that is, Al₂O₃/FeCl₃ and SiO₂/FeCl₃. It was found that silica and alumina-based catalysts had higher catalytic activities compared to support free AlCl₃; however, this enhancement for silica-based supports was more significant. According to gel permeation chromatography (GPC) results, the use of single supports, that is, Al₂O₃ and SiO₂, increased oligomer's molecular weight, while the application of mixed supports resulted in the decrease of molecular weight of the oligomers. Viscosity characteristics of the synthesized oligomers have also been studied at two different temperatures of 40 and 100°C (KV⁴⁰ and KV¹⁰⁰). The viscosity index (VI) values, derived from KV⁴⁰ and KV¹⁰⁰, of the prepared oligomers were in the range of 126–145. The molecular weight and termination mechanisms of the oligomers were studied by ¹H-NMR spectroscopy. The obtained results disclosed that the employed reaction conditions led to the production of oligomer chains with various structures including vinylidene (Vd), and di and three-substituted vinylene (2Vn, 3Vn) structures.     

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.     

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.     

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...     

Synthesis and characterization of (poly (N-vinyl formamide)—pregelled starch—graft copolymer

Bromate / cyclohexanone redox system was investigated as a novel initiator for graft copolymerization of N-vinyl formamide onto pregelled starch. A number of variables in the grafting reaction were investigated including N-vinyl formamide, cyclohexanone, bromate ion, sulphuric acid and pregelled starch concentrations, material to liquor ratio along with polymerization time and temperature. The graft copolymers were evaluated in terms of graft yield, graft reaction efficiency and homopolymer formation (%). The optimum conditions for grafting of N-vinyl formamide onto pregelled starch are: N-vinyl formamide 50% based on weight of substrate, cyclohexanone 15 mmol / l, bromate ion, 30 mmol / l, liquor ratio 10, pH 6, time 120 min., and temperature 40°C. On the other hand, characterizations of the resultant copolymers with respect to swelling capacity, solubility %, metal ion up-take and suitability as a sizing agent for cotton textiles were investigated. The results obtained reflect that, the resultant copolymer shows better results for the aforementioned properties in comparison with that obtained from native pregelled starch as a starting substrate.     

Two-step purification strategy for enhanced recovery of recombinant hepatitis B surface antigen from Pichia pastoris

Univariate screening on factors affecting the purification performance of recombinant hepatitis B surface antigen (HBsAg) on ion exchange chromatography (IEC) and size exclusion chromatography (SEC) and the establishment of a two-step purification strategy were performed. Amongst four IEC adsorbents examined, the use of Q Sepharose XL IEC adsorbent under optimized conditions together with optimized SEC purification was able to efficiently purify HBsAg. An established purification strategy comprising the two techniques further demonstrated adaptability for scale-up operations with a final total purification factor (PF) of 94.82 ± 16.20, HBsAg purity of 95.48% and recovery yield of 78.07%.     

Poly1‐hexene: New impact modifier in HIPS technology

Poly1‐hexene was prepared using a conventional heterogeneous Ziegler–Natta catalyst and its stereoregularity was characterized using ¹³C‐NMR analysis. New kind of high impact polystyrene (HIPS) was prepared by radical polymerization of styrene in the presence of different amounts of synthesized poly1‐hexene (PH) as impact modifier (HIPS/PH) and compared with conventional high impact polystyrene with polybutadiene (HIPS/PB) as rubber phase. Scanning electron microscopy (SEM) revealed that the dispersion of poly1‐hexene in polystyrene matrix was more uniform compared with it in HIPS/PB. The impact strength of HIPS/PH was 29–79% and 80–289% higher than that in HIPS/PB and neat polystyrene, respectively. FTIR was used to confirm more durability of HIPS/PH samples toward ozonation. To study the effect of rubber type and amount on the T_gs of polystyrene, differential scanning calorimetry was employed. Results obtained from TGA demonstrated higher thermal stability of HIPS/PH sample in comparison with conventional HIPS/PB one. Our obtained results suggest new high impact polystyrene that in all studied aspects has better performance than the conventional HIPS. © 2016 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43882.     

Effect of processing on the composition and oxidative stability of coconut oil

The effect of various processing procedures on the composition and oxidative stability of coconut oil has been studied. The crude oil is relatively stable but major reductions in oxidative stability occur during the bleaching of oil degummed with phosphoric acid; during alkali refining; during the deodorization of oil degummed with citric acid and bleached; and during the deodorization of oil processed with a combined phosphoric acid degumming and bleaching operation. The reasons for the loss of oxidative stability during processing are discussed with reference to changes in the composition of the oil. Residual traces of citric acid or phosphoric acid play an important role in stabilizing processed oils. The tocopherol content is also important, although no additional stabilization of the oil occurs on adding levels of tocopherol above those present naturally in the crude oil. A combined phosphoric acid degumming and bleaching process leads to smaller losses of tocopherols than sequential treatments.