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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

36,264 篇 会议
594 篇 期刊文献
545 册 图书
1 篇 学位论文

馆藏范围

37,402 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

24,568 篇 工学
- 15,695 篇 计算机科学与技术...
- 12,633 篇 软件工程
- 3,756 篇 电气工程
- 3,579 篇 信息与通信工程
- 3,133 篇 控制科学与工程
- 2,480 篇 化学工程与技术
- 2,417 篇 机械工程
- 2,214 篇 材料科学与工程（可...
- 1,784 篇 电子科学与技术（可...
- 1,533 篇 土木工程
- 1,322 篇 建筑学
- 1,309 篇 动力工程及工程热...
- 1,279 篇 生物工程
- 1,181 篇 生物医学工程（可授...
- 1,003 篇 力学（可授工学、理...
- 925 篇 仪器科学与技术
- 916 篇 交通运输工程
- 901 篇 安全科学与工程
9,402 篇 理学
- 4,436 篇 数学
- 2,898 篇 物理学
- 1,783 篇 化学
- 1,490 篇 生物学
- 1,189 篇 统计学（可授理学、...
- 972 篇 系统科学
6,007 篇 管理学
- 4,202 篇 管理科学与工程(可...
- 2,250 篇 图书情报与档案管...
- 2,145 篇 工商管理
1,108 篇 医学
- 999 篇 临床医学
- 912 篇 基础医学(可授医学...
983 篇 教育学
- 974 篇 教育学
915 篇 经济学
649 篇 法学
242 篇 农学
71 篇 军事学
65 篇 文学
16 篇 艺术学
3 篇 历史学

主题

1,823 篇 software enginee...
1,324 篇 software
665 篇 knowledge engine...
506 篇 computer science
415 篇 training
404 篇 computational mo...
386 篇 data mining
378 篇 covid-19
368 篇 application soft...
352 篇 feature extracti...
350 篇 artificial intel...
327 篇 software design
320 篇 computer archite...
309 篇 software systems
287 篇 deep learning
278 篇 programming
269 篇 semantics
259 篇 mathematical mod...
255 篇 conferences
255 篇 knowledge manage...

机构

51 篇 school of inform...
48 篇 school of comput...
46 篇 college of compu...
46 篇 nanjing univ sta...
41 篇 school of comput...
35 篇 school of comput...
32 篇 school of comput...
32 篇 univ chinese aca...
23 篇 college of infor...
22 篇 institute of inf...
21 篇 school of inform...
20 篇 software enginee...
19 篇 university of el...
18 篇 school of comput...
18 篇 tsinghua univ sc...
18 篇 university of mi...
18 篇 state key labora...
17 篇 college of compu...
17 篇 department of el...
16 篇 school of softwa...

作者

26 篇 bernady o. apduh...
26 篇 li li
24 篇 lei wei
22 篇 liu yang
21 篇 jin zhi
19 篇 li yang
19 篇 wang qing
18 篇 wang jian
17 篇 qing wang
17 篇 wnuk krzysztof
16 篇 wang lei
16 篇 li xin
16 篇 wang hui
16 篇 wei jun
15 篇 zhang hongyu
14 篇 liu bo
14 篇 wang jing
13 篇 zhang lin
13 篇 singh bhim
13 篇 zhang dongmei

语言

36,275 篇 英文
715 篇 其他
396 篇 中文
11 篇 葡萄牙文
10 篇 西班牙文
10 篇 乌克兰文
9 篇 俄文
7 篇 法文
2 篇 德文
1 篇 日文
1 篇 斯洛伐克文

检索条件"任意字段=19th International Conference on Software Engineering and Knowledge Engineering"

共 37404 条记录，以下是321-330 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Contract-Driven Design of Scientific Data Analysis Workflows 19

Contract-Driven Design of Scientific Data Analysis Workflows

引用

19th IEEE international conference on e-Science, e-Science 2023

作者： Vu, Anh Duc Sparka, Jan Arne De Mecquenem, Ninon Kehrer, Timo Leser, Ulf Grunske, Lars Humboldt-Universität zu Berlin Software Engineering Germany Humboldt-Universität zu Berlin Knowledge Management in Bioinformatics Germany University of Bern Software Engineering Group Switzerland

ISBN: (纸本)9798350322231

software systems enabling large-scale data analysis workflows (DAWs) are a key technology for many scientific disciplines, as they allow extracting new insights from experimental results. DAWs are (non-)linear pipelines composed of multiple interdependent tasks that are executed in a distributed fashion on large compute clusters. In science, the individual task implementations are developed by research groups all over the world and usually not tested outside a narrow scope of possible inputs, parameters, and infrastructures. As a result, the operations' correctness depends on many implicit assumptions. Among others this includes the completeness and suitability of input data, infrastructure properties such as available cores or main memory, etc. this combination of complexity, distribution and untested components makes quality assurance of DAWs a critical issue. In this paper, we propose to address this problem by introducing a contract-driven approach to DAW design and implementation. Following this method, DAW developers specify contracts in the form of requirements and promises for each task of a DAW. these contracts serve as guards to ensure that tasks run in a proper environment and produce correct results. We provide the first formal definition of contracts for DAWs and show how they are connected to DAW scheduling and execution. As a proof of concept, we extended Nextflow, a popular scientific workflow system, with contracts and defined a light-weight DSL for their specification. We exemplify the power of a contract-driven approach to DAW development by enhancing several real-world DAWs from Bioinformatics to capture typical problems during their execution and show how the specific notifications issued by broken contracts help debugging the DAWs. © 2023 IEEE.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Product-Line engineering for Smart Manufacturing: A Systematic Mapping Study on Security Concepts

Product-Line Engineering for Smart Manufacturing: A Systemat...

引用

19th international conference on software Technologies, ICSOFT 2024

作者： May, Richard Alex, Alen John Suresh, Rakky Leich, thomas Harz University of Applied Sciences Wernigerode Germany

ISBN: (纸本)9789897587061

the growing configurability of smart-manufacturing software systems (SMSS) introduces a variety of security concerns. Although there is an ever-increasing risk for exploiting configuring-caused issues, there is currently no overview of research on security within SMSS, especially those based on product-line engineering (PLE). To address this gap, we employed a systematic mapping study of 43 publications (2014–2023) related to the intersection of security, SMSS, and PLE. Besides an overview of what properties have been researched, we identified nine literature gaps to guide future research. Overall, there is a need for more research on PLE security concepts in SMSS. Current approaches often address security as a separate requirement rather than integrating it into the PLE framework or mapping it to the unique properties of SMSS. Concrete security concerns are typically hardly described, which may have fatal consequences in safety-critical systems. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Seventh international Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2024) 24

Seventh International Workshop on Languages for Modelling Va...

引用

28th international Systems and software Product Line conference (SPLC)

作者： Feichtinger, Kevin Galasso, Jessie Karlsruhe Inst Technol CRC 1608 Dependabil Software Intens Syst Karlsruhe Germany McGill Univ ECE Dept Fac Engn Montreal PQ Canada

ISBN: (纸本)9798400705939

More than 30 years ago feature models were invented. Nowadays they play a major role in software Product Line engineering. Although there have been several attempts to establish a standard approach (e.g., OVM, CVL, TVL,..) there is still no consensus on a simple feature modelling language. However, such a language would improve information sharing among researchers and tool developers. Following the spirit of the previous six editions, this workshop is an interactive event where all participants share knowledge, ongoing realizations, and improvements concerning the Universal Variability Language (UVL) to further increase its outreach.

关键词： feature models variability models variability modelling languages and tools

来源：评论

学校读者我要写书评

暂无评论

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation 24

ROCAS: Root Cause Analysis of Autonomous Driving Accidents v...

引用

39th ACM/IEEE international conference on Automated software engineering (ASE)

作者： Feng, Shiwei Ye, Yapeng Shi, Qingkai Cheng, Zhiyuan Xu, Xiangzhe Cheng, Siyuan Choi, Hongjun Zhang, Xiangyu Purdue Univ W Lafayette IN 47907 USA Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China DGIST Daegu South Korea

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

As Autonomous driving systems (ADS) have transformed our daily life, safety of ADS is of growing significance. While various testing approaches have emerged to enhance the ADS reliability, a crucial gap remains in understanding the accidents causes. Such post-accident analysis is paramount and beneficial for enhancing ADS safety and reliability. Existing cyber-physical system (CPS) root cause analysis techniques are mainly designed for drones and cannot handle the unique challenges introduced by more complex physical environments and deep learning models deployed in ADS. In this paper, we address the gap by offering a formal definition of ADS root cause analysis problem and introducing ROCAS, a novel ADS root cause analysis framework featuring cyber-physical co-mutation. Our technique uniquely leverages both physical and cyber mutation that can precisely identify the accident-trigger entity and pinpoint the misconfiguration of the target ADS responsible for an accident. We further design a differential analysis to identify the responsible module to reduce search space for the misconfiguration. We study 12 categories of ADS accidents and demonstrate the effectiveness and efficiency of ROCAS in narrowing down search space and pinpointing the misconfiguration. We also show detailed case studies on how the identified misconfiguration helps understand rationale behind accidents.

关键词： Deep learning Root cause analysis Safety Reliability Object recognition Autonomous vehicles Accidents Testing software engineering Drones

来源：评论

学校读者我要写书评

暂无评论

AsmDocGen: Generating Functional Natural Language Descriptions for Assembly Code

AsmDocGen: Generating Functional Natural Language Descriptio...

引用

19th international conference on software Technologies, ICSOFT 2024

作者： Yuki, Jesia Quader Amouei, Mohammadhossein Fung, Benjamin C. M. Charland, Philippe Walenstein, Andrew School of Information Studies McGill University MontrealQC Canada Mission Critical Cyber Security Section Defence R&D Canada QuebecQC Canada BlackBerry Limited WaterlooON Canada

ISBN: (纸本)9789897587061

this study explores the field of software reverse engineering through the lens of code summarization, which involves generating informative and concise summaries of code functionality. A significant aspect of this research is the application of assembly code summarization in malware analysis, highlighting its critical role in understanding and mitigating potential security threats. Although there have been recent efforts to develop code summarization techniques for high-level programming languages, to the best of our knowledge, this study is the first attempt to generate comments for assembly code. For this purpose, we first built a carefully curated dataset of assembly function-comment pairs. We then focused on automatic assembly code summarization using transfer learning with pre-trained natural language processing (NLP) models, including BERT, DistilBERT, RoBERTa, and CodeBERT. the results of our experiments show a notable advantage of CodeBERT: despite its initial training on high-level programming languages alone, it excels in learning assembly language, outperforming other pre-trained NLP models. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

A Comparative Analysis of ChatGPT-Generated and Human-Written Use Case Descriptions 24

A Comparative Analysis of ChatGPT-Generated and Human-Writte...

引用

ACM/IEEE 27th international conference on Model Driven engineering Languages and Systems: Companion Proceedings (MODELS)

作者： Oguz, Evin Aslan Kuester, Jochen M. Bielefeld Univ Appl Sci Bielefeld Germany

ISBN: (纸本)9798400706226

the development of comprehensive use case descriptions is a critical task in software engineering, providing essential insights for requirement analysis and system design. the advent of advanced natural language processing models, such as ChatGPT, has sparked interest in their potential to automate tasks traditionally performed by humans, including the generation of use case descriptions in software engineering. Understanding the capabilities and limitations of ChatGPT in generating use case descriptions is crucial for software engineers. Without a clear understanding of its performance, practitioners may either overestimate its utility, leading to reliance on suboptimal drafts, or underestimate its capabilities, missing opportunities to streamline the drafting process. this paper addresses how well ChatGPT performs in generating use case descriptions, evaluating their quality compared to human-written descriptions. To do so, we employ a structured approach using established quality guidelines and the concept of "bad smells" for use case descriptions. Our study presents the first attempt to bridge the knowledge gap by offering a comparative analysis of ChatGPT-generated and human-written use case descriptions. By providing an approach to objectively assess ChatGPT's performance, we highlight its potential and limitations, offering software engineers insights to effectively integrate AI tools into their workflows.

关键词： use case description ChatGPT requirements engineering quality

来源：评论

学校读者我要写书评

暂无评论

Crushing Potential of Lunar Regolith Simulants: Implications for Strength Degradation 19

Crushing Potential of Lunar Regolith Simulants: Implications...

引用

19th Biennial international conference on engineering, Science, Construction, and Operations in Challenging Environments, Earth and Space 2024

作者： Baca, Jesus P.E. Ashtiani, Reza S. Dept. of Civil Engineering Univ. of Texas El PasoTX United States CO United States

ISBN: (数字)9780784485736

ISBN: (纸本)9780784485736

this study presents an in-depth geotechnical analysis of lunar regolith simulants, with focus on particle breakage behavior—an essential factor for future lunar exploration and colonization. Twelve NASA-provided simulants representing diverse lunar regions underwent extensive experimentation. Tests included varying deformation rates, relative densities, overburden pressures, and densification methods to replicate lunar surface conditions. this paper specifically investigates particle breakage behavior under normal and shear loads for two selected simulants. Results bear significant implications for lunar missions and infrastructure development. Engineers can apply these insights to design structures capable of withstanding lunar conditions, ensuring missions safety and sustainability. Our comprehensive approach advances understanding of regolith simulants, paving the way for robust engineering solutions in lunar exploration and colonization. this research represents a critical stride towards harnessing the Moon's potential for scientific exploration and long-term human presence. © ASCE.

关键词： NASA

来源：评论

学校读者我要写书评

暂无评论

Towards machine learning guided by best practices 23

Towards machine learning guided by best practices

引用

45th IEEE/ACM international conference on software engineering (ICSE)

作者： Mojica-Hanke, Anamaria Univ Passau Passau Germany Univ Los Andes Bogota Colombia

ISBN: (纸本)9798350322637

Nowadays, machine learning (ML) is being used in software systems with multiple application fields, from medicine to software engineering (SE). On the one hand, the popularity of ML in the industry can be seen in the statistics showing its growth and adoption. On the other hand, its popularity can also be seen in research, particularly in SE, where multiple studies related to the use of Machine Learning in software engineering have been published in conferences and journals. At the same time, researchers and practitioners have shown that machine learning has some particular challenges and pitfalls. In particular, research has shown that ML-enabled systems have a different development process than traditional software, which also describes some of the challenges of ML applications. In order to mitigate some of the identified challenges and pitfalls, white and gray literature has proposed a set of recommendations based on their own experiences and focused on their domain (e.g., biomechanics), but for the best of our knowledge, there is no guideline focused on the SE community. this thesis aims to reduce the gap of not having clear guidelines in the SE community by using possible sources of practices such as question-and-answer communities and also previous research studies. As a result, we will present a set of practices with an SE perspective, for researchers and practitioners, including a tool for searching them.

关键词： Machine learning good practices software engineering

来源：评论

学校读者我要写书评

暂无评论

A knowledge Push Method to Support the Debugging Process Design of Complex Electronic Products 24

A Knowledge Push Method to Support the Debugging Process Des...

引用

8th international conference on Electronic Information Technology and Computer engineering, EITCE 2024

作者： Xue, Hao Chen, Xingyu Luo, Tiannan Li, Yang Liu, Yuhan Zhang, Kai School of Mechanical Engineering Sichuan University Sichuan Chengdu China Southwest China Research Institute of Electronic Equipment Sichuan Chengdu China

ISBN: (纸本)9798400710094

the core of design lies in the acquisition and application of knowledge. knowledge push technology can effectively improve the utilization efficiency of knowledge by designers, thus enabling more efficient task completion. To address the current challenges in debugging process design, including insufficient knowledge management and the dynamic demand for knowledge, this paper proposes a knowledge push method tailored for the debugging process design of complex electronic products. By constructing a knowledge graph for debugging processes and utilizing a semantic similarity-based push algorithm, the method intelligently identifies knowledge needs during the design process, achieving precise knowledge delivery. On this basis, a prototype system supporting knowledge push for complex electronic product debugging design was developed. Taking the debugging process design of an elevator drive system as an example, the method has been proven to effectively improve design efficiency. © 2024 Copyright held by the owner/author(s).

关键词： knowledge graph

来源：评论

学校读者我要写书评

暂无评论

Exploring the UK Cyber Skills Gap through a mapping of active job listings to the Cyber Security Body of knowledge (CyBOK) 23

Exploring the UK Cyber Skills Gap through a mapping of activ...

引用

27th international conference on Evaluation and Assessment in software engineering (EASE)

作者： Attwood, Sam Williams, Ashley Univ Cent Lancashire Preston Lancs England Manchester Metropolitan Univ Manchester Lancs England

ISBN: (纸本)9798400700446

Background: the UK cyber skills gap/shortage amplifies the broader impact of cyber-attacks, which inflict harms such as privacy and economic loss on wider society. the demand is greatest (and growing fastest) in cyber-enabled disciplines, such as software engineering. Objectives: In this paper, we create a term frequency-inverse document frequency representation of the Cyber Security Body of knowledge (CyBOK). We then evaluate the potential of this representation by using it to automatically map job descriptions to the different areas of the CyBOK. Method: We generate two representations of the CyBOK. the representations are mapped to a corpus of 454 job descriptions using TF-IDF. Comparing the similarity scores across these mappings allows us to identify relevant knowledge areas/groups. Results: the results are preliminary, but suggest that the approach warrants further investigation. Certain job descriptions are mapped to certain knowledge areas/groups in a way that makes intuitive sense to the authors. However, there is a degree homogeneity to the scores returned for certain knowledge areas/groups. there are several threats to validity, most notably the low number of job descriptions that have been studied. Conclusions: Our work shows that it is possible to automatically map job descriptions to the CyBOK in a meaningful way. Further research is required to address threats and to explore alternative mapping approaches. the authors intend to undertake this research culminating with a Grey Literature Informed Model of Practice in Secure software engineering.

关键词： Cyber Security CyBOK Secure software Development Higher Education Grey Literature

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 29 30 31 32 33 34 35 36 37 38 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：