To see the other types of publications on this topic, follow the link: STATIC CONSTRAINTS.

Journal articles on the topic 'STATIC CONSTRAINTS'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'STATIC CONSTRAINTS.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Eun, Hee-Chang, Eun-Taik Lee, and Heon-Soo Chung. "On the static analysis of constrained structural systems." Canadian Journal of Civil Engineering 31, no. 6 (2004): 1119–22. http://dx.doi.org/10.1139/l04-036.

Full text
Abstract:
Complete structures might contain so many degrees of freedom that it would be infeasible to perform a structural analysis. The derivation of the equilibrium equations of an entire structure to utilize kinematical compatibility conditions at the interfaces of the substructures requires complicated intermediate processes or numerical schemes for determining multipliers. This study derives an explicit matrix form of the equilibrium equations of structural systems subjected to constraints like compatibility conditions or linear displacement relations. The equation is obtained by minimizing a quadr
APA, Harvard, Vancouver, ISO, and other styles
2

Mrzygłód, M. "Multi-constrained topology optimization using constant criterion surface algorithm." Bulletin of the Polish Academy of Sciences: Technical Sciences 60, no. 2 (2012): 229–36. http://dx.doi.org/10.2478/v10175-012-0030-9.

Full text
Abstract:
Abstract. This paper sets out to describe a multi-constrained approach to topology optimization of structures. In the optimization, a constant criterion surface algorithm and the multi-constraint procedure is used. The multi-constraint procedure consists of constraints normalization and equivalent design space assembling. The work is illustrated by an example of the L-shaped domain optimization with the horizontal line support and complex loads. The example takes into consideration stress, fatigue and compliance constraints. The separate and simultaneous application of constraints resulted in
APA, Harvard, Vancouver, ISO, and other styles
3

Andrianov, Pavel, and Vadim Mutilin. "Static Memory Consistency Constraints Checking." System Informatics, no. 22 (October 30, 2023): 1–10. http://dx.doi.org/10.31144/si.2307-6410.2023.n22.p1-10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Christopher Cruz, Arnold, and Ahmad Bani Younes. "Common Frame Dynamics for Conically-Constrained Spacecraft Attitude Control." Sensors 22, no. 24 (2022): 10003. http://dx.doi.org/10.3390/s222410003.

Full text
Abstract:
Attitude control subjected to pointing constraints is a requirement for most spacecraft missions carrying sensitive on-board equipment. Pointing constraints can be divided into two categories: exclusion zones that are defined for sensitive equipment such as telescopes or cameras that can be damaged from celestial objects, and inclusion zones that are defined for communication hardware and solar arrays. This work derives common frame dynamics that are fully derived for Modified Rodrigues Parameters and introduced to an existing novel technique for constrained spacecraft attitude control, which
APA, Harvard, Vancouver, ISO, and other styles
5

Zhao, Jiazhen, Kailong Zhu, Guozheng Yang, Yifan Zhang, and Yuliang Lu. "CraftFuzz: Generating Precise Requests for PHP Web Vulnerability Validation." Applied Sciences 15, no. 5 (2025): 2579. https://doi.org/10.3390/app15052579.

Full text
Abstract:
Web applications have become a crucial part of modern society’s infrastructure, and vulnerabilities in them can lead to significant social and economic losses. Static analysis remains the predominant approach for vulnerability detection, due to its extensive coverage. However, its high false positive rate demands significant expert effort to confirm the actual presence of vulnerabilities. In contrast, dynamic analysis can generate accurate vulnerability reports. Nevertheless, existing fuzzers are often constrained in their methodologies, making it challenging to effectively explore deeper code
APA, Harvard, Vancouver, ISO, and other styles
6

Gosain, Anjana, and Kavita Sachdeva. "Handling Constraints Using Penalty Functions in Materialized View Selection." International Journal of Natural Computing Research 8, no. 2 (2019): 1–17. http://dx.doi.org/10.4018/ijncr.2019040101.

Full text
Abstract:
Materialized view selection (MVS) plays a vital role for efficiently making decisions in a data warehouse. This problem is NP-hard and constrained optimization problem. The authors have handled both the space and maintenance cost constraint using penalty functions. Three penalty function methods i.e. static, dynamic and adaptive penalty functions have been used for handling constraints and Backtracking Search Optimization algorithm (BSA) has been used for optimizing the total query processing cost. Experiments were conducted comparing the static, dynamic and adaptive penalty functions on varyi
APA, Harvard, Vancouver, ISO, and other styles
7

