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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 533 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
354 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
42 篇 医学
- 33 篇 临床医学
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 篇 software
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
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 篇 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 条记录，以下是361-370 订阅

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

详细简洁

排序：

Parametric Design for the construction of a Corset Surface Based on Historical Female Bodies

Parametric Design for the Construction of a Corset Surface B...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Design for Inclusion / international conference on Human Factors for Apparel and Textile Engineering

作者： Zapata-Roldan, Felipe Echavarria-Bustamante, Blanca Univ Bridgeport Sch Engn Dept Technol Management 126 Pk Ave Bridgeport CT 06604 USA Univ Pontificia Bolivariana Escuela Arquitectura & Diseno Circular 1 70 01 Medellin Colombia

ISBN: (纸本)9783030204440;9783030204433

this work shows the results of a research project which goal was to make a geo-historical study on clothes used by four civilizations: Rome, Greece, Egypt and India. A bibliography search was done, online museum image databases and other sources were accessed in order to have a photographic record of statues and female tridimensional figures corresponding to the selected historical periods and parts of the world. the method included a partial reconstruction of the body, referencing the sculptural representation of female beauty in those ancient civilizations. After the reconstruction an indirect extraction of anthropometric measurements was made over 2D images, and those data were fed into a generative design software to model a tridimensional torso. the outcome is a 'historical-customizable' 3D model that can be applied to the production of clothing and historical costumes.

关键词： Parametric design CAD History research Image analysis

来源：评论

学校读者我要写书评

暂无评论

Re-defining Spatial Typologies of Humanitarian Housing Plans Using Machine Learning 11th

Re-defining Spatial Typologies of Humanitarian Housing Plans...

引用

11th international conference on Innovation in Urban and Regional Planning, INPUT 2021

作者： Pezzica, Camilla Cutini, Valerio de Souza, Clarice Bleil Chioni, Chiara Department of Energy Systems Territory and Construction Engineering University of Pisa Largo Lucio Lazzarino56122 Italy Welsh School of Architecture Cardiff University Bute Building King Edward VII Avenue CardiffCF10 3NB United Kingdom

ISBN: (纸本)9783030688233

the complexity of post-disaster recovery processes and the risks of implementing "one size fits all" solutions are now widely acknowledged by humanitarian actors, who are pushing for innovative approaches to better link housing recovery and urban development after urban disasters. However, there is currently little technical support for responsible local administrations tasked with selecting Temporary Housing (th) sites, to measure and visualise the complexity of their spatial configuration, illustrating patterns of urbanisation and transportation. the lack of time and appropriate decision-making support systems contribute to perpetuate unsuccessful practices of housing assistance provision, which detract resources from more important long-term investments. therefore, this paper proposes a computational analysis method which seeks to support the delivery of truly people-centred and performance-based th plans by enhancing administrations’ capacity to audit th proposals. It seeks to disclose non-trivial differences and trade-offs in candidate th plans, by exploiting unsupervised machine learning techniques to quantitatively define, starting from existing data, similar types of spatial arrangements. this research assumes that clustering algorithms can establish deep analogies between diachronic urban configurations, both real and projected. the proposed computational method can be scaled up so as to handle multiple dimensions according to changing strategic planning priorities and varying local needs. © 2021, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Housing

来源：评论

学校读者我要写书评

暂无评论

ProProv: A Language and Graphical Tool for Specifying Data Provenance Policies

ProProv: A Language and Graphical Tool for Specifying Data P...

引用

IEEE international conference on Trust, Privacy and Security in Intelligent systems and Applications (TPS-ISA)

作者： Kevin Dennis Shamaria Engram Tyler Kaczmarek Jay Ligatti Department of Computer Science and Engineering University of South Florida Tampa USA Secure Resilient Systems and Technology Group MIT Lincoln Laboratory Lexington USA

the Function-as-a-Service cloud computing paradigm has made large-scale application development convenient and efficient as developers no longer need to deploy or manage the necessary infrastructure themselves. However, as a consequence of this abstraction, developers lose insight into how their code is executed and data is processed. Cloud providers currently offer little to no assurance of the integrity of customer data. One approach to robust data integrity verification is the analysis of data provenance—logs that describe the causal history of data, applications, users, and non-person entities. this paper introduces ProProv, a new domain-specific language and graphical user interface for specifying policies over provenance metadata to automate provenance *** evaluate the convenience and usability of the new ProProv interface, 61 individuals were recruited to construct provenance policies using both ProProv and the popular, general-purpose policy specification language Rego—used as a baseline for comparison. We found that, compared to Rego, the ProProv interface greatly increased the number of policies successfully constructed, improved the time taken to construct those policies, and reduced the failed-attempt rate. Participants successfully constructed 73% of the requested policies using ProProv, compared to 41% using Rego. To further evaluate the usability of the tools, participants were given a 10-question questionnaire measured using the System Usability Scale (SUS). the median SUS score for the graphical ProProv interface was above average and fell into the “excellent” category, compared to below average and “OK” for Rego. these results highlight the impacts that graphical domain-specific tools can have on the accuracy and speed of policy construction.

