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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,806 篇 会议
358 册 图书
78 篇 期刊文献
1 篇 学位论文

馆藏范围

5,239 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,592 篇 工学
- 3,089 篇 计算机科学与技术...
- 2,587 篇 软件工程
- 585 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 229 篇 机械工程
- 198 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 材料科学与工程（可...
- 81 篇 仪器科学与技术
993 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 171 篇 物理学
- 153 篇 统计学（可授理学、...
- 76 篇 化学
804 篇 管理学
- 569 篇 管理科学与工程(可...
- 303 篇 工商管理
- 291 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
131 篇 教育学
- 128 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
225 篇 software
178 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
131 篇 computer communi...
113 篇 computer science
111 篇 software enginee...
109 篇 hardware
108 篇 computer softwar...
105 篇 real-time system...
95 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 logics and meani...
60 篇 software testing

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...
5 篇 school of inform...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
7 篇 sturm arnon
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

4,857 篇 英文
358 篇 其他
56 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5243 条记录，以下是3771-3780 订阅

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

详细简洁

排序：

Separation of Concerns and Role Implementation in the PASSI Design Process

Separation of Concerns and Role Implementation in the PASSI ...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Luca Sabatucci Salvatore Gaglio Dipartimento di Ingegneria Informatica University of Palermo Palermo Italy

the use of design patterns proved successful in lowering the development time and number of errors when producing software with the object-oriented paradigm. In previous works we engaged the production of a tool for the reuse of patterns for multi-agent systems. Now we are fronting a new problem: automatic code generation for agents, designed with a specific methodology, with the support of design patterns and using an aspect oriented approach. In this work we present our preliminary experiences in the identification, description, production and use of aspects for multi agent systems and a tool for code production.

关键词： Process design Object oriented modeling Multiagent systems Production systems Ontologies Knowledge engineering Artificial intelligence Hardware Testing computer languages

来源：评论

学校读者我要写书评

暂无评论

thread warping: A framework for dynamic synthesis of thread accelerators

Thread warping: A framework for dynamic synthesis of thread ...

引用

International conference on Hardware/software Codesign and System Synthesis (CODES)

作者： Greg Stitt Frank Vahid Department of Electrical and Computer Engineering University of Florida USA Department of Computer Science and Engineering University of California Riverside USA Center of Embedded Computer Systems University of California Irvine USA

We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circuits on FPGAs (field-programmable gate arrays). Building on dynamic synthesis for single-processor single-thread systems, known as warp processing, thread warping improves performances of multiprocessor systems by speeding up individual threads and by allowing more threads to execute concurrently. Furthermore, thread warping maintains the important separation of function from architecture, enabling portability of applications to architectures with different quantities of microprocessors and FPGA-an advantage not shared by static compilation/synthesis approaches. We introduce a framework of architecture, CAD tools, and operating system that together support thread warping. We summarize experiments on an extensive architectural simulation framework we developed, showing application speedups of 4× to 502×, averaging 130× compared to a multiprocessor system having four ARM11 microprocessors, for eight benchmark applications. Even compared to a 64-processor system, thread warping achieves 11× speedup.

关键词： Instruction sets Field programmable gate arrays Design automation Synchronization Microprocessors System-on-a-chip

来源：评论

学校读者我要写书评

暂无评论

Dynamic conversations between agents with the PRACTIONIST Framework

Dynamic conversations between agents with the PRACTIONIST Fr...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Vito Morreale Michele Puccio Giuseppe Cammarata Giuseppe Francaviglia Research and Development Laboratory Engineering Ingegneria Informatica S.p.A. Italy

In a world where business relationships involve automated collaboration between software systems acting as representatives of business organizations, agent-oriented computing provides useful theories and abstractions to support the development of such systems. We believe that the ability of agents to dynamically interact among one another plays a central role when developing real, flexible, and adaptive business-oriented applications. therefore in our PRACTIONIST framework we defined a component that enable agents to dynamically participate in conversations with other agents, without being specifically programmed for that. In designing such a support, we reused and extended the Web Service Choreography Description Language (WS-CDL) to describe agent interaction protocols (both standard and nonstandard) in XML. Finally we developed some applications that intensively exploit such a support for dynamic conversations, as discussed at the end of this paper.

关键词： Web services Protocols Application software computer architecture Service oriented architecture Collaborative software software systems Research and development Laboratories Organizational aspects

来源：评论

学校读者我要写书评

暂无评论

RFID Business Aware Framework for Business Process in the EPC Network

RFID Business Aware Framework for Business Process in the EP...

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Seongjin Kim Mikyeong Moon Seonghun Kim Sunmee Yu Keunhyuk Yeom A Department of Computer Engineering Pusan National University Busan South Korea

Radio frequency identification (RFID) technology has been applied to many business areas to simplify complex processes and gain important benefits. To derive real benefit from RFID, the system must rapidly implement functions to process the large quantity of event data generated by RFID operations and should be configured dynamically for changing businesses. Consequently, developers are forced to implement systems to derive meaningful high-level events from simple RFID events and bind them to various business processes. Although applications could directly consume and act on RFID events, extracting the business rules from the business logic leads to better decoupling of the system, which consequentially increases maintainability. In this paper, we describe an RFID business aware framework for business process in the electronic product code (EPC) network. the solutions and techniques presented in this paper are based on our experience of RFID middleware from the logistics information technology project.

关键词： Radiofrequency identification Middleware Logic Business communication Technology management Product codes Logistics Information technology Search engines software engineering

来源：评论

学校读者我要写书评

暂无评论

Computational identification of cis-regulatory elements associated with pungency of Chili peppers

Computational identification of cis-regulatory elements asso...

引用

7th IEEE International conference on Bioinformatics and Bioengineering, BIBE

作者： Ji, Tieming Ranjan, Desh Curry, Jeanne O'Connell, Mary Department of Computer Science New Mexico State University Las Cruces NM 88003 United States Department of Plant and Environmental Sciences New Mexico State University Las Cruces NM 88003 United States

ISBN: (纸本)1424415098

In silico characterization of promoter or regulatory regions of genomes is an important aspect of understanding gene expression regulation. Plant secondary metabolism represents an opportunity to discover promoter elements among coordinately transcribed genes on these complex pathways. We used CisFind, a software tool we developed, for finding un-extendable conserved matches among multiple DNA sequences. the underlying algorithm for this tool is a modified suffix tree. We used CisFind to detect unknown common regulatory elements in the 5 proximal regions of four genes on the capsaicinoid biosynthetic pathway. these DNA sequences were retrieved by genome walking from eight different chili peppers differing in pungency levels;tomato DNA was included as an outgroup. Nine unique candidate promoter elements were identified among these sequences. their distribution is consistent with a role in regulating these genes for expression related to chili pungency. these candidate promoter elements were also predicted by other online software tools with different algorithms, increasing the probability that these elements are in fact biologically relevant. ©2007 IEEE.

关键词： DNA sequences

来源：评论

学校读者我要写书评

暂无评论

Internet Visualization of PLCs Programs

Internet Visualization of PLCs Programs

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Ramon Piedrafita Moreno Victor Larraga Egido Jose Luis Villarroel Salcedo Department of Computer Science and Systems Engineering University of Zaragoza Spain

the implantation of the Internet technologies in the industrial world is a reality that grows of exponential form. this paper presents the design and implementation of an application for real-time visualization of the state and the program of Programmable Logic Controllers (PLCs), using Java and Extended Mark-up Language (XML) technology. this application allows the visualization of PLC programs without the programming software. this visualization follows the IEC 61131 standard for PLC programming. the application is written in three versions: Applet, Java application and Web application. It is possible the simultaneous visualization of several PLC programs.

关键词： Internet Visualization Programmable control Application software Communication system control Java XML Manufacturing Ethernet networks Protocols

来源：评论

学校读者我要写书评

暂无评论

Construction of a Real-time Urban Inundation Analysis System based on UIS using SWMM

Construction of a Real-time Urban Inundation Analysis System...

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Ki Uk Kim Sung Woo Park Seong Hyun Shin Hyun Suk Hwang Tae Gun Jeon Chang Soo Kim Department of Computer Science PuKyong National University South Korea Department of Transportation and Logistics PuKyong National University South Korea PuKyong National University South Korea Research Institute of Industrial Science and Technology PuKyong National University South Korea

Inundation disasters have directly affected human's lives such as traffic confusion and loss of life. Many current researches of urban flooding analysis have been focused on model development and representation methods based on geographical information systems (GIS). We try to develop an integrated inundation analysis system using urban information systems (UIS), storm water management model (SWMM), and ubiquitous sensor networks (USN) systems. the developed system uses real-time inflow discharge data through sensors and geographical information of drainage devices. the system can provide road route information as well as inundated streets and zones based on UIS. Also, we develop a map viewer to integrate real-time and geographical data with drainage information, and the system provides detail inundation information according to users' location.

关键词： Real time systems Information analysis Management information systems Sensor systems Telecommunication traffic Traffic control Floods Geographic Information systems Storms Water storage

来源：评论

学校读者我要写书评

暂无评论

A Migration Path to IEC 61499 for the Batch Process Industry

A Migration Path to IEC 61499 for the Batch Process Industry

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： J. Peltola J. Christensen S. Sierla K. Koskinen Laboratory of Information and Computer Systems in Automation Helsinki University of Technology Finland Holobloc Inc. Cleveland Heights OH USA

Many recent contributions in the field of embedded, networked control and collaborative manufacturing, such as dynamic reconfiguration, are based on the IEC 61499 standard, which defines a general-purpose architecture for control applications. the industrial acceptance of the standard remains unclear at this time, largely because there is no obvious way to apply domain-specific, industrially accepted engineering methodologies and concepts in the context of IEC 61499. this paper proposes a way to support the established practices of the batch process domain with IEC 61499, and assesses the feasibility of the approach with an experiment involving professional designers.

关键词： IEC standards Manufacturing industries software standards Standards development Investments Industrial control Application software software tools Process control Instruction sets

来源：评论

学校读者我要写书评

暂无评论

Complex task activation schemes in system level performance analysis

Complex task activation schemes in system level performance ...

引用

International conference on Hardware/software Codesign and System Synthesis (CODES)

作者： Wolfgang Haid Lothar thiele Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology Zurich Switzerland

the design and analysis of today's complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applying traditional methods like HW/SW co-simulation is getting increasingly difficult. On the other hand, analytic approaches have proven their usefulness and efficiency for system analysis when end-to-end performance figures like delay, throughput and memory consumption are requested. One of the main drawbacks of these methods is the limited set of systems that can be analyzed with high accuracy: Only simple models for task interaction and task semantics can be used. In this paper, we extend existing methods for analyzing heterogeneous multiprocessor systems such that (a) non-preemptive scheduling policies, (b) complex activation schemes for tasks and (c) conditional behavior of task executions can be modeled and analyzed. We demonstrate the usefulness of the proposed approach in a case study.

关键词： Analytical models Delay Decoding Performance analysis Processor scheduling Embedded systems Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Developing Intentional systems with the PRACTIONIST Framework

Developing Intentional Systems with the PRACTIONIST Framewor...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Vito Morreale Susanna Bonura Giuseppe Francaviglia Fabio Centineo Michele Puccio Massimo Cossentino Research and Development Laboratory Engineering Ingegneria Informatica S.p.A. Italy ICAR Italian National Research Council Italy

Agent-based systems have become a very attractive approach for dealing with the complexity of modern software applications and have proved to be useful and successful in some industrial domains. However, engineering such systems is still a challenge due to the lack of effective tools and actual implementations of very interesting and fascinating theories and models. In this area the so-called intentional stance of systems can be very helpful to efficiently predict, explain, and define the behaviour of complex systems, without having to understand how they actually work, but explaining them in terms of some mental qualities or attitudes, rather than their physical or design stance. In this paper we present the PRACTIONIST framework, that supports the development of PRACTIcal reasONIng systems according to the BDI model of agency, which uses some mental attitudes such as beliefs, desires, and intentions to describe and specify the behaviour of system components. We adopt a goal-oriented approach and a clear separation between the deliberation phase and the means-ends reasoning, and consequently between the states of affairs to pursue and the way to do it. Moreover, PRACTIONIST allows developers to implement agents that are able to reason about their beliefs and the other agents' beliefs, expressed by modal logic formulas.

关键词： Java Research and development Laboratories Councils Application software computer industry systems engineering and theory Logic Context modeling Humans

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 374 375 376 377 378 379 380 381 382 383 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：