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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,475 篇 会议
635 篇 期刊文献
476 册 图书

馆藏范围

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

日期分布

学科分类号

23,074 篇 工学
- 15,087 篇 计算机科学与技术...
- 12,184 篇 软件工程
- 3,157 篇 信息与通信工程
- 3,060 篇 电气工程
- 2,881 篇 控制科学与工程
- 2,154 篇 化学工程与技术
- 1,865 篇 材料科学与工程（可...
- 1,799 篇 机械工程
- 1,602 篇 电子科学与技术（可...
- 1,229 篇 土木工程
- 1,217 篇 建筑学
- 1,212 篇 生物工程
- 1,208 篇 动力工程及工程热...
- 1,021 篇 生物医学工程（可授...
- 911 篇 环境科学与工程（可...
- 873 篇 力学（可授工学、理...
- 858 篇 交通运输工程
- 848 篇 安全科学与工程
- 836 篇 光学工程
- 806 篇 仪器科学与技术
8,177 篇 理学
- 3,866 篇 数学
- 2,315 篇 物理学
- 1,426 篇 化学
- 1,363 篇 生物学
- 1,108 篇 统计学（可授理学、...
- 928 篇 系统科学
5,293 篇 管理学
- 3,784 篇 管理科学与工程(可...
- 1,854 篇 图书情报与档案管...
- 1,768 篇 工商管理
830 篇 教育学
- 821 篇 教育学
775 篇 法学
748 篇 医学
609 篇 经济学
243 篇 农学
75 篇 文学
67 篇 艺术学
55 篇 军事学
1 篇 哲学
1 篇 历史学

主题

1,647 篇 software enginee...
1,233 篇 software
637 篇 knowledge engine...
469 篇 computer science
444 篇 training
440 篇 computational mo...
377 篇 conferences
376 篇 application soft...
370 篇 data mining
357 篇 mathematical mod...
337 篇 feature extracti...
334 篇 computer archite...
318 篇 testing
293 篇 semantics
290 篇 software design
278 篇 artificial intel...
276 篇 software systems
259 篇 deep learning
258 篇 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...
36 篇 college of compu...
35 篇 school of comput...
27 篇 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,195 篇 英文
1,036 篇 其他
350 篇 中文
15 篇 葡萄牙文
13 篇 西班牙文
6 篇 俄文
5 篇 法文
4 篇 德文
2 篇 土耳其文
1 篇 日文
1 篇 斯洛伐克文
1 篇 乌克兰文

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

共 35586 条记录，以下是271-280 订阅

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

详细简洁

排序：

Efficient Code Causes Inefficiency in Compiler Optimizations 24

Efficient Code Causes Inefficiency in Compiler Optimizations

引用

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

作者： Chen, Hongyu Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Optimizations, a critical element within the compiler pipeline, is responsible for improving the efficiency of generated code. In this paper, we take a different angle to evaluate compiler optimizations than all existing works in compiler testing literature. In particular, we consider a specific scenario in software development, that is, when developers manually optimize a program to improve its performance, do compilers actually generate more efficient code with the help of developers' optimizations? To answer this question, we develop a simple approach which consists of (1) transforming a program into the same or less efficient version of the original program, and then (2) comparing the performance of the generated code from each version of the source code. Consequently, the original program can be treated as an optimized version of the transformed program. We use the approach to evaluate GCC and LLVM, two industry compilers, and observe that the extra optimizations presented in the original programs can be not only unhelpful, but more seriously counterproductive to both GCC and LLVM, resulting in the less efficient code generated overall. Out of our evaluation results, we summarized and reported 53 LLVM and 18 GCC defects, out of which 37 and 17 have been confirmed or fixed.

关键词： Compiler Missed optimizations Testing

来源：评论

学校读者我要写书评

暂无评论

Generating thermal Stratification in the Controlled Active Ventilation Environment Laboratory (CAVE) 18

Generating Thermal Stratification in the Controlled Active V...

引用

18th international conference on Indoor Air Quality and Climate, INDOOR AIR 2024

作者： Malki-Epshtein, Liora Wild, Oliver Adzic, Filipa Torero, José L. University College London Department of Civil Geomatic and Environmental Engineering London United Kingdom

ISBN: (纸本)9798331306816

A large-scale facility with bespoke HVAC systems was used to generate a high-gradient thermal stratification in a space of ceiling height 9.5m by controlling supply temperatures at high level to 28°C and at low levels to 10.5°C. the resulting stratification was monitored at high spatial and temporal resolution and it was found that mixing processes diffuse the gradient until eventually a stable stratification ranging from 14 to 22°C is maintained. the experiment illustrates the buoyancy effects that serve to create and disrupt temperature distribution and ventilation in large spaces, and the performance gap between design and operation. © 2024 18th conference of the international Society of Indoor Air Quality and Climate, INDOOR AIR 2024 - conference Program and Proceedings. All rights reserved.

关键词： Indoor air pollution

来源：评论

学校读者我要写书评

暂无评论

Optimization of window opening for ventilation of a bedroom using the adjoint based topology method 18

Optimization of window opening for ventilation of a bedroom ...

引用

18th international conference on Indoor Air Quality and Climate, INDOOR AIR 2024

作者： Xue, Qingwen Wang, Feng Zhang, Tengfei Department of Civil Engineering Dalian University of Technology Dalian China Department of Building Environment and Energy Engineering The Hong Kong Polytechnic University Hung Hom Hong Kong Hong Kong

ISBN: (纸本)9798331306816

the window opening shape, size, and location can much affect the natural ventilation performance. Most windows for building ventilation have not undergone an optimal design. this study adopted an adjoint based topology method to optimize the window opening for ventilation of a bedroom. the design was to make the sleeping adult on bed thermally comfortable and have a good inhaling air quality. Each design cycle includes the solution for the flow, temperature, and indoor CO2 concentration distribution and the adjustment of the window opening based on the adjoint equations. this study finds that the adjoint based topological optimization provided an irregular shape of the window, in which both the thermal comfort and indoor air quality were greatly improved. © 2024 18th conference of the international Society of Indoor Air Quality and Climate, INDOOR AIR 2024 - conference Program and Proceedings. All rights reserved.

关键词： Indoor air pollution

来源：评论

学校读者我要写书评

暂无评论

Safety-Critical Components Analysis Using knowledge Graph For CNC Machine 18

Safety-Critical Components Analysis Using Knowledge Graph Fo...

引用

IEEE 18th international conference on Automation Science and engineering (IEEE CASE)

作者： Duan, Xuhai Chen, Yong Ji, Zuzhen Pei, Zhi Yi, Wenchao Zhejiang Univ Technol Dept Mech Engn Hangzhou Peoples R China

ISBN: (数字)9781665490429

ISBN: (纸本)9781665490429

A CNC machine may contain various types of faults and may harm production safety in multiple ways. It is difficult for managers to determine which faults are more severe due to the complex structure of the machine. this further confuses managers to generate efficient preventions and responses. Consequently, there is a need to develop a method to assist production managers to identify the safety-critical components (SCCs) in a CNC machine. the current work developed a solid framework for SCCs examination using a risk-based knowledge graph method. Firstly, we summarize the structure of the CNC machine using ontology and examine CNC faults and corresponding consequences. the reasoning between faults and consequences is via literature examination using a web-crawler. this is followed by using BiLSTM-CRF for knowledge processing and using TransE for entity alignment. then, a risk-based knowledge graph is developed via developing a weight scale for the severity of consequence;and using historical fault data to access frequency. the knowledge graph visualization is developed using Gephi, and SCCs can be virtually determined with deeper color in nodes as the darker color represents higher risk. this has the potential to help industry practitioners better understand their current operations situation and generate responses to avoid fault occurrence and improve production safety.

关键词： Industries Computer aided software engineering Image color analysis Data visualization Production Ontologies Solids

来源：评论

学校读者我要写书评

暂无评论

A Novel Optimization Method for the Segregation of Bioparticles using Microfluidic Device 18

A Novel Optimization Method for the Segregation of Biopartic...

引用

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

作者： Fatima, Iffat Mishra, Suchandana Sheeba Kumari, C. Devi, Manju Sharan, Preeta Srilatha, B. The Oxford College of Engineering Dept. of Electronics and Communication Engineering Bangalore India

ISBN: (纸本)9789380544519

In today's era, there are significant difficulties to identify and separate germs from an untreated blood sample or serum. Many passive separation methods are available which includes pinched flow fractionation inertial, hydrodynamics, hydrophores is for filtration. this work presents microfluidic model by integrating electrodes on the inner surface of a microchannel. FEA modelling includes electric potential, velocity, electric field distribution and particle trajectory. Total number of electrodes used is 4 with the channel length of 260 μm and voltage for separation is around 3.7 to 5.3V. Main advantage of the model is that it is suitable for implementation in microfluidic device applications. © 2024 Bharati Vidyapeeth, New Delhi.

关键词： dielectric electrode height microfluidic microfluidic device particle separation

来源：评论

学校读者我要写书评

暂无评论

Facilitating Collaboration in Machine Learning and High-Performance Computing Projects with an Interaction Room 18

Facilitating Collaboration in Machine Learning and High-Perf...

引用

IEEE 18th international conference on E-Science (E-Science)

作者： Book, Matthias Riedel, Morris Neukirchen, Helmut Erlingsson, Ernir Univ Iceland Sch Engn & Nat Sci Reykjavik Iceland Julich Supercomp Ctr Julich Germany

ISBN: (数字)9781665461245

ISBN: (纸本)9781665461245

the design, development, and deployment of scientific computing applications can be quite complex, in particular when involving Machine Learning (ML) or High-Performance Computing (HPC). they require scientific and software engineering expertise and in addition HPC or ML knowledge. Often, such applications are however developed by scientists who are experts in their domain, but need support for the software engineering, ML, and HPC aspects. the cooperation and communication between experts from these quite different disciplines can be difficult though. We therefore propose to employ the Interaction Room (IR), a method that facilitates interdisciplinary collaboration in complex software projects. An IR uses annotated drawings to exchange information and stimulate discussion between project stakeholders, in order to improve common understanding and identify uncertainties, risks, and other aspects that are critical to a project's success early on. We suggest different drawing canvases and annotations that focus on different viewpoints and issues of the project. these canvases are specific to the project type, such as ML applications or HPC simulations.

关键词： Collaboration Interaction Room software engineering High-Performance Computing Machine Learning

来源：评论

学校读者我要写书评

暂无评论

Evaluating Time Series Approaches for Cellular Network Traffic Forecasting 18

Evaluating Time Series Approaches for Cellular Network Traff...

引用

18th international conference on Telecommunication Systems, Services, and Applications, TSSA 2024

作者： Inggrianti, Ibni Yuliana, Hajiar Hendrawan Iskandar School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia Universitas Jenderal Achmad Yani School of Electrical Engineering and Informatics Institut Teknologi Bandung Faculty of Engineering Department of Electrical Engineering Bandung Indonesia

ISBN: (纸本)9798331527686

this paper examines the predictive accuracy of four distinct models-ARIMA, ARMA, AR, and Linear Regression-applied to network traffic forecasting. through a comprehensive analysis, the ARIMA model was identified as the most effective for non-stationary data, demonstrating its robustness in capturing complex temporal patterns. the linear regression model, however, outperformed the others across the dataset, with the lowest Mean Squared Error (MSE) of 1.223 and Root Mean Squared Error (RMSE) of 1.106, indicating minimal prediction errors. the results underscore the importance of selecting appropriate models based on data characteristics and prediction requirements. Furthermore, the study highlights the potential of linear regression, a relatively simple method, to outperform more complex time series models under specific conditions. © 2024 IEEE.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

DRMiner: Extracting Latent Design Rationale from Jira Issue Logs 24

DRMiner: Extracting Latent Design Rationale from Jira Issue ...

引用

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

作者： Zhao, Jiuang Yang, Zitian Zhang, Li Lian, Xiaoli Yang, Donghao Tan, Xin Beihang Univ Sch Comp Sci & Engn Beijing Peoples R China Beihang Univ Sch Software Beijing Peoples R China Beihang Univ CCSE Beijing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

software architectures are usually meticulously designed to address multiple quality concerns and support long-term maintenance. However, there may be a lack of motivation for developers to document design rationales (i.e., the design alternatives and the underlying arguments for making or rejecting decisions) when they will not gain immediate benefit, resulting in a lack of standard capture of these rationales. With the turnover of developers, the architecture inevitably becomes eroded. this issue has motivated a number of studies to extract design knowledge from open-source communities in recent years. Unfortunately, none of the existing research has successfully extracted solutions alone with their corresponding arguments due to challenges such as the intricate semantics of online discussions and the lack of benchmarks for design rationale extraction. In this paper, we propose a novel approach, named DRMiner, to automatically mine latent design rationales from developers' live discussion in open-source community (i.e., issue logs in Jira). To better identify solutions and their relevant arguments, DRMiner skillfully decomposes the problem into multiple text classification tasks and tackles them using prompt tuning of large language models (LLMs) and specific heuristic features. To evaluate DRMiner, we acquire issue logs from Cassandra, Flink, and Solr repositories in Jira and form a dataset for design rationale mining. Experimental results show that DRMiner outperforms all baselines and achieves F1 improvements of 24%, 22%, and 20% for mining design rationales, solutions, and arguments, respectively, compared to the best baseline. Furthermore, we investigate the usefulness of the design rationales mined by DRMiner for automated program repair (APR) and find that advanced LLMs, when prompted with these extracted rationales, generate 10x-18x more full-match patches and achieve a 10%-13% gain in CodeBLEU scores.

关键词： Design rationale Issue logs Design discussion Design recovery Program maintenance

来源：评论

学校读者我要写书评

暂无评论

A Novel Microfluidics-based SAW Sensor for Ultrafine Particle Detection 18

A Novel Microfluidics-based SAW Sensor for Ultrafine Particl...

引用

18th international conference on Indoor Air Quality and Climate, INDOOR AIR 2024

作者： Tennakoon, thilhara Lai, Tsz-Wai Fu, Sau-Chung Chan, Ka-Chung Wu, Chili Chao, Christopher Yu-Hang Liu, Chun-Ho Department of Building Environment and Energy Engineering The Hong Kong Polytechnic University Hong Kong Hong Kong Department of Mechanical Engineering The Hong Kong Polytechnic University Hong Kong Hong Kong Department of Mechanical Engineering The University of Hong Kong Hong Kong Hong Kong

ISBN: (纸本)9798331306816

Portable sensors are valuable tools for ultrafine particle (UFP) monitoring as they allow for real-time measurements in various environments. At the forefront of portable UFP monitoring, are lab-on-a-chip devices that use surface acoustic waves (SAW) to measure aerosol concentration. However, existing SAW-based UFP detectors rely on the accumulation of particulate matter on the sensor’s active surface, which makes them unsuitable for in-flow measurements. In this work, we suggest the integration of microfluidics to enable continuous monitoring. With particles actively flowing through the sensitive region, the limitation of standard SAW UFP sensors is overcome. Results indicate that the sensor can provide information not only on the concentration of particles, but also their size. © 2024 18th conference of the international Society of Indoor Air Quality and Climate, INDOOR AIR 2024 - conference Program and Proceedings. All rights reserved.

关键词： Microfluidics

来源：评论

学校读者我要写书评

暂无评论

Web-Based Inventory, Stock Monitoring and Control System Powered by Local Encrypted Web Server 18

Web-Based Inventory, Stock Monitoring and Control System Pow...

引用

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

作者： Singh, Sandeep Kumar, Raman Badhoutiya, Arti Sharma, Umang Alkhayyat, Ahmed Shah, Sanjeev Kumar University Center for Research and Development Chandigarh University Punjab Mohali India Gla University Department of Electrical Engineering Mathura India Amity University Madhya Pradesh Gwalior India The Islamic University College of Technical Engineering Najaf Iraq Uttaranchal University Department of Ece Uit Dehradun India

ISBN: (纸本)9789380544519

In this study, we introduce web-based inventory, stock monitoring, and control systems powered by a local encrypted web server. through locally secured web servers, this novel technology emphasizes data protection, accessibility, and control while streamlining the installation of conventional software and providing a robust web-based platform accessible from any device with a regular web browser. Real-time stock monitoring, inventory control, user authentication, and locally protected web servers for increased data privacy are some of this system's key features. With the aid of this novel technology, businesses can keep an eye on their inventory in real time, enabling proactive decision-making and lowering the likelihood of inventory-related problems. through a user-friendly online interface, users can easily manage their inventory by adding, updating, or deleting goods, improving accuracy and reducing mistakes. the capacity to customize the system to meet the needs of individual firms, whether small or large, is a distinguishing feature. To accommodate more users, goods, or locations as the company needs change, the system grows effortlessly. An automated computing solution based on a web platform for electronic data recording and processing and electronic report production was developed as part of this software solution to overcome these difficulties. © 2024 Bharati Vidyapeeth, New Delhi.

关键词： data security inventory management stock management Web server web-based inventory management system

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 24 25 26 27 28 29 30 31 32 33 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：