Filters








10,764 Hits in 3.4 sec

A Dynamic Testbed for Nanosatellites Attitude Verification

Dario Modenini, Anton Bahu, Giacomo Curzi, Andrea Togni
2020 Aerospace (Basel)  
) a Sun simulator, and (iv) a metrology vision system for ground-truth attitude generation.  ...  The facility integrates several subsystems, including: (i) an air-bearing three degree of freedom platform, with automatic balancing system, (ii) a Helmholtz cage for geomagnetic field simulation, (iii  ...  Even so, the stated disturbance limit for testing nanosatellites can hardly be reached: assuming a total rotating mass (platform with balancing mechanism plus CubeSat) in the order of 10 kg, a matching  ... 
doi:10.3390/aerospace7030031 fatcat:oyygypccjjc55oue5vlkakvcgu

A strategy proof mechanism for scheduling divisible loads in bus networks without control processors

T.E. Carroll, D. Grosu
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
In this paper we propose a strategyproof mechanism for scheduling divisible loads in bus networks without control processors.  ...  We augment DLT with incentives so that it is to the benefit of a processor to truthfully report its processing capacity and to process its assignment at full capacity.  ...  We cope with this situation by employing a strategyproof mechanism with verification.  ... 
doi:10.1109/ipdps.2006.1639263 dblp:conf/ipps/CarrollG06 fatcat:6kwgwimjqbcotmgy27l6wevlim

A Strategyproof Mechanism for Scheduling Divisible Loads in Bus Networks without Control Processors

T.E. Carroll, D. Grosu
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
In this paper we propose a strategyproof mechanism for scheduling divisible loads in bus networks without control processors.  ...  We augment DLT with incentives so that it is to the benefit of a processor to truthfully report its processing capacity and to process its assignment at full capacity.  ...  We cope with this situation by employing a strategyproof mechanism with verification.  ... 
doi:10.1109/ipdps.2006.1639548 dblp:conf/ipps/CarrollG06a fatcat:kvjdolom5bhcpf737q2lgjuqtm

Load Balancing Strategy for Computational Grid System using an Improved Algorithmic Approach

Prakash Kumar, Pradeep Kumar, Vikas Kumar
2013 International Journal of Computer Applications  
A load balancing strategy chooses the resources that should be used to run a job in order to improve a given performance measure.  ...  Grid computing usually consists of a main computer that distributes information and tasks to a group of networked computers to accomplish a common goal.The goal of Grid computing is to create the delusion  ...  The goal of a truthful mechanism with verification is to give incentives to agents such that it is beneficial for them to report their true values and execute the assigned jobs using their full processing  ... 
doi:10.5120/13765-1614 fatcat:7l5aoaxs6nfi5ayeif57jajwtu

An incentive-based distributed mechanism for scheduling divisible loads in tree networks

T.E. Carroll, D. Grosu
2012 Journal of Parallel and Distributed Computing  
Andelman and Mansour [29] relaxed the conditions for truthfulness of the framework. Mechanisms with verification were examined in [30].  ...  Strategyproof mechanisms with verification combining incentives and DLS were proposed by Grosu and Carroll for bus networks [8, 9, 31] and linear networks [32].  ...  Acknowledgments This paper is a revised and extended version of [36] presented at the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006).  ... 
doi:10.1016/j.jpdc.2011.11.008 fatcat:l4oq25bnonanlcftzfmnz4jo6m

Influence of Lubricating Oil Improvers On Performance of Crankshaft Seals

