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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,237 篇 工学
- 866 篇 计算机科学与技术...
- 531 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 66 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 30 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
352 篇 理学
- 209 篇 数学
- 59 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 51 篇 生物学
- 27 篇 化学
211 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 72 篇 图书情报与档案管...
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
24 篇 real time system...
24 篇 real-time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
18 篇 computational mo...
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
16 篇 monitoring
16 篇 artificial intel...
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 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 hermanns holger
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,637 篇 英文
30 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1698 条记录，以下是161-170 订阅

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

详细简洁

排序：

Optimization of vr application in texturing cultural heritage 10

Optimization of vr application in texturing cultural heritag...

引用

10th international Workshop 3D-ARCH "3D Virtual Reconstruction and Visualization of Complex Architectures"

作者： Bolognesi, C.M. Manfredi, V. Dept. of Architecture Built Environment and Construction Engineering Politecnico di Milano Milano20133 Italy

the research question underlying this short essay refers to the possibility of realizing through a well-established workflow a high level of immersivity in the VR representation of Cultural Heritage to be used as a working tool by architects and renovators as well as heritage scholars. At present active or passive 3D scanning techniques are a known reality where the choice of data acquisition system depends both on the final purpose and characteristics of the object to be surveyed. With the maturity achieved in point cloud acquisition, post processing phases and the development of BIM-based systems, the model has given the possibility to become a repository of information related to the existing, to be used for maintenance or renovation processes. If the model can represent the existing with a certain level of detail, it can be assumed that a differentiated Level of Immersivity can be organized depending on the specific needs it intends to fulfil. In the context of renovation or preservation of Cultural Heritage, the potential offered by VR becomes more interesting when it can provide a realistic portrait not only of the geometry, but also of the materiality and state of preservation of the buildings. this research opens new possibilities to develop tools to aid designers and renovators in degradation analysis, intervention projects, and scheduled maintenance. the research question starts analyzing the possibility of creating photorealistic immersive environments that are easy to access, organized based on surveys of existing heritage buildings using specific datasets. © 2024 international Society for Photogrammetry and Remote Sensing. All rights reserved.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Simulation Research on the Evolution Trend of Building construction Vulnerability Based on ANP-SD 10

Simulation Research on The Evolution Trend of Building Const...

引用

10th international Symposium on Project Management, ISPM 2022

作者： Cheng, Lianhua Xue, Siting Safety Science and Engineering Xi'an University of Science and Technology Shaanxi Xi'an710054 China

ISBN: (纸本)9781921712807

To systematically analyze the evolution trend of vulnerability under the interaction between different risk factors in housing construction, and supported by socio-technical theory, the research sets out to analyze the influencing factors from four subsystems, and they are respectively individual, technology, organizational management as well as the internal-external environment. And the Analytic Network Hierarchy Process (ANP) method is also applied to analyze the influencing factors and to further determine the relative and absolute coefficients. By setting the simulation equation and constructing the the system dynamics (SD) evolution model of the vulnerability of the building construction system, the research conducts the simulation analysis on the vulnerability evolution trend of two types of building construction systems, and one type is after taking a single control measure while the other is taking after joint control measures. the research finds that compared with the vulnerability of the initial building construction system, the minimum and maximum reduction of the vulnerability evolution trend of the building construction system after taking a single control measure are respectively 10.99% and 50.07%, and the maximum reduction is realized by the enhancement of safety culture construction in the control measures of individual subsystem;while the minimum and maximum reduction of the vulnerability evolution trend of the building construction system after taking joint control measures are respectively 55.86% and 72.88%, and besides that, the research also finds that it is not that the more measures taken, the better the control effects, and the effects actually depend on the absolute coefficient of the central influencing factors and the related subsystems. thus, the research is intended to provide a scientific and effective support for the risk management and control of housing construction. © conference Proceedings of the 10th international Symposium on Pro

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Multi-Phase Induction Machine analysis: A Simulation-Based Comparison of three-Phase and Six-Phase Configurations 10

Multi-Phase Induction Machine Analysis: A Simulation-Based C...

引用

10th IEEE international conference on Power and Energy, PECon 2024

作者： Munim, Wan Noraishah Wan Abdul Bunyamin, Wan Muhamad Hakimi Wan Suhaimi, Ahmad Nazrin Syahmi Mohd Baharom, Rahimi Muhammad, Khairul Safuan School of Electrical Engineering College of Engineering Universiti Teknologi Mara Selangor Shah Alam40450 Malaysia

ISBN: (纸本)9798350361971

the increasing complexity of modern electric motor systems necessitates the development of advanced modeling and simulation techniques, which this research utilizes to investigate and compare the performance of three-phase and six-phase induction motors. Induction motors are a crucial component of many industrial applications, with three-phase motors being the standard choice. However, the demand for high-power and high-efficiency applications has sparked interest in alternative configurations like six-phase induction motors, which offer their superior stability and fault tolerance. the study focuses on modeling both motor types and analyzing their current, torque, and speed characteristics under load condition. Method for modeling three-phase motors can be adapted for six-phase motors by incorporating additional parameters based on vector space decomposition (VSD) model for six-phase machine. the simulations were created as educational tools for machine and drive courses, utilizing MATLAB to provide practical insights into motor performance and modeling techniques. ©2024 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra systems 28th

