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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,788 篇 会议
353 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,218 篇 电子文献
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,089 篇 英文
105 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

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

共 5222 条记录，以下是411-420 订阅

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

详细简洁

排序：

Ecosystem for the Development and Testing of Emerging Network Applications in 5G and Beyond Environment 1

引用

IEEE lnternational conference on Advanced Trends in Radioelectronics, Telecommunications and computer engineering, TCSET 2022

作者： Odarchenko, Roman Shapira, Eli National Aviation University 1 Liubomyra Gusara Ave. Kyiv Ukraine Bundleslab KFT Budapest Hungary DriveU Kefar Sava Israel

ISBN: (数字)9783031249631

ISBN: (纸本)9783031249624

there are a lot of different wireless technologies nowadays. And among them the decisive role for critical applications (Automotive and PPDR) is given to the 5-th generation mobile technologies. 5G is a key driving force in the development of the ICT industry and other related vertical industries. In these conditions, when a large number of commercial 5G networks are already deployed, software developers begin to develop a large number of network applications for the needs and with the use of 5G. therefore, it is very important to support developers, small and medium enterprises in order to automatically test, certify and bring to the end customer already debugged applications that can be deployed and used in commercial projects. therefore, the paper presents the ecosystem for the development and testing of emerging network applications in 5G and beyond environment. this ecosystem combines software developers, test sites in European cities, automated testing and certification tools, end customers (users) of network applications and other tools and systems. And it is mandatory to use NetApp Store, specially developed Marketplace, to bring fully tested and certified network application to the end user or customer. this paper also demonstrates how the methodology developed in the project will be applied in practice on the example of Remote human driving NetApp. In particular, the architecture of the application, the principles of interaction with the test platform, the requirements for the application, the test plan and metrics to be collected were shown. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

A DCNN with Jellyfish Questoptimization Algorithm in Order to Find Fetus Images 5

A DCNN with Jellyfish Questoptimization Algorithm in Order t...

引用

5th IEEE International conference on Computing, Power, and Communication Technologies, IC2PCT 2024

作者： Aravinda, K. Manjunatha, B. Kavin, Balasubramanian Prabhu Gangadevi, E. Balusamy, Balamurugan Gite, Shilpa New Horizon College of Engineering Ring Road Bellandur Post Bengaluru India Srm Institute of Science and Technology Department of Data Science and Business Systems Chengalpattu Kattankulathur India Loyola College Department of Computer Science Chennai India Delhi India Aiml Department Pune India

ISBN: (纸本)9798350383522

Incomplete closure around the spinal cord is the underlying cause of spina bifida, a birth condition. Multiple methods exist for identifying the presence of spina bifida. Ultrasound can be used to look for spinal axis deformities. However, due to the distortion inherent in prenatal ultrasound pictures, this method requires the expertise of a skilled physician in order to pinpoint the anomaly. Examining ultrasound pictures visually may be a subjective and error-prone process. the diagnosis procedure for spinal deformities may benefit from a computerised support system that can automatically locate the site of the abnormality. An algorithm for determining whether the entire spine in an ultrasound picture is healthy or diseased would be the first step in developing such software. In this study, we combine the power of the Jellyfish Search Optimisation Algorithm (JFSOA) with a deep convolution neural network to better identify SB. Improved classification accuracy is achieved by JFSOA's optimal selection of the SDL model's learning rate. Foetal ultrasound scans taken in the second trimester are widely regarded as a useful screening technique for identifying birth defects. the foetal spine picture from an ultrasound scan taken at the 18th week of pregnancy is used. Preprocessing pipelines, such as contrast improvement, intensity modification, and denoising, are used to improve the quality of ultrasound pictures and eliminate noise. Using this method, the suggested model can reliably recognise pictures of people with spina bifida. the suggested approach accurately identifies and labels ultrasound pictures as normal or defective based on the attributes retrieved © 2024 IEEE.

关键词： Fetus Abnormalities Jellyfish Search Optimization Algorithm Spina bifida Detection Synergic deep convolution neural network Ultrasound

来源：评论

学校读者我要写书评

暂无评论

Research on Multi-Sensor Parameter Updating and Firmware Upgrading Method Based on Modbus

Research on Multi-Sensor Parameter Updating and Firmware Upg...

引用

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

