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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,548 篇 会议
51 篇 期刊文献
35 册 图书

馆藏范围

1,632 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,173 篇 工学
- 869 篇 计算机科学与技术...
- 556 篇 软件工程
- 135 篇 电气工程
- 122 篇 控制科学与工程
- 92 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
329 篇 理学
- 226 篇 数学
- 75 篇 统计学（可授理学、...
- 68 篇 系统科学
- 43 篇 物理学
- 42 篇 生物学
- 27 篇 化学
216 篇 管理学
- 154 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 79 篇 工商管理
31 篇 医学
- 24 篇 基础医学(可授医学...
- 23 篇 临床医学
30 篇 法学
- 27 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
17 篇 教育学
15 篇 文学
10 篇 农学
6 篇 艺术学
5 篇 军事学

主题

68 篇 model checking
43 篇 tools
35 篇 algorithm design...
28 篇 software enginee...
28 篇 static analysis
26 篇 data mining
23 篇 stochastic syste...
20 篇 real time system...
20 篇 computational mo...
20 篇 analytical model...
17 篇 hybrid systems
17 篇 real-time system...
17 篇 machine learning
17 篇 testing
16 篇 software tools
16 篇 optimization
16 篇 computers
16 篇 sentiment analys...
16 篇 software
16 篇 data models

机构

26 篇 rhein westfal th...
13 篇 ludwig maximilia...
8 篇 univ penn philad...
7 篇 univ twente ensc...
7 篇 univ twente form...
7 篇 tech univ munich...
6 篇 univ illinois ur...
5 篇 saarland univ sa...
5 篇 rhein westfal th...
5 篇 chinese acad sci...
5 篇 suny stony brook...
5 篇 univ calif berke...
5 篇 univ texas austi...
4 篇 radboud univ nij...
4 篇 verimag ctr equa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 tu wien austria
3 篇 carnegie mellon ...

作者

22 篇 katoen joost-pie...
14 篇 beyer dirk
10 篇 junges sebastian
9 篇 parker david
9 篇 hermanns holger
8 篇 quatmann tim
7 篇 kwiatkowska mart...
6 篇 van de pol jaco
6 篇 yi w
6 篇 hartmanns arnd
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 bozga marius
5 篇 alur rajeev
5 篇 pettersson p
5 篇 cimatti alessand...
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 latella diego
4 篇 ruys theo c.

语言

1,573 篇 英文
30 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

检索条件"任意字段=11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1634 条记录，以下是261-270 订阅

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

详细简洁

排序：

Smart Broiler Chicken Weighing System Utilizing the STM32 Microcontroller

Smart Broiler Chicken Weighing System Utilizing the STM32 Mi...

引用

Electrical Engineering and Mechatronics Technology (ICEEMT), IEEE international conference on

作者： Bin Gao Yongmin Guo Yali Ma Changxi Chen Key Laboratory of Smart Breeding (Co-construction by Ministry and Province) Ministry of Agriculture and Rural Affairs Tianjin China College of Computer and Information Engineering Tianjin Agricultural University Tianjin China

ISBN: (数字)9798350356472

ISBN: (纸本)9798350356489

the smart broiler chicken weighing system, based on the STM32 microcontroller, aims to eliminate inefficiencies, errors, and high labor costs linked to traditional weighing processes. Centered around the STM32F103ZET6 main controller, the system is divided into hardware and software components. the hardware design incorporates RFID for identity recognition, HX711 for weight acquisition, ATKESP8266 WiFi module for cloud and mobile app connectivity, and TFTLCD display module for real-time weight display. Software development encompasses integrating with cloud platforms, implementing mobile apps, and designing data calibration filtering algorithms. Internal communication uses UART for module communication and SPI for RFID and HX711 weight modules, employing a median averaging filtering algorithm to enhance data accuracy and stability. Experimental results demonstrate the system’s ability to collect, process, and transmit broiler chicken weight data in real-time accurately, providing efficient and intelligent monitoring and management tools for broiler farming.

关键词： Cloud computing Costs Microcontrollers Filtering algorithms Real-time systems Hardware Stability analysis Mobile applications Wireless fidelity Farming

来源：评论

学校读者我要写书评

暂无评论

Utilizing Structural Metrics from Knowledge Graphs to Enhance the Robustness Quantification of Large Language Models (Extended Abstract)

Utilizing Structural Metrics from Knowledge Graphs to Enhanc...

引用

international conference on Data Science and Advanced Analytics (DSAA)

作者： Mohd Ariful Haque Marufa Kamal Roy George Kishor Datta Gupta Department of Cyber Physical Systems Clark Atlanta University Atlanta GA USA Department of Computer Science and Engineering BRAC University Dhaka Bangladesh

ISBN: (数字)9798350364941

ISBN: (纸本)9798350364958

the goal of this study is to determine whether large language models (LLMs) like CodeLlama, Mistral, and Vicuna can be used to build knowledge graphs (KGs) from textual data. We create class descriptions for well-known KGs such as DBpedia, YAGO, and Google Knowledge Graph, from which we extract RDF triples and enhance these graphs using different preprocessing methods. Six structural quality measures are used in the study to compare the constructed and existing KGs. Our results demonstrate how important LLMs are to improving KG construction and provide insightful information for KG construction researchers. Moreover, an in-depth analysis of popular open-source LLM models enables researchers to identify the most efficient model for various tasks, ensuring optimal performance in specific applications.

关键词： Measurement Analytical models Large language models Knowledge graphs Ontologies Data science Resource description framework Robustness Internet

来源：评论

学校读者我要写书评

暂无评论

Continuance Use Intention analysis on Paid Streaming Service Using Expectation-Confirmation Model (ECM)

Continuance Use Intention Analysis on Paid Streaming Service...

引用

international conference on Cyber and IT Service Management (CITSM)

作者： Muhammad Qomarul Huda Alda Wahyufebrian Nuryasin Evy Nurmiati Noor Azura Zakaria Suci Ratnawati Department of Information Systems UIN Syarif Hidayatullah Jakarta Indonesia Department of Computer Science International Islamic University Malaysia Information Systems UIN Syarif Hidayatullah Jakarta Indonesia

Netflix was a paid streaming service in Indonesia in January 2016. However, it turns out that Netflix is the only option for using paid streaming services in Indonesia. According to research by Media Partner Asia (MPA), in Indonesia itself, Netflix is still unable to compete with the newcomer streaming service, namely Disney+ Hotstar, and many Internet users in Indonesia are still happy to access illegal streaming sites, so piracy actors continue to appear even though the government has been aggressively close their service. this study aims to analyze continuance use intention or intentions sustainable use of the Netflix paid streaming service in Indonesia and determine what factors influence it based on the proposed model. the main model of this research is the Expectation-Confirmation Model (ECM), which is a user satisfaction model that influences the user's intention to reuse an application by adding the variables habit, enjoyment, subjective norm, and perceived playfulness. the PLS-SEM method, with the help of SmartPLS 4 tools, was used to analyze an online survey of 320 respondents. the results show that habit is the biggest predictor of continuance use intention, followed by subjective norms, perceived usefulness, and finally, perceived playfulness. It is proven that confirmation greatly influences perceived usefulness. the findings of this research provide an opportunity better to understand the long-term viability of Netflix in Indonesia.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DFIGs' Low-frequency Damping Effects Based on Responses of Generic Component 11

DFIGs' Low-frequency Damping Effects Based on Responses of G...

引用

11th international conference on Power, Energy and Electrical Engineering (CPEEE)

作者： Li, Li Lu, Zong-xiang Qiao, Ying Chen, Ruijie State Grid Shanxi Elect Power Co Xian Peoples R China Tsinghua Univ Dept Elect Engn Beijing Peoples R China

ISBN: (纸本)9781728177175

there exist arguments that whether the DFIGs contribute to low-frequency-oscillation of power systems. the controversial issue is hard to explain by traditional analytical tools like the modal analysis or MIMO methods, since their numerical results cannot provide fundamental physical significances about the coupling between DFIGs and the power system. Based on the idea of modular transfer-function modelling, the paper proposes a general theory named as rationales of "responses of generic component (RGC)", in order to have a complete explanation of potential damping effects induced by DFIGs (and other similar converter-interfaced generators) in intuitive frequency-domain forms. By using the complex torque coefficient method, the RGC-based rationales only rely on mathematical models and parameters of the DFIG, and thus are independent from the adjacent power systems. analysis based on calculation of the DFIG's RGC proves that, even if internal dynamics of the DFIG itself are poorly damped, DFIGs do not actively "participate" in electromechanical oscillations when in the normal maximum-power-tracking mode. In fact, only when additional active-power control like droop control is activated would the DFIG induce effective damping. Also, the proposed rationales clearly show the possibility of negative damping effects introduced by DFIGs. When a rudimentary power system is studied, observations and conclusions of both modal analysis and time-domain simulation could be well predicted by the RGCbased rationales.

关键词： Inter-area oscillation induced damping effect RGC DFIG droop control rudimentary systems

来源：评论

学校读者我要写书评

暂无评论

Controller Design for Switched LPV systems with Hidden semi-Markov Mode Switching 11

Controller Design for Switched LPV Systems with Hidden semi-...

引用

11th international conference on Intelligent Control and Information Processing, ICICIP 2021

作者： Wang, Jianfeng Chen, Zhiru Sun, Yichong Li, Zhan Pei, Dacheng Cai, Bo China Institute of Marine Technology & Economy Beijing China Beijing Machine and Equipment Institute Beijing China Harbin Institute of Technology Key Laboratory of System Control and Information Processing Harbin China

ISBN: (纸本)9781665425155

this paper is concerned with issue of stability analysis and control synthesis for a class of switched LPV systems with stochastic mode switching. the stochastic switching process is further regarded as hidden semi-Markov switching by using concepts of semi-Markov kernel and emission probability. With the construction of a novel Lyapunov function that depends on accessible-mode, parameter as well as elapsed time, the mean-square stability (MSS) criteria are developed for the closed-loop system with the usage of designed controller. Numerically testable stability criteria are established in sense of MSS by introducing the upper bound sojourn time and some mathematical techniques. the theoretical results are testified by a numerical example to demonstrate the effectiveness of the designed stabilizing controller. © 2021 IEEE.

关键词： Stability criteria

来源：评论

学校读者我要写书评

暂无评论

analysis and Overview of Information Gathering & tools for Pentesting

Analysis and Overview of Information Gathering & Tools for P...

引用

11th international conference of Computer Communication and Informatics (ICCCI)

作者： Kowta, Alekya Sai Laxmi Bhowmick, Karan Kaur, Jeev Ratan Jeyanthi, N. Vellore Inst Technol Sch Informat Technol & Engn Vellore Tamil Nadu India

ISBN: (纸本)9781728158754

Information Discovery is something that involves identifying and finding sensitive or regulated data to adequately protect or securely remove. It involves auditing sensitive/ remote information. In today's era of remote workers, data spread across several systems, applications and databases necessitates authentication, a challenging task. Data discovery enables us to be aware of our weaknesses and promotes context aware security solutions. Objectives of someone discovering information would be to find out the network data like public or private and associated domain names, whatever UDP and TCP services they're currently running, Information regarding the SSL certificates or open ports and more. Collecting system related information user enumeration, system groups or OS hostnames, OS system types etc., would prove to be very useful. In this paper, we present how information gathering is very essential for a cyber-analyst in the security point of view and we will look into the tools used for information gathering and discovery. One would be surprised when they know the number of tools that are available online for free that will help uncover such information. While these tools can be very useful if used in the right way, they can also be very dreading because of the vast information gathering properties they possess. We will describe how a simple Google search engine can shed light on a lot of vulnerabilities. Different tools that are used for e-discovery and their workings are explained here. With special emphasis on Google Dorking and how it is a very valuable resource for analysts, we show indexing and the structure of the internet. We will talk about how OSINT is crucial and how information gathering is used in social engineering. We discuss the type of attacks and the defense mechanisms. We will then talk about how intrusion detection systems are coupled with OSINT for protection of data. then we proceed by discussing how social engineering is very related to inf

关键词： OSINT tools Final Recon Photon Sherlock Dorking Whois Database CVEs Analyst Modules Marketplaces Docker Crawling Indexing

来源：评论

学校读者我要写书评

暂无评论

Towards Speedy Permission-Based Debloating for Android Apps

Towards Speedy Permission-Based Debloating for Android Apps

引用

international conference on Mobile Software Engineering and systems (MOBILESoft)

作者： Ferdian thung Jiakun Liu Pattarakrit Rattanukul Shahar Maoz Eran Toch Debin Gao David Lo School of Computing and Information Systems Singapore Management University Singapore School of Computer Science Tel Aviv University Israel Department of Industrial Engineering Tel Aviv University Israel

ISBN: (数字)9798400705946

ISBN: (纸本)9798350363975

Android apps typically include many functionalities that not all users require. these result in software bloat that increases possible attack surface and app size. Common functionalities that users may not require are related to permissions that they intend to disallow in the first place. As these permissions are disallowed, their related code would never be executed and therefore can be safely removed. Existing work has proposed a solution to debloat Android apps according to the disallowed permissions. However, for large and complex applications, the debloating process could take hours, typically due the long time that may be needed to construct call graph for analysis. In this work, we propose MiniAppPERM, that speeds up the permission-based debloating by constructing a partial call graph instead of a complete call graph. Our preliminary experiments on a set of apps in Google Play show that MiniAppPerm can reduce the call graph construction time by up to $85.3 \%$. We also checked that the debloated apps can run without crashes. CCS CONCEPTS - Security and privacy $\rightarrow$ Software security engineering.

关键词： Privacy Codes Software Computer crashes Internet Security Software engineering

来源：评论

学校读者我要写书评

暂无评论

Adaptability analysis of Ultra-short Radius Sidetracking Horizontal Well Technology 11th

Adaptability Analysis of Ultra-short Radius Sidetracking Hor...

引用

11th international Field Exploration and Development conference, IFEDC 2021

作者： Liu, Chong-jiang Song, Xing-liang Xu, Xiao-yu Zong, He-ming Guo, Ying Daqing Oilfield Production Engineering Research Institute Heilongjang Daqing China Heilongjiang Provincial Key Laboratory of Oil and Gas Reservoir Stimulation Heilongjang Daqing China

ISBN: (纸本)9789811921483

Ultra-short radius sidetracking horizontal well technology uses oil layer casing in old wellbore and special downhole tools to open window sidetracking in remaining oil-rich reservoir to drill horizontal wells with a horizontal section length of more than 200 m. Ultra-short radius sidetracking horizontal well technology is a technology between sidetracking workover and horizontal drilling. It can be used as a supplementary technology for horizontal wells. It not only has the functions of horizontal wells, but also has more obvious advantages than horizontal wells. the technology has the advantages of short well construction period, quick effect and low cost. through field tests in different types of remaining oil tapping potential, the standard for well selection and layer selection was initially established. the potential tapping effects of different types of remaining oil are compared, and the technical adaptability of ultra-short radius sidetracking horizontal wells are analyzed. It is considered that the remaining oil effect of plane interference and fault shielding is better, and the effect of remaining oil at the top of thick reservoir needs further verification. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Horizontal wells

来源：评论

学校读者我要写书评

暂无评论

Generative Neural Models in Robotics: Pioneering the Embodied AI Revolution

Generative Neural Models in Robotics: Pioneering the Embodie...

引用

international conference on Computational Cybernetics (ICCC)

作者： Péter Galambos Óbuda University Budapest Hungary

ISBN: (数字)9798350350159

ISBN: (纸本)9798350350166

the concept of machines with the capability for self-reproduction and the creation of useful artifacts has intrigued thinkers like John von Neumann, whose seminal contributions continue to influence contemporary technology. Yet, the modern discourse has evolved, emphasizing machines' autonomous performance of beneficial tasks over self-replication. this shift is markedly noticeable in domains such as transportation, elderly care, household management, and manufacturing, where the past decade has witnessed a gradual but consistent advancement. this progress is characterized by innovations in specialized tasks and tools, which, however, lack integration into a cohesive universal framework. Conversely, the growth in AI fields not inherently tied to physical interaction has seen an exponential rise, fueled by significant increases in the resources allocated for developing neural models. this surge has led to groundbreaking commercial innovations in textual, visual, and auditory content generation becoming widely accessible in remarkably short times. Yet, the question remains: How do these advances in generative AI translate to the physical realm, particularly in enhancing robotic capabilities? My presentation delves into this inquiry, analyzing it through the prism of cutting-edge research and emerging trends, aiming to shed light on how generative neural models are spearheading the revolution in Embodied AI.

关键词： Technological innovation Analytical models Visualization Computational modeling Transportation Market research Task analysis

来源：评论

学校读者我要写书评

暂无评论

construction and Performance analysis of a Groomed Polarity Lexicon Derived from Product Review Source Datasets 11

Construction and Performance Analysis of a Groomed Polarity ...

引用

11th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems - Technology and Applications (IDAACS)

作者： Colley, Derek Asaduzzaman, Md Staffordshire Univ Sch Digital Technol & Arts Stoke On Trent Staffs England

ISBN: (纸本)9781665426053

Using a large, publicly-available dataset [1], we extract over 51 million product reviews. We split and associate each word of each review comment with the review score and store the resulting 3.7 billion word- and score pairs in a relational database. We cleanse the data, grooming the dataset against a standard English dictionary, and create an aggregation model based on word count distributions across review scores. this renders a model dataset of words, each associated with an overall positive or negative polarity sentiment score based on star rating which we correct and normalise across the set. To test the efficacy of the dataset for sentiment classification, we ingest a secondary cross-domain public dataset containing freeform text data and perform sentiment analysis against this dataset. We then compare our model performance against human classification performance by enlisting human volunteers to rate the same data samples. We find our model emulates human judgement reasonably well, reaching correct conclusions in 56% of cases, albeit with significant variance when classifying at a coarse grain. At the fine grain, we find our model can track human judgement to within a 7% margin for some cases. We consider potential improvements to our method and further applications, and the limitations of the lexicon-based approach in cross-domain, big data environments.

关键词： Sentiment analysis natural language processing relational databases language analysis SQL aggregation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：