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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,790 篇 会议
353 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,220 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,588 篇 工学
- 3,087 篇 计算机科学与技术...
- 2,586 篇 软件工程
- 583 篇 信息与通信工程
- 434 篇 控制科学与工程
- 339 篇 电气工程
- 230 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
108 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,091 篇 英文
105 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

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

共 5224 条记录，以下是431-440 订阅

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

详细简洁

排序：

Exception Handling in SARL as a Responsibility Distribution

Exception Handling in SARL as a Responsibility Distribution

引用

13th International conference on Ambient systems, Networks and Technologies, ANT 2022 / 5th International conference on Emerging Data and Industry 4.0, EDI40 2022

作者： Baldoni, Matteo Baroglio, Cristina Chiappino, Giovanni Micalizio, Roberto Tedeschi, Stefano Università Degli Studi di Torino Dipartimento di Informatica Corso Svizzera 185 Torino10149 Italy

Exception handling has been successfully proposed in software engineering practice as a simple, but effective, technology to address abnormal situations possibly occurring at runtime. Such mechanisms support the robust composition of heterogeneous software components, promoting code modularity, decoupling, and separation of concerns. Multi-agent systems bring these features to an extreme, but often lack systematic mechanisms for treating exceptions as part of their design. In this paper, we show how exception handling mechanism can be introduced in SARL, leveraging the abstractions that characterize its programming model. We introduce a new kind of space, supporting the responsibility distribution among agents concerning the handling of exceptional situations. © 2022 Elsevier B.V.. All rights reserved.

关键词： Exception Handling Responsibility Robustness SARL software Composition

来源：评论

学校读者我要写书评

暂无评论

Availability Model for Byzantine Fault-Tolerant systems 1

引用

37th International conference on Advanced Information Networking and Applications, AINA 2023

作者： Marcozzi, Marco Gemikonakli, Orhan Gemikonakli, Eser Ever, Enver Mostarda, Leonardo Computer Science Division University of Camerino Camerino Italy Faculty of Engineering Final International University Kyrenia Cyprus Department of Computer Engineering Faculty of Engineering University of Kyrenia Girne Mersin 10 Kyrenia Turkey Computer Engineering Middle East Technical University Northern Cyprus Campus Mersin 10 Guzelyurt99738 Turkey

ISBN: (数字)9783031290565

ISBN: (纸本)9783031290558

the growth in the complexity and extensibility of computer systems have caused vulnerabilities such as exploitable software bugs and configuration flaws. In turn, confirming computer security is becoming an increasingly important task. Byzantine fault-tolerant algorithms are popularly used to allow systems automatically continue operating. In addition, Byzantine Fault-Tolerant systems are used in blockchain networks, commonly in tandem with other consensus mechanisms. this study proposes an analytical availability model which is critical for the evaluation of fault-tolerant multi-server systems. A model is proposed based on continuous-time Markov chains to analyse the availability of Byzantine Fault-Tolerant systems. Numerical results are presented reporting availability as a function of the number of participants and the relative number of honest actors in the system. It can be concluded from the model that there is a non-linear relationship between the number of servers and availability inversely proportional to the number of nodes in the system. this relationship is further strengthened as the ratio of honest malicious nodes to the total number of nodes increases. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

Evolution of Autonomous Vehicle: An Artificial Intelligence Perspective 5th

Evolution of Autonomous Vehicle: An Artificial Intelligence ...

引用

5th International conference on Recent Innovations in Computing, ICRIC 2022

作者： Rana, Kritika Gupta, Gaurav Vaidya, Pankaj Tomar, Abhishek Kumar, Nagesh Yogananda School of Artificial Intelligence Computer and Data Sciences Shoolini University Solan Bajhol India Chitkara University School of Engineering and Technology Chitkara University Himachal Pradesh Baddi India

ISBN: (纸本)9789811998751

