The backtrack control structure is a well Known combinatorial problem solving approach in computer science. The strategy can be abstracted into a program schema with slots for lower level functions which is suitable for the automated synthesis of backtrack programs. Employing a Known model of program synthesis based on a problem reduction problem representation, two reduction rules are developed for transforming a problem specification into a backtrack control structure with specifications for...
Topics: Computer science, backtrack algorithms, program synthesis, control structure abstraction, problem...
3
3.0
Nov 4, 2020
11/20
Nov 4, 2020
by
Bulletin of Electrical Engineering and Informatics
texts
eye 3
favorite 0
comment 0
Hovercraft is a method of transportation as an option for clients who remain on the waterway and swamp surface. The issue with hovercraft is when dubious climate and natural condition, e.g. wind speed and wave tallness exasperate solidness of hovercraft to jeopardise the driver. We propose an approach to keep up adjust of the hovercraft by controlling the focal point of gravity (PG) to be determined position. The controller monitors the position of load to change the position. A 6-DOF IMU...
Topics: stability control structure, hovercraft prototype, PID Controller, Point of Gravity (PG), setpoint
7
7.0
Oct 20, 2020
10/20
Oct 20, 2020
texts
eye 7
favorite 0
comment 0
This article presents the new control structure for a Direct Current Motor (DC Motor) using the flatness-control principle. Basic on the mathematical model of DC Motors, the author demonstrates the application ability of the fatness-control theory to control the DC Motor, and then calculates the parameters and proposes the structure of the flatness-controller. The proposed structure is built and ran on Matlab-Simulink software to verify the system efficiency. The simulation results show that...
Topics: Control structure, DC motor, Electric, Flatness cotroller, PID controller
19
19
Mar 3, 2020
03/20
Mar 3, 2020
texts
eye 19
favorite 0
comment 0
uk-patient-zero-east-sussex
Topics: Digital sciences know no gender!, virtual structure, control structure, stress testing, deception...
Synchronous static compensators STATCOMs have been presented as a member of flexible alternating current transmission systems devices family in both distribution and transmission levels, namely distribution STATCOM and transmission STATCOM, respectively. These compensators have an important role in increasing the power quality in power systems because of having features investigated in various studies and because of the proper implementation of power functions, especially in compensating the...
Topics: Electrical Engineering, STATCOM, power structure, control structure
The use of virtual machine (VM) technology has expanded rapidly since AMD and Intel implemented hardware-assisted virtualization in their respective x86 architectures. These new capabilities have resulted in a corresponding expansion of security challenges. Hardware-Assisted VM (HVM) rootkits have become a credible threat because of these new virtualization technologies and have provided an added vector with which root access can be exploited by malicious actors. An HVM rootkit covertly...
Topics: virtual machine, hypervisor, virtual machine monitor, hardware-assisted virtual machine, virtual...
21
21
Nov 17, 2018
11/18
Nov 17, 2018
by
City of North Port, FL
movies
eye 21
favorite 0
comment 0
Street signs ✔️ Traffic signals ✔️ Aquatics ✔️ Mowing ✔️ Water control structures ✔️ Much more... Our Operations Division maintains much of the infrastructure around the City. You may not realize it, but it's likely you see their handiwork every single day. From pothole patching to installing a street sign - they do it all. A HUGE thank you to our "Ops" Division for their service to our community!
Topics: Florida, North Port, City of North Port, FL, Government Access TV, Community Media, PEG, Youtube,...
Towards A Computational Theory of Semantic Memory, by Lucia M. Vaina - Massachusetts Institute of Technology, Artificial Intelligence Laboratory 1980
Topics: actor, plasma, control, structure, behavior, implementation, actors, factorial, semantic, memory,...
643
643
May 7, 2015
05/15
May 7, 2015
texts
eye 643
favorite 1
comment 1
The Home Computer Course 11
favoritefavoritefavoritefavoritefavorite ( 1 reviews )
Topics: computer, data, interface, print, basic, goto, program, computers, acoustic, binders, computer...
53
53
Sep 30, 2013
09/13
Sep 30, 2013
by
James Robertson
movies
eye 53
favorite 0
comment 0
Today we'll take a look at the for loop and if/else constructs in Python
Topics: python, control+structure
Forth Dimension Volume 14 Number 6
Topics: code, stack, tlie, rot, unsigned, dimensions, integer, pgs, loop, return stack, unsigned double,...
Forth Dimension Volume 14 Number 1
Topics: code, stack, tlie, object, debugger, dimensions, control, create, data, oof, control structure,...
Forth Dimension Volume 13 Number 6
Topics: mov, code, pop, loop, jmp, dimensions, drop, dup, xchg, ascii, source code, control structure,...
216
216
May 27, 2013
05/13
May 27, 2013
texts
eye 216
favorite 0
comment 0
Hewlett-Packard Journal Vol. 28 No. 11 (1977-07)(Hewlett-Packard)
Topics: apl, data, code, vector, character, user, function, aplgol, virtual, functions, virtual memory,...
TRS-80 Manual: MuMath and MuSimp (1980)(Soft Warehouse)
Topics: function, mumath, musimp, variable, integer, control, variables, functions, arithmetic, returns,...
Bell System Technical Journal, 60: 7. September 1981 pp 1633-1653. Digital Signal Processor: Sub-band Coding. (Crochiere, R.E.)
Topics: filter, signal, dsp, sampling, sample, coding, sbc, adpcm, upper, digital, code word, sample times,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-170
Topics: event, simulation, theorem, system, graph, tht, path, figure, petri, net, event graph, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-204
Topics: control, task, structures, latency, constraint, tasks, algorithm, static, structure, laxity,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-241
Topics: control, event, task, structure, structures, preemption, priority, tasks, execution, events,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-658
Topics: batched, loop, method, bcs, client, thor, calls, node, frontend, batch, batched control, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-168
Topics: ana, tne, theorem, evaluates, lor, theorems, pattern, type, statement, function, type segment,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-207
Topics: schema, recursive, schemas, function, equivalent, realizes, realized, program, phi, theta,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-208
Topics: procedural, planner, procedure, procedures, theorems, protocols, abstraction, problem, solving,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-250
Topics: planner, data, solving, problem, formalism, procedure, methods, theorems, procedural, procedures,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-255
Topics: backtracking, conniver, planner, context, program, method, failure, possibilities, control,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-255a
Topics: sussman, planner, backtracking, possibilities, failure, control, program, user, list, data, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-259
Topics: conniver, lisp, possibilities, datum, returns, context, data, variables, list, function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-283
Topics: blocks, block, build, gripe, test, stability, system, goal, data, force, stability test, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-347
Topics: goal, assertions, assertion, theorem, prove, reasoning, procedural, antecedent, deductive,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-330
Topics: toss, juggling, bugs, tosses, timing, physical, fingernail, cascade, taxonomy, theory, control...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-391
Topics: grammar, programming, rowc, neil, crammar, modification, robot, language, midslope, lancuace, neil...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-410
Topics: actor, plasma, control, factorial, implementation, actors, structure, behavior, message, lambda,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-441
Topics: knowledge, representations, learnable, formal, force, procedural, process, turtle, control, causal,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-586
Topics: miriam, progressive, construction, decadal, microworlds, knowledge, cognitive, calculation, serial,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-625
Topics: actor, actors, message, messages, lisp, script, henry, preview, data, objects, message passing,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-660
Topics: questions, animal, representation, object, acoustic, attributes, surface, habitat, simple, mineral,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-258
Topics: function, unction, evaluates, identifier, recursive, pattern, schemata, data, schema, theorems,...
From the bitsavers.org collection, a scanned-in computer-related document. burroughs :: B8500 :: 1720-5592AC B8502 Detailed Design Specification Oct69
Topics: burroughs, descriptor, stack, proprietary, program, authorization, corporation, contained,...
From the bitsavers.org collection, a scanned-in computer-related document. xerox :: parc :: techReports :: CSL-73-2 New Programming Languages For AI Research
Topics: data, control, qlisp, languages, planner, pattern, conniver, popler, lisp, module, data base,...
From the bitsavers.org collection, a scanned-in computer-related document. stanford :: sail :: lisp70patmatch Feb73
Topics: rules, smith, lisp, extensible, val, compiler, rewrite, specificity, function, ordering, rewrite...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-726
Topics: code, implementation, coupling, viewform, abstraction, program, view, predicate, context, viewcode,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-349
Topics: lambda, expression, interpreter, lisp, sussman, recursive, process, environment, programming,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-898
Topics: inquisitive, formation, cyrano, concepts, empirical, consistency, heuristic, domain, lattice,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-802
Topics: plan, step, tweak, situation, planner, propositions, proposition, planning, steps, truth, truth...
