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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

34,376 篇 会议
631 篇 期刊文献
474 册 图书

馆藏范围

35,479 篇 电子文献
3 种 纸本馆藏

日期分布

学科分类号

23,055 篇 工学
- 15,073 篇 计算机科学与技术...
- 12,182 篇 软件工程
- 3,152 篇 信息与通信工程
- 3,054 篇 电气工程
- 2,876 篇 控制科学与工程
- 2,154 篇 化学工程与技术
- 1,864 篇 材料科学与工程（可...
- 1,798 篇 机械工程
- 1,599 篇 电子科学与技术（可...
- 1,227 篇 土木工程
- 1,218 篇 建筑学
- 1,212 篇 生物工程
- 1,207 篇 动力工程及工程热...
- 1,023 篇 生物医学工程（可授...
- 910 篇 环境科学与工程（可...
- 871 篇 力学（可授工学、理...
- 858 篇 交通运输工程
- 846 篇 安全科学与工程
- 837 篇 光学工程
- 805 篇 仪器科学与技术
8,167 篇 理学
- 3,861 篇 数学
- 2,314 篇 物理学
- 1,424 篇 化学
- 1,363 篇 生物学
- 1,108 篇 统计学（可授理学、...
- 928 篇 系统科学
5,293 篇 管理学
- 3,783 篇 管理科学与工程(可...
- 1,856 篇 图书情报与档案管...
- 1,769 篇 工商管理
822 篇 教育学
- 813 篇 教育学
775 篇 法学
751 篇 医学
609 篇 经济学
243 篇 农学
75 篇 文学
67 篇 艺术学
55 篇 军事学
1 篇 哲学
1 篇 历史学

主题

1,596 篇 software enginee...
1,204 篇 software
628 篇 knowledge engine...
467 篇 computer science
440 篇 computational mo...
431 篇 training
376 篇 application soft...
374 篇 conferences
367 篇 data mining
357 篇 mathematical mod...
337 篇 feature extracti...
334 篇 computer archite...
312 篇 testing
291 篇 semantics
283 篇 software design
270 篇 software systems
269 篇 artificial intel...
257 篇 deep learning
253 篇 machine learning
249 篇 knowledge manage...

机构

65 篇 school of inform...
59 篇 school of comput...
58 篇 nanjing univ sta...
48 篇 school of comput...
38 篇 university of el...
37 篇 univ chinese aca...
35 篇 school of comput...
34 篇 college of compu...
30 篇 university of el...
24 篇 department of el...
22 篇 college of infor...
22 篇 school of comput...
22 篇 department of el...
21 篇 university of mi...
20 篇 school of softwa...
19 篇 school of electr...
19 篇 school of inform...
19 篇 universitas sang...
18 篇 school of automa...
17 篇 software enginee...

作者

32 篇 li li
29 篇 bernady o. apduh...
22 篇 liu yang
21 篇 jin zhi
21 篇 wang qing
19 篇 qing wang
19 篇 li yang
18 篇 wang lei
15 篇 lee s.
14 篇 wnuk krzysztof
14 篇 wei jun
13 篇 xiangjun xin
13 篇 zhang hongyu
13 篇 zhang lei
13 篇 wu huisi
12 篇 bin wang
12 篇 wang jing
12 篇 li zhang
11 篇 jazdi nasser
11 篇 hironori washiza...

语言

34,427 篇 英文
700 篇 其他
333 篇 中文
15 篇 葡萄牙文
13 篇 西班牙文
6 篇 俄文
4 篇 德文
4 篇 法文
2 篇 土耳其文
1 篇 日文
1 篇 斯洛伐克文
1 篇 乌克兰文

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

共 35481 条记录，以下是151-160 订阅

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

详细简洁

排序：

Live Code Smell Detection of Data Clumps in an Integrated Development Environment 18

Live Code Smell Detection of Data Clumps in an Integrated De...

引用

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

作者： Baumgartner, Nils Adleh, Firas Pulvermueller, Elke Univ Osnabruck Dept Math & Comp Sci Inst Comp Sci Res Grp Software Engn Osnabruck Germany

ISBN: (纸本)9789897586477

Code smells in software systems create maintenance and extension challenges for developers. While many tools detect code smells, few provide refactoring suggestions. Some of the tools support live detection in an integrated development environment. We present a tool for the live detection of data clumps in Java with generated suggestions and semi-automatic refactoring. To achieve this, our research examines projects and their associated abstract syntax trees and analyzes types of variables. thereby, we aim to detect data clumps, a type of code smells, and generate suggestions to counteract them. We implemented our approach to live data clumps detection as an IntelliJ integrated development environment application plugin. the live detection achieved a median of less than 0.5 s for the ArgoUML software project, which we analyzed as an example. From over 1500 investigated files, our approach detected 125 files with data clumps and that of CBSD (Code Bad Smell Detector) detected 97 files with data clumps. For both approaches, 92 of the files found were the same. We combined the manual steps for refactoring, resulting in a semi-automatic elimination of data clumps.

关键词： Code Smell Data Clumps Refactoring Integrated Development Environment

来源：评论

学校读者我要写书评

暂无评论

Adoption of Information Security Practices in Large-Scale Agile software Development: A Case Study in the Finance Industry Sascha Nagele 23

Adoption of Information Security Practices in Large-Scale Ag...

引用

18th international conference on Availability, Reliability and Security (ARES)

作者： Naegele, Sascha Korn, Lorena Matthes, Florian Tech Univ Munich Munich Germany

ISBN: (纸本)9798400707728

Agile development methods have pervaded software engineering and are increasingly applied in large projects and organizations. At the same time, security threats and restrictive legislation regarding security and privacy are steadily rising. these two trends of agile software development at scale and increasingly important security requirements are often at odds with each other. Academic literature widely acknowledges the challenges therefrom and discusses approaches to integrate these two partly conflicting trends. However, several researchers point out a need for empirical studies and evaluations of these approaches in practice. To fill this research gap, we conducted a case study in the finance industry. We identified 27 agile security approaches in academic literature. Based on these theoretical findings, we carried out observations, document analysis, and unstructured interviews to identify which approaches the case company applies. We then conducted semi-structured interviews with 10 experts and a survey with 62 participants to evaluate 14 approaches. One of the key results is that role and knowledge approaches, such as dedicated security roles and communities, are especially important in scaled agile development environments. In addition, the most beneficial security activities are easy-to-integrate, such as a security tagging system, peer security code reviews, security stories, and threat poker. We also contribute evaluation criteria as well as drivers and obstacles for the adoption of agile security approaches that can be used for further research and practice.

关键词： large-scale agile security software development case study

来源：评论

学校读者我要写书评

暂无评论

18th IEEE international conference on Application of Information and Communication Technologies, AICT 2024

18th IEEE International Conference on Application of Informa...

引用

18th IEEE international conference on Application of Information and Communication Technologies, AICT 2024

ISBN: (纸本)9798350387537

the proceedings contain 49 papers. the topics discussed include: a sparsifier model for efficient information retrieval;enhancing sales prediction accuracy through incorporation of expert knowledge as constraints into the model;large language models-aided literature reviews: a study on few-shot relevance classification;diabetes detection based on iridology;developing automated software for improving feedback analysis and self-debriefing in high-fidelity medical simulation;experimental setup for verifying the funneling illusion on the upper facial region;opinion score distribution prediction via AI-based observers in media quality assessment;and solar-powered automated drone for industrial safety and anomaly detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Distance-Based Feature Selection Approach for software Anomaly Detection 18

A Distance-Based Feature Selection Approach for Software Ano...

引用

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

作者： Akhter, Suravi Sajeeda, Afia Kabir, Ahmedul Univ Liberal Arts Bangladesh Dept Comp Sci & Engn Dhaka Bangladesh Univ Dhaka Inst Informat Technol Dhaka Bangladesh

ISBN: (纸本)9789897586477

An anomaly of software refers to a bug or defect or anything that causes the software to deviate from its normal behavior. Anomalies should be identified properly to make more stable and error-free software systems. there are various machine learning-based approaches for anomaly detection. For proper anomaly detection, feature selection is a necessary step that helps to remove noisy and irrelevant features and thus reduces the dimensionality of the given feature vector. Most of the existing feature selection methods rank the given features using different selection criteria, such as mutual information (MI) and distance. Furthermore, these, especially MI-based methods fail to capture feature interaction during the ranking/selection process in case of larger feature dimensions which degrades the discrimination ability of the selected feature set. Moreover, it becomes problematic to make a decision about the appropriate number of features from the ranked feature set to get acceptable performance. To solve these problems, in this paper we propose anomaly detection for software data (ADSD), which is a feature subset selection method and is able to capture interactive and relevant feature subsets. Experimental results on 15 benchmark software defect datasets and two bug severity classification datasets demonstrate the performance of ADSD in comparison to four state-of-the-art methods.

关键词： software Defect Prediction Bug Severity Classification Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Active Power Cycling of SiC modules extended by long-term monitoring of after test 18

Active Power Cycling of SiC modules extended by long-term mo...

引用

IEEE 18th international conference on Compatibility, Power Electronics and Power engineering (CPE-POWERENG)

作者： Baba, Sebastian Palesa, Grzegorz Wisniewski, Jaroslaw Manka, Filip Gieraltowski, Andrzej TRUMPF Huettinger R&D Dept Zielonka Poland

ISBN: (纸本)9798350318272;9798350318265

In this paper, overview of Active Power Cycling (APC) test of SiC half-bridge modules is presented. Description covers all key practical aspects of Accelerated Lifetime Testing, from setting up the APC test, through post failure analysis of SiC modules, ending up on identification theirs reliability model. Post failure analysis consists of distinction of soft-failure and hard-failure, electrical measurement, Confocal Scanning Acoustic Measurement (C-SAM) and pull-wire shear test. In addition, DUTs were monitored for over 14 weeks after APC test to verify if there is any further change is SiC modules electrical parameters, which revealed continuous decay of MOSFET's V-GSth.

关键词： Semiconductor device reliability Power electronics Silicon Carbide Power MOSFET Lifetime Estimation Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

Prediction and Classification of Brain Tumor using Modified Transfer Learning 18

Prediction and Classification of Brain Tumor using Modified ...

引用

18th INDIAcom;11th international conference on Computing for Sustainable Global Development, INDIACom 2024

作者： Roy, Sukanya Mandal, Bijoy Kumar Khamaru, Koustov Bhattacharya, Arghya University of Engineering and Management Dept. of Computer Science Engineering Kolkata India Nshm Knowledge Campus Dept. of Computer Science Engineering Durgapur India

ISBN: (纸本)9789380544519

this study uses a novel method of segmenting and computing the tissue area in brain MRI images to predict the presence of brain tumors and classify the type of tumor into common types (pituitary, meningioma, and glioma). the tissues that make up the brain have intricate boundaries. In order to more accurately classify the different types of tumors, we have thus divided the brain tissues into three segments and examined for enlarged segments using Convolutional Neural Networks (CNNs) and a Modified CNN that uses transfer learning and VGGNet. the paper's methodology involves using CNNs with Transfer Learning for efficient image segmentation and clustering, followed by VGGNet for noise reduction and image segmentation refining. We are optimizing the internal parameters of VGGNet in order to outperform the competition. the volume and density of malignant clusters are computed through pixel counting. this kind of method works pretty well for figuring out tissue volume in a wide range of illnesses that affect people of all ages. © 2024 Bharati Vidyapeeth, New Delhi.

关键词： Brain Tumor Glioma Image-segementation Meningioma Neural Networks. Image classification Pituitary ResNet Transfer Learning VGGNet

来源：评论

学校读者我要写书评

暂无评论

Investigation of validation methods for system design in the B2B sector 18

Investigation of validation methods for system design in the...

引用

18th Annual IEEE international Systems conference (SysCon)

作者： Humpert, Lynn Wilke, Daria Tissen, Denis Rummney, Johannes Anacker, Harald Dumitrescu, Roman Fraunhofer Inst Mechatron Syst Design Paderborn Germany Univ Paderborn Heinz Nixdorf Inst Paderborn Germany

ISBN: (纸本)9798350358810;9798350358803

the development of new, complex mechatronic systems in custom engineering poses many challenges due to the unique nature of each product and specific customer requirements. Systems engineering (SE) provides a solution by establishing a robust system architecture to ensure reliable products that meet customer requirements. Validation processes play a crucial role in SE to avoid unwanted developments and high costs. By using the right validation methods, potential problems can be identified early. this saves resources and contributes to sustainability. Users in the B2B sector, often with an engineering background, represent a significant potential for validation in system design, as they understand the system architecture. However, to exploit this potential, an analysis of validation methods is required. the aim of this paper is to identify the challenges and the potential of validation methods for system design in the B2B sector. the research question is addressed through a structured literature review. the results will be compared at a conference of 35 experts and then evaluated in a workshop by six experts from industry and research. the outcome will be an overview of validation methods compatible with system design in the B2B sector, providing practical insights and paving the way for further research.

关键词： Systems engineering System architecture Validation method model-based systems engineering complex systems

来源：评论

学校读者我要写书评

暂无评论

SmartMuVerf: A Mutant Verifier for Smart Contracts 18

SmartMuVerf: A Mutant Verifier for Smart Contracts

引用

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

作者： Godboley, Sangharatna Krishna, P. Radha Natl Inst Technol Dept Comp Sci & Engn NITMINER Technol Private Ltd Warangal Telangana India

ISBN: (纸本)9789897586477

Smart contracts are the logical programs holding the properties in Blockchain. these Blockchain technologies enable society towards trust-based applications. Smart contracts are prepared between the parties to hold their deals. If the deal held by a smart contract is complex and non-trivial, then there is a high chance of attracting issues and loss of assets. these contracts also consider expensive assets. this necessitates the verification and testing of a smart contract. Since we have the source code of a smart contract, then it is reasonable to apply verification and testing techniques. From the traditional ways, it has been observed that mutation testing is one of the important testing techniques. But, this testing technique suffers from the issues of time and cost. It is true that fault-based testing is a good mechanism to perform. So, looking at the issues we introduce a new technique for Mutation Verification for Smart Contracts. In this paper, we present an approach for measuring the mutation score using a verification approach. We experimented with a total of 10 smart contracts.

关键词： Smart Contract software Testing Mutation Verification

来源：评论

学校读者我要写书评

暂无评论

Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development 24

Vehicle Domain-Specific Language: Unifying Modeling and Code...

引用

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

作者： Liaoi, Lei Wang, Junjie Xu, Zhensheng Mu, Fangwen Yang, Yukun GAC R&D Ctr Guangzhou Peoples R China Chinese Acad Sci Inst Software Beijing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

the automotive industry is undergoing rapid growth driven by advancements such as electrification, necessitating efficient software development methodologies. While model-based system engineering is prevalent in automotive software development, its application is typically confined to the requirements and design phases, with manual coding still dominating the development process, resulting in extended development efforts and cycles. To address these challenges, we propose Vehicle Domain-Specific Language (VDSL), a low-code development tool that integrates modeling and automatic code generation. With VDSL, users can simply specify their requirements and utilize graphical drag-and-drop along with parameter configuration to efficiently implement vehicle functionality with auto-generated code. Tested and evaluated on 3 vehicle models across 18 months at GAC Group, VDSL has demonstrated its effectiveness in significantly reducing development effort and costs, improving resource efficiency, and providing greater flexibility for system updates via Over-the-Air (OTA) Technology. this work further enhances the practicality of model-based development in the automotive domain, boosting development efficiency and potentially enhancing quality.

关键词： Industries Codes Wireless networks Manuals Boosting Systems engineering and theory Automotive engineering software development management software engineering Domain specific languages

来源：评论

学校读者我要写书评

暂无评论

Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects 24

Automated Repair of Multi-fault Programs: Obstacles, Approac...

引用

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

作者： Al-Bataineh, Omar, I Gran Sasso Sci Inst Laquila Italy

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Modern automated program repair (APR) tools are well-tuned at repairing single fault programs (i.e., programs in which only one fault can occur at time). However, real-world software projects typically contain multiple bugs at the same time, which can interact with and mask each other in a variety of ways. the complex interaction of faults in multi-fault programs makes the automated repair problem more challenging than the traditional practice of presuming that a program contains a single fault. this paper studies the repair problem of multi-fault programs and identifies the main obstacles that arise when handling such programs using current repair approaches. the paper also describes three repair approaches for multi-fault programs, namely iterative, parallel, and simultaneous. While the simultaneous repair strategy depends on using cutting-edge fault localization techniques that enable the APR approaches to locate many faults at once, the iterative and parallel repair approaches rely on adapting the existing repair techniques for single-fault programs to handle multi-fault programs. Finally, the paper discusses each approach's advantages and drawbacks as well as the conditions in which the approach can be used successfully. To our knowledge, this is the first paper to specifically study and address the repair problem of multi-fault programs.

关键词： Location awareness Computer bugs Machine learning Maintenance engineering software Iterative methods software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：