关键词： Cloud computing Data integrity Sociology Metadata Particle measurements Real-time systems Security

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems : 5th international conference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings

引用

2016年

作者： w. r. cleaveland

tools and algorithms for the construction and analysis of systems : 5th international conference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings by Tacas '99 (1999 : Amsterdam, Netherlands); Cleaveland, W. R. (Walter Rance), 1961-; Etaps '99 (1999 : Amsterdam, Netherlands); published by Berlin ; New York : Springer

关键词： algorithms amsterdam, analysis computer software conference, system design

来源：评论

学校读者我要写书评

暂无评论

thermal-hydraulics Design and Safety analysis of Small Modular Lead-Bismuth Cooled Fast Reactors 10

Thermal-hydraulics Design and Safety Analysis of Small Modul...

引用

10th international conference on Power and Energy systems, ICPES 2020

作者： Dalin, Liu Jiaqi, Tan Xiaojing, Liu Zi, Ye Fanyuanyang, Zhang Yanping, Huang Houjun, Gong Shanghai Jiaotong University School of Mechanical Engineering Shanghai China Cgnpc Uranium Resources Co. Ltd Beijing China Shanghai NO.1 Machine Tools Works Co. Ltd Shanghai China Nuclear Power Technology Innovation Centre Chengdu China

ISBN: (纸本)9781665404945

Small modular reactor is seen as one of the most popular research directions in nuclear field, and lead-bismuth cooled fast reactors are widely chosen in the design of small modular reactors due to its excellent neutron properties and thermal conductivity. A 20MW lead-bismuth cooled fast reactor was designed in this paper and both fluent-based CFD analysis and cobra-based subchannel analysis were applied to its safety verification and design optimization. this paper not only presents a verified design of small modular Lead-bismuth cooled fast reactor with thorough thermal-hydraulics analysis, but also presents a platform to design heavy metal cooled fast reactor. © 2020 IEEE.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Preliminary results from development a Power Spectral Density Transmissibility based automated OMA procedure for civil SHM 10

Preliminary results from development a Power Spectral Densit...

引用

10th international conference on Structural Health Monitoring of Intelligent Infrastructure, SHMII 2021

作者： Sun, Q. Ren, W.X. Rainieri, C. Yan, W.J. Fabbrocino, G. School of Urban Construction and Transportation Hefei University Anhui Hefei23009 China StreGa Lab Department of Biosciences and Territory University of Molise Via F. De Sanctis Campobasso86100 Italy College of Civil Engineering Shenzhen University Guangzhou Shenzhen China Corso N. Protopisani Naples80146 Italy State Key Laboratory of Internet of Things for Smart City Department of Civil and Environmental Engineering University of Macau China Via Carducci L'Aquila67100 Italy

Continuous monitoring of the dynamic properties of existing structures plays a relevant role in safety assessment and to support timely structural maintenance. However, the low amplitude vibrations in operational conditions often make reliable modal parameter monitoring very challenging. this paper presents some preliminary results of extensive investigations aimed at exploiting the capabilities of power spectral density transmissibility (PSDT) for automated operational modal analysis (OMA) in the context of civil SHM applications. the investigated aspects mainly concern the modal identification reliability, evaluated also through a comparative performance assessment of PSDT-based OMA with other well-established OMA procedures, and the automation of the dynamic identification process by using PSDT functions. Application of the proposed PSDT-based automated OMA procedure to simulated as well as experimental provided encouraging results. © 2021 international conference on Structural Health Monitoring of Intelligent Infrastructure: Transferring Research into Practice, SHMII. All rights reserved.

关键词： Power spectral density

来源：评论

学校读者我要写书评

暂无评论

construction of Open Information Resource Service Platform in Ji Lin Province Local Universities Under the Background of Regional Development 10th

Construction of Open Information Resource Service Platform i...

引用

10th international conference on Frontier Computing, FC 2020

作者： Zhao, Limei Jilin Engineering Normal University Changchun130052 China

ISBN: (纸本)9789811601149

