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

International Conference on Intelligent Systems Design and Applications (ISDA)

作者： Burcu Bektaş Hayriye Korkmaz Department of Computer Programming Istanbul Gedik University Istanbul TURKEY Faculty of Technology Marmara University Istanbul TURKEY

ISBN: (纸本)9781467387101

This study proposes a system using RFID and XBee technology to address and eliminate the problems resulting from human errors in put-away operations. The human errors in such operations are a serious problem that leads to a number of difficulties in production lines and supply-chain. The use of automated verification system in put-away operations in warehouses is rather rare. Therefore, the study draws from Information Technologies. Three modules - warehouse, racks, and forklifts - have been designed to ensure automated verification of error-free placement of goods. Also, a user interface is developed in Visual Studio C#.Net and SQL server is used for database management system. The developed system also provides monitoring of all steps of operation and enables real-time checking and supervision. Thus, it offers a reliable and transparent operation system, significantly contributes to effective management of supply chain and helps to improve high quality of fast and correct product delivery by minimizing the human errors. Thus, the study highlights the importance of automated verification system for an effective management of supply chain practices by establishing coordination among rack, forklift, warehouse modules, operator and product.

关键词： Universal Serial Bus Lead Monitoring Servers Tagging Cryptography Legged locomotion

来源：评论

学校读者我要写书评

暂无评论

Eigenvalue tunneling and decay of quenched random network

引用

Physical Review E 2016年第6期94卷 062313-062313页

作者： V. Avetisov M. Hovhannisyan A. Gorsky S. Nechaev M. Tamm O. Valba N. N. Semenov Institute of Chemical Physics of the Russian Academy of Sciences 119991 Moscow Russia Department of Applied Mathematics National Research University Higher School of Economics 101000 Moscow Russia Chair of Programming and Information Technologies Yerevan State University Yerevan Armenia Institute of Information Transmission Problems Russian Academy of Sciences Moscow Russia Moscow Institute of Physics and Technology Dolgoprudny 141700 Russia Poncelet Laboratory Centre National de la Recherche Scientifique (UMI2615) Independent University of Moscow Moscow Russia P. N. Lebedev Physical Institute Russian Academy of Sciences 119991 Moscow Russia Physics Department Moscow State University 119992 Moscow Russia

We consider the canonical ensemble of N-vertex Erdős-Rényi (ER) random topological graphs with quenched vertex degree, and with fugacity μ for each closed triple of bonds. We claim complete defragmentation of large-N graphs into the collection of [p−1] almost full subgraphs (cliques) above critical fugacity, μc, where p is the ER bond formation probability. Evolution of the spectral density, ρ(λ), of the adjacency matrix with increasing μ leads to the formation of a multizonal support for μ>μc. Eigenvalue tunneling from the central zone to the side one means formation of a new clique in the defragmentation process. The adjacency matrix of the network ground state has a block-diagonal form, where the number of vertices in blocks fluctuates around the mean value Np. The spectral density of the whole network in this regime has triangular shape. We interpret the phenomena from the viewpoint of the conventional random matrix model and speculate about possible physical applications.

关键词： Clustering Collective behavior in networks Critical phenomena Evolving networks Network evolution Network phase transitions

来源：评论

学校读者我要写书评

暂无评论

Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study

Cyber-Physical-Social System Self-Organization: Ontology-Bas...

引用

International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

作者： Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia

This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.

关键词： Ontologies Robots Semantics Information management Organizations Interoperability Pipelines

来源：评论

学校读者我要写书评

暂无评论

Analysis of Twitter hashtags: Fuzzy clustering approach

Analysis of Twitter hashtags: Fuzzy clustering approach

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Lotfi A. Zadeh Ali M. Abbasov Shahnaz N. Shahbazova Department of Electrical Engineering and Computer Sciences University of California Berkeley CA Minister of Communications High Technologies of the Republic of Azerbaijan Azerbaijan AZ Department of Information Technology & Programming Azerbaijan Technical University Baku Azerbaijan

The overwhelming acceptance of social media creates opportunities to learn about facts and events that are echoed in posts, tweets and messages uploaded by users. Analysis of these data can lead to interesting observations and conclusions. Of special importance are aspects related to temporal and dynamic nature of these findings. This paper presents a simple fuzzy-based approach of pre-processing and analyzing Twitter hashtags. The obtained fuzzy clusters are further examined in order to gain insight related to temporal trends and patterns of hashtags' popularity.

关键词： Twitter Tagging Pragmatics Data visualization Diamonds Media

来源：评论

学校读者我要写书评

暂无评论

Linearization algorithms CLOS and LOOPS of the classes in programming languages: The formal definitions

Linearization algorithms CLOS and LOOPS of the classes in pr...

引用

