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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Decision-Making systems Based on Semantic Image analysis 1

引用

10th international Scientific and Technical conference on Open Semantic Technologies for Intelligent System, OSTIS 2020

作者： Iskra, Natallia Iskra, Vitali Lukashevich, Marina Belarusian State University of Informatics and Radioelectronics Minsk Belarus Omnigon Communications LLC New YorkNY United States

In this paper principles of decision-making systems construction are considered. An approach to image analysis based on semantic model is proposed and studied. the results show an improvement in processing speed and i... 详细信息

ISBN: (数字)9783030604479

ISBN: (纸本)9783030604462

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Electrolytic Corrosion Charge Monitoring on the Hardware of Porcelain and Glass Insulators on HVDC Overhead Lines 10

Electrolytic Corrosion Charge Monitoring on the Hardware of ...

引用

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

作者： Hao, Dongxin Wang, Yongli Yang, Daiming Shaanxi Electric Power Company Electric Power Research Institute Xi'an China Shenzhen Polytechnic Department of Construction and Environmental Engineering Shenzhen China

ISBN: (纸本)9781665404945

Electrolytic corrosion of hardware is always a problem in porcelain and glass insulators on HVDC (high-voltage direct current) transmission lines. Leakage current and accumulative charges are for characterizing the corrosion rate and degree. In this paper, an approach for current measurement was introduced. then, an equipment of high-precision and wide-range for corrosion current measurement was developed. the electrolytic corrosion test of insulators was carried out by salt spray method, and the corrosion current and charge were obtained. the data were compared and analyzed statistically. the results showed that the corrosion charges were different among insulators. the difference is irrelevant to the mode of insulator suspension. In addition, an on-line monitoring system for corrosion status was developed and installed on a ±500 kV HVDC transmission line. the corrosion current, charge of the target insulator string, ambient temperature and relative humidity were obtained. Data analysis showed that with the increase of relative humidity, the average value of corrosion charge and current changed in two trends, one was obviously increasing, and the other is decreasing slightly first and then increasing. © 2020 IEEE.

关键词： Corrosion rate

来源：评论

学校读者我要写书评

暂无评论

Based on systems science methodology - - Research on the talent training system of hall three-dimensional structure 10

Based on systems science methodology - - Research on the tal...

引用

2020 10th Chinese Geosynthetics conference and international Symposium on Civil Engineering and Geosynthetics, ISCEG 2020

作者： Yong-Chen Zhong, Hua-Cheng Qi-Xu Shijiazhuang Campus Army Engineering University Shijiazhuang050003 China

Draw lessons from the basic idea of system science methodology, based on the hall three dimensions structure theory construction of research personnel training problems, from the time dimension, logic knowledge and three dimension analysis of all aspects of talent cultivation system, clear the talent training theory support, and solve the problem of a series of contradictions in the process of talent training, further enriched and developed the theoretical system of talents cultivation. © the Authors, published by EDP Sciences 2020.

关键词： Personnel training

来源：评论

学校读者我要写书评

暂无评论

A Software Tool for the Real-Time in Vivo Evaluation of Neural Electrodes' Selectivity

A Software Tool for the Real-Time in Vivo Evaluation of Neur...

引用

international IEEE/EMBS conference on Neural Engineering, CNE

作者： Ivo Strauss Daniela de Luca Adele M. Panarese Fabio Bernini Khatia Gabisonia Francesco M. Petrini Fabio A. Recchia Stanisa Raspopovic Silvestro Micera BioRobotics Institute The BioRobotics Institute Scuola Superiore Sant'Anna Pisa Italy Istituto di Scienze Della Vita (ISV) Scuola Superiore Sant'Anna Pisa Italy SensArs Neuroprosthetics Sarl Lausanne Switzerland Laboratory for Neuroengineering Institute for Robotics and Intelligent Systems ETH Zürich (ETH) Zürich Switzerland The position of Bertarelli Foundation Chair in Translational NeuroEngineering Centre for Neuroprosthetics and Institute of Bioengineering École Polytechnique Fédérale de Lausanne (EPFL) Lausanne Switzerland

High neural selectivity is an important indicator of how well a neural electrode will perform in a clinical setup. Among other factors, neural selectivity of an electrode strongly depends on its implant location. Today, the neural selectivity is evaluated by performing animal experiments and consequent offline analysis. the most selective electrode implant location is therefore difficult to predict. Here we developed a software tool to characterize neural electrodes' selectivity in real-time, in vivo. A graphical user interface (GUI) allows controlling the software tool. Our tool is adapted to use a commercially available neurostimulator (TDT, Tucker-Davis Technologies, US) but can be easily adapted to other systems. Electromyographic (EMG) recruitment curves and selectivity indexes (SIs) were obtained stimulating the sciatic nerve of four pigs. the functionality, execution time of stimulation and correct SI calculation by the software-platform were evaluated by testing twelve intraneural electrodes.

