DISTRIBUTED RELIABLE RENDERING METHOD FOR PARAMETRIC MODELING

2013 ◽  
Vol 22 (02) ◽  
pp. 1250090
Author(s):  
TIBOR SKALA ◽  
MIRSAD TODOROVAC ◽  
KAROLJ SKALA
Keyword(s):  
Parametric Modeling ◽  
Proof Of Concept ◽  
Client Server ◽  
Concept Model ◽  
On Demand ◽  
Work Distribution ◽  
Computer Services ◽  
Cluster Computer ◽  
Complex Computer ◽  
Resilient Behavior

Paper presents the achievement on parallelized distributed reliable rendering method shown on 3D electromotor designed to be performed on Cluster computer system. In this paper we will describe a proof of concept model of rendering using parametric POVRay model, client-server on-demand rendering architecture with RFC 822 + 1 SMTP and HTTP like keep-alive extensible protocol, using open source elements, configurable rendering architecture, available to use at no cost added to cost of hardware, with new solutions for simple configuration file mechanisms, and resilient behavior of software, based on best effort strategy of work distribution. The paper presents an innovative way of creating distributed reliable rendering method using huge range of computers for parametric modeling. The main aim of this paper is to present a solution that will use existing resources in order to make modeling method more sufficient and for applying complex computer services/jobs under distributed architecture. The implementation also includes logistics and support for automatic computer clustering and for service/job programs execution. The primary goal is to use existing resources for useful applications in the 3D parametric modeling, image programming and simulation rendering.

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Magnetic anisotropy on demand exploiting high-pressure as remote control: an ab initio proof-of-concept

2021 ◽  
Author(s):  
Matteo Briganti ◽  
Federico Totti
Keyword(s):  
High Pressure ◽  
High Temperature ◽  
Remote Control ◽  
Magnetic Anisotropy ◽  
Ab Initio ◽  
Single Molecule ◽  
Boiling Temperature ◽  
Proof Of Concept ◽  
Single Molecule Magnets ◽  
On Demand

Lanthanide based single molecule magnets have recently become very promising systems for creating single molecule device working at high temperature (nitrogen boiling temperature). However, the variation of direction of the...

Programmable shape-morphing microrobots for localized cancer cells treatment

2021 ◽  
Author(s):  
Chen Xin ◽  
Dongdong Jin ◽  
Yanlei Hu ◽  
Liang Yang ◽  
Rui Li ◽  
...  
Keyword(s):  
Drug Delivery ◽  
Drug Release ◽  
Targeted Drug Delivery ◽  
Biological Applications ◽  
Proof Of Concept ◽  
Ph Responsive ◽  
Solution Ph ◽  
Shape Morphing ◽  
On Demand ◽  
Targeted Drug

Abstract Microrobots have attracted great attentions due to their wide applications in microobjects manipulation and targeted drug delivery. To realize more complex micro/nano cargos manipulation (e.g., encapsulation and release) in biological applications, endowing microrobots with shapes adaptability with the environment is highly desirable. Here, designable shape-morphing microrobots (SMMRs) have been developed by programmatically encoding different expansion rate in a pH-responsive hydrogel. Combined with magnetic propelling, the shape-morphing microcrab (SMMC) is capable of performing targeted microparticle delivery, including gripping, transporting, and releasing through claws morphing. As a proof-of-concept demonstration, the shape-morphing microfish (SMMF) is designed to encapsulate drug (doxorubicin (DOX)) by closing mouth in phosphate buffer saline (PBS, pH~7.4) and release them by opening mouth in slightly acid solution (pH<7), which realize localized Hela cells treatment in an artificial vascular network. These SMMRs with powerful shape morphing capabilities and remote motion controllability provide new platforms for complex microcargos operation and on-demand drug release.

Do the biological details matter?

1997 ◽  
Vol 20 (4) ◽  
pp. 684-685 ◽  
Author(s):  
James M. Bower
Keyword(s):  
Neuronal Activity ◽  
Visual Stimuli ◽  
Theoretical Work ◽  
Cortical Processing ◽  
Proof Of Concept ◽  
Processing Scheme ◽  
Concept Model ◽  
Cortical Oscillations ◽  
Target Article ◽  
Cell Firing

Phillips & Singer (P&S) extend ideas derived from the observation eight years ago that the coherence (synchronization) of cortical oscillations can be modulated by the structure of visual stimuli. As described in the target article, a large part of the continued interest in this finding is related to independent theoretical work suggesting that synchronized cell firing could help solve the problem of binding together within cortex neuronal activity associated with different attributes of visual stimuli. The authors present an abstract “proof of concept” model describing how their cortical processing scheme could work, but our biologically realistic models of cortical relationships suggest that the proposal is biologically implausible. Our realistic models lead to a very different interpretation of the significance of cortical oscillations.

scholarly journals Testing a proof of concept model for group couples counseling in family planning in Northern Uganda

2018 ◽  
Vol 30 ◽  
Author(s):  
Lillian Ojanduru ◽  
Dickens Ojamuge ◽  
Lauren DuComb ◽  
Jeannette Cachan ◽  
Esther Spindler
Keyword(s):  
Family Planning ◽  
Northern Uganda ◽  
Couples Counseling ◽  
Proof Of Concept ◽  
Concept Model

scholarly journals Strengthening MT6D Defenses with LXC-Based Honeypot Capabilities

2016 ◽  
Vol 2016 ◽  
pp. 1-13 ◽  
Author(s):  
Dileep Basam ◽  
J. Scot Ransbottom ◽  
Randy Marchany ◽  
Joseph G. Tront
Keyword(s):  
Research Effort ◽  
Network Activity ◽  
Local Network ◽  
Moving Target ◽  
Database Integration ◽  
Proof Of Concept ◽  
Traffic Pattern ◽  
On Demand ◽  
Previous Solution ◽  
Ipv6 Networks

Moving Target IPv6 Defense (MT6D) imparts radio-frequency hopping behavior to IPv6 networks by having participating nodes periodically hop onto new addresses while giving up old addresses. Our previous research efforts implemented a solution to identify and acquire these old addresses that are being discarded by MT6D hosts on a local network besides being able to monitor and visualize the incoming traffic on these addresses. This was essentially equivalent to forming a darknet out of the discarded MT6D addresses, but the solution presented in the previous research effort did not include database integration for it to scale and be extended. This paper presents a solution with a new architecture that not only extends the previous solution in terms of automation and database integration but also demonstrates the ability to deploy a honeypot on a virtual LXC (Linux Container) on-demand based on any interesting traffic pattern observed on a discarded address. The proposed architecture also allows an MT6D host to query the solution database for network activity on its relinquished addresses as a JavaScript Object Notation (JSON) object. This allows an MT6D host to identify suspicious activity on its discarded addresses and strengthen the MT6D scheme parameters accordingly. We have built a proof-of-concept for the proposed solution and analyzed the solution’s feasibility and scalability.

Sign in / Sign up

Export Citation Format

Share Document