the current rapid development of science and technology, the steady progress of university information process, from the previous individuals to the library manual access to materials, to now anytime, anywhere access to the information platform of book management, can be said to be a major change, to bring great convenience to people. Although there are more and more versions of the library management system, most of them are only general-purpose, not combined with the actual situation and needs of the regional library, and even the functions of some systems are not perfect. therefore, it is necessary to establish an open information resource service platform in colleges and universities. First of all, the business process and functional requirements of a university library are deeply analyzed, and the application closest to practical work is completed, which improves the efficiency of library management. then, from the actual point of view, in-depth analysis of each functional module in the system is combined with the given various charts to a university library management information system in-depth analysis. Finally, SQL Server2008 is used as the design of database management software, mainly considering the characteristics of high security and large storage capacity of SQL Server2008. the design and implementation of this system effectively integrate the daily management and business ability of the library, basically meet the actual needs of daily work, and greatly improve the efficiency of the librarian’s work. this paper aims at the design and realization of the management information system of a university library and designs and implements a set of transportation line in the B/S architecture, modeling with UML, database using SQL Server2008 management information system. © 2021, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Gender Differences in Risk-Taking-Related Personality Traits and Risk Perception: Implications for Safety Training and Awareness Programs

Gender Differences in Risk-Taking-Related Personality Traits...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Safety Management and Human Factors

作者： Wong, Kapo Chan, Alan Hoi Shou Alabdulkarim, Saad A. City Univ Hong Kong Dept Syst Engn & Engn Management Kowloon Tat Chee Ave Hong Kong Peoples R China King Saud Univ Dept Ind Engn Riyadh Saudi Arabia

ISBN: (纸本)9783030204976;9783030204969

this study aims to examine gender differences among engineering students in terms of risk-taking-related personality traits and risk perception. thirteen scenarios based on actual fatality cases in the construction industry were used in the analysis. A total of 100 engineering undergraduates (male: 63, female: 37) were interviewed to identify their risk-taking-related personality traits and risk perception. Among ten personality traits, results show that being adventurous was the only personality trait positively correlated with risk-taking behaviour among female respondents. Two personality traits, namely, being adventurous and arrogant, were positively correlated with risk-taking behaviour among male respondents. the personality trait of calm was negatively correlated with risk-taking behaviour among male respondents. In terms of risk perception, females were slightly lower than males. these findings can be used as a reference for designing different safety training and awareness programs for male and female engineers and workers in the construction industry.

关键词： Risk-taking-related personality traits Risk perception construction industry Risk-taking behaviour Gender differences

来源：评论

学校读者我要写书评

暂无评论

Improving Participation and Learning of Compiler theory Using Educational Simulators

Improving Participation and Learning of Compiler Theory Usin...

引用

international Scientific-Professional conference on Information Technology (IT)

作者： Sreæko Stamenkoviæ Nenad Jovanoviæ Faculty of Technical Sciences University of Pristina Kosovska Mitrovica Serbia

ISBN: (数字)9781728191034

ISBN: (纸本)9781728191041

Due to the fact that compiler theory is pretty abstract, students' interest in learning the topics of this course decreases. In order to better prepare students for this challenge, a new approach to teaching and practicing compilers is necessary. the new approach should be complementary to existing curricula. this paper presents two educational interactive tools for visual representation of lexical and syntax analysis. It describes the way of applying simulation tools in order to improve the teaching process of the compiler construction course. these software systems evaluations were performed by checking the correctness of the implemented functionalities and examining the user experience by a quantitative student survey.

关键词： Visualization Software algorithms Education tools User interfaces Software systems User experience

来源：评论

学校读者我要写书评

暂无评论

Spatio-temporal pattern analysis of forest fire event in South Kalimantan using integration remote sensing data and GIS for forest fire disaster mitigation 10

Spatio-temporal pattern analysis of forest fire event in Sou...

引用

10th Institution-of-Geospatial-and-Remote-Sensing-Malaysia(IGRSM) international conference and Exhibition on Geospatial and Remote Sensing (IGRSM)

作者： Salsabila, H. N. Sahitya, A. F. Mahyatar, P. Univ Gadjah Mada Fac Geog Bulaksumur 55281 Yogyakarta Indonesia

Forest fire is one disaster that can paralyze various human activities, both in land and air, which can reach hundreds of hectares and is routine in Indonesia. Mitigation is important to reduce the number of fires and the impact will not damage the ecosystem. Spatio-temporal analysis can be used to know the pattern of an event in a certain period. this makes it possible to identify the factors of events that affected by time and see the changes that occur on the surface of the earth. Data that are used include remote sensing data of rainfall, peatland, palm oil plantation, land cover, hotspot in certain period that is processed using Geographic Information systems (GIS). the methods used include extraction of forest fire event parameter, mapping of hotspot and forest fire parameter, spatio-temporal analysis, forest fire mitigation identification. the extraction result obtained influential parameters, such as land cover, land use, rainfall, climate, river, and road. Structural mitigation such as the construction of canals and ditches can anticipate the spread of fires. Canals can also be used as a control factor for hydrology. Meanwhile, non-structural mitigation can be done through policy planning based on hotspot distribution modelling.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：