关键词： Electrodes In vivo Animals Implants tools Real-time systems Silicon

来源：评论

学校读者我要写书评

暂无评论

Ultra-Low Cycle Fatigue Failure analysis of Steel Concentrically Braced Frames Using Non-Linear Fiber Beam Column Elements 10th

Ultra-Low Cycle Fatigue Failure Analysis of Steel Concentric...

引用

10th international conference on Structural Engineering and construction Management, ICSECM 2019

作者： Jayasooriya, E.M.S.D. Bandara, C.S. Jayasinghe, J.A.S.C. Wijesundara, K.K. Faculty of Engineering University of Peradeniya Peradeniya Sri Lanka

ISBN: (纸本)9789811572210

Earthquake induced steel structural failures are prevalent due to the high lateral forces applied to the structures resulting in excessive sway and more importantly ultra-low cycle fatigue of structural members. Even though lateral load resisting systems such as concentrically braced frames are installed to the moment resisting frames, ultra-low cycle fatigue induced brace failures play a dominant role in the context of local buckling of the members due to the amplified strains at the vicinity of the brace mid length followed by high strain concentrations. However, the concentric braced frames are designed and detailed deliberately to buckle out of plane in order dissipate the input seismic energy given to the structure by an earthquake. this global buckling of the braces is favorable to a structure in terms of the hysteretic response where the local buckling of the braces drives instant failure of the brace due to ultra-low cycle fatigue fracture. Cyclic void growth models are used to predict this fracture initiation due to ultra-low cycle fatigue in small scale steel components where the method requires a detailed stress and strain history obtained from a meticulous finite element model. If these models are to apply to a case where a multi storey building with braced frames in which an earthquake is applied, analysisof the finite element model to obtained the stress and strain histories until the failure, is quite impossible due to the high computational expense. In this regard, the present study first proposes a new method to model the structural behavior of concentric braces under cyclic loading using fiber beam column elements used in the OpenSees framework and then a new modifiedcyclic void growth model is proposed. To do that, experimental tests of concentric braces were modeled using OpenSees to observe the applicability and the limitations of fiber beam column element in terms of hysteretic response and strain variation in predicting the ultra-low cycle fat

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Segment Wear Characteristics of the Frame Saw for Hard Stone in Reciprocating Sawing Mode 10th

Segment Wear Characteristics of the Frame Saw for Hard Stone...

引用

10th international conference on Computer Engineering and Networks, CENet 2020

作者： Sun, Qin Wang, Baoping Li, Zuoli Guan, Zhiguang School of Construction Machinery Shandong Jiaotong University Jinan250357 China Institute of Automation Shandong Academy of Sciences Jinan250000 China

ISBN: (纸本)9789811584619

the frame saw is not limited by the size of the stone. It can be installed 120 saw blades with a length of 4 m. the thickness of the saw blade is generally less than 3.5mm, which reduces the generation of waste debris in the stone sawing process. there is no noise and dust pollution in the sawing process, which meets the requirements of high energy, low consumption and environmental protection advocated. However, in the process of sawing hard stone, the flatness of stone surface is poor. the experiment of sawing hard stone with reciprocating frame saw is carried out, and the wear morphology of the saw tooth is analyzed by SEM. the main wear forms of diamond particles are whole crystal, micro-fractured, macro-fractured, flat, and pull out. Among the pulling out diamond grains, the abnormal pulling-out diamond grains are the most, and the depth is more than or close to half of the diameter of the grains. Cracking was found at the interface between diamond grain and matrix. through the systematic analysis of diamond grain wear, the theoretical basis is provided for the design of new sawing mode. © 2021, the Editor(s) (if applicable) and the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Wear of materials

来源：评论

学校读者我要写书评

暂无评论

Application of Simulation for Emulating and Visualizing Nanotechnology 10th

Application of Simulation for Emulating and Visualizing Nano...

引用

10th international conference on Advanced Computational Engineering and Experimenting (ACE)

作者： Khan, Ahmed S. DeVry Univ Coll Engn & Informat Sci Addison IL 60101 USA

ISBN: (纸本)9789811398063;9789811398056

Phenomenal interest in new and emerging technologies like nanotechnology has led to an increased demand for graduates who have sound knowledge of fundamental principles underlying the design and operation of complex systems. However, incorporation of such learning processes, including state-of-art technological tools and equipment, requires considerable time and financial resources. Keeping curricula and labs current with the rapid change of technology pose another challenge for academia. Visualization plays an important role in the modern scientific process. In an era where the means of generating data through natural inquiry or simulation have vastly exceeded the power of direct analysis, tools to interpret and explore the data are crucial to the continued pursuit of knowledge (Patterson in Nanoscale visualization: transfer function exploration, 2003, [1]). Visualization of processes can be achieved by using simulation tools. In addition to cost savings, simulation offers a number of other advantages: (a) allowing the user to modify system parameters and observe the outcomes without any harmful side effects (b) eliminating component or equipment faults that affect outcomes (c) supporting users progress at their own pace in discovery and understanding of concepts and issues, and (d) enhancing the presentation of "dry" concepts by integrating theory and practice (Cherner et al. in Use of adaptable simulation-based virtual laboratories for teaching alternative energy and energy conservation in engineering & technology programs, 2011, [2]). Simulation has another major advantage in that a simulation is task- and learner-neutral;it models an object/system construction and operation or learning situation. Within simulation functionality, there are no restrictions on the student's actions. Realistic simulations visualize processes occurring in the devices and enable students to observe the physical processes at different levels (from macroscopic to subatomic), analyse co

