咨询与建议

限定检索结果

文献类型

  • 15 篇 期刊文献
  • 11 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 18 篇 工学
    • 12 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 4 篇 控制科学与工程
    • 2 篇 机械工程
    • 2 篇 交通运输工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
    • 1 篇 公安技术
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 公共管理
    • 1 篇 图书情报与档案管...
  • 6 篇 理学
    • 3 篇 数学
    • 2 篇 生物学
    • 1 篇 系统科学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 2 篇 resource allocat...
  • 1 篇 software systems
  • 1 篇 intelligent vehi...
  • 1 篇 reinforcement le...
  • 1 篇 object oriented ...
  • 1 篇 sensor placement
  • 1 篇 deep learning
  • 1 篇 neodymium
  • 1 篇 service oriented...
  • 1 篇 deep neural netw...
  • 1 篇 kvm
  • 1 篇 safety
  • 1 篇 motion planning
  • 1 篇 spice.
  • 1 篇 performance opti...
  • 1 篇 long short-term ...
  • 1 篇 application soft...
  • 1 篇 software algorit...
  • 1 篇 electroencephalo...
  • 1 篇 social mobility

机构

  • 5 篇 department of co...
  • 5 篇 state key labora...
  • 4 篇 state key labora...
  • 4 篇 school of comput...
  • 3 篇 collaborative in...
  • 2 篇 science and tech...
  • 2 篇 collage of compu...
  • 2 篇 information tech...
  • 2 篇 shanghai key lab...
  • 2 篇 ministry key lab...
  • 2 篇 national univers...
  • 2 篇 system operation...
  • 2 篇 state key labora...
  • 2 篇 science and tech...
  • 2 篇 institute of com...
  • 1 篇 school of automa...
  • 1 篇 nuclear power in...
  • 1 篇 department of re...
  • 1 篇 state key labora...
  • 1 篇 school of mathem...

作者

  • 2 篇 depei qian
  • 2 篇 jun xu
  • 2 篇 jian yifan
  • 2 篇 huang zhiqiu
  • 2 篇 zhiqiu huang
  • 2 篇 zhang zhiyi
  • 2 篇 hailong yang
  • 1 篇 huangli cai
  • 1 篇 lin gan
  • 1 篇 an lifeng
  • 1 篇 chen shanben
  • 1 篇 su cheng
  • 1 篇 you lyu
  • 1 篇 fan shi
  • 1 篇 baocun hou
  • 1 篇 yuzhong sun
  • 1 篇 zhang guanghui
  • 1 篇 liu wenzhong
  • 1 篇 luo jingwei
  • 1 篇 guozhen zhang

语言

  • 21 篇 英文
  • 5 篇 其他
