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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

103 篇 会议
7 册 图书
3 篇 期刊文献

馆藏范围

113 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

82 篇 工学
- 76 篇 计算机科学与技术...
- 54 篇 软件工程
- 23 篇 信息与通信工程
- 12 篇 生物工程
- 11 篇 电气工程
- 8 篇 生物医学工程（可授...
- 6 篇 光学工程
- 5 篇 机械工程
- 4 篇 控制科学与工程
- 2 篇 电子科学与技术（可...
- 2 篇 农业工程
51 篇 理学
- 35 篇 数学
- 13 篇 生物学
- 12 篇 物理学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 地球物理学
13 篇 管理学
- 9 篇 图书情报与档案管...
- 4 篇 管理科学与工程(可...
- 2 篇 工商管理
5 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 3 篇 药学(可授医学、理...
- 2 篇 公共卫生与预防医...
3 篇 教育学
- 3 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 理论经济学
1 篇 法学
- 1 篇 社会学

主题

8 篇 artificial intel...
5 篇 natural language...
4 篇 computational in...
3 篇 computer science
3 篇 physics computin...
3 篇 convolution
3 篇 computational mo...
3 篇 soft computing
3 篇 cloud computing
2 篇 knowledge based ...
2 篇 quantum computin...
2 篇 concurrent compu...
2 篇 task analysis
2 篇 three-dimensiona...
2 篇 algorithms
2 篇 neural networks
2 篇 iterative method...
2 篇 dna computing
2 篇 diagnosis
2 篇 sequences

机构

4 篇 department of ma...
4 篇 department of ma...
4 篇 research center ...
3 篇 university of ca...
2 篇 computer science...
2 篇 graduate school ...
2 篇 department of co...
2 篇 institute of sof...
2 篇 school of mathem...
2 篇 school of comput...
2 篇 academic center ...
2 篇 bio-computing re...
2 篇 school of comput...
2 篇 school of comput...
2 篇 dr. b. r. ambedk...
2 篇 harbin institute...
1 篇 school of electr...
1 篇 department of co...
1 篇 informatics engi...
1 篇 department of co...

作者

5 篇 liu ting
4 篇 jagdish chand ba...
3 篇 tran dat
3 篇 che wanxiang
3 篇 wagner michael
3 篇 atulya k. nagar
3 篇 kusum deep
2 篇 aruna tiwari
2 篇 kapil ahuja
2 篇 narayan kumar k.
2 篇 kondrak grzegorz
2 篇 sonogashira moto...
2 篇 iiyama masaaki
2 篇 hwang chong-sun
2 篇 z. ibrahim
2 篇 o. ono
2 篇 y. tsuboi
2 篇 anupam yadav
1 篇 seuret mathias
1 篇 hsu shun-fa

语言

112 篇 英文
1 篇 其他

检索条件"任意字段=5th Asian Computing Science Conference on Advances in Computing Science, ASIAN 1999"

共 113 条记录，以下是11-20 订阅

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

详细简洁

排序：

A framework for formal reasoning about open distributed systems? 5th

A framework for formal reasoning about open distributed syst...

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Fredlund, Lars-Åke Gurov, Dilian Swedish Institute of Computer Science Box 1263 KistaSE-164 29 Sweden

ISBN: (纸本)354066856X

We present a framework for formal reasoning about the behaviour of distributed programs implementing open distributed systems (ODSs). the framework is based on the following key ingredients: A specification language based on the µ-calculus, a hierarchical transitional semantics of the implementation language used, a judgment format allowing parametrised behavioural assertions, and a proof system for proving validity of such assertions which includes proof rules for property decomposition. this setting provides the expressive power for behavioural reasoning required by the complex open and dynamic nature of ODSs. the utility of the approach is illustrated on a prototypical ODS. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Programming the mobility behaviour of agents by composing itineraries 5th

Programming the mobility behaviour of agents by composing it...

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Loke, Seng Wai Schmidt, Heinz Zaslavsky, Arkady CRC for Enterprise Distributed Systems Technology Monash University CaulfieldVIC3145 Australia School of Computer Science and Software Engineering Monash University CaulfieldVIC3145 Australia

ISBN: (纸本)354066856X

We present an algebra for programming the itineraries of mobile agents. the algebra contains operators for modelling sequential, parallel, nondeterministic, and conditional mobility behaviour. Iterative behaviour is also modelled by a language of regular itineraries borrowing ideas from regular expressions. We give an operational semantics for the operators using Plotkin-style transition rules and provide examples of itineraries for meeting scheduling, sales order processing, and network modelling. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Rapid prototyping techniques for fuzzy controllers 5th

Rapid prototyping techniques for fuzzy controllers

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Chantrapornchai, Chantana Tongsima, Sissades Sha, Edwin Silpakorn University Nakorn Pathom7300 Thailand National Electronics and Computer Technology Center High Performance Computing Laboratory Bangkok10400 Thailand Department of Computer Science and Engineering University of Notre Dame Notre DameIN46556 United States

ISBN: (纸本)354066856X

In this paper, a new framework for rapid system design and implementation for fuzzy systems is proposed. the given system specification is separated into two components: A conceptual specification and a parameter specification. the conceptual specification defines the system core, which is rarely changed during the system adjustment and may be implemented in hardware at an early stage of the design process. the parameter specification defines parameters that are often changed and are implemented in software for easy adjustment. Such a partitioning ap- proach integrates both hardware and software capability. the presented methodology gives a rapid prototyping and efficient system tuning process which, therefore, can reduce the development cycle time and increase flexibility when designing fuzzy systems. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Rapid prototyping

来源：评论

学校读者我要写书评

暂无评论

On automating inductive and non-inductive termination methods 5th

On automating inductive and non-inductive termination method...

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Kamareddine, Fairouz Monin, François Department of Computing and Electrical Engineering Heriot-Watt University EdinburghEH14 4AS United Kingdom

ISBN: (纸本)354066856X

the Coq and ProPre systems show the automated termination of a recursive function by first constructing a tree associated with the specification of the function which satisfies a notion of terminal property and then verifying that this construction process is formally correct. However, those two steps strongly depend on inductive principles and hence Coq and ProPre can only deal with the termination proofs that are inductive. there are however many functions for which the termination proofs are non-inductive. In this article, we attempt to extend the class of functions whose proofs can be done automatically à la Coq and ProPre to a larger class including functions whose termination proofs are not inductive. We do this by extending the terminal property notion and replacing the verification step above by one that searches for a decreasing measure which can be used to establish the termination of the function. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Recursive functions

来源：评论

学校读者我要写书评

暂无评论

Emerging application domains and the computing fabric 5th

Emerging application domains and the computing fabric

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Palem, Krishna V. The Georgia Institute of Technology and Courant Institute NYU United States

ISBN: (纸本)354066856X

computing devices are clearly proliferating in a variety of domains ranging from controlling household appliances, to the cockpits of aircraft. thus, there is an ever increasing demand for cheap and compact computers intended to perform a few functions, extremely well. Historically, customization has been the answer to this need. However, customization unfortunately implies very high costs—the exacerbated costs limit the scope of proliferation of course. To redress this and thus enable the extraordinary growth-potential of these emerging domains— loosely referred to as embedded systems here—current research in computing is revisiting established and stable technologies ranging from (high-level) programming languages at the software end of the spectrum, to gate-level design and synthesis at the hardware end. A theme that seems to be emerging, is to provide the future application developer with the advantages of customization, at costs approaching currently mass-produced commercial-off-the-shelf (COTS) software and hardware. thus, hardware is increasingly being viewed as a flexible fabric, amenable to low-cost customization based on the application developer’s needs and preferences. A goal of this talk is to outline the “point-technologies” that are being innovated to help realize this vision.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Faster model checking for open systems 5th

Faster model checking for open systems

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Mukund, Madhavan Narayan Kumar, K. Smolka, Scott A. Chennai Mathematical Institute 92 G.N. Chetty Road Chennai600 017 India Department of Computer Science State University of New York Stony BrookNY11794-4400 United States

ISBN: (纸本)354066856X

We investigate Orex, a temporal logic for specifying open systems. Path properties in Orex are expressed using ω-regular expressions, while similar logics for open systems, such as ATL* of Alur et al., use LTL for this purpose. Our results indicate that this distinction is an important one. In particular, we show that Orex has a more efficient model-checking procedure than ATL*, even though it is strictly more expressive. To this end, we present a single-exponential model-checking algorithm for Orex;the model-checking problem for ATL* in contrast is provably double-exponential. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An expressive extension of TLC 5th

An expressive extension of TLC

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Henriksen, Jesper Gulmann BRICS Department of Computer Science University of Aarhus Denmark

ISBN: (纸本)354066856X

A temporal logic of causality (TLC) was introduced by Alur, Penczek and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. through this device one can directly formulate causality properties of distributed systems. In this paper we consider an extension of TLC by strengthening the chain quantification operators. We show that our logic TLC* adds to the expressive power of TLC. We do so by defining an Ehrenfeucht-Fraïssé game to capture the expressive power of TLC. We then exhibit a property and by means of this game prove that the chosen property is not definable in TLC. We then show that the same property is definable in TLC*. We prove in fact the stronger result that TLC* is expressively stronger than TLC exactly when the dependency relation associated with the underlying trace alphabet is not transitive. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Verification results for a multimedia protocol 5th

Verification results for a multimedia protocol

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Tsang, Tony Lai, Richard Department of Computer Science and Computer Engineering La Trobe University Victoria3083 Australia

ISBN: (纸本)354066856X

Verification of formal specifications for multimedia systems, with time taken into consideration, is still a subject of much research. Estelle, an internationally standardised Formal Description Technique (FDT) based on an extended finite state machine model, does not have enough expressive power to describe timing behaviours of distributed multimedia systems. To address this limitation, we have developed Time- Estelle, an extended Estelle which is capable of doing so. We also have developed a methodology for verifying Time-Estelle specification, which includes time properties. the verification method [1] involves translating a Time-Estelle specification to Communicating Time Petri Nets, which can then be verified using the tool, ORIS. In this paper, we describe the results obtained by applying our method to a real-life multimedia protocol, the Reliable Adaptive Multicast Protocol (RAMP). © Springer-Verlag Berlin Heidelberg 1999.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Ant colony optimization for the ship berthing problem 5th

Ant colony optimization for the ship berthing problem

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Tong, Chia Jim Lau, Hoong Chuin Lim, Andrew School of Computing National University of Singapore Lower Kent Ridge Road 119260 Singapore

ISBN: (纸本)354066856X

Ant Colony Optimization (ACO) is a paradigm that em- ploys a set of cooperating agents to solve functions or obtain good so- lutions for combinatorial optimization problems. It has previously been applied to the TSP and QAP with encouraging results that demonstrate its potential. In this paper, we present FF-AS-SBP, an algorithm that applies ACO to the ship berthing problem (SBP), a generalization of the dynamic storage allocation problem (DSA), which is NP-complete. FF-AS-SBP is compared against a randomized first-fit algorithm. Ex- perimental results suggest that ACO can be applied effectively to find good solutions for SBPs, with mean costs of solutions obtained in the experiment on difficult (compact) cases ranging from 0% to 17% of opti- mum. By distributing the agents over multiple processors, applying local search methods, optimizing numerical parameters and varying the basic algorithm, performance could be further improved. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Observable sharing for functional circuit description 5th

Observable sharing for functional circuit description

引用

5th asian computing science conference on advances in computing science, asian 1999

作者： Claessen, Koen Sands, David Department of Computing Sciences Chalmers University of Technology Göteborg University Sweden

ISBN: (纸本)354066856X

Pure functional programming languages have been proposed as a vehicle to describe, simulate and manipulate circuit specifications. We propose an extension to Haskell to solve a standard problem when manipulating data types representing circuits in a lazy functional language. the problem is that circuits are finite graphs - but viewing them as an algebraic (lazy) datatype makes them indistinguishable from potentially infinite regular trees. However, implementations of Haskell do indeed represent cyclic structures by graphs. the problem is that the sharing of nodes that creates such cycles is not observable by any function which traverses such a structure. In this paper we propose an extension to call-by-need languages which makes graph sharing observable. the extension is based on non updatable reference cells and an equality test (sharing detection) on this type. We show that this simple and practical extension has well-behaved semantic properties, which means that many typical source-to-source program transformations, such as might be performed by a compiler, are still valid in the presence of this extension. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共12页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：