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

META II: Digital Vellum in the Digital Scriptorium

COMMUNICATIONS OF THE ACM 2015年第3期58卷 43-48页

作者： Long, Dave

Revisiting Schorre's 1962 *** MATERIALS AVAILABLE FOR DOWNLOAD Buy this article Html (33KB)PDF (115KB)Digital Edition

关键词： programming languages (Electronic computers) Computer programming Compilers (Computer programs) programming software Recursion theory Python (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

Using Robotics as a Learning Tool in Latin America and Spain

引用

IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA 2014年第4期9卷 144-150页

作者： Pitti-Patino, Kathia Curto Diego, Belen Moreno Rodilla, Vidal Rodriguez Conde, Maria Jose Fernando Rodriguez-Aragon, Jesus Univ Salamanca Dept Theory & Hist Educ E-37008 Salamanca Spain Univ Salamanca Dept Comp & Automat Syst Engn & Automat E-37008 Salamanca Spain Univ Salamanca Dept Comp & Automat Robot & Soc Grp E-37008 Salamanca Spain Univ Salamanca Dept Didact Org & Res Methods Teacher Training Res & Evaluat Methodol E-37008 Salamanca Spain

Robotics has become a learning tool for multiple environments in ordinary school and after-school programs. This paper presents the perceptions of 127 teachers who teach educational robotics (ER) in Latin America and Spain at several preuniversity education levels. The studied dimensions were: 1) teacher profile;2) technological resources;3) learning activities;4) environmental characteristics;and 5) learning outcomes. The analysis suggests that learning outcomes in ER activities are related to attributes of the learning environment and the pedagogical approach.

关键词： Educational robotics educational robotic platforms learning outcomes learning environment learning tool pedagogical approach programming software robotics

来源：评论

学校读者我要写书评

暂无评论

programming and Simulating Automated Fiber Placement (AFP) CNC Machines

引用

SAMPE JOURNAL 2013年第6期49卷 7-13页

作者： Hasenjaeger, B. CGTech Irvine CA USA

Most users of Computer Numerically Controlled (CNC) Automated Fiber Placement (AFP) machinery use off-line Numerically Controlled (NC) programming software supplied by the machine builder. This machine builder-supplied software only works with their specific machine, forcing manufacturers to implement multiple off-line NC programming products when using multiple brands or vintages of machines. The more mature CNC metal-cutting industry started the same way, but has now evolved into a clear separation and cooperation between independent software and machine suppliers. This has freed the end-user company to select the best machine for the job, while using one universal software application to create NC programs for a variety of machine brands or vintage. When combined with composite design software tools that specifically take into account AFP manufacturing requirements early in the product development cycle, engineering and manufacturing specifications are seamlessly transferred to the manufacturing process. This paper discusses the implementation and use of machine-independent off-line NC programming software as it applies to CNC fiber placement machines.

关键词： placement Numerical controls programming software Vintage machinery OFF LINE machine independent machine stand-alone software

来源：评论

学校读者我要写书评

暂无评论

Resources and Features of Robotics Learning Environments (RLEs) in Spain and Latin America 13

