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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是301-310 订阅

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

详细简洁

排序：

Sustainability-Driven Meetings as a Way to Incorporate Sustainability into software Development Phases 18

Sustainability-Driven Meetings as a Way to Incorporate Susta...

引用

18th international conference on Evaluation of Novel Approaches to software engineering (ENASE)

作者： de Souza, Ana Carolina Moises Cruzes, Daniela Jaccheri, Letizia Norwegian Univ Sci & Technol Dept Comp Sci Hgsk Ringen 1 Trondheim Norway

ISBN: (纸本)9789897586477

software sustainability has been a trending topic in the last decade in academia. Studies related to software sustainability propose models, frameworks, or practices that can be applied in the industry. But most of these proposals are still not systematically adopted in the industry. therefore, there is an opportunity to create a structured meeting to support the concrete adoption of sustainability practices in software development. this paper aims to provide an overview of these frameworks and how they can help facilitate sustainability-driven meetings (SusDM). Seeking this, we present practical examples and a workflow to prepare the meeting by applying the existing sustainability frameworks in SusDM. As a position paper, our hypothesis is that the contributions of this meeting may be related to improving the knowledge of software developers on sustainable software engineering, discovering new sustainability requirements, prioritization, and implementing software sustainability practices.

关键词： software Sustainability Social Sustainability Sustainable software engineering Agile software Development

来源：评论

学校读者我要写书评

暂无评论

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects 23

Reliability Assurance for Deep Neural Network Architectures ...

引用

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

作者： Li, Linyi Zhang, Yuhao Ren, Luyao Xiong, Yingfei Xie, Tao Univ Illinois Dept Comp Sci Champaign IL USA Univ Wisconsin Madison Dept Comp Sci Madison WI USA Peking Univ Sch Comp Sci Beijing Peoples R China Peking Univ Minist Educ Key Lab High Confidence Software Technol Beijing Peoples R China

ISBN: (纸本)9781665457019

With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failures can be caused by numerical defects, one of the most frequent defects in DNNs. To assure high reliability against numerical defects, in this paper, we propose the RANUM approach including novel techniques for three reliability assurance tasks: detection of potential numerical defects, confirmation of potential-defect feasibility, and suggestion of defect fixes. To the best of our knowledge, RANUM is the first approach that confirms potential-defect feasibility with failure-exhibiting tests and suggests fixes automatically. Extensive experiments on the benchmarks of 63 real-world DNN architectures show that RANUM outperforms state-of-the-art approaches across the three reliability assurance tasks. In addition, when the RANUM-generated fixes are compared with developers' fixes on opensource projects, in 37 out of 40 cases, RANUM-generated fixes are equivalent to or even better than human fixes.

关键词： neural network numerical defect testing fix

来源：评论

学校读者我要写书评

暂无评论

Practical Learning of DSP-Based Motor Control for engineering Students 59

Practical Learning of DSP-Based Motor Control for Engineerin...

引用

59th international Universities Power engineering conference, UPEC 2024

作者： Lorsch, Andreas Schmilinsky, Max Vagapov, Yuriy Bolam, Robert Cameron Dianov, Anton Wrexham University Wrexham United Kingdom Pingyang Institute of Intelligent Manufacturing Wenzhou University Wenzhou China

ISBN: (纸本)9798350379730

this paper discusses a practical approach to learning the basic principles of control engineering using DSP-based motor control. Laboratory work utilising microcontrollers for signal processing usually requires students the knowledge of coding for embedded software programming. However, a variety of visual programming software offered on the market provides assistance in avoiding low-level software programming for microcontrollers. this feature can be useful for students not specialising in electrical engineering, who have to understand the basic operation of MCUs and do not need to study them in detail. In order to focus the attention of those students only on the main MCU features, this paper presents an example of embedded software developed using visual programming in the Matlab/Simulink environment for studying DSP-based motor control. this approach can be implemented in the laboratory curriculum for non-electrical/electronic students to provide effective learning of the principles of motor control and basic control engineering. the educational laboratory setup consists of Texas Instrument hardware and a low-power 3-phase BLDC motor. © 2024 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Not Quite there Yet: Remaining Challenges in Systems and software Product Line engineering as Perceived by Industry Practitioners 24

