检索结果-内蒙古大学图书馆

Investigation of cavitation bubble collapse in hydrophobic concave using the pseudopotential multi-relaxation-time lattice Boltzmann method

引用

Chinese Physics B 2021年第4期30卷 333-341页

作者： Minglei Shan Yu Yang Xuemeng Zhao Qingbang Han Cheng Yao Jiangsu Key Laboratory of Power Transmission and Distribution Equipment Technology Hohai UniversityChangzhou 213022China College of Computer and Information Hohai UniversityNanjing 210000China

The interaction between cavitation bubble and solid surface is a fundamental topic which is deeply concerned for the utilization or avoidance of cavitation *** complexity of this topic is that the cavitation bubble collapse includes many extreme physical phenomena and variability of different solid surface *** the present work,the cavitation bubble collapse in hydrophobic concave is studied using the pseudopotential multi-relaxation-time lattice Boltzmann model(MRT-LB).The model is modified by involving the piecewise linear equation of state and improved forcing *** fluid-solid interaction in the model is employed to adjust the wettability of solid ***,the validity of the model is verified by comparison with experimental results and grid-independence ***,the cavitation bubble collapse in a hydrophobic concave is studied by investigating density field,pressure field,collapse time,and jet *** superimposed effect of the surface hydrophobicity and concave geometry is analyzed and explained in the framework of the pseudopotential *** study shows that the hydrophobic concave can enhance cavitation effect by decreasing cavitation threshold,accelerating collapse and increasing jet velocity.

关键词： cavitation bubble hydrophobic concave lattice Boltzmann model pseudopotential model

来源：评论

学校读者我要写书评

暂无评论

Minimum length key in MST cryptosystems

引用

Science China(information Sciences) 2017年第5期60卷 142-152页

作者： Haibo HONG Licheng WANG Haseeb AHMAD Yixian YANG Zhiguo QU School of Computer Science and Information Engineering Zhejiang Gongshang University Information Security Center State Key Laboratory of Networking and Switching TechnologyBeijing University of Posts and Telecommunications Jiangsu Engineering Center of Network Monitoring Nanjing University of Information Science & Technology

As a special factorization category of finite groups, logarithmic signature(LS) is used as the main component of cryptographic keys that operate within secret key cryptosystems such as PGM and public key cryptosystems like M ST1, M ST2 and M ST3. An LS with the shortest length is called a minimal logarithmic signature(MLS) that constitutes of the smallest sized blocks and offers the lowest complexity, and is therefore desirable for cryptographic constructions. However, the existence of MLSs for finite groups should be firstly taken into an account. The MLS conjecture states that every finite simple group has an MLS. If it holds, then by the consequence of Jordan-H¨older Theorem, every finite group would have an MLS. In fact, many cryptographers and mathematicians are keen for solving this problem. Some effective work has already been done in search of MLSs for finite groups. Recently, we have made some progress towards searching a minimal length key for MST cryptosystems and presented a theoretical proof of MLS conjecture.

关键词： MLS conjecture finite groups (minimal) logarithmic signature minimum length key MST cryp tosystems

来源：评论

学校读者我要写书评

暂无评论

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic

引用

Frontiers of computer Science 2016年第4期10卷 717-725页

作者： Cungen CAO Yuefei SUI Zaiyue ZHANG Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Department of Computer Science Jiangsu University of Sciences and Technology Zhenjiang 212003 China

Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program α induces an M-computable function fα M on the universe of M; and the M-recursive functions are defined on M. It will be proved that the class of all the M-computable functions fα M induced by programs is equal to the class of all the M- recursive functions. Moreover, each M-recursive function is ∑ 1 NM -definable in M, where the universal quantifier is a num- ber quantifier ranging over the standard part of a nonstandard model M.

关键词： Hoare logic recursive ：Function computable function nonstandard model of Peano arithmetic

来源：评论

学校读者我要写书评

暂无评论

An Integration Testing Framework and Evaluation Metric for Vulnerability Mining Methods

引用

China Communications 2018年第2期15卷 190-208页

作者： Jin Li Jinfu Chen Minhuan Huang Minmin Zhou Wanggen Xie Zhifeng Zeng Shujie Chen Zufa Zhang National key laboratory of science and technology on information system security Beijing institute of system engineering School of Computer Science and Communication Engineering Jiangsu University

Software an important way to vulnerability mining is detect whether there are some loopholes existing in the software, and also is an important way to ensure the secu- rity of information systems. With the rapid development of information technology and software industry, most of the software has not been rigorously tested before being put in use, so that the hidden vulnerabilities in software will be exploited by the attackers. Therefore, it is of great significance for us to actively de- tect the software vulnerabilities in the security maintenance of information systems. In this paper, we firstly studied some of the common- ly used vulnerability detection methods and detection tools, and analyzed the advantages and disadvantages of each method in different scenarios. Secondly, we designed a set of eval- uation criteria for different mining methods in the loopholes evaluation. Thirdly, we also proposed and designed an integration testing framework, on which we can test the typical static analysis methods and dynamic mining methods as well as make the comparison, so that we can obtain an intuitive comparative analysis for the experimental results. Final- ly, we reported the experimental analysis to verify the feasibility and effectiveness of the proposed evaluation method and the testingframework, with the results showing that the final test results will serve as a form of guid- ance to aid the selection of the most appropri- ate and effective method or tools in vulnera- bility detection activity.

