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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,234 篇 工学
- 862 篇 计算机科学与技术...
- 532 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 122 篇 机械工程
- 107 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 32 篇 生物工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
348 篇 理学
- 210 篇 数学
- 56 篇 物理学
- 56 篇 系统科学
- 55 篇 统计学（可授理学、...
- 47 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
41 篇 医学
- 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
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
19 篇 software
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
15 篇 simulation

机构

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,606 篇 英文
60 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1697 条记录，以下是371-380 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Human Factors/Ergonomics in eWorld: Methodology, Techniques and Applications

Human Factors/Ergonomics in eWorld: Methodology, Techniques ...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / AHFE international conference on Human Aspects of Advanced Manufacturing / AHFE international conference on Advanced Production Management and Process Control (APMPC)

作者： Burov, Oleksandr Natl Acad Educ Sci Ukraine Inst Informat Technol & Learning Tools 9 M Berlynskoho St UA-04060 Kiev Ukraine

ISBN: (纸本)9783030204945;9783030204938

the analysis of ergonomic properties has been made in relation to ergonomic evaluation of objects of digital world. the proposal is to extent three recognized domains of Ergonomic (physical, cognitive and organizational) by the new one: informational. Some appropriate related topics are proposed. Information/cyber security issues are formulated as ergonomic objects in the digital environment. It is propose to add to four recognized general ergonomic properties (learnability, serviceability, controllability, inhabitability) to add resilience of human-system integration as one more ergonomic property. the technique to measure "ergonomicity" are discussed with the appropriate 4-point scale that is based on use of 4 levels of ergonomic indices: integral complex, group and single.

关键词： Human factors Ergonomic properties Ergonomic domains Ergonomicity scale

来源：评论

学校读者我要写书评

暂无评论

CC 2020 - Proceedings of the 29th international conference on Compiler construction

CC 2020 - Proceedings of the 29th International Conference o...

引用

29th ACM SIGPLAN international conference on Compiler construction, CC 2020

ISBN: (纸本)9781450371209

the proceedings contain 19 papers. the topics discussed include: postcondition-preserving fusion of postorder tree transformations;a study of event frequency profiling with differential privacy;balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on arm systems;bitwidth customization in image processing pipelines using interval analysis and SMT solvers;compiler-based graph representations for deep learning models of code;dynamic property caches: a step towards faster JavaScript proxy objects;generating fast sparse matrix vector multiplication from a high level generic functional IR;is stateful packrat parsing really linear in practice? - a counter-example, an improved grammar and its parsing algorithms;and mix Your Contexts Well: opportunities unleashed by recent advances in scaling context-sensitivity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Management Model Logistic for the Use of Planning and Inventory tools in a Selling Company of the Automotive Sector in Peru

Management Model Logistic for the Use of Planning and Invent...

引用

作者： Carazas, Luis Barrios, Manuel Nunez, Victor Raymundo, Carlos Dominguez, Francisco Univ Peruana Ciencias Aplicadas UPC Escuela Ingn Ind Lima Peru Univ Peruana Ciencias Aplicadas UPC Direcc Invest Lima Peru Univ Rey Juan Carlos Escuela Super Ingn Informat Madrid Spain

ISBN: (纸本)9783030204945;9783030204938

One of the most important problems affecting companies that assemble and market vehicles is stock depletion of finished products. therefore, many small and medium-sized enterprises (SMEs) have attempted to manage this situation by using tools such as the Q mode, which continuously reviews inventories but does not indicate when and in what quantity a company must supply its sales outlets but requires a more complex level of supplier development and supply chain management efficiency than SMEs can achieve. Likewise, with our proposal we achieved a 50% decrease in stock depletion, based on an analysis of model results, with a confidence level of 95% and a certainty level of 75.30%, projecting a profit of 59000 soles with a return cost of 1.41 and a recovery period of 2 years and 4 months, ensuring both the sustainability and profitability of the proposal.

关键词： Stock depletion Inventory management MRP RFID CRP

来源：评论

学校读者我要写书评

暂无评论

Design and Research of Security Service Platform for Power Terminal Business Monitoring and Data analysis 10

Design and Research of Security Service Platform for Power T...

引用

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

作者： Luo, Weifeng Wang, Huiqin Yan, Gangfeng Ding, Lifu Shenzhen Power Supply Bureau Co. Ltd Shenzhen China Institute of Zhejiang University Huanan Industrial Technology Research Guangzhou China