Not Quite There Yet: Remaining Challenges in Systems and Sof...

引用

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

作者： Becker, Martin Rabiser, Rick Botterweck, Goetz Fraunhofer IESE Embedded Syst Kaiserslautern Germany Johannes Kepler Univ Linz CDL VaSiCS LIT CPS Lab Linz Austria Trinity Coll Dublin Dublin Ireland Lero Irish Software Res Ctr Dublin Ireland

ISBN: (纸本)9798400705939

Research on system and software product line engineering (SPLE) and the community around it have been inspired by industrial applications. However, despite decades of research, industry is still struggling with adopting product line approaches and more generally with managing system variability. We argue that it is essential to better understand why this is the case. Particularly, we need to understand the current challenges industry is facing wrt. adopting SPLE practices, how far existing research helps industry practitioners to cope with their challenges, and where additional research would be required. We conducted a hybrid workshop at the 2023 Systems and software Product Line conference (SPLC) with over 30 participants from industry and academia. 9 companies from diverse domains and in different phases of SPLE adoption presented their context and perceived challenges. We grouped, discussed, and rated the relevance of the articulated challenges. We then formed clusters of relevant research topics to discuss existing literature as well as research opportunities. In this paper, we report the industry cases, the identified challenges and clusters of research topics, provide pointers to existing work, and discuss research opportunities. With this, we want to enable industry practitioners to become aware of typical challenges and find their way into the existing body of knowledge and to relevant fields of research.

关键词： software product line engineering industry challenges

来源：评论

学校读者我要写书评

暂无评论

Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem 38

Understanding and Remediating Open-Source License Incompatib...

引用

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

作者： Xu, Weiwei He, Hao Gao, Kai Zhou, Minghui Peking Univ Sch Comp Sci Beijing Peoples R China Peking Univ Sch Software & Microelect Beijing Peoples R China Minist Educ Key Lab High Confidence Software Technol Beijing Peoples R China

ISBN: (纸本)9798350329964

the reuse and distribution of open-source software must be in compliance with its accompanying open-source license. In modern packaging ecosystems, maintaining such compliance is challenging because a package may have a complex multi-layered dependency graph with many packages, any of which may have an incompatible license. Although prior research finds that license incompatibilities are prevalent, empirical evidence is still scarce in some modern packaging ecosystems (e.g., PyPI). It also remains unclear how developers remediate the license incompatibilities in the dependency graphs of their packages (including direct and transitive dependencies), let alone any automated approaches. To bridge this gap, we conduct a large-scale empirical study of license incompatibilities and their remediation practices in the PyPI ecosystem. We find that 7.27% of the PyPI package releases have license incompatibilities and 61.3% of them are caused by transitive dependencies, causing challenges in their remediation;for remediation, developers can apply one of the five strategies: migration, removal, pinning versions, changing their own licenses, and negotiation. Inspired by our findings, we propose SILENCE, an SMT-solver-based approach to recommend license incompatibility remediations with minimal costs in package dependency graph. Our evaluation shows that the remediations proposed by SILENCE can match 19 historical real-world cases (except for migrations not covered by an existing knowledge base) and have been accepted by five popular PyPI packages whose developers were previously unaware of their license incompatibilities.

关键词： dependency management license incompatibility and its remediation open source license SMT solver

来源：评论

学校读者我要写书评

暂无评论

A data-driven framework for knowledge exchange analysis of development issues in medical applications: A case study of COVID-19 49

A data-driven framework for knowledge exchange analysis of d...

引用

49th Euromicro conference on software engineering and Advanced Applications, SEAA 2023

