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

15th IFIP WG 8.1 Working conference on the Practice of Enterprise modelling (PoEM)

作者： Calabrese, Federico Piras, Luca Giorgini, Paolo Univ Trento Dept Informat Engn & Comp Sci Trento Italy Middlesex Univ Dept Comp Sci London England

ISBN: (纸本)9783031214875;9783031214882

In the last few years, Gamification has proved effective for motivating users in using software systems. Gamification engineering has been proposed as a systematic way to gamify systems. Goal-Oriented Requirements engineering (GORE) techniques have been emerging for supporting the gamification of a system from the initial stages. However, the gamification of a system itself proved not effective, unless requirements engineers design the gamification solution being driven by characterising users, the context, and considering factors and strategies coming from Social Sciences (e.g., Psychology, Sociology, human behaviour, Organisational behaviour). GORE Gamification engineering techniques have been enhanced for supporting such concepts, referred to as Acceptance Requirements, and the Agon Framework, with its systematic Acceptance Requirements Analysis Based on Gamification, has been proven effective in different EU Projects. However, according to engineers we interviewed in our projects, some GORE gamification activities remain difficult and require further support. In this paper, our contributions are: (i) individuating such activities and providing lessons learned, (ii) considering a crucial activity, i.e. individuation of software components to gamify and how to gamify them, and proposing a solution for this. Our solution is called Supporting the individuation, analysis, and GAMification (SiaGAM) algorithm. To evaluate SiaGAM, we considered the gamification results of 5 EU projects, compared them with the results of applying SiaGAM, and we found that SiaGAM is effective in supporting the engineer in individuating software functions to gamify.

关键词： Requirements engineering Acceptance requirements Gamification Goal models Goal modeling analysis Software engineering

来源：评论

学校读者我要写书评

暂无评论

Geotechnical modelling and Numerical Analysis of the Tailing Dam Stability 7th

Geotechnical Modelling and Numerical Analysis of the Tailing...

引用

7th International conference on Geotechnics, Civil engineering and Structures, CIGOS 2024

作者： Lolaev, Alan Oganesyan, Aleksan Badoev, Aleksandr Dzeboev, Stanislav Tvauri, Ilya Vladikavkaz Scientific Center of the Russian Academy of Sciences 1 Williams Street Vil. Mikhailovskoe Prigorodny District Republic of North Ossetia-Alania 363110 Russia North Ossetian State University Named By K.L. Khetagurov 44-46 Vatutina Street Vladikavkaz Republic of North Ossetia-Alania 362025 Russia North Caucasian Institute of Mining and Metallurgy State Technological University 44 Nikolaeva Street Vladikavkaz Republic of North Ossetia-Alania 362021 Russia R&D Ltd. "Geoengineering" Republic of North Ossetia-Alania 138 Koloeva Street Digora Republic of North Ossetia-Alania 363410 Russia

ISBN: (纸本)9789819719716

The global issue of waste accumulators poses a significant threat to human health and the environment. The total number of tailings, sludge pits, and hydraulic dumps worldwide and in Russia exceeds hundreds of thousands and is considered hazardous due to pollution and potential catastrophic consequences. Issues regarding risk management and forecasting during construction and operation require a broader perspective than departmental interests and pose risks with a planetary character. A case study on the Unal tailing dump of the Mizur mining and processing plant in North Ossetia-Alania exemplifies the unique structure and properties of tailings. Characterizing each type of technogenic tailings requires laboratory testing since standard indicators do not apply. Comprehensively studying the properties of technogenic soils justifies the formation of alluvial technogenic arrays and ensures the reliability of design decisions. The use of fuzzy sets coupled with mathematical planning and circular cylindrical sliding surfaces for modeling and evaluating the bearing capacity of tailing dams offers promising methods for forecasting geotechnical processes, improving design decisions’ reliability. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Fuzzy sets

来源：评论

学校读者我要写书评

暂无评论

Consistent multi-animal pose estimation in cattle using dynamic Kalman filter based tracking

arXiv

引用

arXiv 2025年