Autonomous vehicle is a major application of Artificial Intelligence. Artificial Intelligence systems, that use machine learning techniques to gather, analyze, and transfer data, are used in autonomous vehicles to make judgments that would normally be made by humans. Over the last decade, researchers and the car industry became very active in the deployment of driverless cars as they can greatly increase safety of the vehicle, rate of traffic accidents, and the effect of climate on automobiles. In implementing automated driving, software architecture plays a crucial function. the ability of driverless vehicles to work in real-world situations in a healthy and stable manner is currently being studied in public roads. In this paper, we have explained the background of Artificial Intelligence and how its applications are helping the world getting smarter. the role of Artificial Intelligence in autonomous vehicle industry has been discussed in this paper. Also, we tried to describe the relation of Artificial Intelligence and autonomous vehicles as well as presented the evolution of Artificial Intelligence from 1936 to 2020 with the help of a systematic review and explained how Artificial Intelligence is involved in the success of autonomous vehicles. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

software Development for Automatic Processing of Standard Platinum Resistance thermometer Verification Data 5

Software Development for Automatic Processing of Standard Pl...

引用

5th IEEE International conference on Information systems and computer Aided Education, ICISCAE 2022

作者： Sun, Wanhao Huang, Jiamin College of Food Science & Nutritional Engineering China Agricultural University Beijing China College of Metrology and Measurement Engineering China Jiliang University Hangzhou China

ISBN: (数字)9781665481229

ISBN: (纸本)9781665481229

In order to realize the verification of the standard platinum resistance thermometer in the temperature zone from 0°C to 419.527°C and the calculation of the reference table, a system for the verification data processing of the standard platinum resistance thermometer and the automatic generation of any reference table was developed based on PyQt5. the system includes three parts: the standard platinum resistance information input interface, the verification result output interface, and the automatic generation interface of the reference table. After the calculation is completed, the Excel format verification report can be automatically generated. the experimental results are compared with the reference function table data in the temperature zone from 0°C to 419.527°C in the verification regulations, and the results meet the requirement that the difference between the two calculation results is less than times 10{-8}, which proves the reliability of the calculation results of the system. Compared with the traditional calculation relying on Excel table, the verification operation of this system is clearer. the division value and final temperature of the platinum resistance thermometer scale can be customized to verify, and the design interface is friendly and the operation is simple, which greatly improves the working efficiency of the metrology personnel for the verification. this method can be used for the verification of first-class and second-class standard platinum resistance. © 2022 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Network Resource Personalized Recommendation System Based on Collaborative Filtering Algorithm 5th

Network Resource Personalized Recommendation System Based on...

引用

5th EAI International conference on Advanced Hybrid Information Processing (ADHIP)

作者： Qiu, Gang Cheng, Jie Shandong Univ Sch Software Jinan 250101 Peoples R China Changji Univ Changji 831100 Peoples R China

ISBN: (纸本)9783030945510;9783030945503

Several existing personalized recommendation systems for network resources do not specifically classify user history information personalized classification criteria, resulting in a low degree of matching between system personalized recommendations and user interests. In order to improve the accuracy of personalized recommendations for network resources, we designed a collaborative filtering based Algorithm-based personalized recommendation system for network resources. In the hardware design, design the overall circuit module, configure the bus timing, and improve the operating speed of the system hardware. In software design, calculate the time weight function to construct the user's implicit scoring matrix;calculate the similarity between network resources and user browsing history items, design personalized classification criteria for user history information based on collaborative filtering algorithms;calculate predicted item scores and actual scores Establish a personalized recommendation model for network *** the experiment, the system is compared with several existing systems, and the average absolute error in different adjacent sets is tested. According to the data results, in the five data test sets, the average absolute error of the system is less than that of other systems, so the personalized recommendation system based on collaborative filtering algorithm has better recommendation accuracy.

关键词： Collaborative filtering algorithm Overall circuit module Bus timing Time weight function Recommendation model

来源：评论

学校读者我要写书评

暂无评论

ATmega2560 MCU Space Vector Modulation Implementation on three-phase Inverter and Validation via Typhoon HIL 402 5

ATmega2560 MCU Space Vector Modulation Implementation on Thr...

