检索结果-南通市图书馆

Chaotic Map-Based Authentication and Key Agreement Protocol with Low-Latency for Metasystem

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第3期78卷 4471-4488页

作者： guojun wang Qi Liu School of Electronics&Information Engineering Nanjing University of Information Science&TechnologyNanjing210044China Yancheng Polytechnic College Yancheng224000China Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services School of SoftwareNanjing University of Information Science and TechnologyNanjingChina

With the rapid advancement in exploring perceptual interactions and digital twins,metaverse technology has emerged to transcend the constraints of space-time and reality,facilitating remote AI-based *** this dynamic metasystem environment,frequent information exchanges necessitate robust security measures,with Authentication and Key Agreement(AKA)serving as the primary line of defense to ensure communication ***,traditional AKA protocols fall short in meeting the low-latency requirements essential for synchronous interactions within the *** address this challenge and enable nearly latency-free interactions,a novel low-latency AKA protocol based on chaotic maps is *** protocol not only ensures mutual authentication of entities within the metasystem but also generates secure session *** security of these session keys is rigorously validated through formal proofs,formal verification,and informal *** confronted with the Dolev-Yao(DY)threat model,the session keys are formally demonstrated to be secure under the Real-or-Random(ROR)*** proposed protocol is further validated through simulations conducted using VMware workstation compiled in HLPSL language and C *** simulation results affirm the protocol’s effectiveness in resisting well-known attacks while achieving the desired low latency for optimal metaverse interactions.

关键词： Metasystem authentication and key agreement chaotic map secure communication

A formal deductive system for fuzzy propositional calculus

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1997年第18期42卷 1521-1525页

作者： wang guojun Institute of Mathematics Shaanxi Normal UniversityXi’an 710062China

A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.

关键词： ∑R-tautology α-MP rule α-HS rule algebra of fuzzy formulas formal deductive system■(■) quotient algebra.

Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2005年第6期48卷 727-736页

作者： LI Bijing wang guojun Institute of Mathematics Shaanxi Normal University Xi'an 710062 China Research Center for Science Xi'an Jiaotong University Xi'an 710049 China

The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.

关键词： Lukasiewicz n-valued propositional logic truth degree limit theorem integrated truth degree

Speed and Accuracy Tradeoff for LiDAR Data Based Road Boundary Detection

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第6期8卷 1210-1220页

作者： guojun wang Jian Wu Rui He Bin Tian State Key Laboratory of Automotive Simulation and Control Jilin UniversityChangchun 130022China State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190 the Qingdao Academy of Intelligent Industries ShandongChina

Road boundary detection is essential for autonomous vehicle localization and decision-making,especially under GPS signal loss and lane *** road boundary detection in structural environments,obstacle occlusions and large road curvature are two significant ***,an effective and fast solution for these problems has remained *** solve these problems,a speed and accuracy tradeoff method for LiDAR-based road boundary detection in structured environments is *** proposed method consists of three main stages:1)a multi-feature based method is applied to extract feature points;2)a road-segmentation-line-based method is proposed for classifying left and right feature points;3)an iterative Gaussian Process Regression(GPR)is employed for filtering out false points and extracting boundary *** demonstrate the effectiveness of the proposed method,KITTI datasets is used for comprehensive experiments,and the performance of our approach is tested under different road *** experiments show the roadsegmentation-line-based method can classify left,and right feature points on structured curved roads,and the proposed iterative Gaussian Process Regression can extract road boundary points on varied road shapes and traffic ***,the proposed road boundary detection method can achieve real-time performance with an average of 70.5 ms per frame.

关键词： 3D-LiDAR autonomous vehicle object detection point cloud road boundary

Theory of (n) truth degrees of formulas in modal logic and a consistency theorem

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2009年第1期52卷 70-83页

作者： wang guojun DUAN QiaoLin Institute of Mathematics Shaanxi Normal University Xi'an 710062 China Research Center for Science Xi'an Jiaotong University Xi'an 710049 China

The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of （n） truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of （n） similarity degrees among modal formulas is proposed and the （n） modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.

关键词： modal logic (n) truth degrees consistency theorem temporal logic (n) modality similarity degrees (n) modality logic metric space,approximate reasoning

Elevated temperature endurance and creep properties of extruded 2D70 Al alloy rods

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2011年第3期30卷 310-315页

作者： wang guojun XIONG Baiqing ZHANG Yong＇an LI Zhihui State Key Laboratory of Nonferrous Metals and Processes General Research Institute for Nonferrous Metals Beijing 100088 China Northeast Light Alloy Co. Ltd. Harbin 150060 China