Comparative Verification of the Digital Library of Mathemati...

引用

28th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 25th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Greiner-Petter, Andre Cohl, Howard S. Youssef, Abdou Schubotz, Moritz Trost, Avi Dey, Rajen Aizawa, Akiko Gipp, Bela Univ Wuppertal Wuppertal Germany NIST Mission Viejo CA USA George Washington Univ Washington DC USA FIZ Karlsruhe Berlin Germany Brown Univ Providence RI 02912 USA Univ Calif Berkeley Berkeley CA 94720 USA Natl Inst Informat Tokyo Japan

ISBN: (纸本)9783030995249;9783030995232

Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research. In this paper, we present a novel approach to verify a digital mathematical library and two computer algebra systems with one another by converting mathematical expressions from one system to the other. We use our previously developed conversion tool (referred to as LACAST) to translate formulae from the NIST Digital Library of Mathematical Functions to the computer algebra systems Maple and Mathematica. the contributions of our presented work are as follows: (1) we present the most comprehensive verification of computer algebra systems and digital mathematical libraries with one another;(2) we significantly enhance the performance of the underlying translator in terms of coverage and accuracy;and (3) we provide open access to translations for Maple and Mathematica of the formulae in the NIST Digital Library of Mathematical Functions.

关键词： Presentation to Computation LaCASt LaTeX Semantic LaTeX Computer Algebra systems Digital Mathematical Library

来源：评论

学校读者我要写书评

暂无评论

analysis and Research of Shallow Buried Bias Single-Lane Tunnel Based on CAE Simulation 10

Analysis and Research of Shallow Buried Bias Single-Lane Tun...

引用

10th international conference on Advances in Machinery, Material Science and Engineering Application, MMSE 2024

作者： Wu, Yuehan Deng, Long Gu, Feng Liu, Zhiyong Chengdu Engineering Corporation Limited Power China Chengdu611100 China Sichuan Urban Underground Space Survey Design and Construction Technology Engineering Laboratory Chengdu611100 China

ISBN: (纸本)9781643685465

Single lane tunnel is a common engineering type in water conservancy and highway, and shallow buried biased pressure tunnel is the most obvious problem in tunnel tunneling stage, which is a major problem in tunnel excavation construction. Due to shallow soil cover and partial pressure, slope instability is easy to occur, which is unfavorable to tunnel structure and surrounding rock. the lateral pressure coefficient of the surrounding rock outside the tunnel is affected by the calculated friction Angle of the surrounding rock, the friction Angle on both sides of the middle rock pillar and the bias slope Angle, and the lateral pressure coefficient of the inner surrounding rock of the double tunnel is also affected by the buried depth and the net distance of the tunnel. the vertical pressure distribution of tunnel vault is affected by tunnel depth, bias Angle and lateral pressure coefficient, but it is most affected by tunnel depth. the horizontal pressure of the surrounding rock of the tunnel is affected by the lateral pressure coefficient of the tunnel and the buried depth of the tunnel, but the buried depth of the tunnel plays a major role. the greater the buried depth, the greater the horizontal pressure of the tunnel. How to ensure tunnel quality and avoid safety accidents has become an important research topic. With the development of engineering technology, more and more computer-aided tools are applied to the solution analysis of complex engineering. Based on CAE simulation analysis method, this paper carries out slope stability checking calculation, structure and surrounding rock pressure analysis of BIM model of shallow buried biased single-lane tunnel, and summarizes a structural design method suitable for this type of tunnel. © 2024 the Authors.

关键词： Rock pressure

来源：评论

学校读者我要写书评

暂无评论

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic systems 29th

A Learner-Verifier Framework for Neural Network Controllers ...

引用

29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023

作者： Chatterjee, Krishnendu Henzinger, thomas A. Lechner, Mathias Žikelić, Đorđe Klosterneuburg Austria CambridgeMA United States

ISBN: (纸本)9783031308222

Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions. © 2023, the Author(s).

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Modeling of Sustainable Business Processes of Solid Municipal Waste Removal in Civil Aviation 10th

Modeling of Sustainable Business Processes of Solid Municipa...

引用

10th international Scientific and Practical conference on Current Problems and Prospects for Development of Civil Aviation, 2021

作者： Sukhorukov, Alexander Koryagin, Nikolay Bogdanova, Ekaterina Zakharova, Elena The Moscow State Technical University of Civil Aviation Moscow Russia Plekhanov Russian University of Economics Moscow Russia

ISBN: (纸本)9789811937873

the article deals with the problems of organizing business processes for the removal of solid municipal waste (MSW) in civil aviation, taking into account the construction of a closed-cycle economy. Particular attention is paid to reducing the overall consumption of natural resources by recycling waste into secondary resources and goods. A typical scheme of the main business processes of accumulation, transportation and disposal of MSW in civil aviation, developed using a business process modeling system, is given. Based on the conducted functional and cost analysis and ABC-analysis of business processes on the Pareto principle, economically sound recommendations are given for the organization of sustainable business processes for the export of MSW at air enterprises, which consist in the need to increase the share of separate waste accumulation and recycling. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment 1

