检索结果-南通市图书馆

SeVe： automatic tool for verification of security protocols

Frontiers of Computer Science 2012年第1期6卷 57-75页

作者： Anh Tuan LUU Jun SUN Yang LIU Jin Song DONG Xiaohong LI thanh tho quan School of Computing National University of Singapore Singapore 119077 Singapore School of Computing Singapore University of Technology and Design Singapore 138682 Singapore Department of Computer Science Tianjin University Tianjin 300222 China Department of Computer Science HoChiMinhCity University of Technology HoChiMinh City 162903 Vietnam

Security protocols play more and more important roles with wide use in many applications nowadays. Cur- rently, there are many tools for specifying and verifying secu- rity protocols such as Casper/FDR, ProVerif, or AVISPA. In these tools, the intruder＇s ability, which either needs to be specified explicitly or set by default, is not flexible in some circumstances. Moreover, whereas most of the existing tools focus on secrecy and authentication properties, few supports privacy properties like anonymity, receipt freeness, and coer- cion resistance, which are crucial in many applications such as in electronic voting systems or anonymous online transac- tions. In this paper, we introduce a framework for specifying security protocols in the labeled transition system （LTS） se- mantics model, which embeds the knowledge of the par- ticipants and parameterizes the ability of an attacker. Us- ing this model, we give the formal definitions for three types of privacy properties based on trace equivalence and knowledge reasoning. The formal definitions for some other security properties, such as secrecy and authentica- tion, are introduced under this framework, and the veri- fication algorithms are also given. The results of this pa- per are embodied in the implementation of a SeVe mod- ule in a process analysis toolkit （PAT） model checker, which supports specifying, simulating, and verifying se- curity protocols. The experimental results show that a SeVe module is capable of verifying many types of secu- rity protocols and complements the state-of-the-art securityverifiers in several aspects. Moreover, it also proves the abil- ity in building an automatic verifier for security protocols re- lated to privacy type, which are mostly verified by hand now.

关键词： security protocols model checking processanalysis toolkit (PAT) authentication secrecy privacy

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Anti-inflammatory effects of Solanum procumbens on a low dose complete Freund's adjuvant-induced arthritis rat model

引用

Asian Pacific Journal of Tropical Biomedicine 2023年第5期13卷 214-221页

作者： Xuan-Hai Do Trong Nghia Nguyen thanh Chung Dang Thi thanh Mai Nguyen Trung Nhan Nguyen Van Nhat Truong Do Huu tho Le Xuan Hai Nguyen Hoang Phu Dang Giang-Linh Nguyen Dinh-Khanh Hoang Van-quan Le Van-Mao Can Department of Practical and Experimental Surgery Vietnam Military Medical UniversityHanoi 10000Vietnam Department of Reconstructive and Microsurgery Craniofacial and Reconstructive Surgery CentreMilitary Central Hospital 108Hanoi 10000Vietnam Department of Anatomic Pathology Military Hospital 103Vietnam Military Medical UniversityHanoi 10000Vietnam Faculty of Chemistry University of ScienceVietnam National University Ho Chi Minh CityHo Chi Minh City 70000Vietnam Faculty of Medicine University of Medicine and PharmacyVietnam National UniversityHanoi 10000Vietnam Department of Ultrasound Imaging Diagnostics CentreMilitary Hospital 103Vietnam Military Medical UniversityHanoi 10000Vietnam Department of Functional Diagnostics Military Hospital 103Vietnam Military Medical UniversityHanoi 10000Vietnam Department of Pathophysiology Vietnam Military Medical UniversityHanoi 10000Vietnam

Objective:To investigate the anti-inflammatory and analgesic effects of Solanum procumbens on complete Freund’s adjuvantinduced arthritis rat ***:We isolated and identified five compounds in the ethanolsoluble Solanum procumbens extract(SP)with anti-inflammatory effects,including ursolic acid,β-sitosterol,hexadecanoic acid,cisvaccenic acid,and vanillic ***,we investigated the anti-inflammatory effects of SP on rheumatoid arthritis symptoms,including paw volumes,local temperatures,withdrawal latency,and mechanical withdrawal threshold at the hind paw and white blood cell(WBC)number from complete Freund’s adjuvant-induced arthritis rat ***:We have successfully established a complete Freund’s adjuvant-induced arthritis rat model at a low dose(1 mg/mL).SP extract significantly reduced paw volumes(P<0.05),prolonged withdrawal latencies(P<0.05),decreased local temperature,and increased the mechanical withdrawal threshold(P<0.05),but only SP extract at the dose of 300 mg/kg significantly decreased WBC ***:SP extract could be a potential medication candidate with anti-inflammatory effects for arthritis,but it requires further investigation into the mechanism of the SP and its effectiveness on other models as well as clinical trials.

