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

Quadripartitioned Neutrosophic Graph Structures

Neutrosophic Sets and Systems 2022年 51卷 269-294页

作者： Hussain, S. Satham Rashmonlou, Hossein Mofidnakhaei, F. Hussain, R Jahir Sahoo, Sankar Broumi, Said PG & Research Department of Mathematics Jamal Mohamed College Tamilnadu Trichy India Department of Mathematics University of Mazandarn Babolsar Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Laboratory of Information Processing Faculty of Science Ben M’Sik University Hassan II Casablanca Morocco

The quadripartitioned neutrosophic set is the partition of indeterminacy function of the neutrosophic set into contradiction part and ignorance part. In this work, the concept of quadripartitioned neutrosophic graph structures and its properties are invented. The strong, tree, Φ − permutation and Φ − complement of quadripartitioned neutrosophic graph structure are investigated. The operations like Cartesian Product, cross product, lexicographic product, composition in graph structures and join operations are established. © 2022, Neutrosophic Sets and Systems. All Rights Reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

An efficient algorithm for the configuration problem of dominance graphs 01

An efficient algorithm for the configuration problem of domi...

引用

Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms

作者： Ernst Althaus Denys Duchier Alexander Koller Kurt Mehlhorn Joachim Niehren Sven Thiel Max-Planck-Institute for Computer Science Saarbrücken Germany programming Systems Lab Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany

ISBN: (纸本)9780898714906

Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In most applications, however, only normal dominance constraints are used. The satisfiability problem of normal dominance constraints can be reduced in linear time to the configuration problem of dominance graphs, as shown recently. In this paper, we give a polynomial time algorithm testing configurability of dominance graphs (and thus satisfiability of normal dominance constraints). Previous to our work no polynomial time algorithms were known.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research about transmission of the mechanical vibration done by machine-tools on the group of bones shoulder-neck-head

引用

PAMM 2009年第1期8卷

作者： Aurica Trutą Aurora Felicia Pop Mariana Arghir Technical University of Cluj–Napoca Department of Mechanics and Computer Programming Romania

Different researches have shown that long–term exposure to whole–body vibration can induce different injuries like back pain, injuries of the different part of the body, disturbing the physical and intellectual activities. The resulted diseases could be occasional or could be for ever. Bearing in mind that vibration is applied on the hand or feet, the health rick can be assessed if the forces transmitted in the shoulder during vibration are known. To estimate the forces a biomechanical model has been developed in which the shoulder, neck and head are represented by rigid bodies. The bodies are connected by visco–elastic joint elements. The applied forces are resulted from experimental measurements. To assess the health risk the forces must be divised in two components, an ascendant one and a descendent one. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

关键词：

来源：评论

学校读者我要写书评

暂无评论

Absorbed power as a method to evaluate the health risk of seated occupants exposed to vertical vibration

引用

PAMM 2010年第1期9卷

作者： S. Rodean M. Arghir Department of Mechanic and Computer Programming Technical University of Cluj-Napoca Romania

The biodynamic responses of seated occupants exposed to whole-body vibration have been mostly investigated in terms of apparent mass characteristics, which show negligible contributions due to exposure level. Considering that the severity of vibration exposure is related to the level and duration of exposure, the apparent mass responses cannot be used for assessment of the associated risks. Alternatively, the absorbed power characteristics of the seated vibration exposed occupants show strong dependence on the level of exposure. The measured data, expressed in terms of the vertical absorbed power, are analyzed to study the effects of sitting posture on the biodynamic response under whole-body vertical vibration. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sports programming as a Tool for Regional Development of the Digital Industry and Higher Education

Sports Programming as a Tool for Regional Development of the...

引用

Technology Enhanced Learning in Higher Education (TELE), International Conference on

作者： Alexander Galkin Artem Miroshnikov Daniil Sapronov Elena Skarzhinskaya Faculty of Automation and Computer Science Lipetsk State Technical University Lipetsk Russia Department of Applied Mathematics Lipetsk State Technical University Lipetsk Russia Lipetsk branch of the Russian Federation of Sports Programming Lipetsk Russia Department of Cybersport Moscow Financial and Industrial University “Synergy” Moscow Russia

ISBN: (数字)9798350353532

ISBN: (纸本)9798350353549

Abstract-The article presents the history of the development of sports programming as a sport in Russia. The main stages of the formation of the legislative basis for this sport are given. The rationale and description of the process of training athletes in higher education institutions are given - possible traj ectories in the disciplines of “algorithmic programming” and “product programming”, the influence of the development of sports programming on improving the quality of IT education. As an example, the organization of training students in the discipline of “algorithmic programming” at the Lipetsk State Technical University is given. The activities of the Lipetsk regional branch of the All- Russian Sports Federation to popularize this sport including among students are also described.

关键词： Training Industries Organizations History programming profession Sports

来源：评论

学校读者我要写书评

暂无评论

Improving communication in PGAS environments: Static and dynamic coalescing in UPC 13

Improving communication in PGAS environments: Static and dyn...

引用

27th ACM International Conference on Supercomputing, ICS 2013

作者： Alvanos, Michail Farreras, Montse Tiotto, Ettore Amaral, José Nelson Martorell, Xavier Programming Models Barcelona Supercomputer Center Barcelona Spain Department of Computer Architecture Universitat Politecnica de Catalunya Cr. Jordi Girona 1-3 08034 Barcelona Spain Static Compilation Technology IBM Toronto Laboratory Toronto ON Canada Dep. of Computing Science University of Alberta Edmonton AB Canada Barcelona Supercomputing Center Cr. Jordi Girona 29 08034 Barcelona Spain IBM Canada CAS Research Markham ON Canada

