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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,241 篇 工学
- 869 篇 计算机科学与技术...
- 531 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 68 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 46 篇 交通运输工程
- 45 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 36 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
355 篇 理学
- 209 篇 数学
- 59 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 29 篇 化学
214 篇 管理学
- 156 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
41 篇 医学
- 32 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 machine learning
21 篇 software
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 hermanns holger
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,630 篇 英文
41 篇 其他
16 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1703 条记录，以下是221-230 订阅

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

详细简洁

排序：

Digital Transformation in Swine Farms: the Design, Development, and Adoption of SwineTech

Digital Transformation in Swine Farms: The Design, Developme...

引用

international conference on Applied System Innovation (ICASI)

作者： Evelyn M. Baesa thelma D. Palaoag Institute of Computer Studies Camarines Norte State College Camarines Norte Philippines College of Information and Computer Science University of the Cordilleras Baguio City Philippines

ISBN: (数字)9798350394924

ISBN: (纸本)9798350394931

In the swine industry, efficient record management is crucial. SwineTech, web-based system revolutionizing swine farms management, tracks crucial metrics like mating readiness and pregnancy status in real-time, simplifying operations for farm owners. With powerful analysis tools, it optimizes production management. Usability testing yielded a high rating of 4.36 out of 5, proving its user-friendliness. By integrating data analysis, SwineTech aims to boost farm efficiency, profitability, and sustainability, marking a significant advancement in technology-driven swine record monitoring for agriculture.

关键词： Productivity Production management Technological innovation Profitability Digital transformation Agriculture Real-time systems

来源：评论

学校读者我要写书评

暂无评论

the Adaptability analysis of the Traditional Protections in Offshore Wind Power System 10

The Adaptability Analysis of the Traditional Protections in ...

引用

10th China international conference on Electricity Distribution, CICED 2022

作者： Liu, Wei Tu, Qingrui Lv, Yichao Song, Guobing Gao, Xiaoping Chang, Peng System Operation and Control Center of Guangdong Power Grid China Southern Power Grid Guangzhou China Department of Electrical Engineering Xi'an Jiaotong University Xi'an China

ISBN: (数字)9781665452687

ISBN: (纸本)9781665452687

As one of the most potential renewable energy systems, the offshore wind power has broad research prospects in the world. To ensure the safe operation of the grid, it is very important to study the adaptability of protection of the offshore wind power system. For this reason, in this article, the topology of offshore wind power system is introduced firstly. On this basis, the control strategy and the fault characteristics of the system are analyzed. Second, the protection principles of directional relay, phase selection relay, distance protection and pilot protection are deduced, and the adaptability of the above protections in offshore wind power system are analyzed according to combining the fault characteristics of the system and the protection principle. the PSCAD/EMTDC simulation results verify the effectiveness of the conclusion of the adaptability analysis, it can provide a theoretical basis for the construction of the protection scheme of offshore wind power system. © 2022 IEEE.

关键词： Offshore oil well production

来源：评论

学校读者我要写书评

暂无评论

Core Loss analysis of Power Transformers with Different Core Steps Using Finite Element Method

Core Loss Analysis of Power Transformers with Different Core...

引用

international conference on Electrical Energy systems (ICEES)

作者： Mohammad Hassan Hashemi Alper Akkus Research and Development Department ELTAS Transformers Izmir Turkey

ISBN: (数字)9798350353778

ISBN: (纸本)9798350353785

In this study, the impact of core steps on transformer performance and core losses is thoroughly analyzed using the Finite Element Method (FEM). Four different core structures, consisting of 5, 7, 9, and 13 steps, are simulated to assess their effects. the analysis is applied to a 3150 kVA, 20/0.4 kV power transformer. the core material utilized is Cold Rolled Grain Oriented (CRGO) steel with a lamination thickness of 0.23 mm. the results of the simulations indicate that the best performance is obtained when 13 steps are used in the construction of the transformer core. Specifically, it is observed that as the number of core steps increases, the core losses are reduced, leading to improved efficiency. this comprehensive study provides valuable insights into optimizing transformer design by adjusting core step configurations to minimize energy losses and enhance overall performance.

关键词： Geometry Lamination Core loss Energy dissipation Transformer cores Finite element analysis Power transformers Steel Optimization Hysteresis

来源：评论

学校读者我要写书评

暂无评论

Research on Adaptive Software Development System Driven by ODBAM tools and Network Software analysis

Research on Adaptive Software Development System Driven by O...

引用

Electronic Technology, Communication and Information (ICETCI), IEEE international conference on

作者： Yifan Lan School of Computing Beijing Jiaotong University Weihai China

ISBN: (数字)9798350361643

ISBN: (纸本)9798350361650

