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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是941-950 订阅

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

详细简洁

排序：

Approximations on Minimum Weight Pseudo-triangulation Problem Using Ant Colony Optimization Metaheuristic

Approximations on Minimum Weight Pseudo-triangulation Proble...

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： Edilma Olinda Gagliardi Maria Gisela Dorzán Mario Guillermo Leguizamón Gregorio Hernández Peñalver Facultad de Ciencias Físico Matemáticas y Naturales Universidad Nacional de San Luis San Luis Argentina Facultad de Informática Universidad Politécnica de Madrid Madrid Spain

In this work, we consider the Minimum Weight Pseudo-Triangulation (MWPT) problem of a given set of $n$ points in the plane. Globally optimal pseudo-triangulations with respect to the $weight$, as optimization criteria, are difficult to be found by deterministic methods, since no polynomial algorithm is known. We show how the Ant Colony Optimization (ACO) metaheuristic can be used to find high quality pseudo-triangulations of minimum weight. We present the experimental and statistical study based on our own set of instances since no reference to benchmarks for these problems were found in the literature. throughout the experimental evaluation, we appraise the ACO metaheuristic performance for MWPT problem.

关键词： Face Algorithm design and analysis Optimization Approximation methods Approximation algorithms Partitioning algorithms Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Developing and integrating Java based SIP client at Srce

Developing and integrating Java based SIP client at Srce

引用

international conference on Information Technology Interfaces

作者： Davor Jovanovic Danijel Matek University Computing Centre Zagreb Croatia

ISBN: (纸本)9789537138127

In order to provide multimedia services, which would allow users to participate in the modification of forms and contents of the current session in real time, we have begun to create an important component of successful online communication and education - a software based client. this kind of a smart endpoint needs to meet two conditions. the first requires the client to be platform-independent, modular and able to integrate with Web based applications. there are just a few Java based SIP clients (open source and commercial) and they do not meet the second main condition which is the process of authentication in accordance with the recommendations of the AAI@EduHr system. this paper explains the architecture of the client, the extension of authentication concept in AAI@EduHr system, which makes the client unique, as well as how we can benefit from the both.

关键词： SIP (Session Initiation Protocol) JAIN SIP (Java-standard interface to a SIP signaling stack) JMF (Java Media Framework) AAI@EduHr Clients customers STATE IMPLEMENTATION PLANS TSACC gene Online communications Multimedia services Java Java programming language Authentication education software based Building construction ARCHITECTURE

来源：评论

学校读者我要写书评

暂无评论

Memory module-level testing and error behaviors for phase change memory

Memory module-level testing and error behaviors for phase ch...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Zhe Zhang Weijun Xiao Nohhyun Park David J. Lilja Department of Electrical and Computer Engineering University of Minnesota Minneapolis MN USA Department of Electrical and Computer Engineering Virginia Commonwealth University Richmond VA USA

Phase change memory (PCM) is a promising technology to solve energy and performance bottlenecks for memory and storage systems. To help understand the reliability characteristics of PCM devices, we present a simple fault model to categorize four types of PCM errors. Based on our proposed fault model, we conduct extensive experiments on real PCM devices at the memory module level. Numerical results uncover many interesting trends in terms of the lifetime of PCM devices and error behaviors. Specifically, PCM lifetime for the memory chips we tested is greater than 14 million cycles, which is much longer than for flash memory devices. In addition, the distributions for four types of errors are quite different. these results can be used for estimating PCM lifetime and for measuring the fabrication quality of individual PCM memory chips.

关键词： Phase change materials programming Interference Resistance Error analysis

来源：评论

学校读者我要写书评

暂无评论

the development of a powerful vortex stabilized flash lamp for RTP applications

The development of a powerful vortex stabilized flash lamp f...

引用

IEEE international conference on Plasma Science (ICOPS)

作者： T. thrum D. Camm A. Hewett G. Stuart Vonek Industries Ltd. Vancouver Canada