关键词： Nanotechnology Visualization Simulation Remote access instruments Computer-based instruction (CBI) Feedback Scaffolding Cognitive apprenticeship Sequential design Parallel design Mixed design Atomic force microscope (AFM) Scanning electron microscope (SEM) NanoHub Remotely accessible instruments for nanotechnology (RAIN) Energy dispersive spectroscopy (EDS) Fourier transform infrared spectroscopy (FTIR) X-Ray fluorescence (XFR) Nanosensors Nanophotonics Micro electro mechanical systems (MEMS)

来源：评论

学校读者我要写书评

暂无评论

PerSent 2.0: Persian Sentiment Lexicon Enriched with Domain-Specific Words 10th

PerSent 2.0: Persian Sentiment Lexicon Enriched with Domain-...

引用

10th international conference on Brain Inspired Cognitive systems (BICS)

作者： Dashtipour, Kia Raza, Ali Gelbukh, Alexander Zhang, Rui Cambria, Erik Hussain, Amir Univ Stirling Fac Nat Sci Dept Comp Sci & Math Stirling FK9 4LA Scotland Rochester Inst Technol Dept Elect Engn & Comp Dubai U Arab Emirates Inst Politecn Nacl Mexico City DF Mexico Xian Jiaotong Liverpool Univ Elect & Elect Engn Suzhou Peoples R China Nanyang Technol Univ Sch Comp Sci & Engn 50 Nanyang Dr Singapore Singapore Edinburgh Napier Univ Sch Comp Merchiston Campus Edinburgh EH10 5DT Midlothian Scotland

ISBN: (纸本)9783030394318;9783030394301

Sentiment analysis is probably the most actively growing area of natural language processing nowadays, which leverages huge amount of user-contributed data on Internet to improve income of businesses and quality of life of consumer. the majority of existent sentiment-analysis systems is focused on English, due to lack of resources and tools for other languages. To fill this gap for Persian language, in our previous work we have compiled the first version of PerSent Persian sentiment lexicon, which was small and included only words and phrases from general domain. In this paper, we present its extension with words from three different domains and evaluate its performance on polarity classification task using various machine learning-based classifiers. We use a multi-domain dataset to evaluate the performance of our new lexicon on various domains. Our results demonstrate usefulness of the new lexicon for analysis of product and movie reviews and especially of political news in Persian language.

关键词： Persian Sentiment analysis Machine learning

来源：评论

学校读者我要写书评

暂无评论

Clone detection in student programs based on lexical analysis of source codes 10

Clone detection in student programs based on lexical analysi...

引用

10th international conference on High-Performance Computing systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020

作者： Polovikova, O.N. Ivanova, V.E. Institute of Mathematics and Information Technology Altai State University 61 Lenina ave. Barnaul656049 Russia

this article presents the development of automatic clone detection for verification students programs - the Detector of Clones. the Levenshtein Distance is used for the initial assessment of the similarity of the two token sequences which is calculated by the Wagner-Fisher algorithm. Verification of two programs is carried out by the fingerprint method and by the winnowing method. To improve the results of plagiarism assessment, an additional calculation was added to the implementation of the winnowing method: the detector compares not only the labels themselves, but also the sequences near the matching labels. the detector of clones is formed for the cycle of disciplines Object Oriented Programming, Object Oriented analysis and Design on the Moodle platform. these tools support C-like languages (C++ and C#). In general, the work of the detector undoubtedly made it possible to increase the consistency in verification of student programs. © Published under licence by IOP Publishing Ltd.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

international Competition on Software Testing (Test-Comp) 25th

International Competition on Software Testing (Test-Comp)

引用

25th international conference on tools and algorithms for the construction and analysis of systems (TACAS) held as part of the 22nd European Joint conferences on theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783030175023;9783030175016

Tool competitions are a special form of comparative evaluation, where each tool has a team of developers or supporters associated that makes sure the tool is properly configured to show its best possible performance. Tool competitions have been a driving force for the development of mature tools that represent the state of the art in several research areas. this paper describes the international Competition on Software Testing (Test-Comp), a comparative evaluation of automatic tools for software test generation. Test-Comp 2019 is presented as part of TOOLympics 2019, a satellite event of the conference TACAS.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：