Resources and Features of Robotics Learning Environments (RL...

引用

1st International Conference on Technological Ecosystem for Enhancing Multiculturality (TEEM)

作者： Pitti, Kathia Curto, Belen Moreno, Vidal Jose Rodriguez, Ma Univ Salamanca Paseo Canalejas 169 E-37008 Salamanca Spain

ISBN: (纸本)9781450323451

In today's information society there is a wide range of resources available to carry out different activities involving Educational Robotics (ER). Teachers can choose from a variety of robotics platforms, such as EIM, IM or I (Electronics/Mechanics/Informatics), as well as different software programs (textual or graphical), and thus eventually create a particular Robotics Learning Environment (RLE). Recent studies have shown that learning results associated with ER activities have a stronger link to RLE factors than to proper tools. In this paper we examine the state of the art (RLE resources and features) of ER in Spain and Latin America. A total of 127 teachers completed an online survey between March and May 2013. The final results confirm similar features existing between ordinary school activities and those carried out after school, as well as a high presence of hereby proposed features (active, manipulative, constructive, collaborative, reflexive, intentional, complex, conversational, contextual and technological), promoting significant learning. However, there are important differences with regard to gender, age and participants' countries of origin, as well as their participation in competitions, and their implementation of phases or roles, depending on the different features taken into consideration. This paper points at the importance of focusing research on pedagogical actions which may strengthen RLE features, and thus improve learning results.

关键词： Educational Robotics Robotics Learning Environment Educational Robotic Platforms programming software Meaningful Learning with Technology

来源：评论

学校读者我要写书评

暂无评论

Interpretation of radioimpedance sounding data for different models of environment

Interpretation of radioimpedance sounding data for different...

引用

2013 23rd International Crimean Conference Microwave and Telecommunication Technology, CriMiCo 2013

作者： Bashkuev, Yu.B. Angarkhaeva, L.Kh. Balkhanov, V.K. 6 Sakhyanova Str. Ulan-Ude 670047 Russia

The description of program software for solution of direct and inverse problems of radio impedance sounding is presented. Results of interpretation of radio impedance sounding for different models of Baikal region env... 详细信息

ISBN: (纸本)9789663354019

关键词： INTERPRETATION RADIOIMPEDANCE SOUNDING ENVIRONMENT Environments interpretation sounding Inverse method programming software bathymetric surveys

来源：评论

学校读者我要写书评

暂无评论

Thermoelastic vibration analysis of Mems/Nems plate resonators with voids

引用

ACTA MECHANICA 2012年第1期223卷 167-187页

作者： Sharma, J. N. Grover, D. Natl Inst Technol Dept Math Hamirpur 177005 India

In this paper, the effect of voids, relaxation times, thermomechanical coupling, surface conditions, and plate dimensions on energy dissipation induced by thermoelastic damping in microelectronics mechanical systems (MEMS)/ nanoelectronics mechanical systems (NEMS) resonators are investigated. Closed form expressions for the transverse vibrations of a homogenous isotropic, thermoelastic thin plate with voids, based on Kirchhoff theory have been derived. The exact solutions for the free vibrations of plates under clamped-simply supported (CS) and simply supported-simply supported (SS) conditions are obtained. Analytical expressions for deflection, temperature change, frequency shifts, and thermoelastic damping in the plate have been derived. Some numerical results with the help of MATLAB programming software in case of silicon nitride and magnesium like material have also been presented.

关键词： free vibrations Mechanical systems Kirchhoff&apos s Law silicon nitrides Energy dissipation programming software SURFACE CONDITIONS Vibration analysis Resonator Device Component

来源：评论

学校读者我要写书评

暂无评论

Thermoelastic vibrations in micro-/nano-scale beam resonators with voids

引用

JOURNAL OF SOUND AND VIBRATION 2011年第12期330卷 2964-2977页

作者： Sharma, J. N. Grover, D. Natl Inst Technol Dept Math Hamirpur 177005 India

In this paper the closed form expressions for the transverse vibrations of a homogenous isotropic, thermoelastic thin beam with voids, based on Euler-Bernoulli theory have been derived. The effects of voids, relaxation times, thermomechanical coupling, surface conditions and beam dimensions on energy dissipation induced by thermoelastic damping in (micro-electromechanical systems) MEMS/(nano-electromechanical systems) NEMS resonators are investigated for beams under clamped and simply supported conditions. Analytical expressions for deflection, temperature change, frequency shifts and thermoelastic damping in the beam have been derived. Some numerical results with the help of MATLAB programming software in case of magnesium like material have also been presented. The computer simulated results in respect of damping factor and frequency shift have been presented graphically. (C) 2011 Elsevier Ltd. All rights reserved.

关键词： THERMOELASTICITY RESONATORS VIBRATION (Mechanics) ENERGY dissipation ELECTROMECHANICAL devices NUMERICAL analysis programming software COMPUTER simulation

来源：评论

学校读者我要写书评

暂无评论

Compiler Research: The Next 50 Years

引用

COMMUNICATIONS OF THE ACM 2009年第2期52卷 60-67页

作者： Hall, Mary Padua, David Pingali, Keshav Univ Utah Sch Comp Salt Lake City UT 84112 USA Univ Illinois Urbana IL 61801 USA Univ Texas Austin Dept Comp Sci Austin TX 78712 USA Univ Texas Austin Inst Computat Engn & Sci Austin TX 78712 USA

The article discusses research done in the area of computer compiler technology, which is defined as a computer program that translates a program written in a high-level language into another language, usually machine language. 2007 was the 50th anniversary of IBM's (International Business Machine's) release of the first optimizing compiler, the authors state. Topics include directions compiler technology make take from 2009 and beyond, a review of past contributions to compiler technology, and the status of compiler technology in 2009.

