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

An Exploratory Practice of Integration of Industry and Education in high-level programming language Course in the Background of New Engineering

引用

计算机教育 2023年第12期 272-279页

作者： Yu Zhang Xiaohong Su Jianhong Zhai Yanhang Zhang Yongfeng Yuan Yulin Zhou the Faculty of Computing Harbin Institute of TechnologyHarbin150001China Huawei Technologies Co.Shenzhen 518129China

This paper analyzes some problems of the current teaching situation in the course high-level programming language,such as the lagging content of the course compared with technology development,the emphasis on theory rather than on practice,the low enthusiasm of students for learning,and the weak practical ability of *** response to the needs of enterprises for talents under the background of New Engineering,especially the cultivation of students’adaptability and practical abilities towards future industries to improve students’knowledge and problemsolving abilities to keep up with the modern technology,this paper proposes the ways and methods to reform and explore the teaching content and teaching methods by integrating industry and education,assisting teaching according to industrial demands,and lowering technology barriers of new *** practical effect is evaluated through a survey in class and the follow-up questionnaire after class,and the results show that the effect of the practice is effective.

关键词： high-level programming language New Engineering Integration of Industry and education Practical project-based courses

来源：评论

学校读者我要写书评

暂无评论

IAL - A PARALLEL IMAGE-PROCESSING programming language

引用

IEE PROCEEDINGS-I COMMUNICATIONS SPEECH AND VISION 1990年第3期137卷 176-182页

作者： CROOKES, D MORROW, PJ MCPARLAND, PJ Department of Computer Science Queen's University of Belfast Belfast UK

The paper describes a high-level programming language for image processing, called IAL (Image Algebra language). IAL has been designed for low-level image processing applications. It has been implemented on transputer networks. IAL provides mechanisms whereby a programmer can specify image processing operations algebraically on the complete image. The implementation automatically parallelises the program, distributes the image data and controls all interprocess communication. The language is based on image algebra (a mathematical notation developed specifically for low-level image processing at the University of Florida). The paper describes the features of the language and provides an outline of some of the strategies used in implementing it on a transputer network.

关键词： parallel programming parallel image processing programming language Computer vision and image processing techniques interprocess communication control IAL Optical information, image and video signal processing image algebra language algebra high level languages high level languages computerised picture processing high-level programming language transputer network transputers image data distribution

来源：评论

学校读者我要写书评

暂无评论

Web-based shape modeling with hyperFun

引用

IEEE COMPUTER GRAPHICS AND APPLICATIONS 2005年第2期25卷 60-69页

作者： Cartwright, R Adzhiev, V Pasko, AA Goto, Y Kunii, TL Bournemouth Univ Poole BH12 5BB Dorset England Hosei Univ Tokyo Japan Kanazawa Inst Technol Kanazawa Ishikawa Japan

Shape modeling systems based on the HyperFun modeling language treat Internet-based shape modeling as a resource and let users collaborate in shape development.

关键词： Internet open systems solid modelling virtual reality languages HyperFun project Web-based shape modeling high-level programming language open system architecture realistic behavior HyperFun Java Shape modeling Web-based modeling applet empirical modelin applets Internets virtual reality language Java programming language high-level programming languages OPEN SYSTEM ARCHITECTURE entity modeling open systems

来源：评论

学校读者我要写书评

暂无评论

BioBlocks: programming Protocols in Biology Made Easier

引用

ACS SYNTHETIC BIOLOGY 2017年第7期6卷 1230-1232页

作者： Gupta, Vishal Irimia, Jesus Pau, Ivan Rodriguez-Paton, Alfonso Univ Politecn Madrid Dept Inteligencia Artificial Campus Montegancedo Boadilla Del Monte 28660 Madrid Spain