引用

5th IEEE International conference on Smart systems and Technologies, SST 2022

作者： Brandis, Andrej Pelin, Denis Šimić, Zvonimir Vidošić, Ivan Department of Electromechanical Engineering Faculty of Electrical Engineering Computer Science and Information Technology Osijek Osijek Croatia Department of Power Engineering Faculty of Electrical Engineering Computer Science and Information Technology Osijek Osijek Croatia Faculty of Electrical Engineering Computer Science and Information Technology Osijek Osijek Croatia

ISBN: (数字)9781665482158

ISBN: (纸本)9781665482158

In this paper, a space vector modulation implementation is done via ATmega2560 microcontroller with the Arduino development board. the control parameters are defined by the user in MATLAB software and sent to Arduino to start or stop the controller or to change the controller parameters. Space vector switching times for chosen parameters are calculated and given. the implemented algorithm is validated via Typhoon HIL 402 system on a three-phase inverter model for two different operation points. Voltage and current waveforms are obtained in Typhoon HIL. Line and phase voltage, as well as the phase current spectrum analysis is done via Typhoon HIL and processed in MATLAB for given system parameters. the measurement results validates the implemented space vector control algorithm. © 2022 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

An Enhanced Deep Neural Network Enabled with Cuckoo Search Algorithm for Intrusion Detection in Wide Area Networks 5

An Enhanced Deep Neural Network Enabled with Cuckoo Search A...

引用

5th International conference on Information Technology for Education and Development, ITED 2022

作者： Jimoh, Rasheed Gbenga Imoize, Agbotiname Lucky Awotunde, Joseph Bamidele Ojo, Stephen Akanbi, Mulikat Bola Bamigbaye, Jesufemi Ayotomide Faruk, Nasir University of Ilorin Faculty of Communication and Information Sciences Department of Computer Science Ilorin Nigeria University of Lagos Department of Electrical and Electronics Engineering Nigeria Institute of Digital Communication Ruhr University Department of Electrical Engineering and Information Technology Bochum44801 Germany Anderson University Department of Electrical and Computer Engineering AndersonSC29621 United States Kwara State Polytechnic Department of Computer Science Ilorin Nigeria Sule Lamido University Department of Physics Nigeria SLU Directorate of ICT Nigeria

ISBN: (纸本)9781509064229

A diversity of harmful software has been created as a result of the dramatic increase in internet usage, posing major risks to computer security. there is a great probability that the numerous computing operations performed through the network will be interfered with or altered, and as a result, effective intrusion detection systems are imperative. In addition, the attacks on the network are unpredictable, something that emphasizes the value of creating effective classification and prediction models. Machine learning (ML) and Deep Learning techniques have been used to evaluate datasets for intrusion detection systems (IDS). the employment of the DL-based approach enabled by feature selection helps to address challenges with data quality, handling high-dimensional data, and other related issues. therefore, due to the large nature and volume of the IDS datasets, and the ability of DL-based models to learn categories incrementally through their hidden layer architecture to produce more accurate results in big data, this study proposes a Long-Short-Term-Memory (LSTM) model, and to further enhance the classification capacity of the projected DL method, the cuckoo search algorithm was introduced to select optimal features from the wireframe. the accuracy and subsequent detection of the suggested model positive and negative rates were evaluated. the experimental results show that the LSTM outperformed some other existing models with the highest classification accuracy of 99.7% and an error rate of 0.006. © 2022 IEEE.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

Testing Graph Database systems via Equivalent Query Rewriting 24

Testing Graph Database Systems via Equivalent Query Rewritin...

引用

44th ACM/IEEE International conference on software engineering, ICSE 2024

作者： Mang, Qiuyang Fang, Aoyang Yu, Boxi Chen, Hanfei He, Pinjia Shenzhen China Shenzhen China China Shenzhen Research Institute of Big Data China

ISBN: (纸本)9798400702174