ISBN: (纸本)9781665404945

With the continuous development of power monitoring technology and the refinement of user data services and power enterprise security services, new requirements have been placed on the business management and data management of power enterprises. In order to reduce the incidence of smart grid failures and provide better services to users, a smart grid business monitoring and data analysis service platform is necessary. this article analyzes in detail the background, goals, and ideas of current business monitoring based on business logic consistency and data analysis based on data fusion, and introduces the implementation scheme of a smart grid service platform, including architecture design and construction content. the platform mentioned in this article can be extended and applied to various power businesses in the power industry, providing a theoretical basis and implementation method for realizing smart grid security monitoring and data analysis from the business level. © 2020 IEEE.

关键词： Monitoring

来源：评论

学校读者我要写书评

暂无评论

Parametric analysis of CT-image-Preprocessing for Improved Performance of Post-Processing Operation

Parametric Analysis of CT-image-Preprocessing for Improved P...

引用

international conference on System Modeling & Advancement in Research Trends (SMART)

作者： Resham Raj Shivwanshi Neelamshobha Nirala National Institute of Technology Raipur

ISBN: (纸本)9781665439718

Advanced technological tools in medical image analysis for disease detection and diagnosis are progressively coming into the utility of doctors and academicians due to various methodological evolution. Since the last three decades, various studies have been performed to achieve the state of the art predictive ability through early warning disease detection systems. After going through existing research work, it has been found that there is a lack of credibility in CT (computed tomography) image disease detection algorithms, which can be overcome by applying certain image processing and statistical analysis techniques. this article is made to describe a disparate approach in order to attain eminence in terms of lung disease diagnosis and detection. there are a huge amount of databases available online, but most of them encounter the issues of image noise and quality deterioration that further becomes the cause of irregularity and erroneous outcomes. the notion of this paper is to delineate an approach to pre-process input images and measure the quality of the given technique in order to choose better image operations and improve their visual information before analyzing them through a meticulous algorithm. An amalgamation of appropriate filters and image enhancement operations are also utilized to make clear insights of abnormality present inside of lung parenchyma. Furthermore, this study shows that the application of a high pass filter in the spatial domain improves the input image quality that is clearly identified by performing statistical analysis of output parameters. It is also observed that the otsu filtered image is more suitable to prepare the image for an efficient segmentation procedure. At last, it has been discussed that the overall approach in the form of pre-processing and its parameter estimation would not only help to assure quality enhancement of input image but also assist to run disease detection precisely in order to obtain reliable outcomes.

关键词： Measurement Visualization Parameter estimation Computed tomography Pulmonary diseases Medical services Filtering algorithms

来源：评论

学校读者我要写书评

暂无评论

the Brand Mark Competitors Map as Visual Research Tool. Using Graphic and Symbolic Data in the Brand Visual Identity Project

The Brand Mark Competitors Map as Visual Research Tool. Usin...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Ergonomics in Design

作者： Raposo, Daniel Ribeiro, Rogerio Amaral, Mariana da Silva, Fernando Moreira Martin Sanroman, Juan Ramon Univ Lisbon Lisbon Sch Architecture CIAUD Rua Sa Nogueira P-1349063 Lisbon Portugal Polytech Inst Castelo Branco Av Pedro Alvares Cabral 12 P-6000084 Castelo Branco Portugal Pontifical Univ Salamanca Calle Co 5 Salamanca 37002 Spain

ISBN: (纸本)9783030202279;9783030202262

In the scope of Branding projects, the (re) designing of the Visual Identity of Brands or in the scope of audits of Brand Image, we proceed to the research on Brand Marks. this analysis falls on the Brand Marks that will be intervened, but also on Brand Marks of competitors or cases considered as good practices. the research stage on Brand Marks is common in academic or professional projects and students and professionals have difficulty in giving meaning and usefulness to the information collected. the most widely used visual analysis tools allow for the characterization of samples made up of Brand Marks, but these do not help in the extraction of specific conclusions centered on meaning and design. this article describes the development of the competitors map, the Visual Research Tool which allows the objective analysis of Brand Marks, which allows for decision making about the design effectiveness of an isolated Brand Mark or about its (re) design by comparison to a sample of competing Brand Marks. this Visual Research Tool has been developed through literature review, analysis of other tools, the inclusion of a semantic, syntactic and pragmatic analysis, which also includes classifications such as the iconicity scale or the Vienna Classification, as well as principles of visual rhetoric. Using visual and symbolic data, this Visual Research Tool supports professionals and students to create strategic strategies for Brand Visual Identity. this article reports on the creation and evaluation of the Brand Marks' competitor map.