Piotr Bzura
2018 Polish Maritime Research  
Crankshaft seals were tested with the use of a modified friction node of T-02 four-ball apparatus in laboratory conditions. The tests were conducted according to a worked-out algorithm.  ...  The hypothesis was verified by means of induction inference and statistical method with taking into account Fisher statistics.  ...  The verification of the hypothesis H was conducted with taking into account truthfulness of the following syntactic implication [3, 4] : H K i (i=1,2) (1) This made it possible to do non-deductive (inductive  ... 
doi:10.2478/pomr-2018-0039 fatcat:663h4z6mibfqtmdwjqtq5iy66a

A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks

Thomas E. Carroll, Daniel Grosu
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
We propose a strategyproof mechanism with verification for scheduling divisible loads in linear networks with boundary load origination.  ...  In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignments at full capacity.  ...  We propose a strate-gyproof mechanism with verification for scheduling divisible loads in linear networks.  ... 
doi:10.1109/ipdps.2007.370228 dblp:conf/ipps/CarrollG07 fatcat:oxnnx3sfqjab5i24lb4mzg4br4

The 2014 Sandia Verification and Validation Challenge: Problem Statement

Kenneth T. Hu, George E. Orient
2016 Journal of Verification, Validation and Uncertainty Quantification  
This paper describes the challenge problem associated with the 2014 Sandia Verification and Validation (V&V) Challenge Workshop.  ...  In addition, the workings of the provided code and the "truth model" used to create the data are revealed. The code, data, and truth model are available in this paper.  ...  Sandia National Laboratories is a multiprogram laboratory managed and operated by the Sandia Corporation, a wholly owned subsidiary of the Lockheed Martin Corporation, for the U.S.  ... 
doi:10.1115/1.4032498 fatcat:hahcnjzdovgcjkovy5tdzymge4

Cluster Load Balancing Algorithm based on Intelligent Genetic Algorithm of Vector

Huang Weihua, Ma Zhong, Dai Xinfa, Gao Yi, Xu Mingdi
2017 International Journal of Grid and Distributed Computing  
To make load of server cluster more balanced, aimed at defect of "early-mature" existing in particle swarm optimization algorithm, a server cluster load balancing method is put forward to improve cultural  ...  cluster system load balancing algorithm.  ...  Improve effectiveness and feasibility of cultural particle swarm optimization algorithm in server cluster load balancing problem solution through simulation test and verification.  ... 
doi:10.14257/ijgdc.2017.10.2.07 fatcat:yr3m5aakznabzoniziakxx4goa

Modeling of Wireless Traffic Load in Next Generation Wireless Networks

Sohaib Manzoor, Khalid Bashir Bajwa, Muhammad Sajid, Hira Manzoor, Mahak Manzoor, Nouman Ali, Muhammad Ilyas Menhas, Jugoslav Jokovic
2021 Mathematical Problems in Engineering  
Moreover, the load in the fourth tier is balanced among the multiple controllers.  ...  In this paper, we design a novel four-tier software defined WiFi edge architecture (FT-SDWE) to manage load imbalance through an improved handover mechanism, enhanced authentication technique, and upgraded  ...  Load Balancing in SD-WiFi. SD-WiFi requires mobility management support to balance the load among the IEEE 802.11 users. e seamless mobility of devices forces to use handover mechanisms.  ... 
doi:10.1155/2021/7293093 fatcat:wicaunudnraylaqxxkr5h2322e

A Serious Gaming Approach for Crowdsensing in Urban Water Infrastructure with Blockchain Support

Alexandru Predescu, Diana Arsene, Bogdan Pahonțu, Mariana Mocanu, Costin Chiru
2021 Applied Sciences  
The proposed solution focuses on serious games applied in urban water management from the perspective of mobile crowdsensing, with a reward-driven mechanism defined for the crowdsensing tasks.  ...  The serious game is designed to provide entertainment value by means of gamified interaction with the environment, while the crowdsensing component involves a set of roles for finding, solving and validating  ...  Acknowledgments: The mobile application described in this paper was developed with Leplace Global, a tech startup in the domain of augmented reality mobile games.  ... 
doi:10.3390/app11041449 fatcat:mrphqevzx5fc7brb34pxcpvxvi

Novel market approach for locally balancing renewable energy production and flexible demand [article]

José Horta, David Menga (EDF R and D), Alonso Silva
2017 arXiv   pre-print
We focus on a market application, where households can trade energy with their neighbors, aimed to locally balancing renewable energy production.  ...  We propose a market mechanism and dynamic transport prices that provide an incentive for households to locally manage energy resources in a way that responds to both pro-sumer and operator needs.  ...  Section 5 -Market mechanism and price incentives: We propose an auction mechanism that is asymptotically efficient, truthful, weakly budget-balanced, and fair in the attribution of quantities.  ... 
arXiv:1711.09565v1 fatcat:bwzztljtlrbztbq75pdhczk6sm

Novel market approach for locally balancing renewable energy production and flexible demand

Jose Horta, Daniel Kofman, David Menga, Alonso Silva
2017 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm)  
Novel market approach for locally balancing renewable energy production and flexible demand. 2017. 1 Ability to modify the electricity demand/supply profile.  ...  Section 5 -Market mechanism and price incentives: We propose an auction mechanism that is asymptotically efficient, truthful, weakly budget-balanced, and fair in the attribution of quantities.  ...  use power flow simulations with realistic load data.  ... 
doi:10.1109/smartgridcomm.2017.8340728 dblp:conf/smartgridcomm/HortaKMS17 fatcat:gyx7o4oe25gapc5octuafvmrse

Cloud networking and communications

Raouf Boutaba, Noura Limam, Stefano Secci, Tarik Taleb
2014 Computer Networks  
With the proliferation of Cloud offerings, new networking and communication challenges have also emerged.  ...  For instance, Data-centers are becoming containers of virtual provider networks, whose embedding can be optimized as a function of cost, customer demands, energy, dynamic scaling, Quality-of-Service (QoS  ...  GRC performs load-balanced anycast routing across active devices. The performance evaluation of GRC shows that the routing mechanism achieves significant energy savings with low average packet delay.  ... 
doi:10.1016/j.comnet.2014.05.012 fatcat:nrkygm5fpbegnhw2fkvpt4irli

The Reconstruction of the Reversal of the Burden of Proof Verificationin Corruption Delict

Soehartono Soemarto
2018 International Journal of English Literature and Social Sciences  
limited and balanced reverse verification system.  ...  One of the reasons is, for example, the process of proceeding (criminal procedural law of corruption) only applies a reverse verification system during the trial.  ...  out, such as truth values, values of fairness, values of honesty, virtue and propriety. 27 The existence of a control mechanism The control mechanism is a form of supervision over the response to  ... 
doi:10.22161/ijels.3.5.7 fatcat:ww7ut6kfefbitly4qrcbcokdgi
« Previous Showing results 1 — 15 out of 10,764 results