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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,409 篇 会议
50 篇 期刊文献
33 册 图书

馆藏范围

1,490 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

检索条件"任意字段=12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1492 条记录，以下是1461-1470 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Automatic analysis and interpretation of medical images

Automatic analysis and interpretation of medical images

引用

Proceedings of the 12th Annual international conference of the IEEE Engineering in Medicine and Biology Society

作者： Beuscart, R. Roussel, P. Wartsky, M. Dubois, P. Vergnes, R. CERIM-Faculte de Medecine de Lille France

ISBN: (纸本)0879425598

the authors define a methodology for aiding the interpretation of medical images and their automatic analysis with particular attention given to the case of bone scintigraphy. three stages are considered necessary to the interpretation: segmentation and contour delineation;identification of the shapes relevant to the interpretation;and medical diagnosis. the last two stages implement logic tools which use the methodology of expert systems. the differences in interpretation (inter-observer differences) can also be simulated. With the proposed approach, the subjectivity of the observer can be taken into account, simulated, and used to express different points of view.

关键词： Biomedical Engineering

来源：评论

学校读者我要写书评

暂无评论

Design concepts and functional requirements of third generation thermal imaging systems

Design concepts and functional requirements of third generat...

引用

Proceedings of the 12th Annual international conference of the IEEE Engineering in Medicine and Biology Society

作者： Bales, Maurice J. Bales Scientific Inc Walnut Creek CA USA

ISBN: (纸本)0879425598

the concepts and technology incorporated into the new Bales Scientific thermal image processor (TIP) a third-generation medical thermographic system are discussed. the evolution of medical thermography is chronicled with emphasis on the present clinical need for reliable high resolution imaging systems capable of full image manipulation, analysis nodes, and database management. It is shown how this system allows the user to select the frame rate, field-of-view, and image resolution and to optically zoom any area of interest to suit a specific application. the Bales TIP provides the user with extensive diagnostic tools including high-low-average temperature, thermal gradients, histograms, fast Fourier transforms, real-time total image flip, and image subtraction. the patient database includes mini-image viewing and the ability to store normal standards data for use in study comparisons.

关键词： thermography

来源：评论

学校读者我要写书评

暂无评论

Mathematical models for the construction of a renewable energy hybrid plant

Mathematical models for the construction of a renewable ener...

引用

international conference on Telecommunications Energy (INTELEC)

作者： G.P. Marchetti M. Piccolo P.T. Ministry Rome Italy

In order to develop renewable energy sources technology in power supply plants, it is necessary to provide designers with tools capable of recognizing at short notice any areas of convenience in its utilization, either as a stand-alone or as a hybrid (with generator back-up) project. Typical renewable sources considered are solar and wind energy, but the results are applicable to any other energy source. the block diagram of the plant includes renewable generator(s), storage battery, and standby diesel engine generator. At first, the authors developed an analysis based on a mathematical model that included only one renewable random source. this model related environmental statistical factors to the sizing parameters and consequently to the costs of each block. However, since the sizing is not univocally defined, the model takes the battery autonomy as 'variable' and executes on it an optimization process finalized to minimum overall cost. In conclusion, the resulting output gives either the optimized sizing parameters or the costs of each block. A step-by-step optimization procedure is described including: annual cost vs battery autonomy function consideration; mathematical approach to the environmental influence; sizing criteria of the renewable generator; the database utilized and its analysis; model algorithms; comparison between experimental and theoretical results; and the two renewable generators model.< >

关键词： Mathematical model Renewable energy resources Solar power generation Wind energy generation Batteries Cost function Standby generators Emergency power supplies Power generation Hybrid power systems

来源：评论

学校读者我要写书评

暂无评论

the 'Catch 22' of reengineering

The 'Catch 22' of reengineering

引用

international conference on Software Engineering (ICSE)

作者： W. Kozaczynski Center for Strategic Technology Research Andersen Consulting

In the software reengineering discussion it is assumed that the system can be understood on the following four levels: the programming language level, the control structure level, the generic algorithm level, and the problem domain level. It is noted that it is now possible to build tools which understand systems on the first three levels. there have been considerable advances in system data analysis that will lead directly to identification of abstract data types and objects. It is suggested that future progress will critically depend on the ability to represent and reason about the problem domain. the reengineering systems of tomorrow will require knowledge not only of software engineering, but more important, of particular problem domains.< >

关键词： Design engineering System analysis and design Inventory management Insurance Assembly systems Spirals Programming profession Lab-on-a-chip systems engineering and theory Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Automatic maintenance of routine programming tasks based on a declarative description

Automatic maintenance of routine programming tasks based on ...

引用

international conference on Software Engineering (ICSE)

作者： D.B. Bernstein R. Farrow Vantage Analysis Systems Inc. USA Declarative Systems Inc.

the authors describe the writing of a small, very specific, software tool, Igor, that automates the creation and maintenance of many routine and repetitive code fragments used in a large software system. Igor is viewed as an application-specific application generator; it generates C source code from a higher level specification as an application generator does, and it is designed to be used only for this one purpose in this one project. the data structure is described in a concise, declarative notation, and a special-purpose translator was written to process the description. the translator generates files of source code that implement the many simple declarations, manipulations, and interrogations of this data structure. the authors discuss experience using this paradigm to implement the intermediate format and how it contributed to solving the larger task of building the CAE (computer-aided engineering) system of which it is a part. the authors compare their solution with other approaches and examine what aspects of the paradigm may be applicable to other software development efforts.< >

关键词： Maintenance Automatic programming Application software Data structures Writing Software tools Software systems Buildings Computer aided engineering systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Building an evolution transformation library