作者： Georgiou, Konstantinos Charmanas, Konstantinos Papageorgiadis, Konstantinos Mittas, Nikolaos Christidis, Georgios Angelis, Lefteris Aristotle University of Thessaloniki School of Informatics Greece International Hellenic University Department of Chemistry Greece

ISBN: (纸本)9798350342352

With medical technological advances being developed in a rapid pace, the need for effective Scientific software Development (SSD), that can process, store and visualize medical data is ever growing. Particularly during the COVID-19 pandemic, the medical community came together to produce efficient solutions to tackle this global setback. Programmers and developers have an active role in the procurement of medical software, with many of them exchanging knowledge and opinions in Q&A portals like Stack Overflow (SO) about methodologies, techniques and programming queries. In this study we present a data-driven framework that collects, filters, stores and analyzes issues and questions for medical applications from SO, visualizing them in an intuitive manner. To highlight the functionalities of our framework, we present a case study with COVID-19 SSD related questions, providing insights and valuable information about the status of the domain. © 2023 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

CPLS: Optimizing the Assignment of LLM Queries 40

CPLS: Optimizing the Assignment of LLM Queries

引用

40th international conference on software Maintenance and Evolution

作者： Liu, Yueyue Zhang, Hongyu Li, Zhiqiang Miao, Yuantian Univ Newcastle Sch Informat & Phys Sci Newcastle NSW Australia Chongqing Univ Sch Big Data & Software Engn Chongqing Peoples R China Shaanxi Normal Univ Sch Comp Sci Xian Shaanxi Peoples R China

ISBN: (纸本)9798350395693;9798350395686

Large Language Models (LLMs) like ChatGPT have gained significant attention because of their impressive capabilities, leading to a dramatic increase in their integration into intelligent software engineering. However, their usage as a service with varying performance and price options presents a challenging trade-off between desired performance and the associated cost. To address this challenge, we propose CPLS, a framework that utilizes transfer learning and local search techniques for assigning intelligent software engineering jobs to LLM-based services. CPLS aims to minimize the total cost of LLM invocations while maximizing the overall accuracy. the framework first leverages knowledge from historical data across different projects to predict the probability of an LLM processing a query correctly. then, CPLS incorporates problem-specific rules into a local search algorithm to effectively generate Pareto optimal solutions based on the predicted accuracy and cost. To evaluate the proposed approach, we conduct extensive experiments on LLM-based log parsing, a typical software maintenance task. Our experimental results demonstrate that CPLS outperforms the baseline methods, providing solutions with the highest accuracy in 14 out of 16 instances. Compared to the baselines, CPLS achieves an accuracy improvement ranging from 1.24% to 485.54%, or reduces costs by 15.21% to 89.09% while maintaining the highest accuracy achieved by the baselines.

关键词： Large Language Models Query Assignment Cross-project Prediction Local Search Log Parsing

来源：评论

学校读者我要写书评

暂无评论

Experiencing Education 5.0 for Civil engineering 5

Experiencing Education 5.0 for Civil Engineering

引用

5th international conference on Industry 4.0 and Smart Manufacturing (ISM)

作者： Calvetti, Diego Meda, Pedro de Sousa, Hipolito Goncalves, Miguel Chichorro Amorim Faria, Jose Manuel da Costa, Jorge Moreira Univ Porto CONSTRUCT GEQUALTEC Fac Engn P-4200465 Porto Portugal