作者： Perneel, Maarten Adriaens, Ines Aernouts, Ben Verwaeren, Jan Department of Biosystems Division of Animal and Human Health Engineering KU Leuven Campus Geel Kleinhoefstraat 4 Geel2440 Belgium Department of Data Analysis and Mathematical Modelling Faculty of Bioscience Engineering Ghent University Coupure Links 653 Ghent9000 Belgium

Over the past decade, studying animal behaviour with the help of computer vision has become more popular. Replacing human observers by computer vision lowers the cost of data collection and therefore allows to collect more extensive datasets. However, the majority of available computer vision algorithms to study animal behaviour is highly tailored towards a single research objective, limiting possibilities for data reuse. In this perspective, pose-estimation in combination with animal tracking offers opportunities to yield a higher level representation capturing both the spatial and temporal component of animal behaviour. Such a higher level representation allows to answer a wide variety of research questions simultaneously, without the need to develop repeatedly tailored computer vision algorithms. In this paper, we therefore first cope with several weaknesses of current pose-estimation algorithms and thereafter introduce KeySORT (Keypoint Simple and Online Realtime Tracking). KeySORT deploys an adaptive Kalman filter to construct tracklets in a bounding-box free manner, significantly improving the temporal consistency of detected keypoints. In this paper, we focus on pose estimation in cattle, but our methodology can easily be generalised to any other animal species. Our test results indicate our algorithm is able to detect up to 80% of the ground truth keypoints with high accuracy, with only a limited drop in performance when daylight recordings are compared to nightvision recordings. Moreover, by using KeySORT to construct skeletons, the temporal consistency of generated keypoint coordinates was largely improved, offering opportunities with regard to automated behaviour monitoring of animals. © 2025, CC BY-SA.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

modelling Series RLC Circuit with Discrete Fractional Operator

Modelling Series RLC Circuit with Discrete Fractional Operat...

引用

International conference on Advances in Electrical and Computer Technologies, ICAECT 2021

作者： Chatzarakis, George E. George Maria Selvam, A. Janagaraj, R. Vignesh, D. Marousi Athens15122 Greece Tamil Nadu Tirupattur635601 India Department of Mathematics Faculty of Engineering Karpagam Academy of Higher Education Tamil Nadu Coimbatore641021 India

ISBN: (纸本)9789811911101

The construction of the mathematical model for an electrical circuit or device replicating their behaviour is an invaluable tool for engineers of electrical and electronic background. The models of exceptional accuracy developed using simulation software prove to be ideal platform for rectifying faulty designs, and most importantly they are cost and time efficient. The interpretation of the circuit elements using fractional calculus increases flexibility and gives an insight for the enhancement of the circuit design. This article contributes the discrete fractional equation model of basic electrical circuit with three passive elements a resistor, a capacitor and an inductor connected in series. The simulator software PSpice is used to provide comparison results on numerical results obtained with simulated circuits. The damping effect exhibited by the RLC circuit is analysed using fractional order difference operator, and dynamics of the model are discussed in detail with numerical simulations. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Automated White Box Test Case Generation for Statement Coverage Using U-NSGA-III 17

Automated White Box Test Case Generation for Statement Cover...

引用

17th International conference on Open Source Systems and Technologies, ICOSST 2023

作者： Naz, Mehwish Anwaar, Zaeem Butt, Wasi Haider College of Electrical and Mechanical Engineering Islamabad Pakistan

ISBN: (纸本)9798350381320

Software testing is a significant and complex phase of software development as it ensures the complete functionality of the software. To evaluate the behaviour of the software the testing process acquires generation of test cases as an input for the system being tested. Generation of test cases remains a challenging task usually as it is done based on human intelligence and it has become a much complicated and time-consuming process. Therefore, it can be enhanced by automating the test case generation mechanism to identify and eliminate bugs. Unified modelling Language (UML) is a defacto standard that has been used in academia and industry currently. Test case automation using UML diagrams is more effective and efficient as it is done early in the software development life cycle. In this research, UML sequence diagram and class diagram have been chosen for white box testing. However, in this article 'Unified Non-Sorting Genetic Algorithm' (U-NSGA-III) has been proposed for automated test case generation and optimization. The proposed approach has achieved 95% statement coverage for the System Under Test (SUT). In this paper, a benchmark case study has been used and controlled experimentation has been performed for the optimization of test cases. The comparison of our approach (U-NSGA-III) is done with GA and PSO. From our results, it has been concluded that the proposed U-NSGA-III has performed better in terms of execution time, convergence speed and its percentage. © 2023 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Kinematic modelling, Workspace Analysis and Static Structural Analysis of a 3 DoF Manipulator for an Elevator Automation

