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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是151-160 订阅

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

详细简洁

排序：

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games 28th

A Direct Symbolic Algorithm for Solving Stochastic Rabin Gam...

引用

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)

作者： Banerjee, Tamajit Majumdar, Rupak Mallik, Kaushik Schmuck, Anne-Kathrin Soudjani, Sadegh IIT Delhi New Delhi India MPI SWS Kaiserslautern Germany Newcastle Univ Newcastle Upon Tyne Tyne & Wear England

ISBN: (纸本)9783030995270;9783030995263

We consider turn-based stochastic 2-player games on graphs with omega-regular winning conditions. We provide a direct symbolic algorithm for solving such games when the winning condition is formulated as a Rabin condition. For a stochastic Rabin game with k pairs over a game graph with n vertices, our algorithm runs in O(n(k+2) k!) symbolic steps, which improves the state of the art. We have implemented our symbolic algorithm, along with performance optimizations including parallellization and acceleration, in a BDD-based synthesis tool called Fairsyn. We demonstrate the superiority of Fairsyn compared to the state of the art on a set of synthetic benchmarks derived from the VLTS benchmark suite and on a control system benchmark from the literature. In our experiments, Fairsyn performed significantly faster with up to two orders of magnitude improvement in computation time.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

PacketZapper: A Scalable and Automated Platform for IoT Traffic Collection and analysis 10

PacketZapper: A Scalable and Automated Platform for IoT Traf...

引用

10th international conference on Internet of things, Big Data and Security, IoTBDS 2025

作者： Hedberg, Mathias Fredrik Lin, Jia-Chun Lee, Ming-Chang Gjøvik Norway

ISBN: (纸本)9789897587504

the increasing adoption of IoT devices in home environments has raised significant concerns about security and privacy. Analyzing real IoT traffic is essential for understanding these implications, yet the process poses challenges for researchers, requiring expertise in hardware selection, data collection, storage, and analysis. To address these challenges, we introduce PacketZapper, an automated and scalable platform for IoT traffic collection, processing, and analysis. PacketZapper combines existing open-source tools with custom components to streamline research workflows. It follows a four-stage solution structure-collect, parse, store, and process-ensuring modularity and future extensibility. the platform supports the collection of Zigbee and 433MHz traffic using commercial USB dongles, with the potential to integrate additional IoT protocols. Data is stored in Elasticsearch, enabling efficient querying and exploration, while Apache Airflow automates task orchestration through Directed Acyclic Graphs (DAGs). A case study evaluation demonstrated PacketZapper’s capability to infer devices in a smart home and to facilitate effective data exploration. the platform provides a robust foundation for reproducible IoT traffic research, addressing critical gaps in IoT traffic analysis. It offers researchers an extensible, automated, and scalable solution for conducting diverse experiments. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Data curation

来源：评论

学校读者我要写书评

暂无评论

9th international conference on Rigorous State-Based Methods, ABZ 2023

9th International Conference on Rigorous State-Based Methods...

引用

9th international conference on Rigorous State-Based Methods, ABZ 2023

ISBN: (纸本)9783031331626

the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refinement;verifying Event-B Hybrid Models Using Cyclone;Exploration of Reflective ASMs for Security;Standalone Event-B Models analysis Relying on the EB4EB Meta-theory;adding Records to Alloy;Designing Critical systems Using Hierarchical STPA and Event-B;behavioural theory of Reflective algorithms;building Specifications in the Event-B Institution: A Summary;using Deep Ontologies in Formal Software Engineering;verifying Temporal Relational Models with Pardinus;AMAN Case Study;modeling and analysis of a Safety-Critical Interactive System through Validation Obligations;task Model Design and analysis with Alloy;modeling and Verifying an Arrival Manager Using Event-B;formal MVC: A Pattern for the Integration of ASM Specifications in UI Development;exploring a Methodology for Formal Verification of Safety-Critical systems;extending Modelchecking with ProB to Floating-Point Numbers and Hybrid systems;a Framework for Formal Verification and Validation of Railway systems;Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi;pattern-Based Refinement Generation through Domain Specific Languages;introducing Inductive construction in B with the theory Plugin;validation of Formal Models by Interactive Simulation;thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent systems;Encoding (Formula presented) Proof Obligations Safely for SMT;Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines;crucible tools for Test Generation and Animation of Alloy Models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Case Study of a Tall Building in Greece: Performance-Based Seismic Design and Assessment of Composite Coupling Beams 10th