Nowadays, the construction industry's digital transformation processes are challenging civil engineering education. In general, students and society underestimate the civil engineering field as an outdated and archaic knowledge area. Despite the defragmentation and heterogeneity of the sector, advances have been made on the path for Construction 4.0 and 5.0 scenarios. From this perspective, the CONSTRUCT-Gequaltec group of the Faculty of engineering of the University of Porto have been sponsoring research and technological development using hardware and software targeting construction management solutions. this paper presents the work in progress mainly connected to the curricular units regarding project management in the Construction Section of the Civil engineering Department. It also targets assumptions of some expected results across the research and innovation priorities from ECTP Innovative Built Environment and United Nations Sustainable Development Goals (SDGs). Two fundamental elements of the teaching practices are presented as the Construction Sites of the Future (Laboratory -Based Education initiative) and Digital products catalogue targeting Digital Twins in Construction (Project Based Learning initiative). the learning outcomes address increasing knowledge of innovative solutions, delivering skills to deploy 5.0 actions, and targeting humancentred and sustainable attitudes and values.

关键词： Construction 4.0 Worker 4.0 Students 5.0 Civil engineering 5.0

来源：评论

学校读者我要写书评

暂无评论

A Fresh Perspective on Measuring Complexity in Object-Oriented software 12

A Fresh Perspective on Measuring Complexity in Object-Orient...

引用

12th international conference in software engineering Research and Innovation, CONISOFT 2024

作者： Nikeshala, H.A.N. IVedha Inc. Colombo Sri Lanka

ISBN: (纸本)9798331532116

the measurement of software complexity is a critical component in the development of modern software systems, directly influencing maintainability, scalability, and reliability. As software projects grow in complexity and scale, the need for effective complexity management becomes increasingly vital. this paper contributes to the body of knowledge by introducing the Aggregated Weighted Complexity (AWC) metric, a novel and comprehensive tool designed to evaluate software complexity in object-oriented programming. the AWC metric is significant in that it integrates multiple dimensions of complexity-structural, data, control, systemic, and cognitive-thereby offering a holistic assessment that addresses the multifaceted nature of software systems. the potential impact of the AWC metric is substantial. By offering a detailed and actionable measure of complexity, the metric helps in reducing technical debt, improving code quality, and fostering sustainable development practices. It encourages the adoption of best practices in concurrency management, exception handling, and memory management, all of which are crucial for developing reliable and efficient software systems. Future research will focus on empirically validating the AWC metric across diverse programming languages and development frameworks. Additionally, there is significant potential for integrating advanced technologies such as artificial intelligence and machine learning to enhance the metric's predictive capabilities. Expanding the applicability of the AWC metric to include emerging programming paradigms will further broaden its utility and relevance, ensuring it remains a vital tool for complexity management in modern software engineering. © 2024 IEEE.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

A component recommendation model for issues in software projects 19

A component recommendation model for issues in software proj...

引用

19th international Joint conference on Computer Science and software engineering (JCSSE)

作者： Kangwanwisit, Pacawat Choetkiertikul, Morakot Ragkhitwetsagul, Chaiyong Sunetnanta, thanwadee Maipradit, Rungroj Hata, Hideki Matsumoto, Kenichi Mahidol Univ Fac ICT Bangkok Thailand Nara Inst Sci & Technol Ikoma Japan Shinshu Univ Matsumoto Japan

ISBN: (数字)9781665485104

ISBN: (纸本)9781665485104

In modern software development projects, developer teams usually adopt an issue-driven approach to increase their productivity. the component of an issue report implicitly organize issues in a software project (e.g. defects, new feature requests, and tasks) into a group of issues that have similar characteristics. A component of an issue report is an important attribute needed to be identified in an issue triaging process. thus, assigning the correct component(s) to an issue is crucial in issue resolution. However, it is a challenging task since largescale projects contain a considerable amount of components (e.g. almost one-hundred components in the Bamboo project) and it can increase significantly as the project evolves over time. In this paper, we propose an approach that uses textual feature extraction and machine learning techniques with Binary Relevance (BR) to develop a component recommendation model to support the task of assigning component(s) to an issue. the empirical evaluation over 60,000 issue reports shows that our proposed models outperform the baseline benchmarks and other techniques by achieving on average 0.480 Precision@1, 0.616 Recall@3, 0.432 MAP, and 0.596 MRR.

关键词： recommendation system issue report component

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：