关键词： Solanum procumbens Arthritis Anti-inflammation Complete Freund's adjuvant Rats

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The Roles of Female Involvement and Risk Aversion in Open Access Publishing Patterns in Vietnamese Social Sciences and Humanities

引用

Journal of Data and Information Science 2022年第1期7卷 76-96页

作者： Minh-Hoang Nguyen Huyen thanh thanh Nguyen Manh-Toan Ho Tam-Tri Le quan-Hoang Vuong Centre for Interdisciplinary Social Research Phenikaa UniversityYen Nghia WardHa Dong DistrictHanoi 100803Vietnam

Purpose:The open-access(OA)publishing model can help improve researchers’outreach,thanks to its accessibility and visibility to the ***,the presentation of female researchers can benefit from the O A publishing *** that,little is known about how gender affects OA ***,the current study explores the effects of female involvement and risk aversion on OA publishing patterns among Vietname se social sciences and ***/methodology/approach:The study employed Bayesian Mindsponge Framework(BMF)on a dataset of 3,122 Vietnamese social sciences and humanities(SS&H)publications during *** Mindsponge mechanism was specifically used to construct theoretical models,while Bayesian inference was utilized for fitting ***:The result showed a positive association between female participation and OA publishing ***,the positive effect of female involvement on OA publishing probability was negated by the high ratio of female researchers in a *** status was negatively associated with the JIF of the journal in which the publication was published,but the relationship was moderated by the involvement of a female researcher(s).The findings suggested that Vietnamese female researchers might be more likely to publish under the OA model in journals with high JIF for avoiding the risk of public *** limitations:The study could only provide evidence on the association between female involvement and OA publishing ***,whether to publish under OA terms is often determined by the first or corresponding authors,but not necessarily *** implications:Systematically coordinated actions are suggested to better support women and promote the OA movement in ***/value:The findings show the OA publishing patterns of female researchers in Vietnamese SS&H.

关键词： Open science Gender inequality Risk-aversion Vietnam Bayesian analysis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Spatiotemporal Trend Analysis of Precipitation Extremes in Ho Chi Minh City, Vietnam During 1980–2017

引用

International Journal of Disaster Risk Science 2021年第1期12卷 131-146页

作者： Nguyen Trong quan Dao Nguyen Khoi Nguyen Xuan Hoan Nguyen Ky Phung thanh Duc Dang Faculty of Environmental and Food Engineering Nguyen Tat Thanh UniversityHo Chi Minh City 700000Vietnam Faculty of Environment University of ScienceHo Chi Minh City 700000Vietnam Vietnam National University Ho Chi Minh City 700000Vietnam Ho Chi Minh City University of Food Industry Ho Chi Minh City 700000Vietnam Institute for Computational Science and Technology Ho Chi Minh City 700000Vietnam Engineering Systems and Design Pillar Singapore University of Technology and DesignTampines 487372Singapore

In this study,the spatiotemporal variability of trends in extreme precipitation events in Ho Chi Minh City during the period 1980–2017 was analyzed based on several core extreme precipitation indices(Rx1 day,Rx5 day,CDD,CWD,R20 mm,R25 mm,R95 p,and SDII).The nonparametric Mann–Kendall and Sen’s slope methods were used to compute the statistical strength,stability,and magnitude of trends in annual rainfall,as well as the extreme precipitation *** found that 64%of the stations had statistically significant upward trends in yearly rainfall,with high magnitudes frequently observed in the northern and southern regions of the *** the extreme precipitation indices,only SDII and R25 mm showed dominantly significant ***,there were increasing trends in the frequency and duration at the southern and central regions of the city during the study ***,El Ni?o-Southern Oscillation and Pacific Decadal Oscillation positively correlated with the duration and negatively correlated with the intensity and frequency of extreme ***,water management plans should be adjusted appropriately to reduce the severe impacts of precipitation extremes on communities and ecosystems.

关键词： Spatiotemporal trend Extreme precipitation Extreme precipitation indices Ho Chi Minh City

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Particle Size Effect on Shear Properties of Bottom Ash Added-Geocomposite Soil

引用

Journal of Civil Engineering and Architecture 2011年第8期5卷 748-753页

作者： Do thanh Hai Tran Xuan tho Department of Geotechnical Engineering Faculty of Civil Engineering Ho Chi Minh City University of Technology Vietnam