SCHIEX, THOMAS, and GÉRARD VERFAILLIE. "NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS." International Journal on Artificial Intelligence Tools 03, no. 02 (1994): 187–207. http://dx.doi.org/10.1142/s0218213094000108.

Full text
Abstract:
Many AI synthesis problems such as planning, scheduling or design may be encoded in a constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all given constraints between these variables. However, for many real tasks, the set of constraints to consider may evolve because of the environment or because of user interactions. The notion of dynamic CSP (DCSP) [DD88] has been proposed to represent such evolutions. The problem we consider here is the solution maintenance problem in a DCSP. Naively ap
APA, Harvard, Vancouver, ISO, and other styles
8

Bernal, Dionisio, Martin D. Ulriksen, and Esmaeil Memarzadeh. "Static constraints in direct model updating." Mechanical Systems and Signal Processing 163 (January 2022): 108170. http://dx.doi.org/10.1016/j.ymssp.2021.108170.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Olender, Kurt M., and Leon J. Osterweil. "Interprocedural static analysis of sequencing constraints." ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 1 (1992): 21–52. http://dx.doi.org/10.1145/125489.122822.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Duan, Qingjuan, Quanli Zhao, and Tianle Wang. "Consistent Solution Strategy for Static Equilibrium Workspace and Trajectory Planning of Under-Constrained Cable-Driven Parallel and Planar Hybrid Robots." Machines 10, no. 10 (2022): 920. http://dx.doi.org/10.3390/machines10100920.

Full text
Abstract:
This paper presents a consistent solution strategy for static equilibrium workspaces of different types of under-constrained robots. Considering the constraint conditions of cable force and taking the least squares error of the static equilibrium equation as the objective, the convex optimization solution is carried out, and the static equilibrium working space of the under-constrained system is obtained. A consistent solution strategy is applied to solve the static equilibrium workspaces of the cable-driven parallel and planar hybrid robots. The dynamic models are presented and introducing pa
APA, Harvard, Vancouver, ISO, and other styles
11

Pan, Peng, Michael A. Peshkin, J. Edward Colgate, and Kevin M. Lynch. "Static Single-Arm Force Generation With Kinematic Constraints." Journal of Neurophysiology 93, no. 5 (2005): 2752–65. http://dx.doi.org/10.1152/jn.00799.2004.

Full text
Abstract:
Smooth, frictionless, kinematic constraints on the motion of a grasped object reduce the motion freedoms at the hand, but add force freedoms, that is, force directions that do not affect the motion of the object. We are studying how subjects make use of these force freedoms in static and dynamic manipulation tasks. In this study, subjects were asked to use their right hand to hold stationary a manipulandum being pulled with constant force along a low-friction linear rail. To accomplish this task, subjects had to apply an equal and opposite force along the rail, but subjects were free to apply
APA, Harvard, Vancouver, ISO, and other styles
12

Solomon, Khmelnik, and Gelfand Alexander. "Discrete filtration of Multivariate Correlated Nonstationary Processes." Papers of Independent Authors, ISSN 2225-6717 7 (March 16, 2008): 6–18. https://doi.org/10.5281/zenodo.3828873.

Full text
Abstract:
We consider a vector stochastic process with stationary increments of a predetermined order, whose components are linearly dependent, i.e. in the absence of noise vector process components are constrained by a system of linear equations (constraints). The interdependence of stochastic processes can be determined by a static or a dynamic model. The constraints can be maintained rigidly or with a specified error. We offer a method allowing in these conditions synthesis of an optimum filter structure. This method works in cases where no information about signal and noise static properties is avai
APA, Harvard, Vancouver, ISO, and other styles
13

Wang, Ren, Jingxiang Gao, Nanshan Zheng, et al. "Research on Accelerating Single-Frequency Precise Point Positioning Convergence with Atmospheric Constraint." Applied Sciences 9, no. 24 (2019): 5407. http://dx.doi.org/10.3390/app9245407.