关键词： software vulnerability detection loopholes information security evaluationmethod testing framework

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Structures on Multigranulation Spaces

引用

Journal of computer Science & technology 2012年第6期27卷 1169-1183页

作者：杨习贝钱宇华杨静宇 School of Computer Science and Engineering Jiangsu University of Science and Technology School of Computer Science and Technology Nanjing University of Science and Technology Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education School of Computer and Information Technology Shanxi University

Though many hierarchical structures have been proposed to analyze the finer or coarser relationships between two granulation spaces, these structures can only be used to compare the single granulation spaces. However, it should be noticed that the concept of multigranulation plays a fundamental role in the development of granular computing. Therefore, the comparison between two multigranulation spaces has become a necessity. To solve such problem, two types of the multigranulation spaces are considered： one is the partition-based multigranulation space, the other is the covering-based multigranulation space. Three different hierarchical structures are then proposed on such two multigranulation spaces, respectively. Not only the properties about these hierarchical structures are discussed, but also the relationships between these hierarchical structures and the multigranulation rough sets are deeply investigated. It is shown that the first hierarchical structure is consistent with the monotonic varieties of optimistic multigranulation rough set, and the second hierarchical structure is consistent to the monotonic varieties of pessimistic multigranulation rough set, the third hierarchical structure is consistent to the monotonic varieties of both optimistic and pessimistic multigranulation rough sets.

关键词： hierarchical structure multicovering rough set multigranulation rough set multigranulation space

来源：评论

学校读者我要写书评

暂无评论

Dual-Mode Resonant Sectorial Monopole Antenna with Stable Backfire Gain

引用

Chinese Journal of Electronics 2024年第6期33卷 1478-1486页

作者： Feiyan JI Heng ZHANG Xiuqiong XING Wenjun LU Lei ZHU Jiangsu Key Laboratory of Wireless Communications Nanjing University of Posts and Telecommunications Key Laboratory of Wireless Sensor Network & Communication Shanghai Institute of Microsystem and Information Technology Chinese Academy of Sciences Department of Electrical and Computer Engineering Faculty of Science and Technology University of Macau

A novel design approach to wideband, dual-mode resonant monopole antenna with stable, enhanced backfire gain is advanced. The sectorial monopole evolves from a linear, 0.75-wavelength electric prototype monopole under wideband dual-mode resonant operation. As theoretically predicted by the two resonant modes TE3/5,1and TE9/5,1within a 150° radiator, the operation principle is revealed at first. As have been numerically demonstrated and experimentally validated at 2.4-GHz band, the designed antenna exhibits a wide impedance bandwidth over 90.1%（i.e., 2.06–5.44 GHz）, in which the stable gain bandwidth in the backfire,-x-direction（θ = 90°, φ = 180°） with peak value of 3.2 dBi and fluctuation less than 3 dB is up to 45.3%（i.e., 3.74–5.44 GHz）. It is concluded that the stable wideband backfire gain frequency response should be owing to the high-order resonant mode in the unique sectorial monopole antennas.

关键词： Fluctuations Azimuth Prototypes Metals Resonance Frequency measurement Broadband antennas Impedance Gain Wideband

来源：评论

学校读者我要写书评

暂无评论

Modeling curve dynamics and spatial geometry characteristics of rice leaves

引用

Journal of Integrative Agriculture 2017年第10期16卷 2177-2190页

作者： ZHANG Yong-hui TANG Liang LIU Xiao-jun LIU Lei-lei CAO Wei-xing ZHU Yan Computer Engineering School Weifang University National Engineering and Technology Center for Information Agriculture/Key Laboratory for Crop System Analysis and Decision Making Ministry of Agriculture/Jiangsu Key Laboratory for Information Agriculture/Jiangsu Collaborative Innovation Center for Modern Crop Production/Nanjing Agricultural University

