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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

907 篇 会议
450 篇 期刊文献
23 册 图书

馆藏范围

1,380 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

811 篇 工学
- 600 篇 计算机科学与技术...
- 435 篇 软件工程
- 130 篇 控制科学与工程
- 123 篇 信息与通信工程
- 61 篇 电气工程
- 50 篇 电子科学与技术（可...
- 48 篇 机械工程
- 47 篇 安全科学与工程
- 38 篇 生物医学工程（可授...
- 34 篇 建筑学
- 34 篇 土木工程
- 34 篇 生物工程
- 28 篇 仪器科学与技术
- 26 篇 化学工程与技术
- 24 篇 材料科学与工程（可...
- 18 篇 动力工程及工程热...
488 篇 理学
- 335 篇 数学
- 81 篇 统计学（可授理学、...
- 64 篇 物理学
- 64 篇 系统科学
- 45 篇 生物学
- 25 篇 化学
207 篇 管理学
- 148 篇 管理科学与工程(可...
- 86 篇 工商管理
- 61 篇 图书情报与档案管...
41 篇 经济学
- 39 篇 应用经济学
34 篇 医学
- 26 篇 基础医学(可授医学...
- 26 篇 临床医学
28 篇 教育学
- 22 篇 教育学
25 篇 法学
- 23 篇 社会学
15 篇 农学
3 篇 文学
2 篇 哲学
2 篇 军事学
2 篇 艺术学

主题

35 篇 artificial intel...
33 篇 safety
31 篇 computer science
28 篇 computer archite...
28 篇 software
23 篇 monitoring
23 篇 hardware
21 篇 computational mo...
20 篇 application soft...
18 篇 software enginee...
18 篇 semantics
17 篇 data models
16 篇 optimization
15 篇 reliability
14 篇 programming prof...
14 篇 system-on-chip
14 篇 iec standards
14 篇 standards
13 篇 computer languag...
13 篇 functional progr...

机构

47 篇 department of ap...
25 篇 department of co...
18 篇 department of ap...
17 篇 department of sy...
17 篇 computer archite...
15 篇 department of co...
15 篇 department of co...
13 篇 department of pr...
13 篇 department of co...
11 篇 department of ap...
10 篇 technical univer...
9 篇 department of co...
9 篇 icas institute f...
9 篇 department of ap...
8 篇 institute for co...
8 篇 department of co...
8 篇 computer techniq...
7 篇 department of ma...
7 篇 department of pr...
7 篇 chair for comput...

作者

43 篇 josef börcsök
34 篇 pal madhumangal
30 篇 ali hayek
22 篇 börcsök josef
20 篇 madhumangal pal
19 篇 gancheva veska
17 篇 veska gancheva
15 篇 börcsök j.
15 篇 boercsoek josef
15 篇 fritzson peter
14 篇 hayek ali
12 篇 mondal shyamal k...
12 篇 maiti manoranjan
12 篇 gurkan tuna
12 篇 mostafa abotaleb
11 篇 mariana arghir
10 篇 tuna gurkan
10 篇 xue jingling
10 篇 roy abi zeid dao...
9 篇 roy sankar kumar

语言

1,293 篇 英文
76 篇 其他
8 篇 中文
2 篇 俄文
1 篇 德文
1 篇 法文
1 篇 日文
1 篇 土耳其文

检索条件"机构=Computer Programming"

共 1380 条记录，以下是901-910 订阅

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

详细简洁

排序：

Analysis of community structure in Wikipedia (poster) 09

Analysis of community structure in Wikipedia (poster)

引用

18th International World Wide Web Conference, WWW 2009

作者： Lizorkin, Dmitry Medelyan, Olena Grineva, Maria Inst. for System Programming Russian Academy of Sciences Russia Computer Science Dept. Univ. of Waikato New Zealand

ISBN: (纸本)9781605584874

We present the results of a community detection analysis of the Wikipedia graph. Distinct communities in Wikipedia contain semantically closely related articles. The central topic of a community can be identified using PageRank. Extracted communities can be organized hierarchically similar to manually created Wikipedia category structure. Copyright is held by the author/owner(s).

关键词： Population dynamics

来源：评论

学校读者我要写书评

暂无评论

Advanced PFH calculations for safety integrity systems with high diagnostic

Advanced PFH calculations for safety integrity systems with ...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： P. Holub J. Börcsök Computer Architecture and System Programming University of Kassel Kassel Germany

The calculation of "Probability of Failure on Demand" (PFH) according to IEC 61508 shows for a 1oo1 and a 1oo2 system using the same initial values that - as expected - a 1oo2 system is a better safety integrity system than a 1oo1 system. This means, that a 1oo2 system has a lower probability of failure than a 1oo1 system. Comparing the same systems operating in a high demand or continuous mode of operation, there will be some cases, especially for systems with high diagnostics, where a 1oo1 system has a lower ¿Probability of Failure per Hour¿ (PFH) value than a 1oo2 system, using the PFH formulas according to IEC 61508. Using the equation according to IEC 61508, it is also possible that the PFH value is apparently better the longer the system runs either in the high mode or continuous mode of operation. Both results are irreproducible in industrial reality. Therefore, this paper will analyze first what conditions are necessary to get a hazard event when using a PFH system. Only those cases are considered in the modified PFH calculation, in which indeed a hazard event occurs. In a second step, it presents a new approach with the help of plausible arguments in order to calculate the PFH value of a PFH system considering a high diagnostic and a very low failure rate. The presented approach can also be correctly verified with mathematics using the advanced Markov model also described in this paper.

关键词： IEC standards Phase frequency detector Hazards Protection computer architecture Humans Safety devices Robotic assembly Risk analysis Probability

来源：评论

学校读者我要写书评

暂无评论

Separation of concerns for Multithreads Object-Oriented programming

Separation of concerns for Multithreads Object-Oriented Prog...

引用

International Conference on Electrical Engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： Paniti Netinant Concurrent Programming Research Group Illinois Institute of Technology Chicago IL USA Computer Science Department Bangkok University Bangkok Thailand

Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often unprepared for the challenges of the concurrent object-oriented programming brings. The interaction of their components becomes more complex, and makes it difficult to validate the design and correctness of the implemented program. Supporting separation of concerns in the design and implementation of the multithreaded object-oriented programming can provide a number of benefits such as comprehension, reusability, extensibility and adaptability in both design and implementation. We have tackled this problem by adopting the technique of separation of concerns in multithreaded object-oriented programming. In this paper we demonstrate an aspect-oriented approach that can be used for multithreaded object-oriented programming. We also show how better the separation of concerns in components. Readers/Writers problem is demonstrated using an aspect-oriented approach. Our methodology, which is based on aspect-oriented techniques as well as language and architecture independence, is an aspect-oriented framework.

关键词： Object oriented programming computer architecture programming profession Yarn Concurrent computing Parallel programming Delay Robustness Software architecture Software development management

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design Engineering Technical Conferences and computers and Information in Engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

International Conference on Adaptive Science & Technology (ICAST)

作者： Bekir Karlik Mustafa Sariöz Department of Computer Engineering Haliç University Istanbul Turkey Computer Technology and Programming Fatih University Istanbul Turkey

This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-selected source image to a target grayscale image. According to the results of this combining method, a survey where volunteers were asked to rate the plausibility of the colorings generated automatically was performed for individual images. In most cases automatically-colored images were rated either as totally or mostly acceptable.

关键词： Gray-scale Artificial neural networks Color Humans Pixel Image databases Motion pictures computer networks Image processing Data visualization

来源：评论

学校读者我要写书评

暂无评论

Generating formal specifications for security-critical applications - A model-driven approach

Generating formal specifications for security-critical appli...

引用

International Workshop on Software Engineering for Secure Systems (SESS)

作者： Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9781424437252

The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under development. This model-driven approach is focused on security-critical applications that are based on cryptographic protocols, especially Java Card applications. In this paper we describe the generation of the formal specification from the UML model which is then used as input for our interactive verification system KIV. The formal specification is based on abstract state machines and algebraic specifications. It allows to formulate and to prove application-specific security properties.

关键词： Formal specifications Object oriented modeling Unified modeling language Cryptographic protocols Java Security Application software Software engineering computer languages computer science

来源：评论

学校读者我要写书评

暂无评论

Predicting Parameter Sweep Jobs: From Simulation to Grid Implementation

Predicting Parameter Sweep Jobs: From Simulation to Grid Imp...

引用

International Conference on Complex, Intelligent and Software Intensive Systems, CISIS

作者： Peter Hellinckx Sam Verboven Frans Arickx Jan Broeckhove Research Group Computational Modeling and Programming Department of Mathematics and Computer Sciences University of Antwerp Antwerp Belgium

ISBN: (纸本)9781424435692

Efficiently using the computational power made available through desktop grids based distributed systems is a complicated and many-sided problem, caused by the intermittent resource availability. In this paper a novel solution is presented for predicting the runtimes of parameter sweep jobs. These jobs are characterized by their lack of inter-dependence and suitability for runtime prediction by modeling. This makes them ideal candidates for deployment on volatile grid configurations using prediction based techniques. The parameter sweep prediction framework used to make the predictions is referred to as GIPSy (grid information prediction system). Previous research involving GIPSy has focused on results obtained during simulation were it is necessary to make some basic assumptions. By combining GIPSy with PGS (prediction based grid scheduling), an actual grid implementation, real results can be obtained. A detailed comparison between the expected results, based on simulation analysis, and the final results is given. Discrepancies are highlighted and possible causes are identified, solutions are proposed and implemented. By comparing the results for different model building configurations an optimal configuration is found that produces reliable result independent of the chosen job type. Results are presented for a quantum physics problem and two simulated workloads represented by sleep jobs.

关键词： Predictive models Availability Runtime Scheduling Computational modeling Grid computing Distributed computing Workstations Testing Computational intelligence

来源：评论

学校读者我要写书评

暂无评论

Benefits and risks of knowledge-based systems Report by a Working Party, UK Council for Science and Society, OUP, Oxford1989, pp 76, £6.95.

引用

The Knowledge Engineering Review 2009年第1期5卷 53-54页

作者： J. E. Nicholls Programming Research Group Computer Laboratory Oxford University 8–11 Keble Road Oxford OX1 3QD

来源：评论

学校读者我要写书评

暂无评论

High-Performance Reverse Time Migration on GPU

High-Performance Reverse Time Migration on GPU

引用

computer Science Society (SCCC) International Conference Chilean FLAGGED

作者： Javier Cabezas Mauricio Araya-Polo Isaac Gelado Nacho Navarro Enric Morancho José M. Cela Computer Sciences - Programming Models Barcelona Supercomputing Center (BSC) Barcelona Spain Computer Applications in Science and Engineering dept. Barcelona Supercomputing Center (BSC) Barcelona Spain Department of Computer Architecture Universitat Politècnica de Catalunya Spain Computer Applications in Science and Engineering Department Barcelona Supercomputing Center Barcelona Spain

Partial Differential Equations (PDE) are the heart of most simulations in many scientific fields, from Fluid Mechanics to Astrophysics. One the most popular mathematical schemes to solve a PDE is Finite Difference (FD). In this work we map a PDE-FD algorithm called Reverse Time Migration to a GPU using CUDA. This seismic imaging (Geophysics) algorithm is widely used in the oil industry. GPUs are natural contenders in the aftermath of the clock race, in particular for High-performance Computing (HPC). Due to GPU characteristics, the parallelism paradigm shifts from the classical threads plus SIMD to Single Program Multiple Data (SPMD). The NVIDIA GTX 280 implementation outperforms homogeneous CPUs up to 9x (Intel Harpertown E5420) and up to 14x (IBM PPC 970). These preliminary results confirm that GPUs are a real option for HPC, from performance to programmability.

关键词： Finite difference methods Geophysics computing computer architecture Parallel processing Graphics processing unit Clocks Hardware Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform

Performance Characterization of SPEC CPU2006 Benchmarks on I...

引用

International Workshop on Education Technology and computer Science, ETCS

作者： Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China

For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.

关键词： Microarchitecture Decoding Educational technology Paper technology programming profession Performance analysis computer science computer architecture Hardware Prefetching

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共138页 << < 87 88 89 90 91 92 93 94 95 96 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：