Full text
Abstract:
An increasing number of researchers have conducted in-depth research on the advantages of low-cost single-frequency (SF) receivers, which can effectively use ionospheric information when compared to dual-frequency ionospheric-free combination. However, SF observations are bound to increase the unknown parameters and prolong the convergence time. It is desirable if the convergence time can be reduced by external information constraints, for example atmospheric constraints, which include ionosphere- or troposphere constraints. In this study, ionospheric delay constraints, tropospheric delay cons
APA, Harvard, Vancouver, ISO, and other styles
14

Gess, Randall. "Reductive sound change and the perception/production interface." Canadian Journal of Linguistics/Revue canadienne de linguistique 54, no. 2 (2009): 229–53. http://dx.doi.org/10.1017/s0008413100001249.

Full text
Abstract:
AbstractIn this article, I propose a phonetically-oriented constraint-based model of speech production that differs from recent approaches in assuming preservation constraints that refer directly to articulatory gestures rather than to perceptual cues. Articulatory gesture preservation constraints interact with a constraint that penalizes the expenditure of articulatory effort. Specific constraints and rankings are projected from a static perceptual knowledge source. Before exploring the model in detail, I address evidence that has been used to argue against precisely this type of “Articulator
APA, Harvard, Vancouver, ISO, and other styles
15

Nikolić, Milutin, Vladimir Mitić, Srđan Savić, and Tianwei Zhang . "Efficient CoM Motion Planning for Quadruped Robots’ Quasi-Static Walking." Actuators 14, no. 5 (2025): 202. https://doi.org/10.3390/act14050202.

Full text
Abstract:
With the popularity of quadruped robots, the main challenge they must overcome is traversing unstructured environments. Current methods that allow modern robots to traverse challenging terrain are unsuitable for situations at the edge of robot performance, where torque limits and contact forces must be carefully considered. This paper will investigate a way of generating feasible center of mass (CoM) trajectories applicable in such cases. A feasible CoM trajectory is one that the robot can perform considering contact, torque, and reachability constraints. We improve the existing method for fin
APA, Harvard, Vancouver, ISO, and other styles
16

Tran, Le Nhat Hoang, Laurent Gerbaud, Nicolas Retière, and Hieu Nguyen Huu. "Use of SQP optimization algorithm to size a multiphysical system." COMPEL - The international journal for computation and mathematics in electrical and electronic engineering 37, no. 2 (2018): 661–80. http://dx.doi.org/10.1108/compel-12-2016-0519.

Full text
Abstract:
PurposeStatic converters generate current harmonics in power grids. For numerous studies, analytical frequency modeling is preferred to carry out their harmonic modeling in the context of sizing by optimization. However, a design by optimization has to consider other constraints, e.g. modeling constraints and operating constraints. In this way, this paper aims to focus on applying an analytical frequency modeling on the sizing by optimization of an aircraft electrical power channel. Design/methodology/approachThe paper aims to size a multiphysical system by optimization. In this way, the sizin
APA, Harvard, Vancouver, ISO, and other styles
17

Bich Quyen, Vu Thi, Dao Ngoc Tien, Tran Thi Thuy Van, and Pham Van Dat. "Augmented Lagrangian method for imposing nonlinear multi freedom constraints in static analysis for frames using FEM." E3S Web of Conferences 281 (2021): 01010. http://dx.doi.org/10.1051/e3sconf/202128101010.

Full text
Abstract:
This paper focuses on the treatment of nonlinear multi freedom constraints using an augmented Lagrangian method in finite element analysis of frames. The process of imposing boundary constraints is developed by changing the assembly stiffness equation to produce a modified system of equation considering nonlinear multi freedom constraints. For imposing the nonlinear constraints two better methods are the penalty augmentation method and Lagrange multiplier adjunction method. But there are not free of disadvantages. Using penalty method has a disadvantage in the choice appropriate weight values
APA, Harvard, Vancouver, ISO, and other styles
18

Lin, Sheng, Chun Wang, and Shi Jun Zhou. "Constraint Optimization of a Novel Flexure System with Two Rotation Freedom Degree." Applied Mechanics and Materials 268-270 (December 2012): 1304–7. http://dx.doi.org/10.4028/www.scientific.net/amm.268-270.1304.

