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

International Forum on Computer and Information Technology (IFCIT)

作者： Xu, Bo Cui, Jie Zhu, Zhankui Du, Chenglie Sci & Technol Avion Integrat Lab Shanghai 200233 Peoples R China Northwest Polytech Univ Xian 710072 Peoples R China

ISBN: (纸本)9783038350194

This paper presents a parameterized unit test framework named Semantic-PUT. It consists of batched input data model, environment isolation, program run and results assertion. The semantics of the four parts are given respectively. Unit testing of 16 algorithms have been performed using Semantic-PUT, The result shows that testing has been completed successfully, and Semantic-PUT is automated and efficient.

关键词： formal semantics syntax unit testing parameterized program language

来源：评论

学校读者我要写书评

暂无评论

An Exploration of program as language 09

An Exploration of Program as Language

引用

24th Annual ACM Conference on Object-Oriented programming, Systems, languages and Applications

作者： Baniassad, Elisa Myers, Clayton Chinese Univ Hong Kong Dept Comp Sci & Engn Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781605587349

In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstractions of the program, and the grammar of the language is the set of (generally unwritten) rules about the allowable combinations of those abstractions. As such, a program is both a language definition, and the only use of that language. This specificity means that reading a never-before encountered program involves learning a new natural language, and transporting code from one program to another requires translation from one natural language into another. We suggest that the complexity and depth of the program language is affected by the gap between the program semantics (what the program is meant to do) and the code semantics (the way in which the machine runs). We believe that in seeing that programs arc languages, we gain new insight into our own experience a;programmers, and are able to gain new perspective on the intense complexity of code and its creation.

关键词： program language

来源：评论

学校读者我要写书评

暂无评论

Seamless design: Impedance mismatch revisited

引用

programMING AND COMPUTER SOFTWARE 2006年第5期32卷 268-275页

作者： Cherkasova, P. G. Novikov, B. A. St Petersburg State Univ St Petersburg 198504 Russia

A pattern for information system implementation is proposed. The pattern is based on the commonly accepted object-oriented methodologies of design and development oriented toward widely used imperative programming languages. At the same time, this pattern makes it possible to fully use the power of declarative possibilities of the DBMS query language. The presented estimations demonstrate much higher performance of the applications obtained compared to those created by means of commonly accepted techniques.

关键词： impedance mismatch system implementation Computer programming languages program language data base language HIGH-PERFORMANCE database management systems Computer based information systems SEAMLESS Energy sources object orientation

来源：评论

学校读者我要写书评

暂无评论

Type-safe run-time polytypic programming

引用

JOURNAL OF FUNCTIONAL programMING 2006年第6期16卷 681-710页

作者： Weirich, Stephanie Univ Penn Dept Comp & Informat Sci Philadelphia PA 19104 USA

Polytypic programming is a way of defining type-indexed operations, such as map, fold and zip, based on type information. Run-time polytypic programming allows that type information to be dynamically computed - this support is essential in modern programming languages that support separate compilation, first-class type abstraction, or polymorphic recursion. However, in previous work we defined run-time polytypic programming with a type-passing semantics. Although it is natural to define polytypic programs as operating over first-class types, such a semantics suffers from a number of drawbacks. This paper describes how to recast that work in a type-erasure semantics, where terms represent type information in a safe manner. The resulting language is simple and easy to implement - we present a prototype implementation of the necessary machinery as a small Haskell library.

关键词： semiotics Semantics separate assembly program language programming information-type Runtime

来源：评论

学校读者我要写书评

暂无评论

KPIC2: An Effective Framework for Mass Spectrometry-Based Metabolomics Using Pure Ion Chromatograms

引用

ANALYTICAL CHEMISTRY 2017年第14期89卷 7631-7640页

作者： Ji, Hongchao Zeng, Fanjuan Xu, Yamei Lu, Hongmei Zhang, Zhimin Cent South Univ Coll Chem & Chem Engn Changsha 410083 Hunan Peoples R China

Distilling accurate quantitation information on metabolites from liquid chromatography coupled with mass spectrometry (LC-MS) data sets is crucial for further statistical analysis and biomarker identification. However, it is still challenging due to the complexity of biological systems. The concept of pure ion chromatograms (PICs) is an effective way of extracting meaningful ions, but few toolboxes provide a full processing workflow for LC-MS data sets based on PICs. In this study, an integrated framework, KPIC2, has been developed for metabolomics studies, which can detect pure ions accurately, align PICs across samples, group PICs to identify isotope and potential adducts, fill missing peaks and do multivariate pattern recognition. To evaluate its performance, MM48, metabolomics quantitation, and Soybean seeds data sets have been analyzed using KPIC2, XCMS, and MZmine2. KPIC2 can extract more true ions with fewer detecting features, have good quantification ability on a metabolomics quantitation data set, and achieve satisfactory classification on a soybean seeds data set through kernel-based OPLS-DA and random forest. It is implemented in R programming language, and the software, user guide, as well as example scripts and data sets are available as an open source package at https://***/hcji/KPIC2