Case Study of a Tall Building in Greece: Performance-Based S...

引用

10th international conference on the Behaviour of Steel Structures in Seismic Areas (STESSA)

作者： Katsaveli, Konstantina Efthymiou, Evangelos Gavridou, Sofia Aristotle Univ Thessaloniki Inst Met Struct Dept Civil Engn Thessaloniki 54124 Greece Univ Calif Los Angeles UCLA UCLA Samueli Sch Engn Civil & Environm Engn Dept Los Angeles CA 90095 USA

ISBN: (纸本)9783031038136;9783031038112;9783031038105

In the last decades many modern metropoles have embraced high-rise construction within a sustainable vertical urban development plan to accommodate the increased needs for housing and commercial needs, accounting for the limited available space. this is not valid in Greece, one of the most seismic prone countries in the Mediterranean, where the adopted urban development model was significantly different due to socio-economic and political factors that led to strictly low/mid-rise construction. Nonetheless, with the launch of Ellinikon project in the Attica region, which includes six high-rise buildings, tall buildings represent an emerging topic of interest in Greece. this paper examines the case study of a tall building in Greece, based on current US practice. For the purposes of the study, the latest LATBSDC guidelines are used and performance-based seismic design principles are applied. By means of nonlinear structural analysis software, all pertinent design parameters are investigated, and through comparative study, an assessment of composite coupling beams' deployment is realized, highlighting their effectiveness in high-rise construction.

关键词： Tall buildings Structural systems Nonlinear analysis Performance-based design Seismic safety High-rise buildings Composite coupling beams

来源：评论

学校读者我要写书评

暂无评论

Development of Learning Resources on Automation Manufacturing systems to Enhancing Students' Creativity 10

Development of Learning Resources on Automation Manufacturin...

引用

10th international conference on Education and Technology, ICET 2024

作者： Marsono Elbaith Zaeni, Ilham Ari Mindarta, Erwin Komara Khasanah, Fitria Wijayanto, Rama Adi Wirawan, Monalisa Universitas Negeri Malang Department of Mechanical and Industrial Engineering Malang Indonesia Universitas Negeri Malang Department of Electrical Engineering and Informatics Malang Indonesia Universitas Wisnuwardhana Malang Department of Mathematics Education Malang Indonesia

ISBN: (纸本)9798331522483

the aim of this research is to produce learning materials that help students enhance their creativity in the field of Automation Manufacturing systems (AMS). It is important to educate students with a combination of technical competencies and creative thinking abilities due to the rapid development of industrial automation and the increasing relevance of inventive problem-solving skills in today's job market. Learning materials are created, produced, implemented, and evaluated methodically through the application of the ADDIE instructional design paradigm in this research. A comprehensive needs analysis was conducted as part of the research to identify areas where existing learning materials are still lacking and to gain an understanding of the specific learning objectives related to AMS posted on the MOOCs. As a result of these findings, a collection of educational materials was developed that combines interactive elements, practical exercises, and real-world examples with the aim of promoting creativity. Formative and summative assessments are used together with each other to determine the effectiveness of these tools within the confines of a safe classroom setting. According to the findings, there is a significant improvement in students' creativity outcomes, evaluated based on their ability to generate new ideas. the effectiveness and importance of the materials developed to foster a more innovative and engaging learning environment are underscored by the feedback received from both students and lecturers.. © 2024 IEEE.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Investigation of Enterprise WeChat Development Modes Based on a SWOT-PEST Model 10th