检索条件"机构=Key Laboratory of Software System and Development Generic Technology"
26 条 记 录,以下是1-10 订阅
Towards optimized tensor code generation for deep learning on sunway many-core processor
收藏 引用
Frontiers of Computer Science 2024年 第2期18卷 1-15页
作者: Mingzhen LI Changxi LIU Jianjin LIAO Xuegui ZHENG Hailong YANG Rujun SUN Jun XU Lin GAN Guangwen YANG Zhongzhi LUAN Depei QIAN State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China National University of Singapore Singapore 119077Singapore State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214000China Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing 100854China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China
The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application *** the existing dee... 详细信息
来源: 评论
Object Oriented BDD and Executable Human-Language Module Specification  26
Object Oriented BDD and Executable Human-Language Module Spe...
收藏 引用
26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023
作者: Lee, Eric Gong, Jiayu Cao, Qinghong Intelligent Technology Co. Ltd. Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China System Operation Department Shanghai Stock Exchange Shanghai China
This paper presents an approach to software development which uses a generative AI Model as compiler to translate human language requirements into high-level programming language. We propose an executable human-langua... 详细信息
来源: 评论
Attention-aligned mean-teacher learning for unsupervised domain adaptive person re-ID
收藏 引用
Science China Technological Sciences 2025年
作者: You LYU Zhen ZHANG Guoliang KANG Wei WEI Institute of Artificial Intelligence Beihang University Key Laboratory of Mathematics Informatics Behavioral Semantics Ministry of Education Beihang University State Key Laboratory of Software Development Environment and Advanced Innovation Center for Future Blockchain and Privacy Computing Beihang University School of Automation Science and Electrical Engineering Beihang University AVICAS Generic Technology Co. Ltd Zhongguancun Laboratory School of Mathematics Sciences Beihang University
In recent years, artificial intelligence has fueled the development of numerous applications [1, 2]. Person re-identification (re-ID) is a typical artificial intelligence system designed to automatically retrieve imag...
来源: 评论
BDGSE: A Symbolic Execution Technique for High MC/DC  23
BDGSE: A Symbolic Execution Technique for High MC/DC
收藏 引用
23rd IEEE International Conference on software Quality, Reliability, and Security, QRS 2023
作者: Cai, Huangli Zhang, Zhiyi Jian, Yifan Li, Dan Huang, Zhiqiu Nanjing University of Aeronautics and Astronautics Collage of Computer Science and Technology Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing China
Modified Condition/Decision Coverage (MC/DC) is a test coverage standard with excellent fault detection capability, which is widely used in testing safety-critical software. Symbolic execution generates test cases aut... 详细信息
来源: 评论
DeepRank: Test Case Prioritization for Deep Neural Networks  35
DeepRank: Test Case Prioritization for Deep Neural Networks
收藏 引用
35th International Conference on software Engineering and Knowledge Engineering, SEKE 2023
作者: Li, Wei Zhang, Zhiyi Jian, Yifan Liu, Chen Huang, Zhiqiu Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu China School of Marxism Yangzhou University Yangzhou China Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing University of Aeronautics and Astronautics Nanjing China
Deep neural networks (DNNs) have been widely used in safety-critical fields such as autonomous driving and medical diagnosis. However, DNNs are easily disturbed to make wrong decisions, which may lead to loss of life ... 详细信息
来源: 评论
User-level failure detection and auto-recovery of parallel programs in HPC systems
收藏 引用
Frontiers of Computer Science 2021年 第6期15卷 31-42页
作者: Guozhen ZHANG Yi LIU Hailong YANG Jun XU Depei QIAN State Key Laboratory of Software Development Environment Beijing 100191China Sino-German Joint Software Institute Beihang UniversityBeijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China Science and Technology on Space System Simulation Laboratory Beijing Simulation Center Beijing 100854China
As the mean-time-between-failures(MTBF)continues to decline with the increasing number of components on large-scale high performance computing(HPC)systems,program failures might occur during the execution period with ... 详细信息
来源: 评论
UAV navigation in high dynamic environments:A deep reinforcement learning approach
收藏 引用
Chinese Journal of Aeronautics 2021年 第2期34卷 479-489页
作者: Tong GUO Nan JIANG Biyue LI Xi ZHU Ya WANG Wenbo DU School of Electronic and Information Engineering Beihang UniversityBejing 100083China Key Laboratory of Advanced Technology of Near Space Information System(Beihang University) Ministry of Industry and Information Technology of ChinaBeijing 100083China Research Institute of Frontier Science Beihang UniversityBeijing 100083China College of Software Beihang UniversityBeijing 100083China State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100083China
Unmanned Aerial Vehicle(UAV) navigation is aimed at guiding a UAV to the desired destinations along a collision-free and efficient path without human interventions, and it plays a crucial role in autonomous missions i... 详细信息
来源: 评论
Object Oriented BDD and Executable Human-Language Module Specification
Object Oriented BDD and Executable Human-Language Module Spe...
收藏 引用
software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on
作者: Eric Lee Jiayu Gong Qinghong Cao SE Cloud (Shanghai) Intelligent Technology Co. Ltd. Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China System Operation Department Shanghai Stock Exchange Shanghai China
This paper presents an approach to software development which uses a generative AI Model as compiler to translate human language requirements into high-level programming language. We propose an executable human-langua...
来源: 评论
Fuzzy Safety and Liveness Properties in Linear-time
Fuzzy Safety and Liveness Properties in Linear-time
收藏 引用
IEEE International Conference on software Quality, Reliability and Security (QRS)
作者: Fan Shi Zhiqiu Huang Haiyu Pan Yuting Chang Heng Xu College of Computer Science and Technology/College of Software Nanjing University of Aeronautics and Astronautics Nanjing Jiangsu China Key Laboratory for Safety-critical Software Development and Verification Ministry of Industry and Information Technology Nanjing Jiangsu China School of Computer and Information Security/School of Software Guilin University of Electronic Technology Guilin Guangxi China Nokis Solutions and Networks System Technology (Beijing) Co. Ltd. Hangzhou Zhejiang China
Safety and liveness are fundamental to many system verification paradigms. In contrast to existing approaches for extending safety and liveness properties of fuzzy systems, we first utilize ultrametric to measure the ... 详细信息
来源: 评论
BDGSE: A Symbolic Execution Technique for High MC/DC
BDGSE: A Symbolic Execution Technique for High MC/DC
收藏 引用
IEEE International Conference on software Quality, Reliability and Security (QRS)
作者: Huangli Cai Zhiyi Zhang Yifan Jian Dan Li Zhiqiu Huang Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu China Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing University of Aeronautics and Astronautics Nanjing China
Modified Condition/Decision Coverage (MC/DC) is a test coverage standard with excellent fault detection capability, which is widely used in testing safety-critical software. Symbolic execution generates test cases aut...
来源: 评论