Full text
Abstract:
A two freedom flexure system is presented. All the constraints are selected in Case 2, type 1 and Case 2, type 2 in FACT chart. The locations of the non-redundant constraints are optimizated by change laws of the three order natural frequency with the position of constraint. All the redundant constraints are selected to increase the add symmetry to the flexure system. Results of Simulation of static calibration dominates that the flexure system is decoupled. The synthesis process of the two freedom flexure system proposes important reference for design of the flexure system.
APA, Harvard, Vancouver, ISO, and other styles
19

Ilanko, Sinniah. "Asymptotic modelling theorems for the static analysis of linear elastic structures." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 461, no. 2063 (2005): 3525–42. http://dx.doi.org/10.1098/rspa.2005.1519.

Full text
Abstract:
The work presented here justifies the use of restraints with large positive and negative stiffness values to asymptotically model geometric constraints of a structure in linear structural analysis. Replacing constraints by very stiff restraints improves the versatility of variational methods such as the Rayleigh–Ritz method as the limitation on the choice of functions is removed. Based on recently published theorems on the existence of natural frequencies of systems with artificial restraints of positive and negative stiffness and their convergence towards the frequencies of the corresponding
APA, Harvard, Vancouver, ISO, and other styles
20

Yang, Jian, Weiming Tang, Wei Xuan, and Ruijie Xi. "Tight Integration of GNSS and Static Level for High Accuracy Dilapidated House Deformation Monitoring." Remote Sensing 14, no. 12 (2022): 2943. http://dx.doi.org/10.3390/rs14122943.

Full text
Abstract:
Global Navigation Satellite System (GNSS) can provide high-precision three-dimensional real-time or quasi-real-time changes of monitoring points automatically in house monitoring applications. However, due to the signal sheltering problem, large observation noise and multipath effects in urban observing environment with dense buildings, ambiguity resolution would be hard, and GNSS accuracy cannot always achieve millimeter level to satisfy the requirement of house monitoring. Static level is a precision instrument for measuring elevation difference and its variations, with a precision up to sub
APA, Harvard, Vancouver, ISO, and other styles
21

Kusni, Muhammad. "Optimization of Composite Wing Structure with Static, Buckling, and Flutter Constraints using the Finite Element Method." Journal of Mechanical Engineering 21, no. 3 (2024): 269–95. http://dx.doi.org/10.24191/jmeche.v21i3.27358.

Full text
Abstract:
In airplane structural design, creating a strong yet lightweight structure is crucial. During the preliminary design phase, structural sizing optimization is necessary to achieve an efficient and lightweight structure that meets safety standards. Composite materials offer a high strength-to-weight ratio, enabling a lighter structure without compromising strength. This work focuses on optimizing composite structure wings by considering laminae thicknesses as design variables and minimizing structure weight as the objective, using the gradient-based method. The optimization constraints include t
APA, Harvard, Vancouver, ISO, and other styles
22

Li, Chengbing, Chunxing Li, and Yazhou Wang. "Compressive behavior and energy absorption capacity of unconstrained and constrained open-cell aluminum foams." Advanced Composites Letters 29 (January 1, 2020): 2633366X2092367. http://dx.doi.org/10.1177/2633366x20923671.

Full text
Abstract:
In practical engineering applications, while the open-cell aluminum foam as crash absorber is filled to the hollow structures, its deformation occurs under constrained stress boundaries. The experimental work was conducted to examine the effect of radial constraints on the mechanical behavior of the open-cell aluminum foam under quasi-static and dynamic compression. Results show that the radial constraints induce significant strain hardening of the open-cell aluminum foam. The open-cell aluminum foams tested with and without radial constraints show a clear strain rate sensitivity. The densific
APA, Harvard, Vancouver, ISO, and other styles
23

Song, Jun-Hyeok, Eun-Taik Lee, and Hee-Chang Eun. "Optimal sensor placement through expansion of static strain measurements to static displacements." International Journal of Distributed Sensor Networks 17, no. 1 (2021): 155014772199171. http://dx.doi.org/10.1177/1550147721991712.

Full text
Abstract:
Optimal sensor placement is used to establish the optimal sensor quantity and layout. In this study, the minimum quantity and locations of measurement sensors were assumed to satisfy the constraint conditions of the optimal sensor placement. A set of strain data in a truss structure was expanded to another set of displacements corresponding to the entire degrees of freedom from the relationship between the strain and displacement. It indicates to reduce the number of sensors because the strain depends on the displacements in a finite element model. The damaged truss element was traced using th
APA, Harvard, Vancouver, ISO, and other styles
24