关键词： COMPILERS (Computer programs) COMPUTER programs RESEARCH programming software SYSTEMS software FORECASTING COMPUTER science

来源：评论

学校读者我要写书评

暂无评论

A Simulation Model of a Four-Stroke Spark Ignition Engine Fueled With Landfill Gases and Hydrogen Mixtures

引用

JOURNAL OF ENERGY RESOURCES TECHNOLOGY-TRANSACTIONS OF THE ASME 2009年第3期131卷 0322031-0322038页

作者： Narayanan, Guruprasath Shrestha, S. O. Bade Western Michigan Univ Kalamazoo MI 49008 USA

A simulation model for establishment of performance parameters of a spark ignition engine fueled with landfill gas, methane, and landfill gas-hydrogen mixtures is described. A two zone model was employed to estimate combustion duration, ignition lag, associated mass burning rates, and performance parameters for various operating conditions in an internal combustion engine. The modeling consists of two main modules: ( a) a fuel-air and residual gas properties calculation, and (b) equilibrium combustion product properties calculation with 13 species of equilibrium combustion products. The fuel-air and residual gas module calculates gas properties required in compression stroke and the unburned zone of a combustion chamber. The equilibrium combustion products module calculates gas properties for the burned zone during combustion and expansion phases. In addition to engine parameters, combustion duration estimation methods were presented to accommodate the presence of high quantities of diluents such as carbon dioxide and nitrogen in methane to represent landfill gases, generally encountered in practice. Similarly, an effect of the addition of hydrogen in landfill gas on performance of a spark ignition engine was also incorporated in the model. The pressure traces and engine power output parameters were modeled and compared with the experimental observations obtained in a variable compression single cylinder four-stroke spark ignition cooperative fuel research engine for different fuels that include methane, landfill gas, and landfill gas-hydrogen mixtures and found satisfactory agreement. MATLAB was used as the programming software in the model. [DOI: 10.1115/1.3185344]

关键词： SIMULATION methods & models LANDFILL gases METHANE COMBUSTION chambers programming software

来源：评论

学校读者我要写书评

暂无评论

Automatic Reconstruction of Data Types in the Decompilation Problem

引用

programming AND COMPUTER software 2009年第2期35卷 105-119页

作者： Dolgova, E. N. Chernov, A. V. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia Moscow MV Lomonosov State Univ Dept Computat Math & Cybernet Moscow 119992 Russia

An algorithm for the automatic reconstruction of data types from the assembler code produced by a C compiler is described. The types of the variables that are placed on the stack and in the static memory are reconstructed using an iterative algorithm that uses a lattice over the properties of the data types. The derived data types are reconstructed by constructing the set of possible offsets of the elements of these types ( fields in the case of structures and array elements in the case of arrays). This algorithm is used in the tool for decompiling assembler codes into C that is currently developed by the authors.

关键词： COMPILERS (Computer programs) COMPUTER software programming software SYSTEMS software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：