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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,601 篇 会议
100 篇 期刊文献
22 册 图书
2 篇 学位论文

馆藏范围

3,725 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,171 篇 工学
- 1,079 篇 计算机科学与技术...
- 825 篇 电气工程
- 490 篇 控制科学与工程
- 452 篇 软件工程
- 208 篇 机械工程
- 182 篇 信息与通信工程
- 151 篇 动力工程及工程热...
- 144 篇 石油与天然气工程
- 132 篇 电子科学与技术（可...
- 113 篇 土木工程
- 112 篇 交通运输工程
- 87 篇 仪器科学与技术
- 78 篇 材料科学与工程（可...
- 76 篇 化学工程与技术
- 60 篇 建筑学
- 59 篇 力学（可授工学、理...
- 53 篇 航空宇航科学与技...
- 52 篇 生物医学工程（可授...
- 33 篇 生物工程
725 篇 理学
- 394 篇 数学
- 231 篇 物理学
- 97 篇 系统科学
- 83 篇 化学
- 51 篇 统计学（可授理学、...
- 40 篇 生物学
309 篇 管理学
- 282 篇 管理科学与工程(可...
- 99 篇 工商管理
- 37 篇 图书情报与档案管...
70 篇 经济学
- 43 篇 应用经济学
51 篇 医学
- 32 篇 临床医学
30 篇 法学
19 篇 农学
18 篇 教育学
9 篇 军事学
3 篇 艺术学
2 篇 文学

主题

525 篇 optimization
273 篇 biological syste...
238 篇 computational mo...
166 篇 mathematical mod...
107 篇 power system mod...
83 篇 predictive model...
82 篇 analytical model...
73 篇 load modeling
67 篇 control systems
65 篇 data models
63 篇 integrated circu...
58 篇 particle swarm o...
54 篇 modeling
54 篇 genetic algorith...
52 篇 solid modeling
51 篇 real-time system...
51 篇 costs
50 篇 accuracy
49 篇 training
46 篇 computer archite...

机构

7 篇 itmo univ st pet...
6 篇 beijing jiaotong...
5 篇 northeastern uni...
4 篇 northeastern uni...
4 篇 chonnam natl uni...
4 篇 georgia inst tec...
4 篇 zhejiang univ co...
4 篇 department of te...
4 篇 univ elect sci &...
4 篇 natl res tomsk p...
4 篇 tsinghua univ de...
4 篇 novosibirsk stat...
4 篇 school of comput...
4 篇 faculty of elect...
3 篇 school of automa...
3 篇 beijing jiaotong...
3 篇 c mast ubi covil...
3 篇 chinese acad sci...
3 篇 china electric p...
3 篇 faculty of elect...

作者

9 篇 kamel salah
6 篇 wang ya-xiong
5 篇 jurado francisco
5 篇 catalao joao p. ...
5 篇 lotfi mohamed
5 篇 yu xinjie
5 篇 ou kai
5 篇 chen chilian
4 篇 frantzen marcus
4 篇 li xin
4 篇 zhang lei
4 篇 li li
4 篇 osorio gerardo j...
4 篇 feng zhao
4 篇 javadi mohammad
4 篇 park il han
4 篇 kazimierz duzink...
4 篇 wang yu
4 篇 zhang jun
4 篇 linlin zhao

语言

3,561 篇 英文
106 篇 中文
57 篇 其他
6 篇 土耳其文
3 篇 俄文

检索条件"任意字段=20th Conference on System Modeling and Optimization"

共 3725 条记录，以下是3441-3450 订阅

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

详细简洁

排序：

A new generation of adaptive supervisory control and monitoring system for sintering/heat-treating furnaces

A new generation of adaptive supervisory control and monitor...

引用

20th Annual conference on Heat Treating

作者： Nandi, HK Casagranda, A Frey, K CompAS Controls Inc Indiana PA 15701 USA

ISBN: (纸本)0871707276

the changes in the temperature and density of powder metallurgical (P/M) parts during a sintering operation inside a continuous belt furnace were analyzed. the analysis of the P/M parts was done using LINEMOD ^TM a new generation supervisory control system. LINEMOD ^TM supervisory control software used mathematical models for off-line simulation and on-line control. the system was found to be a multi-tasking, and multi-user software system capable of product tracking, communication, mathematical modeling, adaptive learning, data collection, charge scheduling, and report generation.

关键词： Heat treating furnaces

来源：评论

学校读者我要写书评

暂无评论

Proceedings - International conference of the Chilean Computer Science Society, SCCC

Proceedings - International Conference of the Chilean Comput...

引用

20th International conference of the Chilean Computer Science Society, SCCC 2000

ISBN: (纸本)0769508103

the proceedings contain 26 papers. the topics discussed include: evolutionary approaches with multirecombination for the parallel machine scheduling problem;multiplicity and local search in evolutionary algorithms to build the Pareto front;TAOS: a task-and-action oriented framework for user's task analysis in the context of human-computer interfaces design;evolving a legacy data warehouse system to an object-oriented architecture;materialized views in data warehousing environments;building databases with information extracted from web documents;a dynamic virtual fragmentation method for query recovery optimization;a temporal database management system implemented on top of a conventional database;testing an implementation of a temporal logic language;cooperative learning on autonomous agents acquiring common language for action and perception;a para-consistent system of autonomous agents for Brazilian bank check treatment;a dynamic associative semantic model for natural language processing based on a spreading activation network;an integral software process formal model based on the SOCCA approach;and network programming internals of the Dillo web browser.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Materials optimization for semi-conducting polymer LEDs and FETs

Materials optimization for semi-conducting polymer LEDs and ...

引用

20th International Display Research conference

作者： Van Breemen, A.J.J.M. Bastiaansen, J.J.A.M. Langeveld, B.M.W. Sweelssen, J. Van Haare, J.A.E.H. Herwig, P.T. Hoekerd, K.T. Schoo, H.F.M. Eindhoven University of Technology Dutch Polymer Institute Eindhoven Netherlands

Dye-doped semiconducting polymers are used as active layer in polymer light-emitting diodes (LEDs). the emission color can be tuned by doping the active polymer with certain dyes. this concept of energy transfer is demonstrated for a green matrix doped with a red emitting dye, suitable for use in LEDs. An absolute PL efficiency of 39% is observed for this system. Another very attractive development is taking place in the area of all-polymer transistors. this may lead to a (partial) replacement of the driving electronics by all-plastic circuits. A new precursor route toward poly(thienylene vinylene)s (PTVs), suitable as active material in all-polymer integrated circuits, is presented. Synthesis of the precursors is reproducible and fast, and can readily be upscaled. Quantitative conversion of the precursor polymer can be accomplished by heating at 150 °C for 20 minutes. the resulting mobility (4 × 10-3 cm2/Vs) and ON-OFF ratio (4 × 104) makes this material a suitable candidate for the development and large scale manufacturing of all-polymer integrated circuits.

关键词： Semiconducting polymers

来源：评论

学校读者我要写书评

暂无评论

Distributed object engine construction

Distributed object engine construction

引用

Computer Science Society (SCCC) International conference Chilean FLAGGED

作者： A. Calsavara Prograrna de Pbs-Graduação em Informitica Aplicada Pontifícia Universidade Católica do Paranó Brazil

Although several object-oriented distributed systems development tools exist, there is little, if no offer of solutions that homogeneously integrate all aspects of a distributed system. this article describes a toolkit that aims at supporting the construction and the execution of distributed systems. the tools are defined according to an architecture that fully complies with object-oriented principles, providing software developers with a relatively simple, yet effective and efficient, platform that makes the main difficulties normally found in distributed systems development transparent. Among those difficulties, it is the notorious impedance mismatch between the programming language and the object manipulation language. Such difficulty is not noticed in the toolkit presented. Moreover, all the benefits from object orientation are deeply exploited. For this reason, the toolkit permits fast development of distributed systems.

关键词： Engines Object oriented modeling Computer languages Unified modeling language Object oriented databases Power system reliability Object oriented programming Power system modeling Distributed computing Computer architecture

来源：评论

学校读者我要写书评

暂无评论

7th International SPIN Model Checking and Software Verification Workshop, SPIN 2000

引用

7th International SPIN Workshop on Model Checking and Software Verification, 2000

ISBN: (纸本)3540410309

the proceedings contain 20 papers. the special focus in this conference is on Model Checking and Software Verification. the topics include: Using garbage collection in model checking;model checking based on simultaneous reachability analysis;verification and optimization of a plc control schedule;modeling the ASCB-D synchronization algorithm with spin;a symbolic model checker for Boolean programs;interaction abstraction for compositional finite state systems;towards verification in hierarchical system development;abstraction of communication channels in promela;a language framework for expressing checkable properties of dynamic software;model-checking multi-threaded distributed java programs;using runtime analysis to guide model checking of java programs;communication topology analysis for concurrent programs;the temporal rover and the ATG rover and runtime checking of multithreaded applications with visual threads.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A client-server approach to virtually synchronous group multicast: specifications and algorithms

A client-server approach to virtually synchronous group mult...

引用

International conference on Distributed Computing systems

作者： I. Keidar R. Khazan Massachusetts Institute of Technology Cambridge MA USA

this paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. the design employs a client-server architecture in which group membership is maintained not by every process but only by dedicated membership servers, while virtually synchronous group multicast is implemented by service end-points running at the clients. Specifically, the paper defines service semantics for the client-server interface, that is, for the group membership service. the paper then specifies virtually synchronous semantics for the new group multicast service, as a collection of commonly used safety and liveness properties. Finally, the paper presents new algorithms that use the defined group membership service to implement the specified properties. the algorithm that provides the complete virtually synchronous semantics executes in a single message round in parallel with the membership service's agreement on views, and is therefore more efficient than previously suggested algorithms providing such semantics.

关键词： Multicast algorithms Communication systems Safety Maintenance Interleaved codes Computer science Uniform resource locators Algorithm design and analysis Power system reliability Power system modeling

来源：评论

学校读者我要写书评

暂无评论

Evolving a legacy data warehouse system to an object-oriented architecture

Evolving a legacy data warehouse system to an object-oriente...

引用

Computer Science Society (SCCC) International conference Chilean FLAGGED

作者： A.H. Filho H.A. Prado S.S. Toscani Lutheran University of Brazil and independent consultant Brazil Informatics Institute Federal University of Rio Grande do Sul Porto Alegre Rio Grande do Sul Brazil Universidade Federal do Rio Grande do Sul Porto Alegre RS BR

We introduce an object-oriented approach to transform a star-schema of a legacy data warehouse system into a Dimensional Object Model (DOM) (Firestone, 1998), in order to take advantage of the flexibility of the object paradigm. We have applied the Object-Oriented Software Engineering (OOSE) process, proposed by (Jacobson et al., 1992), to describe the life cycle of a data warehouse and to clarify the context of our intervention. By means of OOSE we also define the target architecture and the components that will ensure the development of reuse-supporting data warehouse systems. In a sense, a change tolerant architecture is proposed, as referred to by (Jacobson, 1998). the solution proposed applies the object paradigm for the star-schema decomposition in a three-layer architecture, separating the components in logical, interface and data management layers. this decomposition minimizes the dependence among the components and increases their reusability. the main contribution of this work is that, by transforming the star-schema into a DOM, we are preparing the system to evolve through any object-oriented data warehouse development methodology. In a context of many already existing data warehouse systems based on relational models, this transformation sounds especially interesting.

关键词： Data warehouses Object oriented modeling Jacobian matrices Software engineering Computer architecture Decision support systems Buildings Context modeling Decision making

来源：评论

学校读者我要写书评

暂无评论

A dynamic virtual fragmentation method for query recovery optimization

A dynamic virtual fragmentation method for query recovery op...

引用

Computer Science Society (SCCC) International conference Chilean FLAGGED

作者： J.A. Vazquez Parallel and Distributed Systems Laboratory Research Computer Center National Petroleum Institute of Mexico Mexico

the time consumed during the execution of queries in a parallel and distributed environment is highly affected by the form in which the tables comprising a database have been fragmented. the classical methods of fragmentation in a distributed database system helps, to a great extent, to make the information retrieval faster and with smaller calculation efforts. this is particularly true for applications where the specifications are well known in advance at the time of the creation of the tables that compose the database, which in some form or other influenced the design and the definition of the type of fragmentation and their distribution on different sites of processing. Nevertheless, the above characteristics cannot be used in applications where the distributed management cannot do inferences that help it to know in what sites the data with the characteristics the user is looking for are located. Under these conditions the time and amount of work used by the participants in the query solution can be highly increased. In this paper the dynamic virtual fragmentation method is presented. the method works as an alternative way that allows us to diminish response time consumed by queries using horizontal fragmented tables. the proposed method has been proven and implemented in a database parallel server running on a shared nothing supercomputer.

关键词： optimization methods Distributed databases Information retrieval Partitioning algorithms Laboratories Concurrent computing Distributed computing Augmented virtuality Delay Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Static and adaptive data replication algorithms for fast information access in large distributed systems

Static and adaptive data replication algorithms for fast inf...

引用

International conference on Distributed Computing systems

作者： T. Loukopoulos I. Ahmad Department of Computer Science Hong Kong University of Science and Technology Hong Kong China

Creating replicas of frequently accessed objects across a read-intensive network can result in large bandwidth savings which, in turn, can lead to reduction in user response time. On the contrary, data replication in the presence of writes incurs extra cost due to multiple updates. the set of sites at which an object is replicated constitutes its replication scheme. Finding an optimal replication scheme that minimizes the amount of network traffic given read and write frequencies for various objects, is NP-complete in general. We propose two heuristics to deal with this problem for static read and write patterns. the first is a simple and fast greedy heuristic that yields good solutions when the system is predominantly read-oriented. the second is a genetic algorithm that through an efficient exploration of the solution space provides better solutions for cases where the greedy heuristic does not perform well. We also propose an extended genetic algorithm that rapidly adapts to the dynamically changing characteristics such as the frequency of reads and writes for particular objects.

关键词： Costs Equations Computer science Broadcasting Communication system control Writing Marine vehicles Constraint optimization

来源：评论

学校读者我要写书评

暂无评论

Evolutionary approaches with multirecombination for the parallel machine scheduling problem

Evolutionary approaches with multirecombination for the para...

引用

Computer Science Society (SCCC) International conference Chilean FLAGGED

作者： S.C. Esquivel C.R. Gatica R.H. Gallard Proyecto UNSL Departamento de Informatica Universidad Nacional de San Luis San Luis Argentina

Parallel machine scheduling, also known as parallel task scheduling, involves the assignment of multiple tasks onto the system architecture's processing components (a bank of machines in parallel). Parallel machine scheduling is important from both the theoretical and practical points of view. From the theoretical viewpoint, it is a generalization of the single machine scheduling problem. From the practical point of view it permits to take full advantage of the processing power provided by resources in parallel. Two basic models involving m machines and n jobs are the foundations of more complex models. In the first problem the jobs are allocated according to resource availability following some allocation rule. In the second one, besides that, jobs are subject to precedence constraints. the completion time of the last job to leave the system, known as the makespan (C/sub max/), is one of the most important objective functions to be minimized, because it usually implies high utilization of resources. these problems, minimizing the makespan, are known in the literature (Pinedo, 1995) as the unrestricted parallel machine scheduling (Pm|C/sub max/) and the parallel machine scheduling with job precedence constraints (Pm|prec|C/sub max/). Evolutionary algorithms (EAs) have also been used to solve scheduling problems. this paper proposes a multirecombination scheme to solve both parallel machine scheduling problems.

关键词： Parallel machines Single machine scheduling Processor scheduling Resource management Scheduling algorithm Power system modeling Time factors Evolutionary computation throughput Parallel processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共373页 << < 341 342 343 344 345 346 347 348 349 350 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：