Summary form only given, as follows. the dopant activation process used during manufacture of modern logic chip devices requires ever steeper heating and cooling ramp rates of the silicon wafer. Tungsten filament lamps traditionally provided the heat source for this process. However, due to their inherent limitations, a new technology is required to deliver the thermal energy profile for future generations of semiconductor processing. the requirements for future rapid thermal processing (RTP) of semiconductor wafers will be discussed from the standpoint of available radiation sources. the key characteristics of these radiation sources for wafer processing and their impact on the RTP process will be described. Based on these different approaches a candidate radiation source satisfying future RTP requirements has been developed. It is a 300 mm long flash lamp based on a Vortek water vortex stabilized high-pressure high-power arc lamp. this flash lamp is much more powerful than any other commercially available flash lamp. It has been specifically designed for the said RTP application and typically operates with peak currents up to 50 kA and pulse widths of the order of 1 to 2 ms. the general operation of this flash lamp will be described.

关键词： Lamps Rapid thermal processing Manufacturing processes Semiconductor device manufacture logic devices Heating Cooling Silicon Tungsten Space vector pulse width modulation

来源：评论

学校读者我要写书评

暂无评论

Energy logic: A road map to reducing energy consumption in telecom munications networks

Energy logic: A road map to reducing energy consumption in t...

引用

international conference on Telecommunications Energy (INTELEC)

作者： Steve N. Roy Emerson Network Power Montreal QUE Canada

A non consideration just a couple of years ago, energy efficiency is quickly becoming the most important issue in every industry today. In the Datacom world, vendors are tackling this question from a holistic perspective, clearly showing that the consumption in data centers can be reduced by more than half. In the Telecom world however, most vendors have limited the discussion to the energy efficiency of their individual products. As such, the total impact of deploying higher efficiency rectifiers or cooling units remains quite small on a total site level. this clearly can blindside service provider employees into over looking the real opportunities and into investing poorly. For this reason, Emerson Network Power has launched Energy logicTM, a holistic approach which looks at Data Centers and Telecom sites and provides a complete roadmap of recommendations and quantifies their savings. this provides complete awareness of the energy savings opportunities and helps take steps in the right sequence and full understanding of the real savings potential.

关键词： Cooling Rectifiers Energy consumption Central office Power systems Power demand Radio frequency

来源：评论

学校读者我要写书评

暂无评论

Predicting accurate and actionable static analysis warnings

Predicting accurate and actionable static analysis warnings

引用

international conference on Software Engineering (ICSE)

作者： Joseph Ruthruff John Penix J. Morgenthaler Sebastian Elbaum Gregg Rothermel University of Nebraska Lincoln Lincolnshire NE USA Google Inc. Mountain View CA USA

Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious false positive warnings and legitimate warnings that are not acted on. this paper reports automated support to help address these challenges using logistic regression models that predict the foregoing types of warnings from signals in the warnings and implicated code. Because examining many potential signaling factors in large software development settings can be expensive, we use a screening methodology to quickly discard factors with low predictive power and cost-effectively build predictive models. Our empirical evaluation indicates that these models can achieve high accuracy in predicting accurate and actionable static analysis warnings, and suggests that the models are competitive with alternative models built without screening.

关键词： Predictive models Software tools Logistics Software quality Statistical analysis Regression analysis Permission programming Accuracy Power system reliability

来源：评论

学校读者我要写书评

暂无评论

Generating Domain Specific Graphical Modeling Editors from Meta Models

Generating Domain Specific Graphical Modeling Editors from M...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Rabih Zbib Ashish Jain Devasis Bassu Hiralal Agrawal Telcordia Technologies Inc. Piscataway NJ USA

We describe an approach for automatically generating application aware graphical modeling environments from the meta-model specification of an application domain. A generated graphical modeling environment: a) provides domain-specific graphical metaphors in the modeling palette, b) imposes domain-specific modeling constraints to prevent semantically incorrect models, and c) provides domain-specific operators and languages to capture application domain constraints. the domain meta-model is specified using a meta-model which is an extension of the UML meta-model. One of the major advantage of using application domain-specific modeling environment is to make it easy for business analyst to create semantically correct models. We use UML2.0 to specify the domain metamodel. the advantage of using UML2.0 representation is the reuse of vendor-supported technologies including MDA tools. An implementation using the Eclipse framework is also discussed