Investigation of Enterprise WeChat Development Modes Based o...

引用

10th international conference on Distributed, Ambient and Pervasive Interactions (DAPI) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)

作者： Xing, Fei Peng, Guochao Huang, Zengjian Suzhou Inst Trade & Commerce Suzhou 215009 Peoples R China Sun Yat Sen Univ Guangzhou 510000 Peoples R China

ISBN: (纸本)9783031054310;9783031054303

Today more than ever before, the issues of communication and information sharing are much more closely linked to economic effect and quality of employees' work of enterprise, which is causing an increased interest for researchers from the information systems (IS) and management field. With the development and popularisation of network communication technologies and mobile devices, enterprise instant messaging (EIM) is set to improve information sharing and communication among employees as a result of integrating instant messaging and collaborative office. As one of the EIM tools, Tencent product Enterprise WeChat has been made publicly available and is gradually being extended and applied in organisations. Currently, Enterprise WeChat has a certain amount of market share and promotes the capabilities of overall communication and information sharing in enterprise. In this paper, the strategic analysis tools derived from the SWOT (strengths, weaknesses, opportunities and threats)PEST (political, economic, social and technological) model has been adopted to investigate the development mode of Enterprise WeChat in organisations. Subsequently, on the basis of analysis results, several corresponding recommendations have been put forward in an attempt to achieve the rapid and sound development of Enterprise WeChat in organisations in the future.

关键词： Enterprise WeChat SWOT-PEST model Strategic analysis recommendation

来源：评论

学校读者我要写书评

暂无评论

Optimization Based Seismic Design of Self-centering Concentrically Braced Frames 10th

Optimization Based Seismic Design of Self-centering Concentr...

引用

10th international conference on the Behaviour of Steel Structures in Seismic Areas (STESSA)

作者： Marzok, Ameer Lavan, Oren Technion Israel Inst Technol Haifa Israel

ISBN: (纸本)9783031038136;9783031038112;9783031038105

this paper presents a design approach for multiple rocking Self-Centering concentrically Braced Frames (SC-CBFs) using a zero-order optimization framework. the objective of the design is to minimize the construction cost of the SC-CBF while satisfying performance constraints. the design space includes the properties of the rocking sections while the elements of the structural system are indirectly considered. In addition, the optimization problem is formulated to eliminate unnecessary rocking sections. Due to the nonlinearity of the optimization problem, an iterative procedure is adopted. Each iteration includes a set of new candidate designs of the system which are a product of the optimization algorithm used. the response of each design is computed using a nonlinear time history analysis (NLthA) utilizing the Mixed Lagrangian Formalism (MLF). MLF has been shown as an efficient numerical scheme for this type of problem. the proposed methodology has been applied for the seismic design of SC-CBFs with multiple rocking sections. the results show that the optimized structures satisfy the predefined allowable performance levels with reduced construction costs.

关键词： Structural optimization Self-centering Higher mode effects Multiple rocking systems Concentrically braced frames

来源：评论

学校读者我要写书评

暂无评论

Experimental analysis of dynamic characteristics in bolted joint interfaces of thin plates 31

Experimental analysis of dynamic characteristics in bolted j...

引用

31st international conference on Noise and Vibration Engineering, ISMA 2024 and 10th international conference on Uncertainty in Structural Dynamics, USD 2024

作者： Jamia, N. Pandey, P. Farokhi, H. Friswell, M.I. Khodaparast, H. Haddad Jalali, H. Faculty of Science and Engineering Swansea University Swansea United Kingdom Department of Mechanical and Construction Engineering Northumbria University Newcastle Upon Tyne United Kingdom

ISBN: (纸本)9789082893175