The elevated temperature performances of 2D70 Al alloy hot extrusion rods after two-stage homogenization and intensive deformation were studied by measuring the elevated temperature enduring strength and the creep ultimate strength. The fracture morphology of some selected samples after testing at different elevated temperatures was observed by scanning electron microscopy （SEM）. The results indicate that, as the test temperature increases, the elevated temperature enduring strength of 2D70 Al alloy decreases gradually. In a comparison between 150 C and 240 C, the notch enduring strength drops from 375 to 185 MPa and the smooth enduring strength drops from 337 to 130 MPa. Enduring strength is not sensitive to the notch. The notch sensitivity ratio （NSR） coefficient is in the range of 1.119 to 1.423 from 150 C to 240 C. The creep test results show that, as the test temperature increases from 150 C to 240 C, the creep ultimate strength of 2D70 Al alloy rods drops gradually from 312 to 117 MPa.

关键词： aluminum alloys high temperature properties strength of materials creep notched bar tensile testing

Effective Query Grouping Strategy in Clouds

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2017年第6期32卷 1231-1249页

作者： Qin Liu Yuhong Guo Jie Wu guojun wang College of Computer Science and Electronic Engineering Hunan University Changsha 410082 China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Computer Science Carleton University Ottawa ON K155B6 Ganada Department of Computer and Information Sciences Temple University Philadelphia PA 19122 U.S.A. School of Computer Science and Educational Software Guangzhou University Guangzhou 510006 China

As the demand for the development of cloud computing grows, more and more organizations have outsourced their data and query services to the cloud for cost-saving and flexibility. Suppose an organization that has a great number of users querying the cloud-deployed multiple proxy servers to achieve cost efficiency and load balancing. Given n queries, each of which is expressed as several keywords, and k proxy servers, the problem to be solved is how to classify n queries into k groups, in order to minimize the difference between each group and the number of distinct keywords in all groups. Since this problem is NP-hard, it is solved in mathematic and heuristic ways. Mathematic grouping uses a local optimization method, and heuristic grouping is based on k-means. Specifically, two extensions are provided： the first one focuses on robustness, i.e., each user obtains search results even if some proxy servers fail; the second one focuses on benefit, i.e., each user can retrieve as many files as possible that may be of interest without increasing the sum. Extensive evaluations have been conducted on both a synthetic dataset and real query traces to verify the effectiveness of our strategies.

关键词： cloud computing cost efficiency load balancing robustness benefit

Research on microstructure in as-cast 7A55 aluminum alloy and its evolution during homogenization

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2011年第6期30卷 664-668页

作者： LV Xinyu GUO Erjun LI Zhihui wang guojun The School of Materials Science and Engineering Harbin University of Science and Technology Harbin 150080 China Northeast light alloy Co. Ltd. Harbin 150060 China State Key Laboratory of Nonferrous Metals and Processes General Research Institute for Nonferrous Metals Beijing 100088 China

The microstructure of the as-cast 7A55 aluminum alloy and its evolution during homogenization were investigated by means of optical microscopy （OM）, scanning electron microscopy （SEM）, energy dispersive spectroscopy （EDS）, X-ray diffraction （XRD）, and differential scanning calorimetry （DSC） analysis. The results indicate that the microstructure of the as-cast 7A55 aluminum alloy mainly consists of the dendritic network of aluminum solid solution, Al/AIZnMgCu eutectic phases, and intermetaUic compounds MgZn2, Al2CuMg, Al7Cu2Fe, and Al23CuFe4. After homogenization at 470℃ for 48 h, Al/AlZnMgCu eutectic phases are dissolved into the matrix, and a small amount of high melting-point secondary phases were formed, which results in an increasing of the starting melting temperature of 7A55 aluminum alloy The high melting-point secondary phases were eliminated mostly when the homogenization time achieved to 72 h. Therefore, the reasonable homogenization heat treatment process for 7A55 aluminum alloy ingots was chosen as 470℃/72 h.

关键词： 7A55 aluminum alloy as-cast constituents homogenization

Effect of reduction-oxidation treatment on the properties of VSb_3W-Al_2O_3 catalyst for propane ammoxidation

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2010年第6期29卷 597-603页

作者： wang guojun ZHANG Shunhai MIAO Xiaochun GUO Yun LU Guanzhong Key Laboratory for Advanced Materials and Research Institute of Industrial Catalysis East China University of Science and TechnologyShanghai 200237China Shanghai Research Institute of Petrochemical Technology China Petroleum & Chemical CorporationShanghai 201208China

VSb3W-Al2O3 catalysts for propane ammoxidation were prepared by the conventional slurry method and new slurry method,namely,the reduction-oxidation slurry *** effect of preparation methods on the physicochemical properties of VSb3W-Al2O3 catalysts were studied by N2 adsorption,XRD,XPS and Raman spectroscopy,and their catalytic performance for the ammoxidation of propane to acrylonitrile were *** with the VSb3W-Al2O3 catalyst prepared by the conventional slurry method,the VSb3W-Al2O3 catalyst prepared by the reduction-oxidation slurry method exhibited better propane conversion and acrylonitrile *** is due to that the reduction-oxidation treatment was advantageous for obtaining low valence state vanadium and high valence state antimony to form more rutile SbVO4,which is a vital active phase for propane ammoxidation.

关键词： oxides catalysts physicochemical properties preparation method propane ammoxidation