this paper proposes an implementation method of software interface based on functional modeling. then according to the characteristics of SVG, the corresponding interface is automatically generated. It can effectively improve the work efficiency of developers. the generated SVG interface and JavaScript script work together to realize the full capabilities of the entire software. the main research contents include the abstraction and construction of network structure software based on agents, the adaptive and self-evolution mechanism of dynamic binding, the design and implementation of ODAM software based on organizational abstraction, the strategic expression language SADL based on self-adaptation and self-evolution and other core technologies. the system consists of ODBAM tools, a network software analysis and development tool set, a programming tool set, and an operation support platform. An abstract interface designer allows users to intuitively specify the functional features of a software interface; it can automatically generate interfaces that match the display features of various terminals based on the functional features of the user interface. this paper uses SVG files to show the appearance of the final application interface, and uses JavaScript scripts to complete specific processing logic. With this tool, developers can write one program at a time. In this way, program interfaces are automatically generated multiple times for different devices.

关键词： Analytical models Adaptation models Adaptive systems Software algorithms User interfaces Programming Software systems

来源：评论

学校读者我要写书评

暂无评论

Permutation-based Time-Series Correlation analysis for Customer Phase Identification from Low-Voltage Measurements

Permutation-based Time-Series Correlation Analysis for Custo...

引用

Power and Energy systems Engineering (CPESE), international conference on

作者： Ji-Hyun Choi Han-Min Lim Haesung Lee Byungsung Lee Hyun Ahn Dept. of Information and Communication Hanshin University Osan South Korea Smart Power Distribution Lab. Korea Electric Power Research Institute Daejeon South Korea

To prevent phase imbalance and ensure reliable distribution system operation, effective management of customer phase connectivity in a distribution network is essential. However, in many cases, obtaining accurate phase connectivity information is expensive and time-consuming as it inevitably requires either manual intervention or the use of costly advanced diagnostic tools. Considering cases where reference phase connections in three-phase power systems are unreliable, we propose a phase estimation method based on the correlation between voltage time series collected at the data central unit (DCU) and advanced metering infrastructure (AMI). In particular, our method represents phase connection estimates as permutations and efficiently finds the best phase connection configuration by considering only the important permutations. Experimental results show that the proposed method effectively identifies customer phase connections while reducing the search space by excluding insignificant permutations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the Impact of Information Geometry on the analysis of the Stable M/G/1 Queue Manifold 10th

The Impact of Information Geometry on the Analysis of the St...

引用

10th international conference on Operations Research and Enterprise systems (ICORES)

作者： Mageed, Ismail A. Kouvatsos, Demetres D. Univ Bradford Fac Engn & Informat Dept Comp Sci Bradford BD7 1DP W Yorkshire England

ISBN: (纸本)9789897584855

Information geometry (IG) provides the characterization of the structure of statistical models from a differential geometric point of view. By considering families of probability distributions as manifolds with coordinate charts determined by the parameters of each individual model, the tools of differential geometry, such as divergences and metric tensors, provide effective means of studying their characteristics. the research undertaken in this paper presents a novel approach to the modelling study of information geometrics of a queueing system. In this context, the manifold of stable M/G/1queue is characterised from the viewpoint of IG, the Kullback's divergence (KD) and J-divergence (JD) are determined. Also, it is revealed that the stable M/G/1 queue manifold has a zero 0-Gaussian curvature a non-zero Ricci Curvature Tensor (RCT). Unifying IG with Queueing theory enables the study of dynamics of queueing system from a novel Riemannian Geometry (RG) point of view, leading to the analysis of the stable M/G/1 queue, based on theory of Relativity (TR).

关键词： Stable M/G/1 Queue Maximum Entropy (ME) Information Geometry (IG) Statistical Manifold (SM) Queue Manifold (QM) Ricci Curvature (RC) Riemannian Metric (RM) Fisher Information Matrix (FIM) Kullback's Divergence (KD) J-divergence (JD) Information Matrix Exponential (IME)

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of PV Simulation Software by Analytic Hierarchy Process

Comparative Analysis of PV Simulation Software by Analytic H...

引用

international conference on Power systems (ICPS)

作者： Md Ashraful Islam Zia Islam Balakumar Muniandi M M Naushad Ali Md Ashiqur Rahman Molla Shahadat Hossain Lipu Asm Shihavuddin Tuhibur Rahman Md.Tariqul Islam Dept. of Electrical and Electronic Engineering Green University of Bangladesh Narayanganj Bangladesh Dept. of Electrical and Computer Engineering Lawrence Technological University USA