In this paper, the authors explore the dynamics characteristics of bolted joint interfaces in thin plates, focusing on the uncertainty in stiffness and damping due to variations in contact interfaces. the research primarily investigates joint stiffness and damping caused by energy loss in bolted connections, particularly under conditions of varying bolt torque. A unique experimental setup employing nonlinear modal testing is used to analyse the complex behaviour of bolted joints. this setup includes phase-resonant testing to accurately track the backbone curves of nonlinear frequency responses, which is essential for understanding the mechanical properties of bolted joints. the experimental findings focus on the relationship between bolt torque loosening and the resultant stiffness and damping effects, offering insights into the complex interplay between structural integrity and damping efficiency. this study contributes to the modelling of damping in bolted joints, addressing the inherent uncertainties and nonlinearities in such systems. the results have significant implications for improving the prediction and optimisation of damping in assembled structures with bolted joints, with potential applications in various engineering applications. © 2024 Proceedings of ISMA 2024 - international conference on Noise and Vibration Engineering and USD 2024 - international conference on Uncertainty in Structural Dynamics. All rights reserved.

关键词： Bolted joints

来源：评论

学校读者我要写书评

暂无评论

KNOWLEDGE GRAPH ONTOLOGY MODEL construction BASED ON HIERARCHY STRUCTURE AND FAILURE analysis FOR WIND TURBINES 10

KNOWLEDGE GRAPH ONTOLOGY MODEL CONSTRUCTION BASED ON HIERARC...

引用

10th international Symposium on Test Automation and Instrumentation, ISTAI 2024

作者： Wang, Zhi-Chao Liu, Chao Jiang, Dongxiang Department of Energy and Power Engineering Tsinghua University Beijing China

ISBN: (纸本)9781837242672

Wind turbines have been widely employed to convert wind kinetic energy into mechanical and end electrical energy as clean and pollution-free renewable energy for handling energy shortages and environmental pollution. In order to better manage and utilize fault knowledge and improve fault diagnosis efficacy of wind turbines, this study constructs a knowledge graph ontology model with system architecture and failure analysis. the model embraces equipment, fault and maintenance knowledge with attribute values in the system-function-motion-action-component (SFMAC) hierarchy structure that is a motion-oriented layered structure division method especially suitable for mechanical systems to obtain the most fundamental and smallest motion of power and motion transmission, namely translation and rotation meta-actions. Equipment knowledge is obtained by the SFMAC hierarchy structure, in which failure analysis integrating fault tree analysis (FTA) and failure mode and effects analysis (FMEA) is implemented to map failure behaviors and events and draw failure cause and effect fault trees from the action layer to the component and system layers respectively for garnering fault and maintenance knowledge. the constructed model is more hierarchical, complete and plain to present relationships of equipment, fault and maintenance knowledge in wind turbines. © the Institution of Engineering & Technology 2024.

关键词： Fault tree analysis

来源：评论

学校读者我要写书评

暂无评论

Verifying Fortran Programs with CIVL 28th

Verifying Fortran Programs with CIVL

引用

作者： Wu, Wenhao Huckelheim, Jan Hovland, Paul D. Siegel, Stephen F. Univ Delaware Newark DE 19716 USA Argonne Natl Lab Lemont IL 60439 USA

ISBN: (纸本)9783030995249;9783030995232

Fortran is widely used in computational science, engineering, and high performance computing. this paper presents an extension to the CIVL verification framework to check correctness properties of Fortran programs. Unlike previous work that translates Fortran to C, LLVM IR, or other intermediate formats before verification, our work allows CIVL to directly consume Fortran source files. We extended the parsing, translation, and analysis phases to support Fortran-specific features such as array slicing and reshaping, and to find program violations that are specific to Fortran, such as argument aliasing rule violations, invalid use of variable and function attributes, or defects due to Fortran's unspecified expression evaluation order. We demonstrate the usefulness of our tool on a verification benchmark suite and kernels extracted from a real world application.

关键词： Fortran verification static analysis model checking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：