关键词： Metabolomics Representation of data Liquid Chromatography PICs isotopes CHROMATOGRAPHY Mass spectroscopy Ions Quantitation Pattern recognition Dataset program language

来源：评论

学校读者我要写书评

暂无评论

Novice programming comes of age

引用

COMMUNICATIONS OF THE ACM 2000年第3期43卷 75-81页

作者： Smith, DC Cypher, A Tesler, L Stagecast Software Inc Palo Alto CA USA

Since the late 1960s, program language designers have been trying to develop approaches to programming computers that succeed with novices. None has gained widespread acceptance. We have now developed an entirely new approach that eliminates traditional programming languages in favor of a combination of two technologies: programming by demonstration (PBD) and visual before-after rules. This combination was never tried before. The result is the first commercial product based on PBD technology—Stagecast Creator, introduced in March 1999—enabling even children to create their own interactive stories, games, and simulations.

关键词： programing by demonstration Visualization Computer programming languages Computers program language programming simulating language designer

来源：评论

学校读者我要写书评

暂无评论

Optimal reactive power and voltage control in distribution networks with distributed generators by fuzzy adaptive hybrid particle swarm optimisation method

引用

IET GENERATION TRANSMISSION & DISTRIBUTION 2015年第11期9卷 1096-1103页

作者： Chen, Shuheng Hu, Weihao Su, Chi Zhang, Xiaoxu Chen, Zhe Univ Elect Sci & Technol China Sch Energy Sci & Engn Chengdu 611731 CN Peoples R China Aalborg Univ Dept Energy Technol DK-9220 Aalborg Denmark

A new and efficient methodology for optimal reactive power and voltage control of distribution networks with distributed generators based on fuzzy adaptive hybrid particle swarm optimisation (PSO) is proposed. The objective is to minimise comprehensive cost, consisting of power loss and operation cost of transformers and capacitors, and subject to constraints such as minimum and maximum reactive power limits of distributed generators, maximum deviation of bus voltages and maximum allowable daily switching operation number. PSO is used to solve the corresponding mixed integer non-linear programming problem and the hybrid PSO (HPSO) method, consisting of three PSO variants, is presented. In order to mitigate the local convergence problem, fuzzy adaptive inference is used to improve the searching process and the final fuzzy adaptive inference-based HPSO is proposed. The proposed algorithm is implemented in VC++ 6.0 program language and the corresponding numerical experiments are finished on the modified version of the IEEE 33-node distribution system with two newly installed distributed generators and eight newly installed capacitors banks. The numerical results prove that the proposed method can search a more promising control schedule of all transformers, all capacitors and all distributed generators with less time consumption, compared with other listed artificial intelligent methods.

关键词： Transformer voltage-reactive power control Power grids Distribute Fuzzy composite cost program language Particle swarm optimization Reactive power dispensing system Voltage regulation parametric subharmonic oscillator Self tuning

来源：评论

学校读者我要写书评

暂无评论

Erlang

引用

COMMUNICATIONS OF THE ACM 2010年第9期53卷 68-75页

作者： Armstrong, Joe Ericsson Business Unit Networks Stockholm Sweden

The article presents information on Erlang, a computer programming language available under an open-source license. It is described as a concurrent language which works well for multicore computers. Erlang was developed at the Ericsson telecommunications firm with an emphasis on fault-tolerance, and is said to use a non-defensive programming style which deals with crashes by passing only complete and self-contained messages from machine to machine. This method is described as scaling well, since it allows components to crash without affecting the overall system.

关键词： message passing Multi-core processors programming Computers shared memory Erlang functional programming language program language

来源：评论

学校读者我要写书评

暂无评论

The blind men and the elephant

引用

DR DOBBS JOURNAL 2005年第3期30卷 84-86页

作者： Swaine, M

From one perspective, it makes no difference whether a programming problem is solved by 200 lines of Fortran code or a handful of Java classes or a set of Lisp functions. Any general-purpose programming language can, in principle, solve any problem that any other general-purpose programming language can solve: That's what it means to be a general-purpose programming language. And if it's solved, it's solved. From another perspective-the working programmer's-it can make a great deal of difference what language you use to solve a problem. There is typically a domain of problem that is natural to a given programming language. Using the right tool saves time and effort.

关键词： general purpose programming language Computer programming languages Solve Elephants general purpose programming program language LISP language

来源：评论

学校读者我要写书评

暂无评论

MATH-STYLE EXPERIMENTS IN J

引用

COMPUTING IN SCIENCE & ENGINEERING 2013年第3期15卷 84-88页

作者： Reiter, Cliff Lafayette Coll Easton PA 18042 USA

J is an open source programming language with a rich collection of well-designed primitives and a consistent, compact, mathematics-like syntax. It has amazing array facilities, superb numeric and data processing capab... 详细信息

关键词： J programming language scientific computing scientific programming Computer programming languages open source iodine Scientific programmes Scientific computing syntax program language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：