XU, Yining, Ittetsu TANIGUCHI, and Hiroyuki TOMIYAMA. "Static Mapping of Parallelizable Tasks under Deadline Constraints." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100.A, no. 7 (2017): 1500–1502. http://dx.doi.org/10.1587/transfun.e100.a.1500.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

PAPLIŃSKI, A. P., and M. J. GIBBARD. "On constraints in pole assignment by static feedback." International Journal of Control 42, no. 5 (1985): 1099–111. http://dx.doi.org/10.1080/00207178508933414.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Bo, Yang, Chunhe Xia, Yang Luo, and Qing Tang. "Static compliance checking beyond separation of duty constraints." International Journal of Embedded Systems 10, no. 5 (2018): 423. http://dx.doi.org/10.1504/ijes.2018.095019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Tang, Qing, Yang Luo, Yang Bo, and Chunhe Xia. "Static compliance checking beyond separation of duty constraints." International Journal of Embedded Systems 10, no. 5 (2018): 423. http://dx.doi.org/10.1504/ijes.2018.10015744.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Dems, K., and W. Gutkowski. "2D shape optimization with static and dynamic constraints." Structural Optimization 15, no. 3-4 (1998): 201–7. http://dx.doi.org/10.1007/bf01203532.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Chen, T. Y. "Design optimization with static and dynamic displacement constraints." Structural Optimization 4, no. 3-4 (1992): 179–85. http://dx.doi.org/10.1007/bf01742742.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Rubió-Massegú, J., J. M. Rossell, H. R. Karimi, and F. Palacios-Quiñonero. "Static output-feedback control under information structure constraints." Automatica 49, no. 1 (2013): 313–16. http://dx.doi.org/10.1016/j.automatica.2012.10.012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Ojo, Adebayo, Maurizio Collu, and Andrea Coraddu. "Preliminary Techno-Economic Study of Optimized Floating Offshore Wind Turbine Substructure." Energies 17, no. 18 (2024): 4722. http://dx.doi.org/10.3390/en17184722.

Full text
Abstract:
Floating offshore wind turbines (FOWTs) are still in the pre-commercial stage and, although different concepts of FOWTs are being developed, cost is a main barrier to commercializing the FOWT system. This article aims to use a shape parameterization technique within a multidisciplinary design analysis and optimization framework to alter the shape of the FOWT platform with the objective of reducing cost. This cost reduction is then implemented in 30 MW and 60 MW floating offshore wind farms (FOWFs) designed based on the static pitch angle constraints (5 degrees, 7 degrees and 10 degrees) used w
APA, Harvard, Vancouver, ISO, and other styles
32

Tsuboi, Masahito. "Exceptionally Steep Brain-Body Evolutionary Allometry Underlies the Unique Encephalization of Osteoglossiformes." Brain, Behavior and Evolution 96, no. 2 (2021): 49–63. http://dx.doi.org/10.1159/000519067.

Full text
Abstract:
Brain-body static allometry, which is the relationship between brain size and body size within species, is thought to reflect developmental and genetic constraints. Existing evidence suggests that the evolution of large brain size without accompanying changes in body size (that is, encephalization) may occur when this constraint is relaxed. Teleost fish species are generally characterized by having close-fitting brain-body static allometries, leading to strong allometric constraints and small relative brain sizes. However, one order of teleost, Osteoglossiformes, underwent extreme encephalizat
APA, Harvard, Vancouver, ISO, and other styles
33

Blouin, Vincent Y., Michael M. Bernitsas, and Denby Morrison. "Integrated Redesign of Large-Scale Structures by Large Admissible Perturbations." Journal of Offshore Mechanics and Arctic Engineering 125, no. 4 (2003): 234–41. http://dx.doi.org/10.1115/1.1596236.

Full text
Abstract:
In structural redesign (inverse design), selection of the number and type of performance constraints is a major challenge. This issue is directly related to the computational effort and, most importantly, to the success of the optimization solver in finding a solution. These issues are the focus of this paper, which provides and discusses techniques that can help designers formulate a well-posed integrated complex redesign problem. LargE Admissible Perturbations (LEAP) is a general methodology, which solves redesign problems of complex structures with, among others, free vibration, static defo
APA, Harvard, Vancouver, ISO, and other styles
34

