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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

366 篇 会议
112 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

300 篇 工学
- 199 篇 计算机科学与技术...
- 150 篇 软件工程
- 44 篇 信息与通信工程
- 44 篇 控制科学与工程
- 25 篇 机械工程
- 25 篇 电气工程
- 24 篇 生物医学工程（可授...
- 23 篇 土木工程
- 21 篇 电子科学与技术（可...
- 18 篇 建筑学
- 18 篇 生物工程
- 15 篇 安全科学与工程
- 14 篇 船舶与海洋工程
- 13 篇 仪器科学与技术
- 13 篇 化学工程与技术
- 11 篇 材料科学与工程（可...
- 11 篇 交通运输工程
164 篇 理学
- 87 篇 数学
- 29 篇 物理学
- 24 篇 统计学（可授理学、...
- 23 篇 生物学
- 21 篇 系统科学
- 14 篇 海洋科学
- 13 篇 化学
75 篇 管理学
- 55 篇 管理科学与工程(可...
- 34 篇 工商管理
- 26 篇 图书情报与档案管...
14 篇 医学
- 13 篇 临床医学
- 12 篇 基础医学(可授医学...
11 篇 教育学
- 11 篇 教育学
7 篇 经济学
7 篇 法学
6 篇 农学
1 篇 文学
1 篇 军事学

主题

12 篇 optimization
11 篇 computer science
11 篇 support vector m...
10 篇 wireless sensor ...
9 篇 artificial intel...
8 篇 software enginee...
8 篇 computational mo...
8 篇 software
7 篇 neural networks
7 篇 monitoring
7 篇 navigation
7 篇 analytical model...
6 篇 reliability
6 篇 decision support...
6 篇 graphics process...
6 篇 robot sensing sy...
6 篇 predictive model...
6 篇 visualization
6 篇 decision making
6 篇 artificial neura...

机构

15 篇 department of co...
14 篇 department of sy...
12 篇 department of co...
9 篇 department of co...
8 篇 department of co...
8 篇 computer techniq...
7 篇 department of co...
6 篇 department of ap...
6 篇 programming lang...
6 篇 department of co...
6 篇 computer enginee...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 national technic...
5 篇 programming lang...
5 篇 mart learning ed...
5 篇 computer enginee...

作者

12 篇 mostafa abotaleb
10 篇 gurkan tuna
10 篇 xue jingling
8 篇 tuna gurkan
8 篇 kayhan gulez
8 篇 börcsök josef
8 篇 hayek ali
8 篇 kuchuk nina
8 篇 krini abderrahim
8 篇 abdelhameed ibra...
7 篇 boercsoek josef
7 篇 lee jaejin
7 篇 nina kuchuk
6 篇 sarkar biswajit
6 篇 gulez kayhan
6 篇 hovorushchenko t...
6 篇 v. cagri gungor
6 篇 josef börcsök
6 篇 roy abi zeid dao...
6 篇 abotaleb mostafa

语言

478 篇 英文
6 篇 其他
2 篇 中文
1 篇 日文
1 篇 土耳其文

检索条件"机构=Computer and Programming Engineering"

共 488 条记录，以下是401-410 订阅

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

详细简洁

排序：

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...

引用

2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1

作者： Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan

This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads. A DC-to-DC converter is connected to the output terminals of the studied SOFC for stabilizing output voltage and current fluctuations under different loading conditions. The PWM inverter connected to the output terminals of the DC-to-DC converter is operated under voltage-controlled mode to regulate the voltage profile across the connected loads. It can be concluded from the simulation results that the proposed voltage and frequency droop controllers of the PWM inverter may operate satisfactory under stand-alone mode.

关键词： Solid oxide fuel cells (SOFC) DC-to-DC converter PWM inverter Stand-alone mode

来源：评论

学校读者我要写书评

暂无评论

Redundant optical data transmission using semiconductor lasers

Redundant optical data transmission using semiconductor lase...

引用

ACS/IEEE International Conference on computer Systems and Applications

作者： H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY

This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected error for some binary symmetric and non-symmetric channels protected by appropriate codes. In detail, communication via different binary symmetric channels (BSCs), generalized erasure channels and symmetrized binary non symmetric channels (BNSCs) is investigated. Simple upper bounds are given, relating the new formulas to that one of the BSC Finally the results in connection with an inequality for proper codes are applied to multi wavelength optical transmission through channels generated by semiconductor lasers.

关键词： Data communication Semiconductor lasers Error probability Optical transmitters Protection Safety Wavelength division multiplexing Laser theory Upper bound Linear code

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on Software engineering Advances - ICSEA 2007

作者： Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany

ISBN: (纸本)0769529372

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical E-Commerce applications. We present an approach to model these applications with the unified modeling language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

ITKBoard: A visual dataflow language for biomedical image processing

ITKBoard: A visual dataflow language for biomedical image pr...

引用

2nd International Conference on Software and Data Technologies

作者： Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)9789898111050

Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides a complete framework for a range of image processing tasks, and is specifically aimed at segmentation and registration tasks for both two and three dimensional images. This paper describes a visual dataflow language, ITKBoard, designed to simplify building, and more significantly, experimenting with ITK applications. The ease with which image processing experiments can be interactively modified and controlled is an important aspect of the design. The experimenter can focus on the image processing task at hand, rather than worry about the underlying software. ITKBoard incorporates composite and parameterised components, and control constructs, and relies on a novel hybrid dataflow model, combining aspects of both demand and data-driven execution.

关键词： dataflow programming visual programming languages image processing software ITK ITKBoard

来源：评论

学校读者我要写书评

暂无评论

Attracting and retaining women in computer science and engineering: Evaluating the results

Attracting and retaining women in computer science and engin...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Keathly, David Akl, Robert Garlick, Ryan University of North Texas United States IEEE Computer Society ACM and the UNT Programming Teams IEEE University of North Texas Department of Computer Science and Engineering United States

computer science and engineering communities have been exploring a variety of activities and techniques to attract and retain more students, especially women and minorities, to computer science and computer engineering degree programs1. This paper briefly describes the efforts and results of a plan for actively recruiting young women into undergraduate computer engineering and computer science programs hosted by the University of North Texas (UNT). It also describes a series of activities aimed at improving the retention rate of students already in our programs, particularly during the freshman year. Such recruitment and retention efforts are critical to the country's efforts to increase the number of engineering professionals, and are a priority for the computer Science and engineering (CSE) Department at UNT. We initially designed a three-part plan to achieve our recruitment and retention goals: Sponsorship of portable and mobile summer computer engineering robotics camps for middle and high-school women students, coordinating with the regional Girl Scouts councils and other organizations to help with the recruitment;Creation of an Ambassador program using young women currently enrolled in the upper division of current computer science and computer engineering programs as a form of outreach to area high schools and junior colleges;and Expansion of our successful undergraduate mentoring program by using the Ambassador cohort mentioned above as mentors for incoming freshman and first-year transfer women entering our programs. This paper will focus primarily on the summer camp program and present an analysis of the results we have seen to date after 2 years of camp activities. Results from student surveys and parent surveys will be presented. The paper concludes with recommended changes and improvements in the program, as well as a discussion of adaptations that would create programs suitable for implementation at other institutions as well as programs aimed at a dif

关键词： computer science

来源：评论

学校读者我要写书评

暂无评论

Transactional programming in a multi-core environment 07

Transactional programming in a multi-core environment

引用

2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University

ISBN: (纸本)1595936025

With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core products in the mainstream computing market. Moore's law will largely be used to increase HW thread-level parallelism through higher core counts in a CMP environment. CMPs bring new challenges into the design of the software system stack. In this tutorial, we talk about the shift to multi-core processors and the programming implications. In particular, we focus on transactional programming. Transactions have emerged as a promising alternative to lock-based synchronization that eliminates many of the problems associated with lock-based synchronization. We discuss the design of both hardware and software transactional memory and quantify the tradeoffs between the different design points. We show how to extend the Java and C languages with transactional constructs, and how to integrate transactions with compiler optimizations and the language runtime (e.g., memory manager and garbage collection).

关键词： computer programming

来源：评论

学校读者我要写书评

暂无评论

WOZ pro: A pen-based low fidelity prototyping environment to support wizard of oz studies

WOZ pro: A pen-based low fidelity prototyping environment to...

引用

25th SIGCHI Conference on Human Factors in Computing Systems 2007, CHI 2007

作者： Hundhausen, Christopher D. Balkar, Anzor Nuur, Mohamed Trent, Stephen Visualization and End User Programming Lab. School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 United States School of Electrical Engineering and Computer Science Washington State University Tri-Cities Richland WA 99354-1671 United States

ISBN: (纸本)1595936424

Because they are easy to create and modify, low fidelity prototypes are commonly used in early evaluations of user interface designs. Designers typically use either pen-and-paper or various computer-based tools to create and test low fidelity prototypes;however, our informal analyses of these existing technologies indicate that they do not optimally support the two key, complementary tasks of (a) prototype creation and (b) wizard of oz testing. To address this problem, we have been developing WOZ Pro (Wizard of Oz Prototyper), a pen-based software environment for the quick and easy creation and testing of low fidelity user interface prototypes. We are designing WOZ Pro to be as easy to use as pen-and-paper, but to hold key advantages over pen-and-paper and existing computer-based tools. When designing interface screens in WOZ Pro, designers can easily (a) propagate a design change to other related screens, and (b) specify the set of screens that are reachable from a given screen. In a wizard of oz test, WOZ Pro reduces the cognitive load on the wizard by allowing navigation only to those next screens that are valid. We are planning a controlled experiment to compare WOZ Pro against paper-and-pencil along several measures in a set of prototype creation and evaluation tasks.

关键词： Software prototyping

来源：评论

学校读者我要写书评

暂无评论

The Unknown Component Problem: Theory and Applications

引用

2007年

作者： Tiziano Villa Robert King Brayton Alan Mishchenko Alexandre F Petrenko Alberto Luigi Sangiovanni-Vincentelli Nina V Yevtushenko

来源：评论

学校读者我要写书评

暂无评论

A Modeling Framework for the Development of Provably Secure E-Commerce Applications

A Modeling Framework for the Development of Provably Secure ...

引用

International Conference on Software engineering Advances (ICSEA)

作者： Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical e-commerce applications. We present an approach to model these applications with the Unified Modeling Language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification.

关键词： Unified modeling language Object oriented modeling Formal specifications Java Application software Smart cards Communication system security Cryptographic protocols computer science Software engineering

来源：评论

学校读者我要写书评

暂无评论

Rewriting haskell strings 07

引用

Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

作者： Duncan Coutts Don Stewart Roman Leshchinskiy Programming Tools Group Oxford University Computing Laboratory Computer Science & Engineering University of New South Wales

ISBN: (纸本)9783540696087

The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transformations based on term rewriting are used to deforest intermediate ByteStrings automatically. We describe novel fusion combinators with improved expressiveness and performance over previous functional array fusion strategies. A library for ByteStrings is implemented, providing a purely functional interface, which approaches the speed of low-level mutable arrays in C.

关键词： deforestation functional programming program fusion

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共49页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：