this study employs the Analytic Hierarchy Process (AHP) methodology to evaluate and compare four prominent PV simulation software tools: PVsyst, HOMER, PVGIS, and SAM. With the urgent need to transition to renewable energy due to escalating global warming concerns, the evaluation of simulation software becomes pivotal. Each software tool is assessed based on criteria such as availability and cost, solar database access, input data requirements, output presentation, updateability, and limitations. A comprehensive AHP hierarchy is established and pair-wise comparisons are performed to assign relative priorities. the weights of each criterion are determined, leading to an overall rating for each software. the results reveal that SAM is the most suitable choice for Bangladesh due to its cost-effectiveness, extensive solar database, efficient input requirements, comprehensive output analysis, and adaptability. this research provides valuable insights for decision-makers in selecting an appropriate PV simulation software tool to promote renewable energy adoption and planning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Detection of GNSS interference through natural hazard monitoring systems and next steps towards the development of an interference early warning system 10

Detection of GNSS interference through natural hazard monito...

引用

10th international conference on Remote Sensing and Geoinformation of the Environment, RSCy 2024

作者： Christoforou, Nikolas Kakoullis, Dimitris C. Danezis, Chris Cyprus University of Technology Department of Civil Engineering and Geomatics Cyprus Eratosthenes Centre of Excellence Limassol Cyprus

ISBN: (纸本)9781510681491

the ability of GNSS to offer Positioning, Navigation and Timing (PNT) functions to existing and emerging applications and technologies is expected to drive significant advancement in multiple fields. Strategic Earth Observation infrastructure units, such as permanent GNSS station networks are increasingly integrated into civil protection strategies and operation plans, serving as decisive tools for monitoring the evolution of geohazards, and assessing their potential impact on the anthropogenic and physical environment. Nevertheless, GNSS performance is still vulnerable to unintentional or intentional interference, with the latter on the rise. Consequently, Interference Monitoring Networks have been developed worldwide to detect interference and pinpoint its sources by means of localization techniques, thereby enabling early warning and immediate resolution of interference problems. the severe effects of interference on the GNSS signal integrity have prompted significant research endeavours towards the development of efficient methodologies for the timely detection of interference sources. Specifically, in Cyprus and the Eastern Mediterranean region, existing infrastructure for monitoring natural hazards is readily available and in use for a significant number of positioning or geophysical applications. In Cyprus, the largest GNSS strategic infrastructure unit, CyCLOPS, has been operational since 2021, featuring state-of-the-art Tier-1/2 GNSS permanent stations, and calibrationgrade SAR corner reflectors installed throughout the country to monitor accurately active and ongoing geohazard incidents. through this infrastructure, intentional interference events were recorded and analysed for the first time. this study reviews the ability of CyCLOPS to be utilized as an Interference Early Detection System by applying detection and analysis techniques. these techniques will be chosen appropriately taking into consideration existing equipment apparatus, topology and charac

关键词： Global positioning system

来源：评论

学校读者我要写书评

暂无评论

A Data-driven Approach for Risk Exposure analysis in Enterprise Security

A Data-driven Approach for Risk Exposure Analysis in Enterpr...

引用

international conference on Data Science and Advanced Analytics (DSAA)

作者： Albert Calvo Santiago Escuder Josep Escrig Marta Arias Nil Ortiz Jordi Guijarro Distributed Artificial Intelligence i2CAT Foundation Barcelona Spain Computer Science Department Universitat Politècninca de Catalunya Barcelona Spain Cybersecurity i2CAT Foundation Barcelona Spain

For several years, Security Operation Centers (SOCs) have relied on tools such as Security Information and Event Management (SIEM) and Intrusion Detection systems (IDS) for reactive threat detection and risk management. However, these tools are becoming inadequate in detecting the current threat landscape, which is continuously increasing in terms of volume and variety, and targeting the most vulnerable component in the kill-chain, the human actor. this manuscript presents a novel data-driven approach that models user and entity behaviour in the early stages of the kill-chain. the proposed system estimates the probability of an entity being exposed by a threat actor during the delivery stage, thereby providing better anticipation time allowing the end-user to undertake mitigation focusing on concrete entities. Moreover, the framework has been tested in a real-life scenario executing different realistic phishing simulations and achieving successful results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

College Annual Academic Calendar using Mobile Application

College Annual Academic Calendar using Mobile Application

引用

international conference on Communications and Signal Processing

作者： K Anand R Arun Prasath R K Bharathvasan Department of Computer Science and Engineering Rajalakshmi Engineering College Chennai India

ISBN: (数字)9798350353068

ISBN: (纸本)9798350353075

the main elements of academic calendars, such as semester or quarter structures, course schedules, registration periods, exam periods, and holidays, are covered in the abstract. It examines how academic calendars can be used to coordinate academic activities, streamline resource distribution, and enhance learning opportunities in both conventional and online learning environments. the application will be available to students, guardians, and staff members of the institution. Everyone can input, modify, view, and conduct actions on data, but their permissions will vary. the system will be constructed with tools like Flutter and run on an online server. Compared to current systems, the suggested system will be easier to operate and will make data administration tasks easier.

关键词： Schedules Signal processing Teamwork Mobile applications Servers Resource management Task analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：