Wang, Juncheng, Bingjie Yan, and Yituo Liu. "Doubly-Bounded Queue for Constrained Online Learning: Keeping Pace with Dynamics of Both Loss and Constraint." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 20 (2025): 21135–43. https://doi.org/10.1609/aaai.v39i20.35411.

Full text
Abstract:
We consider online convex optimization with time-varying constraints and conduct performance analysis using two stringent metrics: dynamic regret with respect to the online solution benchmark, and hard constraint violation that does not allow any compensated violation over time. We propose an efficient algorithm called Constrained Online Learning with Doubly-bounded Queue (COLDQ), which introduces a novel virtual queue that is both lower and upper bounded, allowing tight control of the constraint violation without the need for the Slater condition. We prove via a new Lyapunov drift analysis th
APA, Harvard, Vancouver, ISO, and other styles
35

Hartarsky, Ivailo, Fabio Martinelli, and Cristina Toninelli. "Fredrickson–Andersen model in two dimensions." ESAIM: Proceedings and Surveys 74 (November 2023): 108–18. http://dx.doi.org/10.1051/proc/202374108.

Full text
Abstract:
The present article overviews recent mathematical advances on the Fredrickson–Andersen kinetically constrained spin model in two dimensions. It was introduced in physics as a toy model for recovering the glassy phenomenology in supercooled liquids close to the glass transition via dynamic constraints as opposed to static interactions.
APA, Harvard, Vancouver, ISO, and other styles
36

Ke, Zhang, Zhang Huijie, and Tang Zhiping. "Experimental study of thin-walled TiNi tubes under radial quasi-static compression." Journal of Intelligent Material Systems and Structures 22, no. 18 (2011): 2113–26. http://dx.doi.org/10.1177/1045389x11426344.

Full text
Abstract:
TiNi tubes with various sizes and boundary constraints subjected to radial quasi-static compression were systematically studied. The contour curves of the tubes were extracted from the real-time charge-coupled device (CCD) images, and the circumferential strain, bending moment, and phase composition distribution were calculated based on the contour curves and some assumptions. It was found that the load–displacement curves had hysteretic loops, and all specimens could recover to their initial shape after unloading, which was attributed to the effects of austenite–martensite phase transformatio
APA, Harvard, Vancouver, ISO, and other styles
37

Khalfet, Nizar, and Ioannis Krikidis. "Information Energy Capacity Region for SWIPT Systems Over Rayleigh-Fading Channels." IEEE Transactions on Communications 71, no. 3 (2022): 1416–29. https://doi.org/10.1109/TCOMM.2022.3174068.

Full text
Abstract:
In this paper, we study the fundamental limits of simultaneous information and power transfer over a Rayleigh fading channel, where the channel input is constrained to peak-power (PP) constraints that vary in each channel use by taking into account high-power amplifier (HPA) nonlinearities. In particular, a three-party communication system is considered, where a transmitter aims simultaneously conveying information to an information receiver and delivering energy to an energy harvesting receiver. For the special case of static PP constraints, we study the information-energy capacity region and
APA, Harvard, Vancouver, ISO, and other styles
38

Pralet, Cédric, and Gérard Verfaillie. "Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model." Proceedings of the International Conference on Automated Planning and Scheduling 23 (June 2, 2013): 171–79. http://dx.doi.org/10.1609/icaps.v23i1.13561.

Full text
Abstract:
Sequential decision-making under uncertainty often uses an approach in which a plan is built over a given horizon ahead using a deterministic model, the first decisions in this plan are applied, new information is acquired, the plan is adapted or rebuilt from scratch over a sliding horizon, and so on. This paper introduces a generic local search library that can be used in this context to quickly build and rebuild good quality plans. This library is built upon the notion of invariant used in constraint-based local search. Invariants allow temporal constraints, resource constraints, and criteri
APA, Harvard, Vancouver, ISO, and other styles
39

Li, Chi, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, and Ming Gu. "API Misuse Detection in C Programs: Practice on SSL APIs." International Journal of Software Engineering and Knowledge Engineering 29, no. 11n12 (2019): 1761–79. http://dx.doi.org/10.1142/s0218194019400205.