引用

10th IPM international conference on Fundamentals of Software Engineering, FSEN 2023

作者： Faria, João Pascoal Abreu, Rui Faculty of Engineering of the University of Porto Porto Portugal INESC TEC - Institute for Systems and Computer Engineering Technology and Science Porto Portugal INESC ID Lisbon Portugal

ISBN: (数字)9783031424410

ISBN: (纸本)9783031424403

Formal verification techniques aim at formally proving the correctness of a computer program with respect to a formal specification, but the expertise and effort required for applying formal specification and verification techniques and scalability issues have limited their practical application. In recent years, the tremendous progress with SAT and SMT solvers enabled the construction of a new generation of tools that promise to make formal verification more accessible for software engineers, by automating most if not all of the verification process. the Dafny system is a prominent example of that trend. However, little evidence exists yet about its accessibility. To help fill this gap, we conducted a set of 10 case studies of developing verified implementations in Dafny of some real-world algorithms and data structures, to determine its accessibility for software engineers. We found that, on average, the amount of code written for specification and verification purposes is of the same order of magnitude as the traditional code written for implementation and testing purposes (ratio of 1.14) – an "overhead" that certainly pays off for high-integrity software. the performance of the Dafny verifier was impressive, with 2.4 proof obligations generated per line of code written, and 24 ms spent per proof obligation generated and verified, on average. However, we also found that the manual work needed in writing auxiliary verification code may be significant and difficult to predict and master. Hence, further automation and systematization of verification tasks are possible directions for future advances in the field. © 2023, IFIP international Federation for Information Processing.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Conceptualizing the Active Ageing Index (AAI): A Systematic Literature Review of Frameworks and Supporting Digital tools 10

Conceptualizing the Active Ageing Index (AAI): A Systematic ...

引用

10th international conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2024

作者： Acosta-Urigüen, María Inés Holguín-Carvajal, Juan Pablo Zea-Paredes, Mateo Sebastián Lima, Juan Fernando Bermeo, Alexandra Díaz, Javier Harari, Ivana Computer Science Research & Development Laboratory Universidad del Azuay Av. 24 de mayo Cuenca Ecuador Facultad de Medicina Universidad del Azuay Av. 24 de mayo Cuenca Ecuador Facultad de Informática Universidad Nacional de la Plata Av. 7 N° 776 Buenos Aires Argentina

ISBN: (纸本)9789897587009

Currently, due to the growth of cities, a sedentary lifestyle, and increase in life expectancy, multiple approaches are being analyzed on caring for the well-being of older adults. As part of these efforts, initiatives have been developed to measure full aging. the active ageing index (AAI) proposed by the United Nations (UN) is one of the most relevant measures;it was constructed using several lifestyle features. However, it is relevant to identify whether the initiative of AAI is being adopted around the world, emphasizing the frameworks and technological instruments for its execution, thus this work presents a Systematic Literature Review (SLR) for collecting data related to AAI’s adoption by means of a qualitative analysis. the results reinforced that the UN index is the one with the greatest impact;however, other countries and organizations are proposing other approaches. On the other hand, the European Union countries are at the forefront in the development, specifically since 2015. A qualitative analysis demonstrated that specific features have a greater impact on its calculation, highlighting participation in society, people’s educational achievements, and access to health services. Finally, the review shows insights for an analysis stage, but not yet the implementation phase. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Digital devices

来源：评论

学校读者我要写书评

暂无评论

analysis of Bangla Transformation of Sentences Using Machine Learning 1

引用

4th international conference on Deep Learning, Artificial Intelligence and Robotics, ICDLAIR 2022

作者： Das, Rajesh Kumar Sammi, Samrina Sarkar Kobra, Khadijatul Ajmain, Moshfiqur Rahman khushbu, Sharun Akter Noori, Sheak Rashed Haider Daffodil International University Dhaka1341 Bangladesh

ISBN: (数字)9783031303968

ISBN: (纸本)9783031303951

In many languages, various language processing tools have been developed. the work of the Bengali NLP is getting richer day by day. Sentence pattern recognition in Bangla is a subject of attention. Additionally, our motivation was to work on implementing this pattern recognition concept into user-friendly applications. So, we generated an approach where a sentence (sorol, jotil and jougik) can be correctly identified. Our model accepts a Bangla sentence as input, determines the sentence construction type, and outputs the sentence type. the most popular and well-known six supervised machine learning algorithms were used to classify three types of sentence formation: Sorol Bakko (simple sentence), Jotil Bakko (complex sentence) and Jougik Bakko(compound sentence). We trained and tested our dataset, which contains 2727 numbers of data from various sources. We analyzed our dataset and got accuracy, precision, recall, f1-score and confusion matrix. We get the highest accuracy with the decision tree classifier, which is 93.72%. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：