作者： Kai Ding Chaoyue Jiang Ming Tao Renping Xie Jiaxue Li School of Computer Science and Technology Dongguan University of Technology Dongguan China Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ) Shenzhen China

ISBN: (数字)9798331533113

ISBN: (纸本)9798331533120

In industrial systems, sensors are used as key data acquisition devices. Optimizing their performance and functionality is essential for ensuring stable operation and improving system productivity. In order to realize function expansion, performance optimization and security guarantee, parameter updates, and firmware upgrades are indispensable operations. However, traditional methods for parameter updates and firmware upgrades typically rely on manual operations, which has many drawbacks such as low efficiency, high maintenance cost, and a significant risk of errors. these limitations make it difficult to meet the demands for high efficiency and intelligent equipment management in modern industrial systems. We propose a solution for parameter updating and firmware upgrading based on Modbus protocol, designing and realizing related hardware and Supervisory Control software systems. the system communicates with the Supervisory Control software through the LoRa module, utilizing the reliability and standardization characteristics of the Modbus protocol to improve the efficiency of parameter updates and firmware upgrades effectively. the research in this paper provides an efficient and reliable realization path for the intelligent management of sensors in industrial systems and provides an important reference for research and application in related fields.

关键词： Protocols Supervisory control software Hardware Sensor systems software reliability Maintenance Intelligent sensors thermal stability Microprogramming

来源：评论

学校读者我要写书评

暂无评论

Onboard software Maintenance Design and Implementation for Networking Satellites 1

引用

11th EAI International conference on MOBILe Wireless MiddleWARE, Operating systems and Applications, MOBILWARE 2022

作者： Wu, Wei Qiao, Liang Yan, Hongcheng Wang, Cuilian Xu, Yong Yang, Xiaorui Beijing Institute of Spacecraft System Engineering Beijing China

ISBN: (数字)9783031344978

ISBN: (纸本)9783031344961

A design method of onboard software automatic update for networking satellites is proposed. Using the inter-satellite link, the hand-in-hand satellites with each other transmit the version numbers of the software and FPGA that can be updated and the applicable satellites to each other. When the version numbes of a software item between hand-in-hand Sat-A and Sat-B is inconsistent (Sat-a is higher than Sat-B), Sat-B can automatically initiate the request to update. then Sat-A can automatically read out the software data from the Nandflash memory with splitting and re-framing and send it to Sat-B, according to the dedicated parameters of Sat-B and the inter-satellite link data transmission format. the updated software data is received and verified by Sat-B, and then stored in Nandflash memory and program store Norflash or EEPROM memory. After the update is completed, Sat-B will transmit the latest software version information to other hand-in-hand satellites, and support the software update Correspondingly. If this scheme can complete the software update of one of the group networking satellites on the ground, it can automatically upgrade the satellites software of the whole network, reduce the ground operation, and greatly improve the efficiency of onboard software maintenance. the method has been demonstrated with two space network routers for Compass Navigation Satellites in laboratory. A Virtex-5 FPGA configuration data in one router is updated by terrestrial injection and the corresponding Virtex-5 FPGA configuration data in the other router is updated automatically with Inter-Satellite Link. © 2023, ICST Institute for computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Satellites

来源：评论

学校读者我要写书评

暂无评论

Green Computing in Network Design and Server Approach for 5G N/W based Communication 4

Green Computing in Network Design and Server Approach for 5G...

引用

4th IEEE International conference on Advance Computing and Innovative Technologies in engineering, ICACITE 2024

作者： Nivedha, C.S. Yawanikha, T. Alabdeli, Haider Rai, Avinash Kumar Abirami, S. Prince Shri Venkateshwara Padmavathy Engineering College Department of Business Administration TN India Karpagam Institute of Technology Department of Information Technology TN India The Islamic University College of Technical Engineering Department of Computers Techniques Engineering Najaf Iraq M. P Bhopal India Hindustan Institute of Technology and Science Department of Information Technology Tamil Nadu Kelambakkam India

ISBN: (纸本)9798350360165