关键词： Unified modeling language Application software programming Costs Automation Information management Documentation Computer languages Computer applications Software tools

来源：评论

学校读者我要写书评

暂无评论

A Novel Structure-Oriented Difference Approach for Software Artifacts

A Novel Structure-Oriented Difference Approach for Software ...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Tien N. Nguyen Electrical and Computer Engineering Department Iowa State University USA

Structural changes between different versions of a software artifact are important for engineers in understanding its evolution during the development process. this paper presents a novel approach for the detection of structural and textual differences between versions of a software artifact. the approach is distinguished itself from existing ones by a novel directed graph-based representation model for artifacts and a structure-oriented configuration management repository that is capable of managing both textual and structural changes. It can also support compound documents containing objects with multiple nested levels. Structural differences can easily be retrieved, highlighted, and visualized side-by-side. We have successfully applied the approach to build a set of structure-oriented difference tools for various types of software artifacts such as source code, XML-based structured documents, system architectural design documents, entity relationship diagrams, and database tables. these tools are very efficient since they do not involve the difference computing algorithms for complex data structures (e.g. trees or graphs) as in existing tools

关键词： Tree graphs Computer architecture Visualization programming Engineering management Software tools Visual databases Tree data structures Displays XML

来源：评论

学校读者我要写书评

暂无评论

Choosing the Right Time to Compose Aspectual Scenarios

Choosing the Right Time to Compose Aspectual Scenarios

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Joao Araujo Jon Whittle Ana Moreira CITI/FCT Universidade Nova de Lisboa Caparica Portugal Department of Information & Software Engineering George Mason University Fairfax VA USA

Aspect-oriented software development (AOSD) provides effective modularization and composition mechanisms and can be applied at any stage of the software lifecycle. Aspect composition is a crucial feature of AOSD since it allows a developer to get an overall understanding of a system and better analyze the impact of a concern to a set of other concerns. the effort involved in composition, however, may vary depending on the lifecycle stage at which it is applied. this paper compares two methods of composing aspects during the early stages of the lifecycle. In both cases, scenarios and aspectual scenarios are developed for concerns and aspects, respectively. In the first method, the aspectual scenarios are composed immediately. In the second one, they are composed only after the scenarios have been converted to individual object behavioral descriptions. A comparison of the composition effort involved is made based on results of a case study

关键词： Unified modeling language programming Software engineering Costs Concrete Software maintenance Encapsulation System testing Software systems

来源：评论

学校读者我要写书评

暂无评论

QoE-Fuzzy VHO Approach for Heterogeneous Wireless Networks (HWNs)

QoE-Fuzzy VHO Approach for Heterogeneous Wireless Networks (...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Aymen Ben Zineb Mohamed Ayadi Sami Tabbane Higher School of Communications (Sup'Com) Tunis Tunisia

ISBN: (纸本)9781509018598

Different wireless technologies are assumed tocooperate in a single heterogeneous environment in futurenetwork deployment schemes. Such environment is characterizedby a multitude of new services based on multimedia services likegaming and real time video streaming. When dealing with video services, traditional QoS solutionsare not sufficient for ensuring video awareness and good user'sperception. Quality of Experience (QoE) management approachhave been introduced to estimate the quality level of multimediaservices. In an heterogeneous environment every user can switchbetween many networks during his communication in a verticalhandover (VHO) process and QoS may decrease as well as thevideo quality. that is why, maintaining the requested QoS andkeeping a satisfying QoE during a VHO process is the main goalfor HWNs. In this paper, we proposes a QoE-fuzzy vertical handoveralgorithm with QoS management and QoE decision. Simulationresults of the proposed system show performances improvementfor throughput and delays.

关键词： Quality of service Handover Multimedia communication Streaming media Fuzzy logic Wireless networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 91 92 93 94 95 96 97 98 99 100 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：