Building an evolution transformation library

引用

international conference on Software Engineering (ICSE)

作者： W.L. Johnson M. Feather USC Information Sciences Institute Marina del Rey CA USA

the authors have been developing knowledge-based tools to support the evolutionary development of specifications. Evolution is accomplished by means of evolution transformations, which are meaning-changing transformations applied to formal specifications. A sizable library of evolution transformations has been developed for the specification language Gist. the authors assess the results of their previous work on evolution transformations. they then describe their current efforts to build a versatile, usable evolution transformation library. they have identified important dimensions along which to describe transformation functionality, so that it is possible to assess the coverage of a library along each dimension. the potential applicability of this formal evolution paradigm to other environments is assessed.< >

关键词： Software libraries Formal specifications Specification languages Programming Contracts Feathers Information analysis Knowledge based systems Computer languages Intersymbol interference

来源：评论

学校读者我要写书评

暂无评论

INVERSE analysis OF SETTLEMENT CHARACTERISTICS OF BANGNA-BANGPAKONG HIGHWAY, thAILAND IN SUBSIDING ENVIRONMENT

INVERSE ANALYSIS OF SETTLEMENT CHARACTERISTICS OF BANGNA-BAN...

引用

12th international CONF ON SOIL MECHANICS AND FOUNDATION ENGINEERING ( XII ICSMFE/CIMSTF )

作者： BERGADO, DT AHMED, S SAMPACO, CL LEKHAK, BN Asian Inst of Technology Bangkok Thailand

ISBN: (纸本)9061918936

Time-settlement data of more than 30 different sections of the 55 km long Bangna-Bangpakong Highway were studied by inverse analysis. the deformation parameters, namely: undrained modulus, E_u;drained modulus, E′;and coefficient of consolidation, C_v, were back-figured from the field performance of the highway embankment and the following correlations were found: E_u/S_uv = 150, E′/S_uv = 15, and C_v(field)/C_v(lab) = 26, where S_uv is the vane shear strength. It was also found that C_v values were overestimated by the method of Asaoka (1978) when the during-construction time-settlement curve was used, and best estimated from post-construction data. For prediction of construction settlements, the method of Cox (1981) which is a combination of the method of D'Appolonia et al (1971) for immediate settlements and that of Leroueil et al (1978) for consolidation settlements, underpredicted settlements at some sections but yielded conservative estimates by adding secondary settlements since the beginning of construction. A good estimate of long term settlement was obtained for firmer sections by the method of Skempton & Bjerrum (1957) and the method of Asaoka (1978) generally underpredicted. the elastic method of Davis & Poulos (1968) gave the best estimates of both construction and post construction settlements when back-figured parameters were used.

关键词： Highway systems

来源：评论

学校读者我要写书评

暂无评论

NI, AI, AND thE NETWORK OPERATIONS ASSISTANT 12

NI, AI, AND THE NETWORK OPERATIONS ASSISTANT

引用

12th international Computer Measurement Group conference, CMG 1986

作者： Berkowitz, Howard C. Corporation for Open Systems

To deal with the sometimes overwhelming volume of performance end availability tools, busy and inexperienced network operations personnel desperately need assistance. Requirements for such assistance are discussed. A fast, cheap method for providing expert assistance is presented. this Method is an alternative to an immediate leap into bleeding-edge AI technology Is a migratory one, in which expert systems not using full inference engines are layered onto existing products. It employs specialized inferential analysis to screen alarms, and intelligent help systems to assist humans in diagnosing and correcting problems. the overall concept of the alternative is called Natural Intelligence (NI), which uses human actions rather than an inference engine to access a knowledge base. © 1986 12th international Computer Measurement Group conference, CMG 1986. All rights reserved.

关键词： Inference engines

来源：评论

学校读者我要写书评

暂无评论

IMPROVEMENTS IN MULTIPROCESSOR SYSTEM DESIGN.

IMPROVEMENTS IN MULTIPROCESSOR SYSTEM DESIGN.

引用

conference Proceedings - 12th Annual international Symposium on Computer Architecture.

作者： Rodgers, David P. Sequential Computer Systems Inc Portland OR USA Sequential Computer Systems Inc Portland OR USA

ISBN: (纸本)0818606347

the availability of high-performance, low-cost microprocessors has removed one of the obstacles to construction of multiprocessor systems which are cost-performance competitive from entry levels through large systems. Advances in understanding of computer structure and focus on multiprocessor design practices has removed the performance bottlenecks associated with multiprocessor systems of the past. Better understanding of multiprocessor scheduling and synchronization in the symmetric Pool Processor Architecture built on the portable base of the UNIX system interface has removed the obstacle to easy application of multiprocessors to single applications. Current research work has produced techniques and tools to facilitate and in some cases automate the decomposition of programs to into parallel execution streams. A computer is described which exploits the removal of these barriers. the Balance 8000 is a multimicrocomputer system based on the National Semiconductor Series 32000 microprocessor. It runs DYNIX, a version of UNIX bsd 4. 2, which exploits the power of from 2 to 12 coordinated microprocessors to achieve a range of performance which approaches the sum of the performance of the individual processors.

关键词： COMPUTER systems, DIGITAL

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Nir Piterman Scott A. Smolka

ISBN: (数字)9783642367427

ISBN: (纸本)9783642367410

this book constitutes the proceedings of the 19th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2013, held in Rome, Italy, in March 2013. the 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. they are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.

关键词： Logics and Meanings of Programs Software Engineering Algorithm analysis and Problem Complexity Programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共150页 << < 141 142 143 144 145 146 147 148 149 150 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：