检索结果-内蒙古大学图书馆

7th international conference on Information Technology Based Higher Education and Training

作者： Imai, Yoshiro Kaneko, Keiichi Nakagawa, Masaki Kagawa Univ 221720 Hayashi Cho Takamatsu Kagawa 7610396 Japan Tokyo Univ Agr & Technol Tokyo 1848588 Japan

ISBN: (纸本)9781424404056

A visual computer simulator, called "VisuSim", has been developed and applied to real education for Computer Science at Kagawa University. It is one of educational tools associated with lectures on Computer Architecture and Assembly programming. the simulator is written in the pure Java programming language, executed in several kinds of environment (free for types of OS and CPU) and invoked in the applet mode as well as in the stand-alone one. Typical usages of our simulator are two-fold. Teachers employ our simulator, "VisuSim" to demonstrate visually how a computer processes its program. Students use the simulators in class or access our website, download "VisuSim", and invoke applet-based "VisuSim" on their browsers. After receiving feedback from users, we have provided communication support facility as a new function of "VisuSim". With such a communication facility, can send their programs, ask questions on them to their classmates and the classmates can test received programs with their "VisuSim" to think together about the questions.

关键词： educational tool collaborative learning visual simulator Java programming language computer literacy

来源：评论

学校读者我要写书评

暂无评论

Creating ROS Launch Files Using A Visual programming Interface 7

Creating ROS Launch Files Using A Visual Programming Interfa...

引用

Proceedings of the 2015 7th IEEE international conference on Cybernetics and Intelligent Systems (CIS) And Robotics, Automation and Mechatronics (RAM)

作者： Narayanamoorthy, Aditya Li, Renjun Huang, Zhiyong Inst Infocomm Res Robot Dept Singapore Singapore

ISBN: (纸本)9781467373388

Visual programming is widely used to allow users to create programs by manipulating program elements graphically rather than by specifying them textually. It is intuitive and effective. However, it has only just begun to be used in robotic programming. For example, in the Robot Operating System (ROS) - a popular framework used for developing robotic applications - in order to run multiple modules together, a ROS launch file needs to be created and used. the files are in XML format and are difficult to write and understand for nontechnical users. To address this problem, in this paper, we propose a visual programming software tool that helps in the creation and visualization of these ROS launch files. this tool enables non-experienced operators to program a robot at a modular level. the tool is one among a set of software tools in the Robot Application Development and Operating Environment (RADOE), which aims to ease the development of robot applications in ROS.

关键词： Visual programming Robotics ROS Launch File

来源：评论

学校读者我要写书评

暂无评论

Cost Optimization of Real-Time Cloud Applications Using Developmental Genetic programming 14

Cost Optimization of Real-Time Cloud Applications Using Deve...

引用

IEEE/ACM 7th international conference on Utility and Cloud Computing (UCC)

作者： Deniziak, Stanislaw Ciopinski, Leszek Pawinski, Grzegorz Wieczorek, Karol Bak, Slawomir Kielce Univ Technol Dept Comp Sci Al Tysiaclecia Panstwa Polskiego 7 Kielce Poland Cracow Univ Technol Dept Comp Engn PL-31155 Krakow Poland

ISBN: (纸本)9781479978816

this paper presents the methodology for the cost optimization of real-time applications, that are conformable to the Infrastructure as a Service (IaaS) model of cloud computing. We assume, that functions of applications are specified as a set of distributed echo algorithms with soft real-time constraints. then our methodology schedules all tasks on available cloud infrastructure, minimizing the total costs of the IaaS services, while guaranteeing the required level of the quality of services, as far as real-time requirements are concerned. It takes into account limited bandwidth of communication channels as well as the limited computation power of server nodes. the cost is optimized using the method based on the developmental genetic programming. the method reduces the cost of hiring the cloud infrastructure by sharing cloud resources between applications. We also present experimental results, that show the benefits of using our methodology.

关键词： cloud computing developmental genetic programming real-time system quality of service

来源：评论

学校读者我要写书评

暂无评论

Agile Visual programming of a Multi-robot Cyber-Physical System with Operator Interaction 7