The methods to execute biological experiments are evolving. Affordable fluid handling robots and on-demand biology enterprises are making automating entire experiments a reality. Automation offers the benefit of high-throughput experimentation, rapid prototyping, and improved reproducibility of results. However, learning to automate and codify experiments is a difficult task as it requires programming expertise. Here, we present a web-based visual development environment called BioBlocks for describing experimental protocols in biology. It is based on Google's Blockly and Scratch, and requires little or no experience in computer programming to automate the execution of experiments. The experiments can be specified, saved, modified, and shared between multiple users in an easy manner. BioBlocks is open-source and can be customized to execute protocols on local robotic platforms or remotely, that is, in the cloud. It aims to serve as a de facto open standard for programming protocols in Biology.

关键词： lab automation rapid prototyping reproducibility Blockly Scratch high-level programming language

来源：评论

学校读者我要写书评

暂无评论

PaR-PaR Laboratory Automation Platform

引用

ACS SYNTHETIC BIOLOGY 2013年第5期2卷 216-222页

作者： Linshiz, Gregory Stawski, Nina Poust, Sean Bi, Changhao Keasling, Jay D. Hilson, Nathan J. Joint BioEnergy Inst Fuels Synth Div Emeryville CA 94608 USA Univ Calif Berkeley Lawrence Berkeley Natl Lab Phys Biosci Div Berkeley CA 94720 USA Univ Calif Berkeley Dept Chem & Biomol Engn Dept Bioengn Berkeley CA 94720 USA DOE Joint Genome Inst Walnut Creek CA 94598 USA

Labor-intensive multistep biological tasks, such as the construction and cloning of DNA molecules, are prime candidates for laboratory automation. Flexible and biology-friendly operation of robotic equipment is key to its successful integration in biological laboratories, and the efforts required to operate a robot must be much smaller than the alternative manual lab work. To achieve these goals, a simple high-level biology-friendly robot programming language is needed. We have developed and experimentally validated such a language: programming a Robot (PaR-PaR). The syntax and compiler for the language are based on computer science principles and a deep understanding of biological workflows. PaR-PaR allows researchers to use liquid-handling robots effectively, enabling experiments that would not have been considered previously. After minimal training, a biologist can independently write complicated protocols for a robot within an hour. Adoption of PaR-PaR as a standard cross-platform language would enable hand-written or software-generated robotic protocols to be shared across laboratories.

关键词： synthetic biology design automation liquid-handling robotics laboratory automation high-level programming language

来源：评论

学校读者我要写书评

暂无评论

Improved Real Number Model Verification Using Post-Processed Analog Simulations 43

Improved Real Number Model Verification Using Post-Processed...

引用

43rd International Semiconductor Conference (CAS)

作者： Firanescu, F. Tudora, D. Craciun, M. Dobrescu, D. Dobrescu, L. Univ Politehn Bucuresti Bucharest Romania Infineon Technol Romania Bucharest Romania

ISBN: (纸本)9781728110738

Electronic circuit development process involves many steps, including pre-silicon verification, which is too slow and lengthy for the electronic circuit market. The entire verification time can be greatly reduced by introducing behavioral modeling using real numbers. However, behavioral modeling engineers face the problem of long model verification time, mostly affected by the time consumed on schematic simulation. This paper presents a new methodology that uses Virtuoso environment, Cadence integrated scripting languages and high-level programming languages in order to achieve a considerable reduction in said verification time. This is accomplished through analog simulation post-processing done by the developed algorithms, whilst only requiring the digital engine for model's verification. Consequently, the analog engine is used only when the changes brought to the schematic circuit will determine a different circuit behavior.

关键词： real number modeling model verification analog circuits simulation time minimization high-level programming language

来源：评论

学校读者我要写书评

暂无评论

CONDELA-3 - A language FOR NEURAL NETWORKS

CONDELA-3 - A LANGUAGE FOR NEURAL NETWORKS

引用

INTERNATIONAL JOINT CONF ON NEURAL NETWORKS ( IJCNM-90 )

作者： ALMASSY, N KOHLE, M SCHONBAUER, F Inst fuer Praktische Inf Technische Univ Wien Vienna Austria