The objective of this work was to develop a dynamic model for describing leaf curves and a the rice leaf （including sub-models for unexpanded leaf blades, expanded leaf blades, and dimensional （3D） dynamic visualization of rice leaves by combining relevant models detailed spatial geometry model of leaf sheaths）, and to realize three- Based on the experimental data of different cultivars and nitrogen （N） rates, the time-course spatial data of leaf curves on the main stem were collected during the rice development stage, then a dynamic model of the rice leaf curve was developed using quantitative modeling technology. Further, a detailed 3D geometric model of rice leaves was built based on the spatial geometry technique and the non-uniform rational B-spline （NURBS） method. Validating the rice leaf curve model with independent field experiment data showed that the average distances between observed and predicted curves were less than 0.89 and 1.20 cm at the tilling and jointing stages, respectively. The proposed leaf curve model and leaf spatial geometry model together with the relevant previous models were used to simulate the spatial morphology and the color dynamics of a single leaf and of leaves on the rice plant after different growing days by 3D visualization technology. The validation of the leaf curve model and the results of leaf 3D visualization indicated that our leaf curve model and leaf spatial geometry model could efficiently predict the dynamics of rice leaf spatial morphology during leaf development stages. These results provide a technical support for related research on virtual rice.

关键词： rice morphological models leaf geometry characteristics virtual plant

来源：评论

学校读者我要写书评

暂无评论

Load Balanced Coding Aware Multipath Routing for Wireless Mesh Networks

引用

Chinese Journal of Electronics 2015年第1期24卷 8-12页

作者： SHAO Xing WANG Ruchuan HUANG Haiping SUN Lijuan College of Computer Nanjing University of Posts and Telecommunications College of Information Engneering Yancheng Institutue of Technology Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks Key Lab of Broadband Wireless Communication and Sensor Network Technology

The growth of network coding opportunities is considered the unique optimization goal by most current network coding based routing algorithms for wireless mesh networks. This usually results in flows aggregation problem in areas with coding opportunities, and degrades the network performance. This paper proposes a Load balanced coding aware multipath routing(LCMR)for wireless mesh networks. To facilitate the evaluation of discovered multiple paths and the tradeoffs between coding opportunity and load balancing, a novel routing metric, Load balanced coding aware routing metric(LCRM) is presented, which considers the load degree of nodes when detects coding opportunities. LCMR could spread traffic over multipath to further balance load. Simulation results demonstrate that LCMR could evenly spread the traffic over the network with increasing network throughput in a heavy load at the expense of some coding opportunities.

关键词： Load balanced Coding aware Multipath Routing Wireless mesh networks.

来源：评论

学校读者我要写书评

暂无评论

Enhancing Interest Forwarding for Fast Recovery from Unanticipated Data Access Failure in NDN

引用

China Communications 2019年第7期16卷 120-130页

作者： Xiaoyan Hu Xuhui Liu Lixia Zhao Jian Gong Guang Cheng School of Cyber Science & Engineering Southeast University Nanjing 211189 China Key Laboratory of Computer Network and Information Integration of Ministry of Education Southeast University Nanjing China Key Laboratory of Computer Network Technology of Jiangsu Province Nanjing China

We show that an aggregated Interest in Named Data Networking (NDN) may fail to retrieve desired data since the Interest previously sent upstream for the same content is judged as a duplicate one and then dropped by an upstream node due to its multipath forwarding. Furthermore, we propose NDRUDAF, a NACK based mechanism that enhances the Interest forwarding and enables Detection and fast Recovery from such Unanticipated Data Access Failure. In the NDN enhanced with NDRUDAF, the router that aggregates the Interest detects such unanticipated data access failure based on a negative acknowledgement from the upstream node that judges the Interest as a duplicate one. Then the router retransmits the Interest as soon as possible on behalf of the requester whose Interest is aggregated to fast recover from the data access failure. We qualitatively and quantitatively analyze the performance of the NDN enhanced with our proposed NDRUDAF and compare it with that of the present NDN. Our experimental results validate that NDRUDAF improves the system performance in case of such unanticipated data access failure in terms of data access delay and network resource utilization efficiency at routers.

关键词： named data networking interest aggregation multipath forwarding data access failure negative acknowledgement

来源：评论

学校读者我要写书评

暂无评论

An Improvement of Coherent Semantic Attention for Image Inpainting 1

引用

6th International Conference on Artificial Intelligence and Security,ICAIS 2020

作者： Wang, Weiqing Gu, Enming Fang, Wei School of Computer & Software Jiangsu Engineering Center of Network Monitoring Nanjing University of Information Science and Technology Nanjing China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Jiangsu Key Laboratory of Computer Information Process Technology SooChow University Suzhou China

ISBN: (数字)9789811580833

ISBN: (纸本)9789811580826

In some image restoration algorithms of the past, they often do not consider the continuity between pixels, and the internal features of the hole region. The mapping to the image semantically does not take into account the continuity of the feature, resulting in the color of the fault. Or the deformation of the edge contour of the image. In some of the current popular algorithms and models, we can clearly see the color faults and artificial repair traces from their repair results. These discontinuities are mainly because these methods ignore the semantic relevance and feature continuity of the hole region. Therefore, if we want to get a better image repair effect. We have to improve on semantic relevance and feature continuity. We validated the effectiveness of our proposed method in image restoration tasks on the CelebA and Places2 datasets, and our results yielded a better visual experience in some images than existing methods. © 2020, Springer Nature Singapore Pte Ltd.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：