Agile Visual Programming of a Multi-robot Cyber-Physical Sys...

引用

7th international conference on Robotics and Automation Engineering (ICRAE)

作者： Sartori, Alberto Schlette, Christian Univ Southern Denmark Maersk McKinney Moller Inst SDU Robot Odense Denmark

ISBN: (纸本)9781665489188

this paper presents an improvement of the Visual programming experience for a multi-robot cyber-physical system used to support an operator in the manufacturing task of assembly and disassembly of injection molds. A Digital Twin of the robotic system is used to run simulations and subsequently control the physical components involved in the work cell, including a human-machine touchscreen interface called Operator Device. Other than improving the simulation with a visual update of the assembly, we introduce the use of ServiceNetworks to simplify the reuse of groups of blocks in the Visual programming environment. ServiceNetworks can be used to describe complex and repetitive sub-tasks of the assembly, like screwing operations. To support the programming experience, we introduce a new interface to add ServiceNetworks and specify their properties. An experimental demonstration is presented to show the usage of the introduced tools and the derived advantages.

关键词： visual programming digital twin multi-robot support system human-machine interaction

来源：评论

学校读者我要写书评

暂无评论

Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell

引用

SCIENCE OF COMPUTER programming 2007年第2期65卷 72-107页

作者： Atanassow, Frank Jeuring, Johan CWI Ctr Math & Comp Sci NL-1090 GB Amsterdam Netherlands Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands Open Univ Heerlen Netherlands

this paper introduces a type-preserving XML Schema-Haskell data binding (or, translation) UUXML, and shows how to customize it by exploiting the theory of canonical isomorphisms to automatically infer coercions between the machine-generated types and an equivalent, more natural, user-defined set of types. We show how to implement the inference mechanism in Generic Haskell. (c) 2006 Elsevier B.V. All rights reserved.

关键词： Generic programming polytypic programming Generic Haskell isomorphisms XML Schema

来源：评论

学校读者我要写书评

暂无评论

Global optimization method for Min-Max MPC based on Wiener and Hammerstein model 7

Global optimization method for Min-Max MPC based on Wiener a...

引用

7th international conference on Modelling, Identification and Control (ICMIC)

作者： Degachi, Hajer Chagra, Wassila Ksouri, Moufida Tunis El Manar Univ Natl Engn Sch Tunis LR11ES20 Anal Concept & Control Syst Lab Tunis Tunisia Tunis El Manar Univ El Manar Preparatory Inst Engn Studies LR11ES20 Anal Concept & Control Syst Lab Tunis Tunisia

ISBN: (纸本)9780956715753

In the present work, a global optimization method known as the Generalized Geometric programming (GGP) is used. the technique of convexification used in the present work is different from others presented in earlier works. the presented GGP allows to obtain the global optimum by few transformation applied to the original optimization problem. But for the other convexification technique many constraints will be taken into account to get the convex criterion. the GGP method allows to compute the optimal control sequence over a prediction horizon. the obtained sequence of input control is the solution of a min-max optimization problem. Hammerstein and Wiener models are presented where bounded uncertainties are considered with respect to parameters of the linear bloc. the efficiency of the GGP method is demonstrated through a simulation example.

关键词： robust model predictive control global optimization generalized geometric programming method Wiener model Hammerstein model

来源：评论

学校读者我要写书评

暂无评论

Logibot: Investigating Engagement and Development of Computational thinking through Virtual Reality 7

Logibot: Investigating Engagement and Development of Computa...

引用

7th international conference of the Immersive-Learning-Research-Network (iLRN)

作者： Sims, Robert Rutherford, Nathan Sukumaran, Prashanthy Yotov, Nikola Smith, thomas Karnik, Abhijit Univ Lancaster Sch Comp & Communicatu Lancaster England

ISBN: (纸本)9781734899528

In this study we assess the effects of teaching fundamental programming concepts through a virtual reality (VR) block-based programming application and its impact on engagement. As a comparison study, participants played an existing desktop-based game (LightBot) and the developed VR game (LogiBot) covering similar gameplay mechanics and block-based programming. Initial results indicate that traditional desktop applications are currently more engaging than VR for teaching programming. We thus identify the need for careful design of interaction methods to support ease of use and reward factors to promote engagement in VR-based learning applications beyond the initial wow-factor.

