ALBERT

Description: The security of protocol implementation is important and hard to be verified. Since the penetration testing is usually based on the experience of the security tester and the specific protocol specifications, a formal and automatic verification method is always required. In this paper, we propose an extended model of IOLTS to describe the legal roles and intruders of security protocol implementations, and then combine them together to generate the suitable test cases to verify the security of protocol implementation.

Description: In this paper we investigate further properties of fuzzy ideals of aBL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of aBL-algebra are introduced and their several properties are investigated. We give a procedure to generate a fuzzy ideal by a fuzzy set. We prove that every fuzzy irreducible ideal is a fuzzy prime ideal but a fuzzy prime ideal may not be a fuzzy irreducible ideal and prove that a fuzzy prime idealωis a fuzzy irreducible ideal if and only ifω0=1and|Im⁡(ω)|=2. We give the Krull-Stone representation theorem of fuzzy ideals inBL-algebras. Furthermore, we prove that the lattice of all fuzzy ideals of aBL-algebra is a complete distributive lattice. Finally, it is proved that every fuzzy Boolean ideal is a fuzzy Gödel ideal, but the converse implication is not true.

Description: Although Methotrexate (MTX) is an effective drug for the treatment of acute lymphoblastic leukemia (ALL), the toxicity remains a significant problem. In this prospective study, fifty-four patients with ALL were enrolled. 3 g or 5 g MTX/m2 was administered over 24 hours. Serum MTX concentrations were determined in 24, 48, and 96 hours after MTX infusion. Serum creatinine concentrations and creatinine clearance rate (CCR) were determined before and 24 and 48 hours after MTX infusion. A total of 173 courses of MTX infusion were administered. The serum creatinine concentrations did not change much after MTX infusion while the CCR was gradually decreased. MTX clearance status was independently related to CCR decrease, with the risk of 8.07 to develop renal impairment in patients with delayed MTX elimination. Serum creatinine concentration, serum creatinine ratio, CCR, and CCR ratio at 24 hours were all related to MTX elimination delay. Patients with serum creatinine level 〉35.0 μmol/L, creatinine ratio 〉1.129, or CCR

Description: Poor performance and network congestion are commonly observed in the streaming media single server system. This paper proposes a scheme to construct a streaming media server cluster system based on FFMpeg. In this scheme, different users are distributed to different servers according to their locations and the balance among servers is maintained by the dynamic load-balancing algorithm based on active feedback. Furthermore, a service redirection algorithm is proposed to improve the transmission efficiency of streaming media data. The experiment results show that the server cluster system has significantly alleviated the network congestion and improved the performance in comparison with the single server system.

Description: An attitude control strategy based on Ziegler-Nichols rules for tuning PD (proportional-derivative) parameters of quadrotor helicopters is presented to solve the problem that quadrotor tends to be instable. This problem is caused by the narrow definition domain of attitude angles of quadrotor helicopters. The proposed controller is nonlinear and consists of a linear part and a nonlinear part. The linear part is a PD controller with PD parameters tuned by Ziegler-Nichols rules and acts on the quadrotor decoupled linear system after feedback linearization; the nonlinear part is a feedback linearization item which converts a nonlinear system into a linear system. It can be seen from the simulation results that the attitude controller proposed in this paper is highly robust, and its control effect is better than the other two nonlinear controllers. The nonlinear parts of the other two nonlinear controllers are the same as the attitude controller proposed in this paper. The linear part involves a PID (proportional-integral-derivative) controller with the PID controller parameters tuned by Ziegler-Nichols rules and a PD controller with the PD controller parameters tuned by GA (genetic algorithms). Moreover, this attitude controller is simple and easy to implement.