Graph Database Management systems (GDBMS), which utilize graph models for data storage and execute queries via graph tra-versals, have seen ubiquitous usage in real-world scenarios such as recommendation systems, knowledge graphs, and social networks. Much like Relational Database Management systems (RDBMS), GDBMS are not immune to bugs. these bugs typically manifest as logic errors that yield incorrect results (e.g., omitting a node that should be included), performance bugs (e.g., long execution time caused by redundant graph scanning), and exception issues (e.g., unexpected or missing exceptions). this paper adapts Equivalent Query Rewriting (EQR) to GDBMS testing. EQR rewrites a GDBMS query into equivalent ones that trigger distinct query plans, and checks whether they exhibit discrepancies in system behaviors. To facilitate the realization of EQR, we propose a general concept called Abstract Syntax Graph (ASG). Its core idea is to embed the semantics of a base query into the paths of a graph, which can be utilized to generate new queries with customized properties (e.g., equivalence). Given a base query, an ASG is constructed and then an equivalent query can be gener-ated by finding paths collectively carrying the complete semantics of the base query. To this end, we further design Random Walk Covering (RWC), a simple yet effective path covering algorithm. As a practical implementation of these ideas, we develop a tool GRev, which has successfully detected 22 previously unknown bugs across 5 popular GDBMS, with 15 of them being confirmed. In particular, 14 of the detected bugs are related to improper implementation of graph data retrieval in GDBMS, which is challenging to identify for existing techniques. © 2024 ACM.

关键词： Graph Databases

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a multi-source data fusion scheme based on configuration software for smart energy 5

Design and implementation of a multi-source data fusion sche...

引用

5th International conference on Mechatronics and computer Technology engineering, MCTE 2022

作者： Meng, Yu Wang, Ying Liu, Zesan Li, Xiaozhen Yan, Tingting State Grid Information and Telecommunication Group Co. Ltd. Beijing100052 China

ISBN: (纸本)9781510661073

With the rapid development of new power systems and smart energy, data sources for energy equipment are being greatly expanded, and integrated power scenarios are becoming more sophisticated and complex. As a visualization tool that can quickly build smart energy scenarios, configuration software has been unable to efficiently respond to the increasing number of cross-system and multi-granularity display requirements. In order to address the serious shortcomings of configuration software in data display, this paper proposes a new multi-source data fusion scheme that achieves the linkage effect between equipment model attributes and multi-source binding data via flexible and configurable multi-source data selection components and dynamically assigned functions. At the same time, the hybrid communication mechanism is used to optimize the data refresh performance, and finally, multi-source data fusion of a single model is realized, which improves energy visualization accuracy. In the end, an example scenario is compared to the existing solution to validate the paper's proposed scheme's simplicity, flexibility, and agility. © 2022 SPIE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Artificially Intelligent Operating System with Sapi5 Voice Recognition Engine 9

Artificially Intelligent Operating System with Sapi5 Voice R...

引用

9th International conference on Smart Computing and Communications, ICSCC 2023

作者： Sumathi, S. Nivetha, N. Princy Jovita, J. St. College of Engineering Department of Information Technology Chennai India

ISBN: (纸本)9798350314090

A machine's or computer's intelligence is used by an artificial intelligence operating system to manage computer hardware and software and offer common services for the computer, allowing it to tackle difficult issues with ease. AIOS is a humanoid system that performs various activities to satisfy the needs of the user. they can gather the inputs from the user using voice to text conversion and provide the desired output. the system is developed in such a way that it can show you the date & time, conversion of voice into text, can play music according to the user's request, can tell a joke and can answer to the user's questions, can search, and show the results in google, YouTube, Wikipedia and it can also perform the power operations. Artificial Intelligence encompasses a range of fields, including Intelligent systems, Fuzzy Logic systems, Natural Language Processing, Expert systems, and Artificial Neural Networks. Together, these technologies can be harnessed to create an Artificially Intelligent Operating System that simplifies the adoption of new techniques and proves invaluable in our daily lives. this also helps physically challenged people to utilize and gain easier access to resources. © 2023 IEEE.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 40 41 42 43 44 45 46 47 48 49 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：