the wireless communication system has been transformed by the concept of virtualization, which is additionally widely utilized in 5G innovations. this kind of compute enables the continuous leasing of server capacity n the type of software-as-a-service, platform-as-a solutions. the widespread adoption of these solutions by consumers resulted in the construction of massive cloud computing facilities, which have a significant electricity consumption, higher metered bill costs, and carbon emissions. 3 empirical models - Median Transfer Time, the smallest Empty Identification, the Optimal Fill - that may lower energy usage with little fluctuation in agreed-upon standards of excellence are presented in this study. In particular, we establish the issues of resource utilisation efficiency issue, the cost-optimization issue, which involves and cloud servers operating costs. An electricity expenditure model that includes a linear connection of power demand and usage of resources was created for the world of the cloud. A shortened stop-and-copy phase that is synchronization-oriented is the emphasis of a computer's transfer strategy that is being studied. the whole process of developing strategies for energy-aware intuitive simulations, such as SVD, MF, and MeMT. We experimented with Planet Laboratory client information which is typically gathered over ten days, and with simulated workload knowledge that is picked at random amongst a comparable amount of virtual machines (VMs) used by Planet Laboratories systems in order to assess the suggested mechanistic approaches. We conclude from the assessment phase that the suggested methods may preserve high system functionality while drastically lowering the use of electricity, host a break, and full virtual machine transfer. © 2024 IEEE.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

Smart Annotation And Anonymizer 15

Smart Annotation And Anonymizer

引用

15th International conference on Computing Communication and Networking Technologies, ICCCNT 2024

作者： Reddy, Durga Divya Vishwas, H.N. Amrita Vishwa Vidyapeetham Amrita School of Computing Department of computer science and Engineering Bangalore India

ISBN: (纸本)9798350370249

this paper introduces the Smart Annotation and Anonymization tool, a sophisticated software application developed using PyQT5, aimed at optimizing object detection and recognition processes. the tool seamlessly integrates manual and automated annotation, anonymization, and segmentation techniques for both images and videos. By harnessing advanced deep learning algorithms, the Smart Annotation feature enables users to label images and videos manually or automatically, streamlining the creation of precise datasets for object detection and recognition tasks. the paper emphasizes the tool's prowess in automatically recognizing and tagging objects in images and videos, presenting a significant time-saving advantage. the Anonymizer feature addresses privacy concerns by automatically blurring or obscuring faces and other identifying features in images and videos. this functionality is crucial for upholding the privacy of individuals captured by sensors or cameras, especially in applications such as Automatic Driver Assistance systems (ADAS). Furthermore, the paper underscores the inclusion of Instance and Panoptic Segmentation, dividing pixels in images into regions or contours and assigning a class to each, thereby enhancing object detection and recognition. © 2024 IEEE.

关键词： Anonymity

来源：评论

学校读者我要写书评

暂无评论

Sentiment Analysis of Electric Power Domain based on Transfer Learning 5

Sentiment Analysis of Electric Power Domain based on Transfe...

引用

5th International conference on Advanced Electronic Materials, computers and software engineering, AEMCSE 2022

作者： Zhang, Bo Chen, Xiaoping Ouyang, Yu Gan, Yeping Lyu, Bin Zhao, Qian Li, Chenguang State Grid Anhui Electric Power Hefei City230026 China University of Science and Technology of China College of Computer Science and Technology Hefei City230026 China

ISBN: (数字)9781665484749

ISBN: (纸本)9781665484749

Sentiment analysis is an essential part of the natural language processing domain. Currently, sentiment analysis is mainly applied to scenarios such as user tweets, film comments, and opinion analysis. these scenarios generally contain sufficient training data. However, for some scenarios that lack sufficient training data, their performance is often limited. For this reason, a sentiment analysis method based on transfer learning was proposed in this study. With self-attention and adversarial learning as the core framework, the method could be used to assist the learning of small-scale specific domain sentiment analysis by using sentiment data from the rest of the large-scale domains, thus achieving better sentiment analysis results in small-scale specific domains. In the experimental part, the electric power field was taken as an example. the relevant experimental results demonstrate the effectiveness of the proposed method. © 2022 IEEE.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

Advanced Face Detection using Machine Learning and AI-based Algorithm 5

Advanced Face Detection using Machine Learning and AI-based ...

引用

5th International conference on Contemporary Computing and Informatics, IC3I 2022

作者： Phatak, Sakshi Sandeep Patil, Harshvardhan Sangram Arshad, Muhammad Waqas Jitkar, Bhagatsing Patil, Sangram Patil, Jaydeep Shivaji University Computer Science and Engineering Maharashtra Kolhapur India Air University Department of Creative Technologies Islamabad Pakistan D y Patil Agricultural and Technical University Department of Computer Science and Engineering Maharashtra Kolhapur India