Description: Plant phenolics can have applications in pharmaceutical and other industries. To identify and quantify the phenolic compounds in Helianthus tuberosus leaves, qualitative analysis was performed by a reversed phase high-performance liquid chromatography coupled with tandem mass spectrometry (HPLC-MS/MS) and quantitative analysis by HPLC. Ten chlorogenic acids (CGAs) were identified (3-o-caffeoylquinic acid, two isomers of caffeoylquinic acid, caffeic acid, p-coumaroyl-quinic acid, feruloylquinic acid, 3,4-dicaffeoyquinic acid, 3,5-dicaffeoylquinic acid, 1,5-dicaffeoylquinic acid, and 4,5-dicaffeoylquinic acid) by comparing their retention times, UV-Vis absorption spectra, and MS/MS spectra with standards. In addition, four other phenolic compounds, including caffeoyl glucopyranose, isorhamnetin glucoside, kaempferol glucuronide, and kaempferol-3-o-glucoside, were tentatively identified in Helianthus tuberosus leaves for the first time. The 3-o-caffeoylquinic acid (7.752 mg/g DW), 4,5-dicaffeoylquinic acid (5.633 mg/g DW), and 3,5-dicaffeoylquinic acid (4.900 mg/g DW) were the major phenolic compounds in leaves of Helianthus tuberosus cultivar NanYu in maturity. The variations in phenolic concentrations and proportions in Helianthus tuberosus leaves were influenced by genotype and plant growth stage. Cultivar NanYu had the highest concentration of phenolic compounds, in particular 3-o-caffeoylquinic acid and 4,5-dicaffeoylquinic acid compared with the other genotypes (wild accession and QingYu). Considering various growth stages, the concentration of total phenolics in cultivar NanYu was higher at flowering stage (5.270 mg/g DW) than at budding and tuber swelling stages. Cultivar NanYu of Helianthus tuberosus is a potential source of natural phenolics that may play an important role in the development of pharmaceuticals.

Description: Many authors have studied roughness on various algebraic systems. In this paper, we consider a lattice ordered effect algebra and discuss its roughness in this context. Moreover, we introduce the notions of the interior and the closure of a subset and give some of their properties in effect algebras. Finally, we use a Riesz ideal induced congruence and define a function in a lattice ordered effect algebra and build a relationship between it and congruence classes. Then we study some properties about approximation of lattice ordered effect algebras.

Description: Glucuronidation is a major metabolism process of detoxification for carcinogens, 4-(methylnitrosamino)-1-(3-pyridy)-1-butanone (NNK) and 1,2-dimethylhydrazine (DMH), of reactive oxygen species (ROS). However, intestinal E. coli   -glucuronidase (eG) has been considered pivotal to colorectal carcinogenesis. Specific inhibition of eG may prevent reactivating the glucuronide-carcinogen and protect the intestine from ROS-mediated carcinogenesis. In order to develop specific eG inhibitors, we found that 59 candidate compounds obtained from the initial virtual screening had high inhibition specificity against eG but not human G. In particular, we found that compounds 7145 and 4041 with naphthalenylidene-benzenesulfonamide (NYBS) are highly effective and selective to inhibit eG activity. Compound 4041  (μM) shows a higher inhibiting ability than compound 7145  (μM) against eG. Furthermore, the molecular docking analysis indicates that compound 4041 has two hydrophobic contacts to residues L361 and I363 in the bacterial loop, but 7145 has one contact to L361. Only compound 4041 can bind to key residue (E413) at active site of eG via hydrogen-bonding interactions. These novel NYBS-based eG specific inhibitors may provide as novel candidate compounds, which specifically inhibit eG to reduce eG-based carcinogenesis and intestinal injury.

Description: A database on238U,232Th,40K, and137Cs in surface soils was established to provide inputs for the assessment of the collective dose to the population of Vietnam and to support soil erosion studies using137Cs as a tracer. A total of 292 soil samples was taken from undisturbed sites across the territory and the concentrations of radionuclides were determined by gamma spectrometry method. The multiple regression of137Cs inventories against characteristics of sampling locations allowed us to establish the distribution of137Cs deposition density and its relationship with latitude and annual rainfall. The137Cs deposition density increases northward and varies from 178 Bq m–2to 1,920 Bq m–2. High rainfall areas in the northern and central parts of the country have received considerable137Cs inputs exceeding 600 Bq m–2, which is the maximum value that can be expected for Vietnam from the UNSCEAR global pattern. The mean activity concentrations of naturally occurring radionuclides238U,232Th, and40K are 45, 59, and 401 Bq kg–1, respectively, which entail an average absorbed dose rate in air of 62 nGy h–1, which is about 7% higher than the world average.

Description: The characteristics of firm’s expansion by differentiated products and diversified products are quite different. However, the study employing absorptive capacity to examine the impacts of different modes of expansion on performance of small solar energy firms has never been discussed before. Then, a conceptual model to analyze the tension between strategies and corporate performance is proposed to filling the vacancy. After practical investigation, the results show that stronger organizational institutions help small solar energy firms expanded by differentiated products increase consistency between strategies and corporate performance; oppositely, stronger working attitudes with weak management controls help small solar energy firms expanded by diversified products reduce variance between strategies and corporate performance.