Full text
Abstract:
Libraries offer reusable functionality through Application Programming Interfaces (APIs) with usage constraints such as call conditions or orders. Constraint violations, i.e. API misuses, commonly lead to bugs and security issues. Although researchers have developed various API misuse detectors in the past few decades, recent studies show that API misuse is prevalent in real-world projects, especially for secure socket layer (SSL) certificate validation, which is completely broken in many security-critical applications and libraries. In this paper, we introduce SSLDoc to effectively detect API
APA, Harvard, Vancouver, ISO, and other styles
40

Kerk, Carter J., and Don B. Chaffin. "Evaluation of Limiting Strength Constraints in a Comprehensive Biomechanical Model." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 37, no. 10 (1993): 739–43. http://dx.doi.org/10.1177/154193129303701020.

Full text
Abstract:
The strength constraints in a two-dimensional static human force exertion capability model (HFEC) have been evaluated using eight male and female subjects of varying anthropometry and strength capability. The model comprehensively estimates feasible exertion capability under symmetric conditions using a set of fifteen linear constraint equations from three constraint classes: strength, stability, and coefficient of friction (COF). This evaluation examines the nature of the limiting strength constraints. The computer model aided in designing tasks (combining posture with force exertion directio
APA, Harvard, Vancouver, ISO, and other styles
41

Cinar, Ahmet, and Mustafa Kiran. "The Performance of Penalty Methods on Tree-Seed Algorithm for Numerical Constrained Optimization Problems." International Arab Journal of Information Technology 17, no. 5 (2020): 799–807. http://dx.doi.org/10.34028/iajit/17/5/13.

Full text
Abstract:
The constraints are the most important part of many optimization problems. The metaheuristic algorithms are designed for solving continuous unconstrained optimization problems initially. The constraint handling methods are integrated into these algorithms for solving constrained optimization problems. Penalty approaches are not only the simplest way but also as effective as other constraint handling techniques. In literature, there are many penalty approaches and these are grouped as static, dynamic and adaptive. In this study, we collect them and discuss the key benefits and drawbacks of thes
APA, Harvard, Vancouver, ISO, and other styles
42

Shiromizu, T., and H. Yoshino. "Positive Energy Theorem Implies Constraints on Static Steller Models." Progress of Theoretical Physics 116, no. 6 (2006): 1159–64. http://dx.doi.org/10.1143/ptp.116.1159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

BOSTWICK, J. B., and P. H. STEEN. "Stability of constrained cylindrical interfaces and the torus lift of Plateau–Rayleigh." Journal of Fluid Mechanics 647 (March 18, 2010): 201–19. http://dx.doi.org/10.1017/s0022112009993831.

Full text
Abstract:
Surface tension acting at a cylindrical interface holds an underlying liquid in motionless equilibrium. This static base state is subject to dynamic capillary instability, including Plateau–Rayleigh breakup. If the interface is partially supported by a cylindrical cup-like solid, the extent of the wetting contact can significantly influence the dynamics and the stability of the configuration. The equation for the motion of small disturbances is formulated as an eigenvalue equation on linear operators. A solution is constructed on a constrained function space using a Rayleigh–Ritz procedure. Th
APA, Harvard, Vancouver, ISO, and other styles
44

Zhang, S. J., D. Howard, and D. J. Sanger. "Workspaces of a walking machine and their graphical representation. Part II: static workspaces." Robotica 14, no. 2 (1996): 219–26. http://dx.doi.org/10.1017/s0263574700019135.

Full text
Abstract:
SUMMARYPart I of this paper was concerned with kinematic workspaces of walking machines, while this paper addresses the static workspaces of a walking machine and their graphical representation. The results of static analysis are presented; the static workspace constraints are established; an algorithm for investigation of static workspaces is presented; and the position static workspaces are analysed and graphically represented for an example walking machine design.
APA, Harvard, Vancouver, ISO, and other styles
45

Peng, Zihan, Yang Gao, Chengfa Gao, Rui Shang, and Lu Gan. "Improving Smartphone GNSS Positioning Accuracy Using Inequality Constraints." Remote Sensing 15, no. 8 (2023): 2062. http://dx.doi.org/10.3390/rs15082062.

Full text
Abstract:
To improve smartphone GNSS positioning performance using extra inequality information, an inequality constraint method was introduced and verified in this study. Firstly, the positioning model was reviewed and three constraint applications were derived from it, namely, vertical velocity, direction, and distance constraints. Secondly, we introduced an estimator based on the density function truncation method to solve the inequality constraint problem. Finally, the performance of the method was investigated using datasets from three smartphones, including a Huawei P30, a Huawei P40, and a Xiaomi
APA, Harvard, Vancouver, ISO, and other styles
46

Fan, Jinlong, Yipeng Ning, Jian Wang, et al. "EMS-SLAM: Dynamic RGB-D SLAM with Semantic-Geometric Constraints for GNSS-Denied Environments." Remote Sensing 17, no. 10 (2025): 1691. https://doi.org/10.3390/rs17101691.

Full text
Abstract:
Global navigation satellite systems (GNSSs) exhibit significant performance limitations in signal-deprived environments such as indoor spaces and underground spaces. Although visual SLAM has emerged as a viable solution for ego-motion estimation in GNSS-denied areas, conventional approaches remain constrained by static environment assumptions, resulting in a substantial degradation in accuracy when handling dynamic scenarios. The EMS-SLAM framework combines the geometric constraints and semantics of SLAM to provide a real-time solution for addressing the challenges of robustness and accuracy i
APA, Harvard, Vancouver, ISO, and other styles
47

Chen, Shenyan, Ziqi Dai, Wenjing Shi, Yanjie Liu, and Jianhongyu Li. "Local Modal Frequency Improvement with Optimal Stiffener by Constraints Transformation Method." Applied Sciences 11, no. 22 (2021): 11072. http://dx.doi.org/10.3390/app112211072.

Full text
Abstract:
Local modal vibration could adversely affect the dynamical environment, which should be considered in the structural design. For the mode switching phenomena, the traditional structural optimization method for problems with specific order of modal frequency constraints could not be directly applied to solve problems with local frequency constraints. In the present work, a novel approximation technique without mode tracking is proposed. According to the structural character, three reasonable assumptions, unchanged mass matrix, accordant modal shape, and reversible stiffness matrix, have been us
APA, Harvard, Vancouver, ISO, and other styles
48

Jochems, Jerome, Eddie Jones, and Steven Ramsay. "Higher-Order MSL Horn Constraints." Proceedings of the ACM on Programming Languages 7, POPL (2023): 2017–47. http://dx.doi.org/10.1145/3571262.

Full text
Abstract:
The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in static analysis and verification. We propose a new class of higher-order Horn constraints which extend MSL to higher-order logic and develop a resolution-based decision procedure. Higher-order MSL Horn constraints can quite naturally capture the complex patterns of call and return that are possible in higher-order programs, which make them well suited to higher-order program verification. In fact, we show that the h
APA, Harvard, Vancouver, ISO, and other styles
49

Zhou, Yang, and Xiaofu Ji. "Static Output Feedback Control for Nonlinear Time-Delay Semi-Markov Jump Systems Based on Incremental Quadratic Constraints." Mathematical and Computational Applications 28, no. 2 (2023): 30. http://dx.doi.org/10.3390/mca28020030.

Full text
Abstract:
This paper is concerned with the problem of static output feedback control for a class of continuous-time nonlinear time-delay semi-Markov jump systems with incremental quadratic constraints. For a class of time-delay semi-Markov jump systems satisfying incremental quadratic constrained nonlinearity, an appropriate mode-dependent Lyapunov–Krasovskii functional is constructed. Based on the matrix transformation, projection theorem and convex set principle, the mode-dependent static output feedback control laws are designed. The feedback control law is given in the form of a linear matrix inequa
APA, Harvard, Vancouver, ISO, and other styles
50

Stoica, Adrian-Mihail, and Isaac Yaesh. "STATIC OUTPUT FEEDBACK DESIGN IN AN ANISOTROPIC NORM SETUP." Annals of the Academy of Romanian Scientists Series on Mathematics and Its Application 12, no. 1-2 (2020): 425–38. http://dx.doi.org/10.56082/annalsarscimath.2020.1-2.425.

Full text
Abstract:
The design of static output feedback controllers in an anisotropic norm setup is considered. The aim is to determine a stabilizing static output feedback for a given four block system such that the resulting closed loop system has the a-anisotropic norm less than a given γ > 0. The solvability conditions are expressed in terms of the solution of a rank minimization problem with linear matrix inequalities constraints. Based on the specific form of these constraints it is shown that a solution of this problem may be obtained solving a semidefinite programming problem.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!