ISBN: (纸本)9781450321303

The goal of Partitioned Global Address Space (PGAS) languages is to improve programmer productivity in large scale parallel machines. However, PGAS programs may have many fine-grained shared accesses that lead to performance degradation. Manual code transformations or compiler optimizations are required to improve the performance of programs with fine-grained accesses. The downside of manual code transformations is the increased program complexity that hinders programmer productivity. On the other hand, most compiler optimizations of fine-grain accesses require knowledge of physical data mapping and the use of parallel loop constructs. This paper presents an optimization for the Unified Parallel C language that combines compile time (static) and runtime (dynamic) coalescing of shared data, without the knowledge of physical data mapping. Larger messages increase the network efficiency and static coalescing decreases the overhead of library calls. The performance evaluation uses two microbenchmarks and three benchmarks to obtain scaling and absolute performance numbers on up to 32768 cores of a Power 775 machine. Our results show that the compiler transformation results in speedups from 1.15X up to 21X compared with the baseline versions and that they achieve up to 63% the performance of the MPI versions. © 2013 ACM.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of Information Systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve

Structure and Functioning of Information Systems of Backgrou...

引用

International Conference on Advanced computer Information Technologies (ACIT)

作者： Yaroslav Nykolaychuk Yaroslav Petrashchuk Olena Slobodian Ihor Pitukh Taras Grynchyshyn Lyubov Nykolaychuk Volodymyr Hryha Department of Specialized Computer Systems Ternopil National Economic University Ternopil Ukraine Gorgany nature reserve Nadvirna Ukraine Department of Programming and Information Technologies Nadvirna College by National Transport University Nadvirna Ukraine Department of Social Communication and Law Ivano-Frankivsk National Technical University of Oil and Gas Ivano-Frankivsk Ukraine Department of Computer Engineering and Electronics Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site “Beech forests of the Carpathians and ancient beech forests of Germany” using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis.

关键词： Monitoring Forestry Correlation Optical fiber sensors Optical fibers Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach to Fuzzy N-Soft Sets and its Application for Identifying and Sanctioning Cyber Harassment on Social Media Platforms

SSRN

引用

SSRN 2023年

作者： Korkmaz, Esra Riaz, Muhammad Deveci, Muhammet Department of Computer Programming Düzce University Düzce Turkey Department of Mathematics University of the Punjab Lahore Pakistan The Bartlett School of Sustainable Construction University College London 1-19 Torrington Place LondonWC1E 7HB United Kingdom

This study proposes a novel approach to fuzzy N-soft sets for handling cases where membership degree and grade are not related. In the standard model of fuzzy N-soft sets, membership degree and grade are assumed to be directly proportional. This assumption may not hold true in real-world situations, so a more flexible and nuanced approach is necessary. The proposed approach includes two novel algorithms for decision-making problems involving fuzzy N-soft sets. As a result, it is able to be adaptable and sensitive when addressing uncertainties in real-world scenarios, with a particular focus on identifying and sanctioning cyber harassment on social media platforms. Additionally, an innovative perspective and approach to decision-making problems involving fuzzy N-soft sets is introduced by extending an established selection process that prioritizes the dominant parameter, resulting in more precise and dependable outcomes. Our study offers an effective tool for decision-making in various fields, including e-commerce, social media, and product reviews. © 2023, The Authors. All rights reserved.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and Software Safety

引用

IFAC Proceedings Volumes 1992年第30期25卷 93-98页

作者： J.P. Bowen V. Stavridou Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD UK Department of Computer Science Royal Holloway and Bedford New College University of London Egham Hill Egham Surrey TW20 0EX UK

The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. This paper investigates the industrial use of these techniques, their advantages and disadvantages, and the introduction of standards and their recommendations concerning formal methods in this area. The cost of safety is also considered.

关键词： Safety reliability system integrity standards education digital systems computer software formal languages industrial control software engineering

来源：评论

学校读者我要写书评

暂无评论

Automatic creation of both the topology and parameters for a robust controller by means of genetic programming

Automatic creation of both the topology and parameters for a...

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： J.R. Koza M.A. Keane F.I. Bennett Jessen Yu W. Mydlowec O. Stiffelman Section on Medical Informatics School of Medicine University of Stanford Stanford CA USA Econometrics Inc. Chicago IL USA Genetic Programming Inc. Los Altos CA USA Computer Science Department University of Stanford Stanford CA USA

The paper describes a general automated method for synthesizing the design of both the topology and parameter values for controllers. The automated method automatically makes decisions concerning the total number of processing blocks to be employed in the controller, the type of each block, the topological interconnections between the blocks, the values of all parameters for the blocks, and the existence, if any, of internal feedback between the blocks of the overall controller. Incorporation of time-domain, frequency-domain, and other constraints on the control or state variables (often analytically intractable using conventional methods) can be readily accommodated. The automatic method described in the paper (genetic programming) is applied to a problem of synthesizing the design of a robust controller for a plant with a second-order lag. A textbook PID compensator preceded by a lowpass pre-filter delivers credible performance on this problem. However, the automatically created controller employs a second derivative processing block (in addition to proportional, integrative, and derivative blocks and a pre-filter). It is better than twice as effective as the textbook controller as measured by the integral of the time-weighted absolute error, has only two-thirds of the rise time in response to the reference (command) input, and is 10 times better in terms of suppressing the effects of disturbance at the plant input.

关键词： Topology Robustness Automatic control Feedback Time domain analysis Frequency domain analysis Genetic programming Robust control PD control Proportional control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：