咨询与建议

限定检索结果

文献类型

  • 411 篇 期刊文献
  • 120 篇 会议

馆藏范围

  • 531 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 350 篇 理学
    • 193 篇 数学
    • 145 篇 物理学
    • 54 篇 统计学(可授理学、...
    • 51 篇 系统科学
    • 49 篇 地球物理学
    • 38 篇 化学
    • 29 篇 生物学
    • 8 篇 大气科学
  • 317 篇 工学
    • 118 篇 计算机科学与技术...
    • 97 篇 软件工程
    • 60 篇 控制科学与工程
    • 51 篇 电气工程
    • 41 篇 力学(可授工学、理...
    • 39 篇 电子科学与技术(可...
    • 37 篇 动力工程及工程热...
    • 32 篇 信息与通信工程
    • 29 篇 化学工程与技术
    • 24 篇 仪器科学与技术
    • 22 篇 生物工程
    • 20 篇 材料科学与工程(可...
    • 15 篇 机械工程
    • 15 篇 光学工程
    • 14 篇 航空宇航科学与技...
    • 13 篇 生物医学工程(可授...
    • 12 篇 网络空间安全
    • 7 篇 核科学与技术
  • 40 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
  • 11 篇 医学
    • 10 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 5 篇 经济学
  • 5 篇 法学
  • 3 篇 教育学
  • 2 篇 农学
  • 2 篇 艺术学

主题

  • 18 篇 lattice-boltzman...
  • 18 篇 cosmic rays
  • 14 篇 navier stokes eq...
  • 12 篇 gamma rays
  • 10 篇 stochastic syste...
  • 9 篇 finite differenc...
  • 8 篇 feature extracti...
  • 7 篇 semantics
  • 6 篇 computational mo...
  • 5 篇 multiphase flows
  • 5 篇 dynamical system...
  • 5 篇 deep neural netw...
  • 5 篇 cosmology
  • 5 篇 differential equ...
  • 5 篇 matrix algebra
  • 5 篇 machine learning
  • 5 篇 laplace transfor...
  • 5 篇 training
  • 4 篇 two phase flow
  • 4 篇 deep learning

机构

  • 135 篇 school of mathem...
  • 131 篇 hubei key labora...
  • 71 篇 university of ch...
  • 65 篇 university of sc...
  • 64 篇 tianfu cosmic ra...
  • 64 篇 hebei normal uni...
  • 63 篇 state key labora...
  • 63 篇 yunnan observato...
  • 63 篇 school of physic...
  • 63 篇 center for astro...
  • 63 篇 national space s...
  • 63 篇 school of astron...
  • 62 篇 college of physi...
  • 61 篇 key laboratory f...
  • 61 篇 school of physic...
  • 61 篇 moscow institute...
  • 60 篇 institute of fro...
  • 59 篇 school of physic...
  • 56 篇 department of ph...
  • 56 篇 sun yat-sen univ...

作者

  • 62 篇 axikegu
  • 61 篇 danzengluobu
  • 54 篇 fang j.
  • 54 篇 feng c.f.
  • 54 篇 bastieri d.
  • 54 篇 jiang k.
  • 54 篇 kuleshov d.
  • 54 篇 liu d.
  • 54 篇 liu s.m.
  • 54 篇 huang d.h.
  • 54 篇 dai h.l.
  • 54 篇 guo y.q.
  • 54 篇 bao y.w.
  • 54 篇 hu h.b.
  • 54 篇 liu b.
  • 54 篇 liu h.d.
  • 54 篇 mao j.r.
  • 54 篇 fan y.z.
  • 54 篇 pattarakijwanich...
  • 53 篇 chen m.j.

语言

  • 499 篇 英文
  • 30 篇 其他
  • 2 篇 中文
检索条件"机构=Hubei Key Laboratory of Engineering Modeling and Science Computing"
531 条 记 录,以下是261-270 订阅
排序:
RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust
收藏 引用
Wuhan University Journal of Natural sciences 2020年 第2期25卷 129-138页
作者: YAN Fei WANG Qizhong ZHANG Liqiang CHEN Yasha Key Laboratory of Aerospace Information Security and Trusted Computing Ministry of EducationSchool of Cyber Science and EngineeringWuhan UniversityWuhan 430072HubeiChina Institute of Systems Engineering Academy of Military Science of theChinese People’sLiberation ArmyBeijing 100082China
Rust is a system-level programming language that provides thread and memory safety guarantee through a suite of static compiler checking rules and prevents segmentation ***,since compiler checking is too strict to con... 详细信息
来源: 评论
LMP-GAN: Out-Of-Distribution Detection For Non-Control Data Malware Attacks
收藏 引用
IEEE Transactions on Pattern Analysis and Machine Intelligence 2025年 PP卷 PP页
作者: Wood, David Kapp, David Kebede, Temesgen Hirakawa, Keigo Wuhan University School of Computer Science China Wuhan University National Engineering Research Center for Multimedia Software Hubei Key Laboratory of Multimedia and Network Communication Engineering China Zhongguancun Academy China Wuhan University State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing China Sun Yat-sen University School of Geography and Planning China Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates Chongqing University College of Computer Science China The University of Tokyo Japan RIKEN Center for Advanced Intelligence Project Japan Intelligent Science & Technology Academy Limited CASIC China iFlytek Company Ltd. National Engineering Research Center of Speech and Language Information Processing China Nanyang Technological University College of Computing & Data Science Singapore Henan Academy of Sciences Aerospace Information Research Institute China
Anomaly detection is a common application of machine learning. Out-of-distribution (OOD) detection in particular is a semi-supervised anomaly detection technique where the detection method is trained only on the inlie... 详细信息
来源: 评论
Boundary stabilization of coupled wave system with spatially-varying coefficients and internal anti-damping
Boundary stabilization of coupled wave system with spatially...
收藏 引用
第三十九届中国控制会议
作者: Xiaodan Feng Zhifei Zhang Huazhong University of Science and Technology Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology
In this paper, we consider the exponential stabilization of coupled wave equations with spatially-varying coefficients and internal anti-damping. In contrast to the previous work in the literature, the kernel equation... 详细信息
来源: 评论
Contrastive Learning for Robust Android Malware Familial Classification
收藏 引用
IEEE Transactions on Dependable and Secure computing 2022年 1-14页
作者: Wu, Yueming Dou, Shihan Zou, Deqing Yang, Wei Qiang, Weizhong Jin, Hai National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Shanghai Key Laboratory of Intelligent Information Processing School of Computer Science Fudan University Shanghai China University of Texas at Dallas Dallas USA National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China
Due to its open-source nature, Android operating system has been the main target of attackers to exploit. Malware creators always perform different code obfuscations on their apps to hide malicious activities. Feature... 详细信息
来源: 评论
Multiple-relaxation-time lattice Boltzmann method for the Navier-Stokes and nonlinear convection-diffusion equations: modeling, analysis, and elements
收藏 引用
Physical Review E 2020年 第2期102卷 023306-023306页
作者: Zhenhua Chai (柴振华) Baochang Shi (施保昌) School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan 430074 China and Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan 430074 China
In this paper, we first present a unified framework of multiple-relaxation-time lattice Boltzmann (MRT-LB) method for the Navier-Stokes and nonlinear convection-diffusion equations where a block-lower-triangular-relax... 详细信息
来源: 评论
RIPPB: A Robust and Improved PBFT Protocol for Blockchain
RIPPB: A Robust and Improved PBFT Protocol for Blockchain
收藏 引用
IEEE Conference on Industrial Electronics and Applications (ICIEA)
作者: Meng Ding Heng He Rui Qiao Xiaohu Zhou School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China School of Computing Engineering and Built Environment Birmingham City University Birmingham UK
In this paper, we propose RIPPB, a robust and improved PBFT protocol for Blockchain, to improve the quality of service for blockchain applications. At RIPPB, we introduce reputation for nodes and use reputation as the... 详细信息
来源: 评论
Spiking hierarchy in an adaptive exponential integrate-and-fire network synchronization
arXiv
收藏 引用
arXiv 2021年
作者: Wu, Xiaoyue Lin, Congping Zhang, Yiwei School of Mathematics and Statistics Huazhong University of Sciences and Technology Wuhan China Center for Mathematical Sciences Huazhong University of Science and Technology Wuhan China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan China
Neuronal network synchronization has received wide interests. Network connection structure is known to play a key role in its synchronization. In the present manuscript, we study the influence of initial membrane pote... 详细信息
来源: 评论
Stabilization of Continuous-Time Markov/Semi-Markov Jump Linear Systems Via Finite Data-Rate Feedback
SSRN
收藏 引用
SSRN 2022年
作者: Wang, Jingyi Feng, Jianwen Xu, Chen Wu, Xiaoqun Lü, Jinhu College of Mathematics and Statistics Shenzhen University Shenzhen518060 China School of Mathematics and Statistics Hubei Key Laboratory of Computational Science Wuhan University Wuhan China State Key Laboratory of Software Development Environment School of Automation Science and Electrical Engineering Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing China
This letter investigates almost sure exponential stabilization of continuous-time Markov jump linear systems (MJLSs) under communication data-rate constraints by introducing sampling and quantization into the feedback... 详细信息
来源: 评论
A provable-secure and practical two-party distributed signing protocol for SM2 signature algorithm
收藏 引用
Frontiers of Computer science 2020年 第3期14卷 203-215页
作者: Yudi ZHANG Debiao HE Mingwu ZHANG Kim-Kwang Raymond CHOO Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education School of Cyber Science and EngineeringWuhan UniversityWuhan 430072China School of Computer Sciences Hubei University of TechnologyWuhan 430068China Department of Information Systems and Cyber Security and Department of Electrical and Computer Engineering University of Texas at San AntonioSan AntonioTX 78249USA
Mobile devices are widely used for data access,communications and ***,storing a private key for signature and other cryptographic usage on a single mobile device can be challenging,due to its computational ***,a numbe... 详细信息
来源: 评论
Global well-posedness and blow-up for the damped perturbation of Camassa-Holm type equations
arXiv
收藏 引用
arXiv 2020年
作者: Zhang, Lei SCHOOL OF MATHEMATICS AND STATISTICS HUBEI KEY LABORATORY OF ENGINEERING MODELING AND SCIENTIFIC COMPUTING HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY HUBEI WUHAN430074 China
In this paper, we prove global well-posedness of strong solutions to a class of perturbed Camassa-Holm type equations in Besov spaces. It is shown that the existence of global solutions depends only on the L1-integrab... 详细信息
来源: 评论