Kinematic Modelling, Workspace Analysis and Static Structura...

引用

Computer, Control and Robotics (ICCCR), International conference on

作者： Shifa Sulaiman Anoop Pillai Alexander Eryomin Tatyana Tsoy Evgeni Magid Intelligent Robotics Department Kazan Federal University Kazan Russia Department of Mechanical Engineering National Institute of technology Calicut India School of Electronic Engineering HSE University Moscow Russia

ISBN: (数字)9798350373141

ISBN: (纸本)9798350373158

Manipulators are used extensively in industrial and service sectors due to their capability to carry out a task effectively. This paper presents a kinematic modelling, a workspace analysis, a static structural analysis and a simulation study of a simple 3 degrees-of-freedom (DoF) Cartesian manipulator developed for pressing buttons of an elevator. Denavit-Hartenberg approach was used for determining kinematic equations, which allowed constructing a manipulator workspace. A static structural analysis in ABAQUS determined stresses and deformations acting at manipulator links. The dimensions and material for fabricating the manipulator were selected using static structural analysis. Simulations with virtual human models from LIRS-HMLG library were carried out in Gazebo to study motion capabilities and range of the manipulator, and evaluate its performance in a human-robot interaction scenario.

关键词： Analytical models Deformation Kinematics Pressing Manipulators Elevators mathematical models

来源：评论

学校读者我要写书评

暂无评论

modelling and performance analysis of a Low Temperature A-CAES system coupled with renewable energy power plants 36

Modelling and performance analysis of a Low Temperature A-CA...

引用

36th International conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems, ECOS 2023

作者： Marcello, Francesca Carolina Micheletto, Davide Cocco, Daniele Tola, Vittorio Dept. of Mechanical Chemical and Materials Engineering University of Cagliari Cagliari Italy

ISBN: (纸本)9781713874928

The ever-increasing electricity production from non-programmable Renewable Energy Sources (RES) requires flexible and sustainable solutions for energy storage. In this paper, the design, and the performance of a Low Temperature Adiabatic Compressed Air Energy Storage (LTA-CAES) system are presented. The design of this system is optimised to better utilise the energy produced by either a photovoltaic (PV) power plant and an onshore wind farm in order to meet the energy demand of a small town of about 10,000 inhabitants, considered as the case study. To ensure efficient operation of the turbomachines, the mass flow rate during both the charge and discharge phases was fixed, allowing most of the compressors and turbines to operate at design conditions. Two packed-bed Thermal Energy Storage (TES) systems are used to store the thermal energy produced during the compression phase: the first exchanges heat directly with the compressed air, while the second uses Therminol-66 as a heat transfer fluid. A mathematical model of the LTA-CAES system was developed using MATLAB/Simulink to simulate its performance, considering the off-design behaviour of the turbomachines and the TES systems over a year. The results demonstrate that the LTA-CAES system increases the share of the yearly energy demand covered by renewable energy, from 41.8% to 60.7% when coupled with the PV plant, and from 48.0% to 56.5% when coupled with the wind farm. © (2023) by ECOS 2023 All rights reserved.

关键词： Thermal energy

来源：评论

学校读者我要写书评

暂无评论

Oxygen Extraction and Blood Transport in the human Retina: A mathematical modelling and Analysis

Oxygen Extraction and Blood Transport in the Human Retina: A...

引用

Intelligent Control, Computing and Communications (IC3), International conference on

作者： Aadesh Kumar Neeta Awasthy Bholey Singh Rajesh Kumar Deolia Satendra Kumar RS Sengar Department of Applied Science and Humanities GL Bajaj Group of Institutions Mathura India Department of Computer Science and Engineering GL Bajaj Group of Institutions Mathura India