IEEE International Scientific Conference on Informatics

作者： D. Buy J. Karam S. Kompan S. Polyakov Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Kiivs'kij nacional'nij universitet imeni Tarasa Sevcenka Kiiv KiÃ¯v UA

The methods of conflict resolution of names in programming languages that allow multiple inheritance were researched. Those methods are based on the linearization of the classes. The idea of linearization is to reduce multiple inheritance to single, in which the problem of selecting a suitable attribute is solved trivially. The definition of a hierarchy of classes is introduced. The property of monotonicity was clarified. The idea of monotonicity is that all the attributes that the class inherits either identified in its direct ancestors, or inherited them. Methods of conflict resolution used in programming languages CLOS and LOOPS were formally defined.

关键词： Computer languages programming Heuristic algorithms Semantics Yttrium Conferences Informatics

来源：评论

学校读者我要写书评

暂无评论

Computational fluid dynamic modelling of the rebar quenching system towards the optimization of the temperature profile

Computational fluid dynamic modelling of the rebar quenching...

引用

International Conference on Advances in Metallurgy of Long and Forged Products 2015

作者： Al-Harbi, M. Mehmood, T. Al-Motham, S. Kumar, R. Al-Qahtani, H. Saudi Basic Industries Corporation SABIC Technology Center-Jubail P.O Box 11669 Jubail31961 Saudi Arabia RM-Long Products I Department Saudi Iron and Steel Company SABIC P.O Box 10053 Jubail Industrial City31961 Saudi Arabia Saudi Basic Industries Corporation Metals SBU Technology Programming P.O Box 10053 Jubail Industrial City31961 Saudi Arabia

ISBN: (纸本)9781935117520

Towards the optimization of rebar quenching system, it is essential to understand the heat flux mechanism and its influence on the temperature distribution in rebar cross section. A CFD mathematical model was developed to identify the key quenching process parameters on the rebar temperature profile, thus influencing its macrostructure. The model results successfully demonstrate the severe drop in rebar surface temperature during the very short quenching time, which leads to the development of the appropriate rebar microstructure and achieve the target mechanical properties. The model results were in good agreement with the plant data. © 2015, Association for Iron and Steel technology, AISTECH. All rights reserved.

关键词： Heat flux

来源：评论

学校读者我要写书评

暂无评论

Use of CFD modeling for macrostructure prediction in QST steel rebars

Use of CFD modeling for macrostructure prediction in QST ste...

引用

International Conference on Advances in Metallurgy of Long and Forged Products 2015

作者： Al-Motham, S. Mehmood, T. Al-Harbi, M. Kumar, R. Al-Qahtani, H. Saudi Basic Industries Corporation SABIC Technology Center-Jubail P.O Box 11669 Jubail31961 Saudi Arabia RM-Long Products I Department Saudi Iron and Steel Company SABIC P.O Box 10053 Jubail Industrial City31961 Saudi Arabia Saudi Basic Industries Corporation Metals SBU Technology Programming P.O Box 10053 Jubail Industrial City31961 Saudi Arabia

来源：评论

学校读者我要写书评

暂无评论

The parameters impact on cutting forces and determination of regression function

引用

IOP Conference Series: Materials Science and Engineering 2016年第1期161卷

作者： T D Popovici Department of Manufacturing Engineering The faculty of Engineering and Management of Technological Systems University Politehnica Bucharest 313 Splaiul Independentei Sector 6 Bucharest Romania Department of CN Programming and Technology Research Romanian Research & Development Institute for Gas Turbine 220 D Iuliu Maniu Bd. Sector 6 Bucharest Romania

The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It is highly used in various industrial processes, such as aeronautics, petrochemical industry, chemical industry, etc. It was examined the influence of milling parameters upon the three dimensional cutting force and after it was determinate regression function.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Algebraic models of application of computer systems and information technologies

Algebraic models of application of computer systems and info...

引用

IEEE International Scientific Conference on Informatics

作者： Volodymyr Ovsyak Oleksandr Ovsyak Dmytro Bui Julia Petruszka Dept. Application of Informatics Kielce University of Technology Kielce Poland Dept. Kino and Arts National University of Culture and Arts L'viv Ukraine Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Dept. Automatic and Information Technology Ukrainian University of Printing L'viv Ukraine

The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual *** platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic algebras and primitive program algebras (PPA), which is an example of programing algebra class of composite type. Property of monotonicity and continuity is established for the branching operation of PPA as the corollary of the representation of branching operation in terms of set-theoretic constructions of function restriction over set using the properties of monotonicity and distributivity of function restriction and whole image of set with respect to binary relation.

关键词： Algebra Unified modeling language Computational modeling Computers Information technology Mathematical model Visualization

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and Software Engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：