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

Modeling of Memory Dependent Derivative Under Three-Phase Lag in Generalized Thermo-Viscoelasticity

International Journal of Applied and Computational Mathematics 2021年第6期7卷 1-20页

作者： Singh, Biswajit Sarkar, Smita Pal Barman, Krishnendu Department of Mathematics Indian Institute of Engineering Science and Technology Shibpur Howrah 711103 West Bengal India Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Paschim Medinipur 721102 West Bengal India

In this study, a new generalized model of thermo-viscoelasticity with three phase-lag (TPL) theory concerning memory-dependent derivative (MDD) theory is emphasized. The governing combined equations of the novel model associated with kernel function and time delay are considered in a two-dimensional semi-infinite space. The bounding surface of the medium is assumed to be free of traction and subjected to time-dependent thermal loading. Using Laplace and Fourier Transform techniques, the problem is transformed from the space–time domain and then solved numerically. Suitable numerical technique is used to find the inversion of Fourier and Laplace transforms. In the simulation, the effects of the time-delay parameter and kernel function on the distributions of the displacement components, stresses and temperature field are studied and represented graphically. The results shows that the presence of TPL, the time-delay and kernel function extensively affect all the distributions. © 2021, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Laplace and Fourier transform Memory dependent derivative Thermo-viscoelasticity Three phase-lag Vector matrix differential equation

来源：评论

学校读者我要写书评

暂无评论

Contribution to reducing the critical faults in critical Software Systems

Contribution to reducing the critical faults in critical Sof...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Jamal Krini Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

The software reliability plays an important role nowadays. From year to year the systems become more and more complex. Consequently, the software becomes more and more complex, too and this can cause more software errors. In this paper a new method is introduced, which serves to predict the reliability of software in a better way. Furthermore, the presumption that the hazard rate is constant is rebutted and a more realistic assumption is made. It is demonstrated that by the use of the new approach the prediction of the number of remaining errors is possible in a better way.

关键词： Software Hazards Optimization Data models Software reliability Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an embedded interactive timing system for medical treatment of patients with learning and attention issues 28

Design and implementation of an embedded interactive timing ...

引用

28th International Scientific Conference Electronics, ET 2019 - Proceedings

作者： Angelova, Maria A. Velchev, Yuliyan S. Dimitrov, Kalin L. Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Department of Radio Communications and Video Technologies Faculty of Telecommunications Technical University of Sofia 8 Kliment Ohridski blvd Sofia1000 Bulgaria

ISBN: (纸本)9781728125749

This article describes the design and implementation of an Embedded Interactive Timing System. Such systems are used in the therapy of children who have learning problems. The matching of different beats can help the brain work more efficiently. A methodology and architecture of an interactive timing is proposed. Open-source software environment and microcontroller is used for the practical realization of the system. Some results of the program functioning are shown. © 2019 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

The Regularization of Small Sub-Constraint Satisfaction Problems 22nd

The Regularization of Small Sub-Constraint Satisfaction Prob...

引用

22nd International Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic programming, WFLP 2019

作者： Löffler, Sven Liu, Ke Hofstedt, Petra Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Brandenburg University of Technology Cottbus-Senftenberg Konrad-Wachsmann-Allee 5 Cottbus03044 Germany

ISBN: (纸本)9783030467135

This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a competitiveness to the recent tabulation approach [1, 15]. Besides, our approach can be realized in a preprocessing step, and therefore wouldn’t collide with redundancy constraints or parallel computing if implemented. © 2020, Springer Nature Switzerland AG.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design Engineering Technical Conferences and computers and Information in Engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

α-Reliable Shortest Path Problem in Uncertain Time-Dependent Networks

引用

International Journal of Applied and Computational Mathematics 2022年第4期8卷 1-12页

作者： Biswal, Sagarika Ghorai, Ganesh Mohanty, S.P. Department of Mathematics Nimapara Autonomous College Nimapara Puri 752106 India Department of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore 721102 India Department of Mathematics Siksha ‘O’ Anusandhan University (SOA) Bhubaneswar 751030 India

In a congested road network, it is always desirable to find a reliable shortest path so far as travel time is concerned. Physical distance and travel time are invariably uncertain due to large-scale maintenance work, natural disaster, heavy accident, weather conditions, etc. Many researchers considered travel time to be stochastic where the Bellman’s principle of optimality is not preserved. Also, any sub-path of a shortest path is not necessarily shortest. Some researchers find non-dominated paths under different variants as a multi-objective optimization problem. Moreover, in the absence of sample data, probability theory cannot be used. In this work, the travel time is considered to be uncertain variable, where no sample data is required and it is established that Bellman’s principle of optimality is preserved. So, in contrast to the stochastic environment, classical dynamic approach can be used to find the α-reliable shortest path using uncertainty theory. © 2022, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Dijkstra’s algorithm Non-dominated path Pre-trip planning Reliable shortest path Travel time Uncertain variable

来源：评论

学校读者我要写书评

暂无评论

Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares 13

Reliable speculative processing of out-of-order event stream...

引用

7th ACM International Conference on Distributed Event-Based Systems, DEBS 2013

作者： Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany

ISBN: (纸本)9781450317580

In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of-order event arrival at the distributed detectors have their shortcomings: buffering approaches introduce latencies for event ordering and stream revision approaches may result in system overloads due to unbounded retraction cascades. This paper presents a speculative processing technique for out-of-order event streams that enhances typical buffering approaches. In contrast to other stream revision approaches our novel technique encapsulates the event detector, uses the buffering technique to delay events but also speculatively processes a portion of it, and adapts the degree of speculation at runtime to fit the available system resources so that detection latency becomes minimal. Our technique outperforms known approaches on both synthetical data and real sensor data from a Realtime Locating System (RTLS) with several thousands of out-of-order sensor events per second. Speculative buffering exploits system resources and reduces latency by 40% on average. Copyright © 2013 ACM.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and Systems Conference (ISSC 2010)

作者： M.H. Schwarz C.S. Cox J. Börcsök Department of Computer architecture and System programming Safety Computer Technology University of Kassel Germany Control Systems Centre University of Sunderland UK Department of Computer architecture and System programming University of Kassel Germany

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A partially automated HiL test environment for model-based development using Simulink® and OPC technology

A partially automated HiL test environment for model-based d...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： W. Chaaban M. Schwarz B. Batchuluun H. Sheng J. Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.

关键词： Mathematical model Software Testing Hardware Servers Real time systems Process control

来源：评论

学校读者我要写书评

暂无评论

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs

Deriving adaptive homing sequences for weakly initialized no...

引用

2019 IEEE East-West Design and Test Symposium, EWDTS 2019

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (纸本)9781728110035

State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs. © 2019 IEEE.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：