ISBN: (数字)9798331527495

ISBN: (纸本)9798331527501

This study aims to describe the intricate flow of blood within the retinal tissue. The main findings of this research are the introduction of a quantitative method to calculate total oxygen extraction using retinal measurements of total blood flow, providing a crucial link between blood flow dynamics and oxygen transport. To analyze the problem, the authors employ a perturbation procedure, a mathematical approach that simplifies complex systems by introducing small changes to the variables. This approach facilitates a deeper understanding of the interplay between flow mechanics and oxygen delivery in the retina. The study's findings hold potential for advancing knowledge in retinal physiology and could pave the way for improved diagnostic and therapeutic strategies for retinal vascular diseases.

关键词： Pathology Oxygen Perturbation methods Retina mathematical models Blood Monitoring Blood flow Diseases Intelligent control

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence-based Guiding for Advancement of Mathematics with human Intuition

Artificial Intelligence-based Guiding for Advancement of Mat...

引用

International conference on Computational and Characterization Techniques in engineering & Sciences (CCTES)

作者： Deependra Singh Rawat Madan Mohan Sati Neetu Sharma Shubhangi Arora Vikash Verma Ashish Rayal School of Allied Sciences Graphic Era Hill University Bhimtal India Department of Mathematics School of Allied Sciences Graphic Era Hill University Bhimtal India Department of Chemistry Graphic Era Deemed to be University Dehradun India Department of Mathematics TIFR- Centre for Applicable Mathematics Bengaluru Karnataka India Department of Mathematics School of Applied and Life Sciences Uttaranchal University Dehradun India

ISBN: (数字)9798350364699

ISBN: (纸本)9798350364705

The discipline of mathematics could undergo a revolution due to the possibility of artificial intelligence (AI) to accelerate mathematical findings and guide human intuition. An approach for applying machine learning methods to help mathematicians find patterns, formulate hypotheses, and gain understanding of complicated mathematical objects is presented in current research. Large datasets of mathematical representations are generated as part of the suggested process, which also entails training machine learning algorithms to identify patterns and decoding the functions that are learnt to extract practical mathematical knowledge. Two important new findings in representation theory and topology have already resulted from this method. This structure attempts to supplement human intuition and allow the discovery of correlations that could have gone overlooked by incorporating AI into the mathematician's arsenal. The study illustrates how well this strategy works to help mathematicians comprehend the behaviour of objects that are too big to see patterns with conventional methods.

关键词： Training Machine learning algorithms Neural networks Psychology Machine learning Topology Pattern recognition Reliability Artificial intelligence Robots

来源：评论

学校读者我要写书评

暂无评论

The human Mind and engineering Models 9th

The Human Mind and Engineering Models

引用

9th International conference on Culture and Computing (C&C) part of the 23rd International conference on human-Computer Interaction (HCI)

作者： Canas, Jose J. Univ Granada Mind Brain & Behav Res Ctr Granada 18071 Spain

ISBN: (纸本)9783030774301;9783030774318

The design of systems where people and machines interact is an area where engineers work together with psychologists, sociologists, anthropologists, and other social scientists who are experts in the structure and functioning of the cognitive system and the laws of human behaviour. Both groups of experts collaborate in designing the machines and the interaction between machines and human beings. In this collaborative work, several assumptions are made, among which one of the more important is that it is possible to model the human cognitive system and its behaviour independently of the context of the interaction because these are assumed to be relatively fixed and only modifiable by evolution and learning processes. Based on this assumption, a methodology is followed in which social scientists model the human cognitive system independently of the context and, based on this modelling, they bring human knowledge into the design process. However, there is evidence that the characteristics and functioning of the human cognitive system are not independent of conditions of interaction. Revisiting this assumption may have important consequences for how we design machines and how humans interact with them. Above all, if the assumption is reviewed, it would mean that it is not possible to expect that the human sciences can model the human cognitive system independently of the context of the interaction. As a consequence of this, cultural aspects of interaction must also be taken into account when modelling the functioning and characteristics of the human cognitive system.

关键词： human mind engineering models Designing process

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：