It is well known that the finer particle of cementing material has more pozzolanic reaction than the coarser. This paper investigates the shear properties of geocomposite soil with various particle sizes of bottom ash. The geocomposite soil （GCS） in this study consists of dredged soil, bottom ash and cement for recycling dredged soil and bottom ash. Three different particle sizes of bottom ash passing No. 4 sieve, No. 40 sieve, and No. 140 sieve were added into soil mixtures, namely as GCS 4, GCS 40, and GCS 140, respectively. These bottom ashes have the same chemical component except for different particle sizes. Several mixtures were prepared with various contents of bottom ash ranging from 0 to 100% at 50% intervals by the weight of dry dredged soil. In this study, several series of unconfined compression test were carried out on the mixtures with various curing times. It is found that the unconfined compressive strength is a function of curing time and bottom ash content. For the curing time less than 28 days, the GCS 4 has higher unconfined compressive strength than the GCS 40 and GCS 140 due to the interlocking effect and friction between the particles with angular shape of coarse bottom ash. For the curing time larger than 28 days, the GCS 140 has higher strength due to the pozzolanic reaction. However, the ratios of secant modulus to unconfined compressive strength of three mixtures are almost the same, and in range of （46-100）, regardless of mixing condition and curing time.

关键词： Bottom ash particle size unconfined compressive strength shear strength.

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A Multinational Data Set of Game Players' Behaviors in a Virtual World and Environmental Perceptions

引用

Data Intelligence 2021年第4期3卷 606-629页

作者： quan-Hoang Vuong Manh-Toan Ho Viet-Phuong La Tam-Tri Le thanh Huyen T.Nguyen Minh-Hoang Nguyen Centre for Interdisciplinary Social Research Phenikaa UniversityYen Nghia WardHa Dong DistrictHanoi 100803Vietnam A.I.for Social Data Lab Vuong&AssociatesDong Da DistrictHanoi 100000Vietnam

Video gaming has been rising rapidly to become one of the primary entertainment media,especially during the COVID-19 *** video games has been reported to associate with many psychological and behavioral ***,little is known about the connections between game players’behaviors in the virtual environment and environmental ***,the current data set offers valuable resources regarding environmental worldviews and behaviors in the virtual world of 640 Animal Crossing:New Horizons(ACNH)game players from 29 countries around the *** data set consists of six major categories:1)socio-demographic profile,2)COVID-19 concern,3)environmental perception,4)gameplaying habit,5)in-game behavior,and 6)game-playing *** making this data set open,we aim to provide policymakers,game producers,and researchers with valuable resources for understanding the interactions between behaviors in the virtual world and environmental perceptions,which could help produce video games in compliance with the United Nations(UN)Sustainable Development Goals.

关键词： Environmental psychology Virtual environment Game-playing behaviors Multinational UN compliance design

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Data Collection on Secondary School Students’STEM Performance and Reading Practices in an Emerging Country

引用

Data Intelligence 2021年第2期3卷 336-356页

作者： quan-Hoang Vuong Viet-Phuong La Manh-Toan Ho thanh-Hang Pham Thu-Trang Vuong Ha-My Vuong Minh-Hoang Nguyen Centre for Interdisciplinary Social Research Phenikaa UniversityYen Nghia WardHa Dong DistrictHanoi 100803Vietnam A.I.for Social Data Lab Vuong&AssociatesDong Da DistrictHanoi 100000Vietnam School of Business and Management RMIT Vietnam UniversityHanoi 100000Vietnam

Science,technology,engineering,and mathematics(STEM)education has become a critical factor in promoting sustainable ***,book reading is still an essential method for cognitive development and knowledge *** developing countries where STEM teaching and learning resources are limited,book reading is an important educational tool to promote ***,public data sets about STEM education and book reading behaviors in emerging countries are *** article,therefore,aims to present a data set of 4,966 secondary school students from a school-based data collection in *** data set comprises of five major categories:1)students’personal information(including STEM performance),2)family-related information,3)book reading preferences,4)book reading frequency/habits,and 5)classroom *** introducing the designing principles,the data collection method,and the variables in the data set,we aim to provide researchers,policymakers,and educators with well-validated resources and guidelines to conduct low-cost research,pedagogical programs in emerging countries.

关键词： STEM education Socio-economic status Book reading Emerging country Students

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Novel Deletion in Exon 7 of Betaine Aldehyde Dehydrogenase 2(BADH2)

引用

Rice science 2023年第2期30卷 104-112,I0020-I0030页

作者： VAN Quoc Giang HUYNH Ky NGUYEN Chau thanh Tung NGUYEN Loc Hien NGUYEN van Manh NGUYEN Nhut thanh VO Cong thanh SWEE Keong Yeap College of Agriculture Can Tho UniversityCan Tho 92000Vietnam Department of Sciences and Technology of Long An Province Long An 850000Vietnam China-Association of Southeast Asian Nations College of Marine Sciences Xiamen University MalaysiaSepang 49000SelangorMalaysia

