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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

86,124 篇 会议
2,723 册 图书
1,726 篇 期刊文献
4 篇 学位论文
2 篇 科技报告

馆藏范围

90,573 篇 电子文献
8 种 纸本馆藏

日期分布

学科分类号

46,771 篇 工学
- 38,459 篇 计算机科学与技术...
- 31,975 篇 软件工程
- 6,391 篇 控制科学与工程
- 6,351 篇 信息与通信工程
- 5,584 篇 电气工程
- 3,219 篇 机械工程
- 2,960 篇 电子科学与技术（可...
- 2,058 篇 生物工程
- 1,600 篇 生物医学工程（可授...
- 1,488 篇 安全科学与工程
- 1,408 篇 动力工程及工程热...
- 1,374 篇 仪器科学与技术
- 1,271 篇 建筑学
- 1,203 篇 土木工程
- 1,161 篇 材料科学与工程（可...
- 1,037 篇 光学工程
- 1,031 篇 交通运输工程
13,183 篇 理学
- 7,373 篇 数学
- 2,662 篇 物理学
- 2,365 篇 系统科学
- 2,244 篇 生物学
- 1,768 篇 统计学（可授理学、...
11,156 篇 管理学
- 7,852 篇 管理科学与工程(可...
- 4,112 篇 工商管理
- 4,085 篇 图书情报与档案管...
2,145 篇 教育学
- 2,119 篇 教育学
1,384 篇 医学
- 1,180 篇 临床医学
- 1,034 篇 基础医学(可授医学...
1,377 篇 法学
- 1,076 篇 社会学
1,312 篇 经济学
- 1,303 篇 应用经济学
382 篇 农学
257 篇 文学
194 篇 军事学
62 篇 艺术学
2 篇 哲学
2 篇 历史学

主题

8,329 篇 application soft...
7,111 篇 software enginee...
5,921 篇 computer archite...
5,292 篇 software
5,225 篇 computer science
4,425 篇 software systems
4,162 篇 hardware
3,534 篇 computer aided s...
3,262 篇 control systems
2,660 篇 computational mo...
2,223 篇 costs
2,093 篇 programming
1,809 篇 artificial intel...
1,744 篇 computer softwar...
1,740 篇 real time system...
1,619 篇 testing
1,508 篇 real-time system...
1,418 篇 software design
1,371 篇 protocols
1,350 篇 information syst...

机构

197 篇 college of compu...
114 篇 school of comput...
59 篇 school of comput...
56 篇 college of compu...
54 篇 school of comput...
49 篇 department of co...
40 篇 college of compu...
37 篇 department of el...
37 篇 school of comput...
36 篇 school of electr...
36 篇 department of el...
34 篇 institute of inf...
33 篇 state key labora...
32 篇 school of comput...
32 篇 department of el...
31 篇 department of co...
31 篇 department of el...
29 篇 department of co...
28 篇 school of comput...
27 篇 department of co...

作者

49 篇 anon
37 篇 bernady o. apduh...
35 篇 bosch jan
34 篇 o'connor rory v.
28 篇 shaoying liu
28 篇 li yang
26 篇 dubinsky yael
26 篇 ebrahim babaei
22 篇 zhu huibiao
21 篇 lei wang
21 篇 dong jin song
20 篇 katz guy
19 篇 zhang lei
17 篇 levent yilmaz
17 篇 rui wang
17 篇 wenyun zhao
17 篇 shahar maoz
17 篇 vardi moshe y.
16 篇 weiming shen
16 篇 noraziah a.

语言

89,054 篇 英文
1,053 篇 其他
436 篇 中文
32 篇 西班牙文
18 篇 葡萄牙文
15 篇 德文
14 篇 土耳其文
13 篇 俄文
9 篇 法文
4 篇 捷克文
4 篇 日文
2 篇 乌克兰文
1 篇 朝鲜文

检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"

共 90579 条记录，以下是331-340 订阅

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

详细简洁

排序：

Generative AI in software engineering: Enhancing Development and Innovation

Generative AI in Software Engineering: Enhancing Development...

引用

International conference on Smart Business and technology, ICSBT 2024

作者： Saoiabi, Fadwa Kharmoum, Nassim Elasri, Chaimae Lagmiri, Souad Najoua Ziti, Soumia IPSS Research Team Faculty of Sciences Mohammed V University in Rabat Rabat Morocco Rabat Morocco Laboratory Higher Institute of Management Administration and Computer Engineering Rabat Morocco

ISBN: (纸本)9783031866975

This paper focuses on the review of the literature about the effects of generative AI for SE based on a comparison of research papers on methodologies, applications, and effects on SE processes. It plans to analyze and discuss existing classifications used for the purposes of MMA-based applications, including their potential and challenges, and analyze the productivity rate according to citation scores and other parameters. Generative AI models such as GPT-3, BERT, and Transformers are also involved in the paper, and this paper focuses on automatic coding, testing, and documentation. Primary research reveals that there is high interest in using generative AI for code generation with tools like OpenAI’s Codex and DeepMind’s AlphaCode, but at the same time, it reveals that there are issues like, quality of code, dealing with ambiguous requirements and integration problems. In the review, the author also covers generative AI in context to software testing and in relation to generating documentation, increased efficiency, and the identified limitations. The study reveals new opportunities of generative AI in SE but reveals basic issues such as explicability or ethic concerns at the same time. It seeks to improve the comprehension and chart future advancements in generative AI for SE;thus, focusing on the advancement and application of the strategies and ideas in the SE process for the researchers and practitioners. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Blockchain for Public Transportation: Digital Identity and Transaction Verification Architecture 25th

Blockchain for Public Transportation: Digital Identity and T...

引用

Topical Area: software, System and Service engineering, S3E 2024, Held as Part of FedCSIS 2024, and 25th conference on Practical Aspects of and Solutions for software engineering, KKIO 2024, held as part of SEAA 2024

作者： Saritas, Hidayet Burak Kardas, Geylani Ege University International Computer Institute Izmir Bornova35100 Turkey Kentkart Teknoloji AŞ Ege Teknopark Ege University Izmir Bornova35100 Turkey

ISBN: (纸本)9783031849121

Blockchain technology has emerged as a promising solution to address key challenges in public transport, such as interoperability, privacy and transaction transparency. Despite these advances, the lack of a unified platform for integrating different transport modes and the diversity of ticketing solutions across operators remain significant barriers to seamless collaboration and interoperability. This paper proposes a blockchain-based architecture for transaction verification and digital identity management in multimodal public transport systems. The approach ensures secure co-payment, reliable data validation and trust among diverse operators by leveraging private blockchain networks, where operators act as verification nodes through consensus-based transaction approval without a central authority. The system incorporates standardized data formats, advanced algorithms for operator data integration, and a comprehensive model for managing operators, assets, and transactions. To protect user privacy, Zero-Knowledge Proof (ZKP) techniques enable secure authentication without revealing sensitive information. This study shows how blockchain technology can improve interoperability, ensure fair revenue sharing, and provide a secure, decentralized infrastructure for efficient and privacy-preserving collaboration in public transport networks. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

An Empirical Large-Signal Model of GaN HEMT for Design of High-Power Microwave Amplifier 12th

An Empirical Large-Signal Model of GaN HEMT for Design of Hi...

引用

12th International conference on Frontiers of Intelligent Computing: Theory and Applications, FICTA 2024

作者： Sharma, Swati Alsabbagh, Moh. Yagoub, Mustapha C. E. Sharma, Shikha Swaroop Pandey, Atul Kumar Department of Electronics Engineering University of Rome Tor Vergata Rome00133 Italy School of Electrical Engineering and Computer Science University of Ottawa OttawaON Canada New Delhi110031 India

ISBN: (纸本)9789819601424

This work described a well-organized empirical modelling approach of large-signal GaN HEMT equivalent circuit for high-power applications. All the stages involved in the extraction have been described in this paper, beginning with the determination of extrinsic elements, and finishing with the intrinsic ones. Nonlinear capacitances and resistances have been extracted and modelled for saturation region, sub-threshold region as well as the triode region. Only six parameters were used to make the new channel current model, which represented the unique working principles of HEMT. The self-heating effect, virtual gate formation and dispersion phenomena have been integrated in the channel current model. As, only DC and S-parameters data have been required, this model has reasonably simple to develop and use in CAD software. The nonlinear features of the device and the harmonic components have been properly predicted by the proposed model. Small-signal to large-signal excitation regions showed excellent agreements using ADS software. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Gallium nitride

来源：评论

学校读者我要写书评

暂无评论

Research on the Security Assessment Method for Mimetic Multivariate systems Based on Multi-Granularity Features

Research on the Security Assessment Method for Mimetic Multi...

引用

Consumer Electronics and computer engineering (ICCECE), 2021 IEEE International conference on

作者： Junwei Wang Qinglei Zhou Liming Zhang Shiliang Yu School of Cyber Science and Engineering Zhengzhou University Zhengzhou China Songshan Laboratory Zhengzhou China School of Computer Science and Artificial Intelligence Zhengzhou University Zhengzhou China

ISBN: (数字)9798331533113

ISBN: (纸本)9798331533120

Aiming at the current status quo that the security assessment of mimetic multivariate systems generally adopts a single level of assessment, which is unable to establish a security link between its internal software diversity and the overall security of mimetic multivariate systems, this paper proposes an assessment mechanism that combines two assessment methods, namely, software diversity metrics under multi-granularity characterization and risk assessment of vulnerability attacking system modeling. The experimental part of the dataset uses the GNU core toolset (coreutils 8.32), and the validity of this assessment method is verified by designing a security assessment algorithm that weights and scores the heterogeneity of the multi-granularity software diversity technique, and then by modeling an attack on the mimetic multi-variant system experiment. The experimental results show that the security assessment algorithm can effectively assess the anti-attack ability and security of the mimetic multivariate system under the multi-granularity feature, which has certain reference value for the future research on the security assessment method of the mimetic multivariate system.

关键词： Measurement software algorithms systems modeling Diversity methods software Security Risk management computer security Consumer electronics

来源：评论

学校读者我要写书评

暂无评论

Scalable and Low-Cost Remote Lab Platforms: Teaching Industrial Robotics Using Open-Source Tools and Understanding Its Social Implications 16th

Scalable and Low-Cost Remote Lab Platforms: Teaching Indust...

引用

16th International conference on Social Robotics, ICSR + AI 2024

作者： Kumar, Amit Jose, Jaison Jain, Archit Kulkarni, Siddharth Arya, Kavi Centre for Systems and Control Indian Institute of Technology Bombay Mumbai India Embedded Real-Time Systems / e-Yantra Lab Indian Institute of Technology Bombay Mumbai India Computer Science and Engineering Department Indian Institute of Technology Bombay Mumbai India

ISBN: (纸本)9789819635214

With recent advancements in industrial robots, educating students in new technologies and preparing them for the future is imperative. However, access to industrial robots for teaching poses challenges, such as the high cost of acquiring these robots, the safety of the operator and the robot, and complicated training material. This paper proposes two low-cost platforms built using open-source tools like Robot Operating System (ROS) and its latest version ROS 2 to help students learn and test algorithms on remotely connected industrial robots. Universal Robotics (UR5) arm and a custom mobile rover were deployed in different life-size testbeds, a greenhouse, and a warehouse to create an Autonomous Agricultural Harvester System (AAHS) and an Autonomous Warehouse Management System (AWMS). These platforms were deployed for a period of 7 months and were tested for their efficacy with 1,433 and 1,312 students, respectively. The hardware used in AAHS and AWMS was controlled remotely for 160 and 355 hours, respectively, by students over a period of 3 months. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Costs

来源：评论

学校读者我要写书评

暂无评论

A Critical Study on Hybrid Computing and Its Current Influences and Future Challenges 3

A Critical Study on Hybrid Computing and Its Current Influen...

引用

3rd International conference on Intelligent and Innovative Technologies in Computing, Electrical and Electronics, IITCEE 2025

作者： Praveen, K.V. Joe Prathap, P.M. Beevi, L. Sherin Dani, W. Vinil St. Peter's College of Engg. and Tech. Department of Information Technology Chennai India R.M.D. Engineering College Department of Computer Science and Engineering Kavaraipettai India St. Peter's College of Engg. and Tech. Department of Eee Chennai India

ISBN: (纸本)9798331515911

This research focuses on the evolving field of hybrid computing, which combines traditional computing architectures with advanced computational paradigms like quantum computing, neuromorphic computing, or cloud-edge computing. Hybrid computing involves integrating multiple computing models or systems to leverage their complementary strengths. For example, combining classical computing with quantum or neuromorphic approaches to solve complex problems more efficiently. The goal is to enhance computational power, increase efficiency, and tackle problems that are difficult for traditional computing models alone. Emerging technologies, including quantum computing, machine learning, and AI, are driving the need for hybrid systems. These technologies enable the handling of more complex computations that classical systems struggle with, such as optimization, simulation, and cryptography. The integration of cloud and edge computing is also central to hybrid computing, enabling decentralized computation and processing closer to data sources. Combining different computing paradigms requires seamless communication and integration between systems, which is a significant technical challenge. Main challenging areas are scalability, software and hardware compatibility, energy efficiency and security. There is a need for standard protocols and frameworks to enable smoother integration of various computing systems. New algorithms that can take advantage of hybrid architectures need to be developed. Depend on applications significant advancements in hardware, including quantum processors, neuromorphic chips, and integrated hybrid processors required. The rise of hybrid computing will also bring ethical concerns, such as the impact on jobs, privacy, and inequality in access to advanced technologies. The study concludes by emphasizing the transformative potential of hybrid computing while acknowledging the technical, economic, and societal hurdles that need to be overcome. It highlights

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems 22nd

Automated Invariant Generation for Efficient Deductive Reas...

引用

22nd International conference on software engineering and Formal Methods, SEFM 2024

作者： Tasche, Philip Herber, Paula Huisman, Marieke University of Twente Enschede Netherlands University of Münster Münster Germany

ISBN: (纸本)9783031773815

Deductive verification is often more efficient than alternative techniques like model checking at reasoning about functional properties of programs. This is especially true when the program under verification contains very large or unbounded data ranges that model checkers struggle with. However, modular deductive verifiers struggle with verifying global properties, which are often crucial in concurrent and reactive embedded systems. Embedded systems often require complex user-defined invariants to capture the global state for the verification of local annotations, demanding high effort and expertise from the user. In this paper, we propose a method to automatically generate compact invariants that are sufficiently strong to enable effective deductive verification of global properties in embedded systems. Our key idea is that a good level of abstraction can be found automatically by choosing variables for refinement that influence relevant events and process interactions. We use this idea together with abstract interpretation to build a system’s state space, abstracted to the relevant part for a given global property. We demonstrate the effectiveness of our approach on a SystemC design of an automotive control system that has in the past proved challenging to verify. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Thermal Model of a Soldering Iron 33rd

Thermal Model of a Soldering Iron

引用

33rd International conference on Organization and Technology of Maintenance, OTO 2024

作者： Barić, Tomislav Glavaš, Hrvoje Dubravac, Anto Faculty of Electrical Engineering Computer Science and Information Technology Osijek University of Osijek Osijek Croatia

ISBN: (纸本)9783031805967

Soldering irons are a hand tool that is indispensable in the process of making small series of electronic devices. Soldering irons have evolved from very simple devices without temperature control to devices with complex temperature control. The implementation of temperature control is based on the knowledge of the thermal models of the soldering iron. Thermal models of soldering irons are based either on the theory of thermal fields or on the theory of equivalent Kirchhoff thermal circuits. The theory of thermal fields is applied for very accurate modeling. In doing so, the finite element method (FEM) is used. For the above, it is necessary to use software packages based on FEM. Unlike FEM-based modeling, thermal circuit modeling does not require specialized software tools. It is also possible to derive analytical expressions that describe the thermal process of the soldering iron. In this paper, a thermal model of a soldering iron based on equivalent Kirchhoff thermal circuits is presented. Analytical expressions were derived to describe the thermal transient. The validity of the theoretical model is supported by measurement. Measurements were carried out on two soldering irons from different manufacturers. The measurement results were analyzed. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Hand tools

来源：评论

学校读者我要写书评

暂无评论

Feasibility Assessment of a Hybrid Energy System with Hydrogen Production for Rural Limpopo Province Communities 33

Feasibility Assessment of a Hybrid Energy System with Hydrog...

引用

33rd Southern African Universities Power engineering conference, SAUPEC 2025

作者： Netshilonwe, Pfesesani Nemangwele, Fhulufhelo Ratshitanga, Mukovhe University of Venda Department of Physics Thohoyandou South Africa Cape Peninsula University of Technology Department of Electrical Engineering Electronic and Computer Engineering Bellville South Africa

ISBN: (纸本)9798331535162

The assessment of hybrid energy systems for generating electricity and green hydrogen for cooking and heating is crucial for advancing green technology integration. The annual increases in electricity tariffs have prompted individuals to revert to traditional methods of cooking and heating. Research conducted by climatologists indicates that these conventional practices are environmentally harmful and contribute to adverse climate change. This study is aimed at rural communities of Limpopo province to find new ways to bring affordable, reliable electricity and green hydrogen energy for cooking and heating purposes. The study focuses on implementing population size-dependent hybrid energy systems to produce green hydrogen. Four communities in Limpopo province, Ga-Masekwa, Ka-Dzingidzingi, Duthuni, and Mookgopong non-urban, have been randomly selected for this assessment. The Herman-Beta method, in conjunction with Homer Pro software, is employed to estimate maximum loads in selected communities. This approach facilitates the simulation of various hybrid energy system configurations, allowing for a comprehensive analysis of energy generation and consumption dynamics. Configurations comprised of PV/H2/Grid and PV/BES/H2/Grid are evaluated to determine the best hybrid energy system for each community based on economic performance. Results obtained indicate that the PV/H2/Grid configuration is the most cost-effective, with the lowest NPC and LCOE, offering a high return on investment for potential investors. The NPC of this configuration in all communities is R3.01M, R88.3M, R162M, and R299M, respectively. The corresponding LCOEs are 1.02 R/kWh, 1.2 R/kWh, 1.18 R/kWh, and 1.12 R/kWh. However, it is noted that green hydrogen production requires a significant amount of energy, making the hybrid system run more expensive than it would be otherwise. Successful green hydrogen use in rural communities can lead to economic growth, sustainable cities, reduced emissions, and a tr

关键词： Hybrid power

来源：评论

学校读者我要写书评

暂无评论

Intelligent Eye Strain Relief Glasses using IoT and Naive Bayes Solutions for Digital Wellness 5

Intelligent Eye Strain Relief Glasses using IoT and Naive Ba...

引用

5th International conference on Emerging systems and Intelligent Computing, ESIC 2025

作者： Thanalakshmi, S. Geethamahalakshmi, G. Azath, H. Prabu, K. Kumanan, T. Srinivasan, C. Gojan School of Business and Technology Department of Management Studies Redhills Tamil Nadu Chennai India Easwari Engineering College Department of Electrical and Electronics Engineering Tamil Nadu Chennai India Vel Tech Rangarajan Dr.Sagunthala R&d Institute of Science and Technology School of Computing Tamil Nadu Chennai India Gojan School of Business and Technology Department of Electronics and Communication Engineering Tamil Nadu Chennai India Dr Mgr Educational and Research Institute Department of Computer Science and Engineering Tamil Nadu Chennai India Saveetha University Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Department of Computer Science and Engineering Tamil Nadu Chennai India

ISBN: (纸本)9798331522100

Eye strain and its effects on general health have become more pressing issues due to the pervasive nature of digital devices in modern life. This work offers a new approach by combining the Internet of Things (IoT) with Naive Bayes classification for smart eyewear that reduces eye strain. The proposed system aims to reduce digital eye strain by adapting the lens's characteristics in real-time to user behavior and ambient factors. Using the IoT architecture, data like screen time, distance from the device, and ambient lighting conditions may be captured in real-time when users interact with digital displays. Using Naive Bayes classification, this data is processed to identify probable causes of eye strain and suggest suitable eyewear changes to reduce pain. The proposed system provides a preventative method of fostering digital well-being using software and hardware components, such as sensors, microcontrollers, and machine learning algorithms. These smart glasses provide hope for a future free of the negative impacts of digital device use on eye health by making personal recommendations based on each user's unique requirements. © 2025 IEEE.

关键词： Ambient Sensing Eye Health Personalized Recommendations Smart Glasses User Interaction Analysis Wearable Technology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：