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

Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior

Informatics in Medicine Unlocked 2018年 10卷 50-57页

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India

In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into two sub populations such as juvenile prey and adult prey, on the other hand, the predator population is also divided into two sub populations such as juvenile predator and adult predator. It is assumed that only adult predator have the ability to predation and they consume both juvenile prey as well as adult prey. Here, it is also considered that the growth rate of juvenile prey depends upon the adult prey population i.e., the juvenile prey has no reproduction capability. Also, Holling II and Holling IV response function have been used for the consumption of juvenile prey and adult prey by adult predator respectively. It is also considered two types of factors such as anti-predator behavior and group defense to formulate our proposed model. Mathematically, we have analyzed the positivity and boundedness of solutions, existence of equilibria, stability of the proposed system around these equilibrium points and Hopf bifurcation of interior equilibrium point. Finally, some numerical simulations have been presented to validate our theoretical results. © 2017

关键词： Anti-predator behavior Group defense Holling IV response function Prey-predator model Stability analysis Stage-structure

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an EMG-based System for Monitoring and Help Request

Design and Implementation of an EMG-based System for Monitor...

引用

2022 International Conference on Smart Systems and Power Management, IC2SPM 2022

作者： Zeine, Carla Daou, Roy Abi Zeid Telawi, Samer Boercsoek, Josef Hayek, Ali Haidar, Gaby Abou University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Kassel Germany Lebanese German University Faculty of Public Health Jounieh Department of Computer Architecture and System Programming Biomedical Technologies Department Jounieh Lebanon Université la Sagesse Faculty of Engineering Furn El Chebbak Mechatronics Department Beirut Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany American University of Science and Technology Faculty of Engineering Zahle Lebanon

ISBN: (数字)9781665452915

ISBN: (纸本)9781665452915

Integrating electrophysiological signals in larger systems is getting wider due to the fact that such modalities facilitate the daily tasks of users. However, the high cost of monitoring systems (e.g., oscilloscopes) limits the testing and analysis of the acquired signal from such noisy systems (i. e., electrophysiological devices). The proposed system is a part of a larger proj ect that deals with the identification of sign language movements through the use of Muscle-computer Interfaces. On one hand, the user is able to display the signal acquired by the electrodes on an LCD screen. On the other hand, the system helps a mute patient to issue a special message to his surrounding environment that does not know the sign language to ask for help. The second feature is not unique, as it can be replaced by any other application based on the user's needs. The system was tested on several persons, and the results are promising. © 2022 IEEE.

关键词： Liquid crystal displays

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Real-time refinement: Semantics and application 18th

引用

18th International Symposium on Mathematical Foundations of computer science, MFCS 1993

作者： Scholefield, David Zedan, Hussein Jifeng, He Formal Systems Research Group Department of Computer Science University of York Heslington York United Kingdom Programming Research Group Oxford University Keble Road Oxford United Kingdom

ISBN: (纸本)9783540571827

A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express both functional and timing properties. A specification oriented semantics for TAM is given, along with the definition of a refinement relation and a calculus which is sound with respect to that relation. A simple real-time program is also developed using the calculus. © 1993, Springer Verlag. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A self-adaptive evolutionary approach to the evolution of aesthetic maps for a RTS game

A self-adaptive evolutionary approach to the evolution of ae...

引用

Congress on Evolutionary Computation

作者： Raul Lara-Cabrera Carlos Cotta Antonio J. Fernändez-Leiva Department of Computer Science and Programming Languages University of Málaga Spain

Procedural content generation (PCG) is a research field on the rise, with numerous papers devoted to this topic. This paper presents a PCG method based on a self-adaptive evolution strategy for the automatic generation of maps for the real-time strategy (RTS) game Planet Wars. These maps are generated in order to fulfill the aesthetic preferences of the user, as implied by her assessment of a collection of maps used as training set A topological approach is used for the characterization of the maps and their subsequent evaluation: the sphere-of-influence graph (SIG) of each map is built, several graph-theoretic measures are computed on it, and a feature selection method is utilized to determine adequate subsets of measures to capture the class of the map. A multiobjective evolutionary algorithm is subsequently employed to evolve maps, using these feature sets in order to measure distance to good (aesthetic) and bad (non-aesthetic) maps in the training set. The so-obtained results are visually analyzed and compared to the target maps using a Kohonen network.

关键词： Planets Games Marine vehicles Extraterrestrial measurements Real-time systems Artificial intelligence Vectors

来源：评论

学校读者我要写书评

暂无评论

Fold and unfold for program semantics 98

Fold and unfold for program semantics

引用

Proceedings of the third ACM SIGPLAN international conference on Functional programming

作者： Graham Hutton Languages and Programming Group Department of Computer Science University of Nottingham UK

ISBN: (纸本)9781581130249

In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how the dual recursion operator unfold can be used to structure operational semantics, and how algebraic properties of these operators can be used to reason about program semantics. The techniques are explained with the aid of two main examples, the first concerning arithmetic expressions, and the second concerning Milner's concurrent language CCS. The aim of the paper is to give functional programmers new insights into recursion operators, program semantics, and the relationships between them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On anti-links 5th

引用

5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994

作者： Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States

ISBN: (纸本)9783540582168

The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. The operations have linear time complexity in the size of that part of the formula containing the anti-link. These operations are useful for prime implicant/implicate algorithms because most of the computational effort in such algorithms is spent on subsumption checks. © Springer-Verlag Berlin Heidelberg 1994.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

A hybrid heuristic for restricted 4-dimensional TSP (r-4DTSP) 1st

A hybrid heuristic for restricted 4-dimensional TSP (r-4DTSP...

引用

1st International Conference on Frontiers in Optimization: Theory and Applications, FOTA 2016

作者： Roy, Arindam Chakraborty, Goutam Khan, Indadul Maity, Samir Maiti, Manoranjan Department of Computer Science Prabhat Kumar College Contai Purba MedinipurW.B721401 India Faculty of Software and Information Science Iwate Prefectural University Takizawa Japan Department of Computer Science Vidyasagar University MedinipurW.B721102 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University MedinipurW.B721102 India

ISBN: (纸本)9789811078132

In this paper, we proposed a hybridized soft computing technique to solve a restricted 4-dimensional TSP (r-4DTSP) where different paths with various numbers of conveyances are available to travel between two cities. Here, some restrictions on paths and conveyances are imposed. The algorithm is a hybridization of genetic algorithm (GA) and swap operator-based particle swarm optimization (PSO). The initial solutions are produced by proposed GA which used as swarm in PSO. The said hybrid algorithm (GA-PSO) is tested against some test functions, and efficiency of the proposed algorithm is established. The r-4DTSPs are considered with crisp costs. The models are illustrated with some numerical data. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：