The fragrance of rice is one of the premium characteristics that breeders want to include in rice varieties due to the higher market value. Nucleotide deletions in exons 2(7 bp) and 7(8 bp) of Betaine Aldehyde Dehydrogenase 2(BADH2) are associated with fragrance in rice. In this study, a new 13 bp deletion in exon 7 of the BADH2 gene was discovered in the Nang thom Cho Dao(NTCD) variety, and the mutation has been closely related to the genetic background of indica subspecies through the Bayesian phylogenetic approach and haplotype network analysis of the 3 000 Rice Genomes Project. In addition, a set of functional markers(EX07-13F, EX07-13RN, and EX07-13RM) identified the 13 bp deletion only within NTCD(no amplified band) compared with both non-aromatic and other aromatic rice varieties(110 bp band). The deletion of 13 bases instead of 8 bases in exon 7 of BADH2 caused a premature stop codon, which down-regulated the expression of the BADH2 transcript while associated with up-regulation of OsP5CS and the high amount of 2-acetyl-1-pyrroline. It is potential to use the deletion in exon 7 of the BADH2 gene as a novel marker for adulteration and breeding of fragrant rice varieties, particularly for NTCD.

关键词： novel deletion BADH2 fragrant rice functional marker

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Effects of NaOH Concentrations on Properties of the Thermal Power Plant Ashes-Bricks by Alkaline Activation

引用

Journal of Wuhan University of Technology(Materials Science) 2020年第1期35卷 131-139页

作者： Ngo Si-Huy Le Thi thanh-Tam Huynh Trong-Phuoc Department of Engineering and Technology Hong Duc UniversityNo.565Quang Trung StreetDong Ve WardThanh Hoa City 440000Viet Nam Department of Rural Technology College of Rural DevelopmentCan Tho UniversityCampus II3/2 StreetNinh Kieu DistrictCan Tho City 900000Viet Nam

The use of the thermal power plant ashes including fly ash(FA) and bottom ash(BA) for producing unfired building bricks(UBB) using sodium hydroxide(NaOH) solution as an alkaline activator was investigated. A low applied forming pressure of 0.5 MPa and various NaOH concentrations of 5, 8, 10, and 12 M were used for the preparation of brick samples with different solution-to-binder(S/B) ratios of 0.35 and 0.40. The bricks were subjected to various test programs with reflecting the effect of both NaOH concentrations and S/B ratios on the brick’s properties. The compressive strength, unit weight, ultrasonic pulse velocity, and thermal conductivity of bricks increased with increasing NaOH concentration, whereas the contrary trend was found with increasing S/B ratio. Also, the water absorption of bricks was observed to reduce with increasing NaOH concentration and decreasing S/B ratio. As the results, the combined utilization of both low forming pressure and coal power plant ashes can produce the UBBs with low unit weight, low heat conductivity, and acceptable strength and water absorption rate as stipulated by TCVN 6477-2016. Furthermore, the outcomes of chemical analysis and microstructure observation also demonstrate that a high concentration of the Na OH promoted the geopolymerization process. Notably, the use of NaOH solution of either 10 M or above is recommended for the production of UBBs, which are classified as grade M5.0 or higher.

关键词： unfired building brick fly ash bottom ash thermal power plant ashes sodium hydroxide solution low forming pressure

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Controllers Design for the Multi-Shuttle and Multi-Station Transportation System

引用

Open Journal of Applied Sciences 2021年第8期11卷 946-965页

作者： Tien Dong Ha Minh Tien Trinh Tran thanh Cong Vu Tuong quan Vo Faculty of Mechanical Engineering Ho Chi Minh City University of Technology VNU-HCM Viet Nam

Nowadays, the Multi-Shuttle and Multi-Station Transportation System (MMTS) is one of the most interesting research topics in many fields of industries. It is an effective solution to reduce unexpected accidents that occur during transportation as well as increase productivity in manufacturing. The aim of this paper is to introduce the controller design for the MMTS which is built in our BK-Recme BioMech Lab at Ho Chi Minh City University of Technology (VNU-HCM), Viet Nam. Based on the design of this system, the control algorithms will be conducted to check the operation of the whole system. To evaluate the feasibility and effectiveness of this model, we design a series of random instances for different quantities of nodes as well as the different quantities of shuttles. Our system includes 4 stations and 6 shuttles which are assembled in the serial chain system. However, the number of stations and number of shuttles can be expanded to any desired ones which are based on the requirement of the industries. In this paper, we mainly focus on the controller design of this system to make it operate in an effective way that the goods will be transported and delivered to the target station as fast as possible. In order to solve the large-scale instances and realistic transport problems, we propose three algorithms for three progresses as shuttles calling, path reading and shuttles communicating. The shuttles calling is to decide which shuttle should be called to the start-node. Path reading to determine the shortest way to go from start-node to end-node. Finally, shuttles co

关键词： Multi-Station Multi-Shuttle Transportation Shuttle Calling RFID Communicating Start-Node End-Node

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：