关键词： Brand identity Brand mark Competitors map Visual analysis Syntactics Pragmatics Semantics

来源：评论

学校读者我要写书评

暂无评论

Using Soft Computing Methods for the Functional Benchmarking of an Intelligent Workplace in an Educational Establishment 10th

Using Soft Computing Methods for the Functional Benchmarking...

引用

10th international conference on theory and Application of Soft Computing, Computing with Words and Perceptions (ICSCCW)

作者： Akperov, Gurru, I Khramov, Vladimir V. Gorbacheva, Anastasiya A. Southern Univ IMBL Private Educ Inst Higher Educ Rostov Na Donu Russia

ISBN: (纸本)9783030352493;9783030352486

the article describes a method developed for assessing the functional proximity of an intelligent workplace (IWP) of a student with the best available examples based on a fuzzy multiple attribute decision-making method. the developed method is aimed at evaluating the success of the learning process and consists in aggregating individual indicators of the reviewed functions. the proposed method demonstrates the possibility of adapting the standard integral score method used to estimate the IWP to fuzzy initial data, thus providing a number of major advantages. In particular, the proposed method allows us to change the entire complex of the studied functions and their parameters depending on the study goals and objectives without substantially reworking the model. Besides, we can adjust the weights of parameters to match the sectoral and territorial specificity of the university or to comply with the expert assessments;bring together quantitative and qualitative estimates of the IWP indicators with the corresponding estimates of several intelligent learning tools selected as templates.

关键词： Comparative analysis of enterprise data Integrated assessment Aggregation Fuzzy multiple attribute decision-making methods

来源：评论

学校读者我要写书评

暂无评论

Method of Identification of Extremist Texts in the Russian Language Based on the Fuzzy Logic 10th

Method of Identification of Extremist Texts in the Russian L...

引用

10th international conference on theory and Application of Soft Computing, Computing with Words and Perceptions (ICSCCW)

作者： Vitchenko, Olga Dashko, Yuri Tishchenko, Evgeny Sakharova, Lyudmila Southern Univ IMBL Private Educ Inst Higher Educ Rostov Na Donu Russia Rostov State Univ Econ Rostov Na Donu Russia

ISBN: (纸本)9783030352493;9783030352486

the article describes the author's methodology of the study of the Russian language texts in order to identify their extremist orientation. this method is based on the fuzzy logic. the identified problems in solving the task are indicated. then the description of the method is presented. there are also main points of fuzzy logic and soft computing tools used in the development of the method. We also determined a set of indicators consisting of four groups: (1) markers of extremist orientation (by types of extremism);(2) markers of linguistic manipulation;(3) indicators of verbal aggression;(4) scientific and journalistic terms. there is quantitative and qualitative characterization for each group of indicators. After that, the process of formation of the evaluation of the studied text on the extremist orientation is described in detail. this process is described on the basis of the system being fuzzy-logical conclusions, called fuzzy multilevel [0,1] - classifiers.

关键词： Text analysis Extremist orientation Fuzzy logic Soft computing Method

来源：评论

学校读者我要写书评

暂无评论

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

10th International Scientific and Technical Conference on Op...

引用

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

ISBN: (纸本)9783030604462

the proceedings contain 16 papers. the special focus in this conference is on Open Semantic Technologies for Intelligent System. the topics include: Plagiarism Problem Solving Based on Combinatory Semantics;user Profile Ontological Modelling by Wiki-Based Semantic Similarity;decision Making and Control of a Cognitive Agent’s Knowledge Process Under Time Constraints;interactive Adaptation of Digital Fields in the System GeoBazaDannych;neural Network Data Processing Technology Based on Deep Belief Networks;hybrid Intelligent Multi-agent System for Power Restoration;tools and Technologies for Artificial Intelligence systems. What Should they Be?;convergence of Applied Intelligent systems with Cognitive Component;cognitive Knowledge Discovery in Social Sciences;ontological Approach for Standards Development Within Industry 4.0;neuro-Symbolic Artificial Intelligence: Application for Control the Quality of Product Labeling;decision-Making systems Based on Semantic Image analysis;intelligent Voice Assistant Based on Open Semantic Technology;ontological Approach for Chinese Language Interface Design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 34 35 36 37 38 39 40 41 42 43 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：