ISBN: (纸本)9798350398267

In this study, the analysis of the research that has been provided in the 'Advanced Face Detection using Machine Learning And AI-based algorithms'. It is a facial acknowledgment framework that utilizes AI and Machine learning. It specifically uses the Support Vector Machine (SVM) system. Modern-day technology is making people amazed with the innovations that it is providing to make an individual's life simpler and easier. In the case of Face Recognition, it has proven to be the least intrusive and also the fastest form of the biometric verification system. Among all the tasks that can be done with the help of machine learning algorithms, one of the most crucial computer vision tasks is the use of face detection and recognition. the face detection and the recognition systems are both related to each other yet they are also very different from one another as well. By using machine learning the face detection aspect is used and it also is a widespread aspect of the face recognition system. Machine learning applies various algorithms for the detection of faces and the recognition process as well. Face detection and recognition systems are used in medical diagnosis and also in the deep analysis of human faces in the video for various intelligence purposes. Face recognition is a sub-category system of the biometric software system, it is used to map an individual's facial features and also to store that data as a face print for future purposes. © 2022 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

A Framework for Model-Based Specification and Verification in Feature-Oriented software Product Lines 11th

A Framework for Model-Based Specification and Verification...

引用

11th IFIP WG 2.2 International conference on Fundamentals of software engineering, FSEN 2025

作者： Kanwal, Samina Fokkink, Wan Vrije Universiteit Amsterdam Netherlands

ISBN: (纸本)9783031870538

At the heart of Product Line engineering (PLE) lies the feature model, which describes how features can be combined to create customized variability and commonality in the development of reconfigurable cyber-physical systems. Since standardized processes are key to high-quality product development, managing their variability should align with PLE principles and regulatory standards. However, misconfigurations frequently arise due to the complexity of these standardized processes leading to potentially hazardous conditions. therefore, containment verification of each configuration in variability management remains a complex task, that requires extensive analysis and considerable effort. We introduce a containment verification approach to determine whether a certain product configuration is consistent with the specification defined in a feature model. Our method provides a model-based architectural analysis that identifies misconfiguration against the architecture and the potential damage scenarios of their mitigations. To facilitate this task, we model the security architecture and requirements in an Eclipse-based IDE that supports all phases of feature-oriented software development for PLE. Subsequently, the proposed approach performs automated transformation of these models, using the Acceleo transformation language, into formal constraints and descriptions, in order to leverage the analytical power of model-checking techniques. the formal verification of completeness, consistency, and conflict is carried out using the NuSMV model checker. In case a counterexample is produced, a change impact analysis is performed for the identification of problems and their resolutions. We conducted a case study to evaluate the accuracy of the verification results and the inferred model transformations. © IFIP International Federation for Information Processing 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Recognition Textual Entailment on Bahasa Using Biplet Individual Comparison and BiLSTM 8

Recognition Textual Entailment on Bahasa Using Biplet Indivi...

引用

8th IEEE International conference on software engineering and computer systems, ICSECS 2023

作者： Suwija Putra, I Made Siahaan, Daniel Saikhu, Ahmad Institut Teknologi Sepuluh Nopember Department of Informatics Surabaya Indonesia

ISBN: (纸本)9798350310931

Recognizing Textual Entailment (RTE) is one of the important tasks in Natural Language Processing (NLP). Various approaches have been taken, starting from a simple statistical framework to the neural network (NN) that is currently the mainstay, including RTE in Bahasa Indonesia. Currently, RTE in Bahasa Indonesia has started using the neural network approach, but the value of the resulting accuracy is still less than 77%. this is because the new NN architecture has just accommodated the lexical elements and not yet the syntactical elements of sentences. Syntactical elements in sentences are important components in obtaining the local information contained therein. In RTE, local information is useful for determining how closely related text fragments are. this study proposes a new approach to NN-based Bahasa Indonesia RTE using the Biplet (head-dependency) individual comparison technique. Biplet is generated from the process of word pair dependency. the concept of word pair dependency is used to improve alignment and inference assessment that is optimized by adjusting the weight of the phrase using an attention mechanism. From experiments conducted using the SNLI dataset that has been translated into Bahasa Indonesia (SNLI Indo), it was obtained that the highest training accuracy value is 83.56% with the validation accuracy value is 64.61% for the number of pairs of sentences of 100k. © 2023 IEEE.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：