检索结果-南通市图书馆

abstract— From Journal of Iron and Steel Research (in Chinese) 2005, 17(5)—2005, 17(6)

在线全文

学校读者我要写书评

暂无评论

Journal of Iron and Steel Research(International) 2006年第2期 77-83页

APPLICATIONS OF INTEGRATED SEMIGROUPS TO HIGHER ORDER abstract CAUCHY PROBLEMS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Systems Science and Mathematical Sciences 1992年第4期5卷 316-327页

作者： ZHENG Quan (Department of Mathematics,Huazhong University of Science and Technology,Wuhan 430074,China)

This paper is concerned with applications of integrated semigroups tothe following Cauchy problem:（ACPn） xn（t）=sum from i=0 to n-1 Bixi（t）,xi（0）=xi,0（?）i（?）n-1where Bi （0（?）i（?）n-1） are closed linear operators on a Banach space *** theorem,a condition of the solvability,a condition of the exponentialwell-posedness,and some results for the special case that Bn-1 is bounded andD(Bn-2)（?）D（Bi）（0（?）i（?）n-3） are obtained.

关键词： Higher order abstract Cauchy problem uniqueness solvability exponential well-posedness integrated semigroup

Brief introduction of ten-year (1991-2000) programme of science and technology for environmental protection in China (abstract)

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 1993年第2期5卷 249-250页

作者： Jin Jianming Vice Chairman of SCOPE China/CAST, NEPA

1 Science and technology for environmental protection in China The guiding principles in formulating the ten-year Programme of science and tech-nology for environmental protection are as follows: 1.1 Science and technology should be great to the need economic construction and economic construction must rely on science and technology.

关键词： abstract Brief introduction of ten-year programme of science and technology for environmental protection in China

abstract　FORM　JOURNAL　OF　CENTRAL　SOUTH　UNIVERSITY　OF　TECHNOLOGY　（CHINESE　EDITION）

在线全文

学校读者我要写书评

暂无评论

Journal of Central South University 1995年第2期7卷 84-89页

作者： $$$$

It is thought through analysis that the problems of pre-diction for ore beneficiability have basic reg-ular decomposition *** on this,the inference control strategies and work principle of inference engine have been stud-ied,and finally,a common use inference engine has been designed,which has the a-bility to solve the problems with regular de-composition pattern.4 graphs,4 refs.,1995,26(1):39~42.

关键词： abstract CENTRAL FORM EDIT

在线全文

学校读者我要写书评

暂无评论

abstract Cards

中华实验眼科杂志 2000年第1期 96-103页

Ｔｈｅｓｅａｂｓｔｒａｃｔｃａｒｄｓａｒｅｔｏｂｅｒｅｍｏｖｅｄａｎｄｓｅｐａｒａｔｅｄｆｏｒｆｉｌｉｎｇｐｕｒｐｏｓｅｓｂｙｔｈｅｒｅａｄｅｒ·Ｂｌａｎｋｃａｒｄｓａｒｅｐｒｏｖｉｄｅｄｆｏｒｍａｋｉｎｇａｄｄｉｔ... 详细信息

Ｔｈｅｓｅａｂｓｔｒａｃｔｃａｒｄｓａｒｅｔｏｂｅｒｅｍｏｖｅｄａｎｄｓｅｐａｒａｔｅｄｆｏｒｆｉｌｉｎｇｐｕｒｐｏｓｅｓｂｙｔｈｅｒｅａｄｅｒ·Ｂｌａｎｋｃａｒｄｓａｒｅｐｒｏｖｉｄｅｄｆｏｒｍａｋｉｎｇａｄｄｉｔｉｏｎａｌｎｏｔｅｓｏｒｃｒｏｓｓ...

关键词：眼科研究眼内腔玻璃体切割术玻璃体切除术 Cards abstract 最佳矫正视力摘要卡顽固性青光眼眼球穿孔伤后房型人工晶状体晶状体手术准分子激光原位角膜磨削术视网膜母细胞瘤

Matching Source Code Using abstract Syntax Trees in Version Control Systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2018年第6期11卷 318-340页

作者： Jonathan van den Berg Hirohide Haga Graduate School of Science and Engineering Doshisha University Kyoto Japan

Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the majority of worldwide software projects. Although existing version control systems provide sufficient functionality in many situations, they are lacking in terms of semantics and structure for source code. It is commonly believed that improving software version control can contribute substantially to the development of software. We present a solution that considers a structural model for matching source code that can be used in version control.

关键词： Version Control Source Code Matching abstract Syntax Tree Structured Representation

《Journal of Wuhan University(Natural Science Edition)》 Vol.50 No .5,2004 abstract

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2004年第6期9卷 987-990页

A Proposed Exercise to Reinforce abstract Thinking for Upper-Division Computer and Electrical Engineering Students: Modeling a High-Speed Inverter Using Cognitive Representations and abstract Algebra

在线全文

学校读者我要写书评

暂无评论

World Journal of Engineering and Technology 2014年第4期2卷 298-304页

作者： Robert Melendy School of Engineering and Computational Sciences Liberty University Lynchburg USA

In mathematics, physics, and engineering, abstract concepts are an indispensable foundation for the study and comprehension of concrete models. As concepts within these fields become increasingly detached from physical entities and more associated with mental events, thinking shifts from analytical to conceptual-abstract. Fundamental topics taken from the abstract algebra (aka: modern algebra) are unquestionably abstract. Historically, fundamental concepts taught from the abstract algebra are detached from physical reality with one exception: Boolean operations. Even so, many abstract algebra texts present Boolean operations from a purely mathematical operator perspective that is detached from physical entities. Some texts on the abstract algebra introduce logic gate circuits, but treat them as perceptual symbols. For majors of pure or applied mathematics, detachments from physical entities is not relevant. For students of Computer and Electrical Engineering (CpE/EE), mental associations of Boolean operations are essential, and one might argue that studying pure Boolean axioms are unnecessary mental abstractions. But by its nature, the CpE/EE field tends to be more mentally abstract than the other engineering disciplines. The depth of the mathematical abstractions that we teach to upper-division CpE/EE majors is certainly up for questioning.

关键词： abstract Thinking Sensorimotor Reenactment Neurocognition Microelectronics Boolean Algebra

Conversion of Object Oriented System into Software Product Line with Delta Modeling abstract Behavioral Specification

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer and Communications 2014年第2期2卷 85-90页

作者： Ricky Timothy Gultom Maya Retno Ayu Setyautami Iis Solichah Faculty of Computer Science Universitas Indonesia Depok Indonesia.

This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.

关键词： System Conversion abstract Behavioral Specification Delta Modeling Software Product line Object Oriented