A Novel Approach to High-Level Property Checking Using Wu's Method

2008 ◽  
Author(s):  
Zhi Yang ◽  
Guangsheng Ma ◽  
Shu Zhang
Keyword(s):  
Wu’S Method ◽  
Novel Approach ◽  
Wu's Method ◽  
High Level ◽  
Level Property

scholarly journals Towards a contemporary player learning in development framework for sports practitioners

2021 ◽  
pp. 174795412110023
Author(s):  
Mark O Sullivan ◽  
Carl T Woods ◽  
James Vaughan ◽  
Keith Davids
Keyword(s):  
Linear Process ◽  
Task Environment ◽  
Coach Education ◽  
Development Framework ◽  
Novel Approach ◽  
Non Linear ◽  
And Performance ◽  
Learning Development ◽  
High Level ◽  
User Friendly

As it is appreciated that learning is a non-linear process – implying that coaching methodologies in sport should be accommodative – it is reasonable to suggest that player development pathways should also account for this non-linearity. A constraints-led approach (CLA), predicated on the theory of ecological dynamics, has been suggested as a viable framework for capturing the non-linearity of learning, development and performance in sport. The CLA articulates how skills emerge through the interaction of different constraints (task-environment-performer). However, despite its well-established theoretical roots, there are challenges to implementing it in practice. Accordingly, to help practitioners navigate such challenges, this paper proposes a user-friendly framework that demonstrates the benefits of a CLA. Specifically, to conceptualize the non-linear and individualized nature of learning, and how it can inform player development, we apply Adolph’s notion of learning IN development to explain the fundamental ideas of a CLA. We then exemplify a learning IN development framework, based on a CLA, brought to life in a high-level youth football organization. We contend that this framework can provide a novel approach for presenting the key ideas of a CLA and its powerful pedagogic concepts to practitioners at all levels, informing coach education programs, player development frameworks and learning environment designs in sport.

scholarly journals Deep Reinforcement Learning for End-to-End Local Motion Planning of Autonomous Aerial Robots in Unknown Outdoor Environments: Real-Time Flight Experiments

Sensors ◽  
2021 ◽  
Vol 21 (7) ◽  
pp. 2534
Author(s):  
Oualid Doukhi ◽  
Deok-Jin Lee
Keyword(s):  
Reinforcement Learning ◽  
Real Time ◽  
Autonomous Navigation ◽  
Control Technique ◽  
Local Motion ◽  
Aerial Robots ◽  
Novel Approach ◽  
Outdoor Environments ◽  
Aerial Vehicle ◽  
High Level

Autonomous navigation and collision avoidance missions represent a significant challenge for robotics systems as they generally operate in dynamic environments that require a high level of autonomy and flexible decision-making capabilities. This challenge becomes more applicable in micro aerial vehicles (MAVs) due to their limited size and computational power. This paper presents a novel approach for enabling a micro aerial vehicle system equipped with a laser range finder to autonomously navigate among obstacles and achieve a user-specified goal location in a GPS-denied environment, without the need for mapping or path planning. The proposed system uses an actor–critic-based reinforcement learning technique to train the aerial robot in a Gazebo simulator to perform a point-goal navigation task by directly mapping the noisy MAV’s state and laser scan measurements to continuous motion control. The obtained policy can perform collision-free flight in the real world while being trained entirely on a 3D simulator. Intensive simulations and real-time experiments were conducted and compared with a nonlinear model predictive control technique to show the generalization capabilities to new unseen environments, and robustness against localization noise. The obtained results demonstrate our system’s effectiveness in flying safely and reaching the desired points by planning smooth forward linear velocity and heading rates.

scholarly journals Reconnecting a Fragmented Monument through Digital Mapping: The City Walls of Athens

2019 ◽  
Vol 2 (2) ◽  
pp. 177-195
Author(s):  
Markos Katsianis ◽  
Stamatina Lampraki ◽  
Anna-Maria Theocharaki ◽  
Maria Pigaki ◽  
Leda Costaki ◽  
...  
Keyword(s):  
Digital Media ◽  
Archaeological Sites ◽  
Geospatial Technologies ◽  
Archaeological Investigation ◽  
Digital Mapping ◽  
Cadastral Maps ◽  
Novel Approach ◽  
City Walls ◽  
High Level ◽  
The City

The fortifications of Athens have been a recurrent theme of archaeological investigation. In the past two centuries, parts of the walls have been located during rescue interventions at numerous sites in the urban fabric. At present, the visibility of the entire monument remains rather low as the traces of the walls are hidden beneath the modern city, marginalized within larger archaeological sites or preserved entirely by record. Despite the high level of scholarly work devoted to synthesize the available material, the volume of information accumulated over the years requires a novel approach that would systematize different types of evidence using digital media. In this respect, we attempt to revisit the city walls of Athens through the use of geospatial technologies. We target the informed development of an efficient GIS platform to record, store, integrate, explore and eventually disseminate resources on the Athenian fortifications. Our research employs published and archival sources (e.g. excavation drawings) in combination with historical maps (e.g. early cadastral maps, first maps of modern Athens) and complementary historical evidence (e.g. writings, illustrations, photography) to locate, document and integrate in space and time available data on lost and surviving fortification remains.

