Formal program transformation in a functional language can be used to support incremental design of parallel programs. this paper illustrates the method with a detailed example: a program transformation that improves ...
详细信息
CloudOpt is a comprehensive approach to find optimal deployments for large service centers and clouds. It uses a combination of bin-packing, mixed integer programming and performance models to make decisions affecting...
详细信息
this paper presents our experience in a programming course unit during its first year of EHEA. the course unit features described are the students' profile, teaching methodology and assessment criteria. the virtua...
详细信息
A logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is in using of a first order logic for describing abstract concepts of anomalous hum...
详细信息
Satisfactory solutions of interval programming and interval linear bi-level programming are defined based on a new partial order on intervals. the optimality condition for interval programming is investigated. Based o...
详细信息
Based on credibility theory, this paper reports on the application of fuzzy programming with recourse to strategic planning decisions regarding resource acquisition. To solve the two-stage fuzzy programming problem, a...
详细信息
ISBN:
(纸本)9781424420957
Based on credibility theory, this paper reports on the application of fuzzy programming with recourse to strategic planning decisions regarding resource acquisition. To solve the two-stage fuzzy programming problem, a heuristic solution method which combines approximating method (AM), tabu search (TS) and neural network (NN), is proposed. At the end of the paper, we provide one numerical example to illustrate the feasibility and effectiveness of the designed algorithm.
In this work (a full paper on an innovative practice), we report on middle school students' experiences while learning a new text-based, functional domain-specific teaching language for programming well-known, sim...
详细信息
ISBN:
(数字)9781665462440
ISBN:
(纸本)9781665462440
In this work (a full paper on an innovative practice), we report on middle school students' experiences while learning a new text-based, functional domain-specific teaching language for programming well-known, simple physical games, such as tossing a coin to see who goes first or playing Tic-Tac-Toe. Based on students' responses after taking an 18-week, 7th grade elective, we find that the majority of the students like learning the new language because it is not block-based, it is not complicated, and it is in the domain of games. However, we also find that there are some students who say programming is what they like the least about the class, and the majority of the students report that they struggle the most with writing the syntax. Overall, the majority of students like the curriculum, language, and using games as a way to explain CS concepts and teach programming. Even though learning a text-based, functionalprogramming language may be difficult for middle-school students, these results show that the domain-specific teaching language is an effective teaching vehicle at the middle school level.
Aiming at the reentry trajectory planning of hypersonic vehicle, considering the constraints of no fly zone in the process, the reentry guidance scheme is designed based on the adaptive Radau pseudospectrum method;Fir...
详细信息
the proceedings contain 38 papers. the topics discussed include: path tracking methods employed in lane centering systems;flow-based path planning for multiple homogenous UAVs for outdoor formation-flying;an intuitive...
ISBN:
(纸本)9781665490511
the proceedings contain 38 papers. the topics discussed include: path tracking methods employed in lane centering systems;flow-based path planning for multiple homogenous UAVs for outdoor formation-flying;an intuitive and efficient framework for programming robotic systems;multi-robot systems using broadcast control framework with visual-based tracking;selected topics of artificial intelligence in robotics;prolonging robot lifespan using fatigue balancing with reinforcement learning;network forensic investigation of collaborative robots: a case study;programming methods comparison in Mitsubishi Melfa robots;determination of power losses in robotic utility vehicle powertrain;and analysis of robot skill learning methods and secondary approaches to enhance learning.
As an important infrastructure, communication network can support military training, combat readiness and daily life. However, at present, the effective method is lack to reasonably configure the capacity of communica...
详细信息
暂无评论