Condela-3 (connection definition language) is a high-level programming language specifically designed for the development and modeling of neural network applications. It is a procedural and general-purpose language that allows parallelism via the concept of selections, i.e. groups of units or connections to which actions can be applied. Units and connections can be created dynamically at any point in the program flow. The parallelism expressible in Condela-3 is independent of the underlying hardware. Condela-3 is easy to teach, having few language constructs, yet allows the expression of arbitrary network topologies and learning paradigms due to its powerful statements and to its two levels of abstraction. It is easily portable to other operating systems, and its open design allows simple interfacing to existing applications.

关键词： Condela-3 language neural networks connection definition language high-level programming language modeling general-purpose language parallelism learning paradigms high level languages neural nets

来源：评论

学校读者我要写书评

暂无评论

Python® Projects 1

引用

2014年

作者： Laura Cassell Alan Gauld

ISBN: (数字)9781119207580

ISBN: (纸本)9781118908662

A guide to completing Python projects for those ready to take their skills to the next level Python Projects is the ultimate resource for the Python programmer with basic skills who is ready to move beyond tutorials and start building projects. The preeminent guide to bridge the gap between learning and doing, this book walks readers through the "where"and "how"of real-world Python programming with practical, actionable instruction. With a focus on real-world functionality, Python Projects details the ways that Python can be used to complete daily tasks and bring efficiency to businesses and individuals alike. Python Projects is written specifically for those who know the Python syntax and lay of the land, but may still be intimidated by larger, more complex projects. The book provides a walk-through of the basic set-up for an application and the building and packaging for a library, and explains in detail the functionalities related to the projects. Topics include: *How to maximize the power of the standard library modules *Where to get third party libraries, and the best practices for utilization *Creating, packaging, and reusing libraries within and across projects *Building multi-layered functionality including networks, data, and user interfaces *Setting up development environments and using virtualenv, pip, and more Written by veteran Python trainers, the book is structured for easy navigation and logical progression that makes it ideal for individual, classroom, or corporate training. For Python developers looking to apply their skills to real-world challenges, Python Projects is a goldmine of information and expert insight.

关键词： Python Projects Laura Cassell Alan Gauld beginner Python introduction to Python learning Python Python applications beginner Python projects Python help using Python simple Python projects Python text Python training Python tutorials using Python libraries Python library sources working with Python building with Python libraries Python and pip Python and virtualenv how to use Python where to apply Python high-level programming language general-purpose programming language Python corporate training

来源：评论

学校读者我要写书评

暂无评论

Interaction Analysis of Annotated Specification and Program Codes in Extended Static Checking

Interaction Analysis of Annotated Specification and Program ...

引用

IEEE RIVF International Conference on Computing & Communication Technologies Research, Innovation, and Vision for the Future (RIVF)

作者： Truong-Thang Nguyen Manh-Dong Tran Vietnam Acad Sci & Technol Inst Informat Technol Hanoi Vietnam

ISBN: (纸本)9781479980444

Software cost can be reduced if more software defects are detected earlier in the development phase. Motivated by the Extended Static Checking (ESC) technique, many programming errors have been discovered by ESC tools. In a typical ESC procedure, the source code of a program written in a high-level programming language, e.g. Java [1] or C#, Spec# [2], is translated into some logical imperative-style language, resp. Guarded Commands [1] or BoogiePL [2]. At the same time, associated annotated specifications which state constraints of the program are also translated into the same logical language. This two-fold translation phase induces code-interleaving phenomenon of annotated specification and program. The subsequent phases in ESC relies on the interleaving codes while there is a possibility that logical imperative codes translated from annotated specification may change behavior of the original program. This paper proposes a formal analysis approach of possible interaction between specification and program codes. It does not only show the range of specification categories which are safe in this ESC procedure, but also presents cases for potential ESC unsoundness.

关键词： logic programming languages program diagnostics software reliability BoogiePL C ESC tools Java Spec annotated specification code-interleaving phenomenon extended static checking technique guarded commands high-level programming language interaction analysis logical imperative codes logical imperative-style language logical language program codes software cost software defects two-fold translation phase Arrays Cognition Information technology programming Semantics high-level programming languages Java programming language Java analysis programme Specifications Electronic stability control(ESC) Software reliability program code programming information technology Semantics software cost estimation Cognition logic programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：