A Model Predictive Approach for the Coordination of Powertrain Control Systems

2019 ◽  
Author(s):  
Stephanie Stockar ◽  
Cristian Rostiti ◽  
Marcello Canova ◽  
Michael Prucka
Keyword(s):  
Automotive Industry ◽  
Discrete Control ◽  
Control Algorithms ◽  
Control Engineering ◽  
Powertrain Control ◽  
Engineering Design Process ◽  
Powertrain System ◽  
Novel Approach ◽  
Automotive Powertrain ◽  
High Level

Abstract The design, calibration and integration of powertrain control algorithms has become significantly more complex in recent years, as the automotive industry faces increasing challenges in meeting consumer requirements and government regulations. Traditionally, the powertrain control engineering design process develops the engine and transmission controllers independently and then integrates them after an initial calibration. This process can lead to suboptimal performance and requires additional calibration and verification steps to improve the coordination of the various subsystems. This paper proposes a novel approach to achieve a systematic, high-level coordination, and optimization of the control strategy in an automotive powertrain system that will reduce overall calibration effort. Optimized set-points for engine and transmission controls are generated based on joint optimization of fuel consumption and drivability using Model Predictive Control to manage both continuous and discrete control variables. Simulation results confirm the control decisions made by the proposed coordinator match a well-calibrated production ECU with little tuning effort.

Advances in High-Speed Linear Design Technology: Novel Approach to Sidewall Geometry Design for Erosion Tests

2019 ◽  
Author(s):  
Maksim Sokolov ◽  
Max Lorenz ◽  
Mirco Rostamian ◽  
Christian Koch ◽  
Matthias Weissschuh ◽  
...  
Keyword(s):  
High Speed ◽  
Solid Particles ◽  
Flow Conditions ◽  
Compressor Cascade ◽  
Suction System ◽  
Erosion Testing ◽  
Geometry Design ◽  
Novel Approach ◽  
Design Paradigm ◽  
High Level

Abstract Test rigs for compressor cascade testing reported in literature are characterized by a high level of complexity. This is especially the case if a variable incidence should be allowed for or the flow conditions reach transonic or supersonic flow regimes. Incidence alteration capability is preferable for obtaining a more comprehensive picture of cascade properties. However, it necessitates a complex kinematic set-up in order to rotate the blades and to adjust the sidewall setting such that flow periodicity across the passages is ensured. Additionally, a complex sealing system is usually required to guarantee minimum flow disturbance. Often, a suction system is also introduced for boundary layer control and regulation of flow conditions. In the case of erosion testing the situation is exacerbated as the application of such conventional adjustment devices is ruled out due to the presence of solid particles in the flow. In this work an investigation of a new cascade design for erosion testing with variable incidence was conducted. A fixed sidewall geometry is proposed which ensures periodic flow conditions in the speed range of M = 0.5 up to M = 0.78 while allowing incidence adjustments in the range of i = ±10° as assessed by means of CFD. The novel design paradigm enables such flexibility by virtue of a self-regulating flow induced by flow separation from the fixed sidewall geometry. The latter has the benefit of not requiring a specialized mechanical setup and sealing due to the absence of movable parts in the flow. The calculated results show acceptable periodicity of various flow parameters within the passage at 50 percent blade height for all incidence settings considered. The conducted investigation has demonstrated that specially designed fixed sidewalls may enable sufficiently accurate transonic erosion testing under various incidence angles while making cascade erosion testing more economical and time efficient.

Intelligent Approach to Floor Vibration Control

2005 ◽  
Author(s):  
Janice L. Martell ◽  
Arya Ebrahimpour ◽  
Marco P. Schoen
Keyword(s):  
Cantilever Beam ◽  
Human Perception ◽  
Shopping Mall ◽  
Optimal Placement ◽  
Sensors And Actuators ◽  
Control Approach ◽  
Novel Approach ◽  
Floor Vibration ◽  
High Level ◽  
Floor System

Genetic Algorithms (GAs) have been used to solve a multiple of engineering problems with the civil engineering applications ranging from optimal placement of sensors and actuators on structures to pipeline layouts. GAs are especially useful in finding optimal solutions to problems that have many parameters with complex search spaces and a high level of interaction among the describing parameters. The novel experimental control approach presented in this paper uses a GA and a piezoelectric actuator to control the vibration of an aluminum cantilever beam. This set-up is based on a floor vibration problem, where the human perception of vibration dictates the sensitivities in the cost function of the GA. Lightweight floors can be excited by occupant activities such as walking, jumping and dancing. Humans are especially sensitive to vibrations in the range of 4 to 8 Hz. The occupancy of a floor system — whether the floor is used in an office, a shopping mall, or a ballroom — determines the degree to which humans are annoyed by the vibration. In this paper, the GA based control limits the peak acceleration within a predefined bandwidth. Since the cantilever beam has a higher natural frequency than a lightweight floor system a bandwidth of approximately 1.6–15.9 Hz (10–100 rad/s) is used as the frequency range to control. The control to be designed will be a genetic algorithm-robust controller. The analytical results indicate that this novel approach works well.

Sign in / Sign up

Export Citation Format

Share Document