关键词： virtual reality engagement education visual programming

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on programming Languages: Implementations, Logics and Programs, PLILP 1995

7th International Symposium on Programming Languages: Implem...

引用

7th international Symposium on programming Languages: Implementations, Logics and Programs, PLILP 1995

ISBN: (纸本)354060359X

the proceedings contain 34 papers. the special focus in this conference is on functional programming and Narrowing. the topics include: A generic program for sequential decision processes;parsing visual languages with constraint multiset grammars;programming with constructor classes;towards a taxonomy of functional language implementations;a verified implementation of narrowing;a new calculus for semantic matching;a complete narrowing calculus for higher-order functional logic programming;exploiting parallelism in tabled evaluations;design and implementation of jump tables for fast indexing of logic programs;an abstract machine for Oz;uniform PERs and comportment analysis;uniqueness type inference;mode analysis of arrays and array comprehensions;better consumers for deforestation;efficient compile-time garbage collection for arbitrary data structures;efficient multi-level generating extensions;mechanically verifying the correctness of an offline partial evaluator;a semantic model of binding times for safe partial evaluation;lazy functional components for graphical user interfaces;lightweight GUIs for functional programming;lazy functional components for graphical user interfaces;lightweight GUIs for functional programming;a functional framework for deterministically interleaved interactive programs;a debugging model for lazy narrowing;evaluation of expressions in a multiparadigm framework;an expression-or-parallel implementation for a functional logic language;attributed models of executable specifications;approximating constraint logic programs using polymorphic types and regular descriptions;performance of a data-parallel concurrent constraint programming system and a portable implementation of memoing evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Control Optimization for Liquid Pipelines under Leak Condition 7

Control Optimization for Liquid Pipelines under Leak Conditi...

引用

7th international conference on Industrial Technology and Management (ICITM)

作者： Zhang, Haoran Zhang, Wan Xu, Ning Yuan, Meng Liang, Yongtu China Univ Petr Beijing Key Lab Urban Oil & Gas Distribut Technol Beijing Peoples R China

ISBN: (纸本)9781538613290

Apart from posing a threat to people's security, liquid pipeline leak will generate a large scale of environmental pollution, taking its toll for individuals and enterprises. An active control can minimize the impact. the hydraulic system of a pipeline is rather complex under leak condition, making it difficult to work out a plan for the optimal control scheme of pipeline's hydraulic devices. Researchers have proposed a series of methods to solve the optimal control scheme of a leak pipeline, few of which have taken complex transient process into consideration. the paper proposes a mixed-integer linear programming model to address the problem, and applies the branch and bound algorithm for model solution. the objective of the model is to find out an optimal control scheme to reduce the leakage volume to minimum. the transient process, hydraulic constraints, device constraints and flow rate constraints are considered in the model and the branch and bound algorithm is used to solve the model. Experiments on a real-world liquid pipeline have demonstrated the practicability and high reliability of the proposed model.

关键词： control scheme liquid pipeline mixed-integer linear programming model leak condition

来源：评论

学校读者我要写书评

暂无评论

the effect of self-efficacy and scaffolding on students' programming learning in robotics learning context 7

The effect of self-efficacy and scaffolding on students' pro...

引用

7th IEEE international conference on Ubi-Media Computing and Workshops (U-MEDIA)

作者： Lin, Chun Hung Liu, Eric Zhi Feng Natl Cent Univ Grad Inst Learning & Instruct Ctr Teacher Educ Jhongli Taiwan

ISBN: (纸本)9781479942664

the main purpose of this study was to investigate the influence of scaffolding and self-efficacy on students' programming learning performance in robotics learning environment. there were 89 junior high school students participated in the study. the results indicated that there is significant interaction between scaffolding mechanism and learning motivation on students' learning performance. the introduction of design journal did not have a significant effect on the learning performance of students with high self-efficacy;however, design journal had pronounced benefits for students with moderate self-efficacy. According to the findings, we proposed some directions for future studies.

关键词： self-efficacy robotics scaffolding motivation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：