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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

89 篇 会议
38 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

73 篇 工学
- 46 篇 计算机科学与技术...
- 29 篇 软件工程
- 15 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 9 篇 信息与通信工程
- 9 篇 航空宇航科学与技...
- 8 篇 电气工程
- 8 篇 土木工程
- 6 篇 机械工程
- 6 篇 安全科学与工程
- 5 篇 建筑学
- 5 篇 交通运输工程
- 5 篇 生物工程
- 4 篇 材料科学与工程（可...
- 4 篇 动力工程及工程热...
- 4 篇 船舶与海洋工程
- 3 篇 生物医学工程（可授...
42 篇 理学
- 16 篇 数学
- 10 篇 物理学
- 7 篇 系统科学
- 5 篇 生物学
- 4 篇 化学
- 4 篇 海洋科学
- 4 篇 统计学（可授理学、...
- 3 篇 地质学
25 篇 管理学
- 21 篇 管理科学与工程(可...
- 5 篇 工商管理
5 篇 医学
- 4 篇 临床医学
- 3 篇 基础医学(可授医学...
2 篇 法学
- 2 篇 社会学
1 篇 经济学
1 篇 教育学

主题

6 篇 software
4 篇 software enginee...
4 篇 testing
4 篇 data models
3 篇 embedded systems
3 篇 servers
3 篇 computational mo...
3 篇 middleware
3 篇 aerospace electr...
3 篇 unified modeling...
3 篇 robustness
3 篇 engines
2 篇 tools
2 篇 runtime
2 篇 airplanes
2 篇 libraries
2 篇 programming
2 篇 peer to peer com...
2 篇 application soft...
2 篇 modeling languag...

机构

5 篇 school of softwa...
3 篇 system and softw...
3 篇 system and softw...
2 篇 school of mathem...
2 篇 graduate school ...
2 篇 software enginee...
2 篇 department of ps...
2 篇 department of me...
2 篇 product lifecycl...
2 篇 computer science...
2 篇 informatics inst...
2 篇 school of softwa...
2 篇 innovative softw...
2 篇 idis research gr...
2 篇 system and techn...
2 篇 software system ...
2 篇 software enginee...
2 篇 digital factory ...
2 篇 sensor and syste...
2 篇 soft computing a...

作者

6 篇 armin zimmermann
5 篇 zimmermann armin
4 篇 ralph maschotta
4 篇 hong min
3 篇 tutut herawan
3 篇 oliver hummel
3 篇 sven jager
3 篇 stefan burger
3 篇 giese holger
3 篇 tino jungebloud
2 篇 nishimura hideka...
2 篇 zhihua wei
2 篇 zhenhua dong
2 篇 weixiong rao
2 篇 ingham michel d.
2 篇 gong su
2 篇 an lei
2 篇 hummel oliver
2 篇 enzhong wang
2 篇 burger stefan

语言

123 篇 英文
2 篇 其他
2 篇 中文
1 篇 德文

检索条件"机构=System Software and Software Engineering Group"

共 127 条记录，以下是71-80 订阅

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

详细简洁

排序：

Finding database contention hotspots under large-scale workloads - A big data approach

Finding database contention hotspots under large-scale workl...

引用

IEEE International Conference on Big Data Analysis (ICBDA)

作者： An Lei Ping Sun Weixiong Rao Hong Min Gong Su Zhenhua Dong School of Software Engineering Tongji University Shanghai China IBM T. J. Watson Research Center Yorktown Heights NY USA IBM System and Technology Group Beijing China

ISBN: (纸本)9781467395922

Database plays an important role in transactional information systems. One significant performance impacting factor is data lock contention in transaction processing. In order to guide better database design, we propose a novel solution to identify contention hotspots displayed in DBMS transaction logs. To analyze the large volume of data collected in the transaction log, our solution employees big data engine Spark for better computation performance and scalability. A novel algorithm is also introduced to optimize computation for analyzing hotspots in the distributed cluster. The experimental results from a benchmark OLTP workload demonstrate the effectiveness and high scalability of our solution.

关键词： Sparks Algorithm design and analysis Scalability Clustering algorithms Engines Distributed databases

来源：评论

学校读者我要写书评

暂无评论

Fault Management based on peer-to-peer paradigms;A case study report from the CELTIC project Madeira

Fault Management based on peer-to-peer paradigms;A case stud...

引用

IFIP/IEEE International Symposium on Integrated Network Management

作者： Markus Leitner Philipp Leitner Martin Zach Sandra Collins Claire Fahy System Engineering Siemens AG Vienna Austria Network Management Research Centre Ericsson Research and Development Ireland Dublin Ireland Waterford Institute of Technology TSSG-Telecommunications Software & Systems Group Waterford Ireland

We present an approach to fault management based on an architecture for distributed and collaborative network management as developed in the CELTIC project Madeira. It uses peer-to-peer communication facilities and a logical overlay network facilitating decentralized and iterative alarm processing and correlation. We argue that such an approach might help to overcome key challenges that are posed by NGN scenarios to traditional centralized network management systems. Its feasibility is demonstrated by means of a case study from the area of wireless mesh networks, where an application prototype has been developed.

关键词： Project management Peer to peer computing Telecommunication network management Energy management Power system management Research and development management software development management Technology management engineering management Next generation networking

来源：评论

学校读者我要写书评

暂无评论

Goal-based operations: An overview

Goal-based operations: An overview

引用

2007 AIAA InfoTech at Aerospace Conference

作者： Dvorak, Daniel D. Ingham, Michel D. Morris, J. Richard Gersh, John NASA Jet Propulsion Laboratory California Institute of Technology Pasadena CA 91109 United States Applied Physics Laboratory Johns Hopkins University Laurel MD 20723 United States Planning and Execution Systems Section M/S 301-270 United States AIAA United States Flight Software Systems Engineering and Architectures Group M/S 301-225 Planning and Sequencing Systems Group M/S 301-250D System and Information Sciences Group M/S 2-236 United States

ISBN: (纸本)1563478935

Operating robotic space missions via time-based command sequences has become a limiting factor in the exploration, defense, and commercial sectors. Command sequencing was originally designed for comparatively simple and predictable missions, with safe-mode responses for most faults. This approach has been increasingly strained to accommodate today's more complex missions, which require advanced capabilities like autonomous fault diagnosis and response, vehicle mobility with hazard avoidance, opportunistic science observations, etc. Goal-based operation changes the fundamental basis of operations from imperative command sequences to declarative specifications of operational intent, termed goals. Execution based on explicit intent simplifies operator workload by focusing on what to do rather than how to do it. The move toward goal-based operations, which has already begun in some space missions, involves changes and opportunities in several places: operational processes and tools, human interface design, planning and scheduling, control architecture, fault protection, and verification and validation. Further, the need for future interoperation among multiple goal-based systems suggests that attention be given to areas for standardization. This overview paper defines the concept of goal-based operations, reviews a history of steps in this direction, and discusses the areas of change and opportunity through comparison with the prevalent operational paradigm of command sequencing.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

PEM: The small company-dedicated software process quality evaluation method combining CMMISM and ISO/IEC 14598

PEM: The small company-dedicated software process quality ev...

引用

作者： Trudel, Sylvie Lavoie, Jean-Marc Paré, Marie-Claude Suryn, Witold Software Test Center CRIM Bureau 100 550 rue Sherbrooke Ouest Montréal Qué. H3A 1B9 Canada Consultations Jean-Marc Lavoie Inc. 5815 Parnasse Brossard Qué. J4W 2C7 Canada Motorola Canada Software Center 700 Wellington Street Montréal Qué. H3C 3S4 Canada Département de Génie Logiciel et TI École de Technologie Supérieure 1100 rue Notre-Dame Ouest Montréal Qué. H3C 1K3 Canada Canada Trisotech Canada Motorola GSG Canada Canada École de Technologie Supérieure Montreal Canada GELOG : IQUAL Software Quality Engineering Research Group École de Technologie Supérieure Canada ISO/IEC SC7 - System and Software Engineering Canada

Many small software organizations have recognized the need to improve their software product. Evaluating the software product alone seems insufficient since it is known that its quality is largely dependant on the process that is used to create it. Thus, small organizations are asking for evaluation of their software processes and products. The ISO/IEC 14598-5 standard is already used as a methodology basis for evaluating software products. This article explores how it can be combined with the CMMI to produce a methodology that can be tailored for process evaluation in order to improve their software processes. © Springer Science + Business Media, Inc. 2006.

关键词： ISO Standards

来源：评论

学校读者我要写书评

暂无评论

SMOG: Accelerating Subgraph Matching on GPUs

SMOG: Accelerating Subgraph Matching on GPUs

引用

IEEE Conference on High Performance Extreme Computing (HPEC)

作者： Zhibin Wang Ziheng Meng Xue Li Xi Lin Long Zheng Chen Tian Sheng Zhong State Key Laboratory for Novel Software Technology Nanjing University Alibaba Group“ National Engineering Research Center for Big Data Technology and System/ Services Computing Technology and System Lab/Cluster and Grid Computing Laboratory Huazhong University of Science and Technology Zhejiang Lab

Subgraph matching is a crucial problem in graph theory with diverse applications in fields, such as bioinformatics, social networks and recommendation systems. Accelerating subgraph matching can be greatly facilitated by GPUs, which offer exceptional parallelism and high memory bandwidth. By leveraging the power of multiple GPU cards, subgraph matching can be scaled to achieve unprecedented levels of performance. In this paper, we propose SMOG, an abbreviation for. Subgraph Matching On Multi-Card GPUs. It is a general, high-performance and scalable sub graph matching system that utilizes multi-card GPUs. To address the issue of duplication resulting from subgraph automorphism, SMOG introduces a two-step approach. Firstly, it analyzes the symmetry within the subgraph. Then, it adaptively adjusts the graph preprocessing and generates subgraph-aware GPU codes tailored to the given subgraph. Furthermore, SMOG leverages multi-level parallelism by designing the specific strategy for each level, enabling it to scale from 1 to 1,024 GPU cards, resulting in an extraordinary $553\times$ speedup. We evaluate SMOG on various subgraph queries and datasets. The experimental results demonstrate that SMOG outperforms the triangle-specific system TRUST with an average speedup of $2.94\times$ . And it performs significantly better than the subgraph matching system RPS by $203.55\times$ and the graph processing system Gunrock by 35, $455.52\times$ on average.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing strategic planning capabilities within the Mars Relay Operations Service

Implementing strategic planning capabilities within the Mars...

引用

AIAA Infotech at Aerospace Conference and Exhibit 2011

作者： Hy, Franklin Gladden, Roy Allard, Dan Wallick, Michael Ground Data System Engineering Jet Propulsion Laboratory California Institute of Technology 264-214 Pasadena CA 91109 United States Planning and Execution System Engineering Jet Propulsion Laboratory California Institute of Technology 264-235 Pasadena CA 91109 United States Distributed Systems Technologies Jet Propulsion Laboratory California Institute of Technology 301-480 Pasadena CA 91109 United States Operations Planning Software Group Jet Propulsion Laboratory California Institute of Technology 301-250D Pasadena CA 91109 United States

ISBN: (纸本)9781600869440

Since the Mars Exploration Rovers (MER), Spirit and Opportunity, began their travels across the Martian surface in January of 2004, orbiting spacecraft such as the Mars 2001 Odyssey orbiter have relayed the majority of their collected scientific and operational data to and from Earth. From the beginning of those missions, it was evident that using orbiters to relay data to and from the surface of Mars was a vastly more efficient communications strategy in terms of power consumption and bandwidth compared to direct-to-Earth means. However, the coordination between the various spacecraft, which are largely managed independently and on differing commanding timelines, has always proven to be a challenge. Until recently, the ground operators of all these spacecraft have coordinated the movement of data through this network using a collection of ad hoc human interfaces and various, independent software tools. The Mars Relay Operations Service (MaROS) has been developed to manage the evolving needs of the Mars relay network, and specifically to standardize and integrate the relay planning and coordination data into a centralized infrastructure. This paper explores the journey of developing the MaROS system, from inception to delivery and acceptance by the Mars mission users. © 2011 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory

Modeling and Analysis of Mobile Cloud Computing Based on Big...

引用

IEEE International Conference on Mobile Cloud Computing, Services, and engineering

作者： Lian Yu Xin Wei Jerry Gao Wei Tek Tsai Xiao Qun Guo Thomas T. Hildebrandt School of Software & Microelectronics Peking University Dept. of Computer Engineering College of Engineering San Jose State University School of Comp. Info. and Dec. Systems Engineering Arizona State University Process and System Models Group IT University of Copenhagen

ISBN: (纸本)9781479944248

A mobile cloud is a cloud infrastructure connecting to mobile devices with a variety of applications (apps). This paper proposes utilizing bigraphical reaction systems (BRSs) to model and analyze a mobile cloud including its contexts such as mobile location, power consumption, network bandwidth, and latency. Simulations and evaluations are performed by matching the reaction rules of BRS with its current agent, on different usage scenarios of mobile cloud, to demonstrate the validity of the proposed methodology.

关键词： Mobile cloud Modeling and simulation Bigraphical reaction systems (BRSs) Sorting logic BRS-based simulation BRS-based MOF

来源：评论

学校读者我要写书评

暂无评论

Trust Factors in P2P Networks

Trust Factors in P2P Networks

引用

IEEE International Workshop on Semantic Computing and systems, WSCS

作者： Xue Chen Guisheng Chen Jin Liu Xiangfeng Luo Xuhui Li Bing Li The Digital Content Computing and Semantic Grid Group Joint Lab of Next-Generation Internet Interactive Computing Shanghai University China Institute of Electronic System Engineering of China Beijing China The State Key Lab of Software Engineering Wuhan University of China China

ISBN: (纸本)9780769533162

P2P networks have become a popular way to share large volumes of data due to its open and anonymous nature. P2P network model is designed with the targets of decentralization, well-scaling, fault-tolerance and low cost. Meanwhile however, new targets bring new challenges. P2P network expose more security threats due to its open and anonymous nature. P2P networks are vulnerable to attacks by malicious peers that have an incentive to spread viruses, in authentic data, or provide poor quality services. In this paper, we analyze the potential trust problems for different kinds of P2P networks, and then present the general trust factors that are indispensable for building trust models in any kinds of networks.

关键词： Trust factors P2P networks Topology P2P network topology Nonprofit Organizations Trust trust Quality of service large volume data

来源：评论

学校读者我要写书评

暂无评论

Development Of Cross-Sectoral Active Network Management systems Using New engineering Paradigms

Development Of Cross-Sectoral Active Network Management Syst...

引用

IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe)

作者： Marcel Ludwig Jan Mehlich Schaugar Azad Markus Zdrallek Christian Thommessen Nicolas Witte Nils Loose Ralf Settertobulte Uwe Weber Institute of Power System Engineering University of Wuppertal Wuppertal Germany Chair of Energy Technology University of Duisburg-Essen Duisburg Germany Research Group for Business Informatics and Software Engineering University of Duisburg-Essen Essen Germany Stadtwerke Lemgo GmbH Lemgo Germany

An Active Network Management system comprises a large number of different technical systems that interact in several ways to pursue local objectives. The Smart Grid Architecture Model was developed for the description of the coupling of these technical systems and scenarios within an Active Network Management system. In this paper, this modelling paradigm is applied for the requirements engineering and a uniform description of a cross-sectoral Active Network Management system. Essential requirements are shown and described in relation to the two upper layers of the Smart Grid Architecture Model. Based on the requirements engineering results, the implementation of a multi agent system is proposed. For the development of this multi agent system, a new software engineering paradigm is applied. Finally, the functionality use-case developed cross-sectoral Active Network system are described, which will be investigated in a later field test.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing home care application in Brazilian Digital TV

Implementing home care application in Brazilian Digital TV

引用

International Global Information Infrastructure Symposium (GIIS)

作者： Mauro Oliveira Paulo R.F. Cunha Marcos Eduardo da Silva Santos Julio Cesar Cavalcante Bezerra Federal Institut of Ceará Group of Computer Networks Software Engineering and System (GREAT) Fortaleza Ceara Brazil Center of Informatics of UFPE Federal University of Pernambuco (UFPE) Pernambuco Brazil Universidade Estadual do Ceara Fortaleza Ceara Brazil

GINGA, today an ITU-T recommendation H.761, was developed to be the middleware of the Brazilian digital TV model. The DIGA GINGA (digital automation monitoring and control using GINGA technology) is part of the GINGA CDN project (code development network), a Brazilian research network that aims to add value to GINGA, producing components and applications. The main idea of DIGA GINGA is to share a computational structure of the digital TV set-top-box adding services to users, such as tracking the physical environment (home security), personal monitoring (vital signs) and other applications for home automation. The DIGA GINGA environment will test two of the components specified in the GINGA CDN project, data persistence and channel of return (interactivity channel), which are being implemented at the group of Computer Networks - GREAT. This study will also present the implementation of a prototype, which provides monitoring and support for who are in a state of recovery or are carriers of diseases that require intensive medical supervision.

关键词： Digital TV Computerized monitoring Home automation Middleware Automatic control Home computing Physics computing Data security Application software Testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共13页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：