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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,380 篇 会议
76 册 图书
11 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

977 篇 工学
- 764 篇 计算机科学与技术...
- 677 篇 软件工程
- 154 篇 控制科学与工程
- 127 篇 电气工程
- 127 篇 信息与通信工程
- 88 篇 机械工程
- 73 篇 动力工程及工程热...
- 63 篇 生物工程
- 56 篇 电子科学与技术（可...
- 56 篇 生物医学工程（可授...
- 45 篇 土木工程
- 38 篇 交通运输工程
- 33 篇 仪器科学与技术
- 33 篇 建筑学
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 28 篇 材料科学与工程（可...
488 篇 理学
- 354 篇 数学
- 77 篇 物理学
- 75 篇 生物学
- 67 篇 统计学（可授理学、...
- 59 篇 系统科学
- 34 篇 化学
270 篇 管理学
- 207 篇 管理科学与工程(可...
- 128 篇 工商管理
- 72 篇 图书情报与档案管...
65 篇 教育学
- 65 篇 教育学
58 篇 经济学
- 58 篇 应用经济学
48 篇 医学
- 44 篇 临床医学
- 41 篇 基础医学(可授医学...
32 篇 法学
16 篇 农学
8 篇 文学
6 篇 艺术学
4 篇 军事学

主题

69 篇 software enginee...
62 篇 programming
46 篇 linear programmi...
43 篇 software enginee...
39 篇 optimization
38 篇 dynamic programm...
31 篇 artificial intel...
28 篇 students
25 篇 computer science
25 篇 programming lang...
22 篇 programming tech...
22 篇 logics and meani...
21 篇 python
20 篇 programming prof...
20 篇 computer communi...
20 篇 genetic algorith...
20 篇 machine learning
19 篇 software
18 篇 computer languag...
18 篇 computer systems...

机构

5 篇 school of transp...
5 篇 al-farahidi univ...
5 篇 school of comput...
4 篇 the university o...
4 篇 school of electr...
4 篇 changsha univers...
4 篇 banaras hindu un...
4 篇 abv-indian insti...
4 篇 department of in...
4 篇 huazhong univers...
4 篇 the university o...
4 篇 school of comput...
4 篇 nanjing universi...
4 篇 indian institute...
4 篇 department of co...
4 篇 school of mechan...
3 篇 wuhan university...
3 篇 wuhan university...
3 篇 school of comput...
3 篇 hohai university...

作者

4 篇 anshul verma
4 篇 stuckey peter j.
4 篇 rajkumar buyya
4 篇 li zuoyong
4 篇 holcombe mike
4 篇 kiran kumar patt...
4 篇 dipankar dasgupt...
4 篇 pradeepika verma
3 篇 senthil kumar a....
3 篇 wang lei
3 篇 wang dong
3 篇 gang wang
3 篇 filipe portela
3 篇 ismail musirin
3 篇 cao peng
3 篇 succi giancarlo
3 篇 a.v. senthil kum...
3 篇 watanobe yutaka
3 篇 singla ishdeep
3 篇 musirin ismail

语言

1,438 篇 英文
27 篇 其他
2 篇 中文

检索条件"任意字段=4th International Conference on Art, Science, and Engineering of Programming, Programming 2020"

共 1467 条记录，以下是1181-1190 订阅

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

详细简洁

排序：

Transition from a waterfall-based capstone course to an agile model

Transition from a waterfall-based capstone course to an agil...

引用

2008 international conference on Frontiers in Education: Computer science and Computer engineering, FECS 2008

作者： Lüer, Chris Computer Science Department Ball State University Muncie IN 47306 United States

ISBN: (纸本)1601320671

We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. the setting included external requirements on the structure of the course as well as ingrained expectations by stakeholders. We gradually introduced agile tools and methods into the existing syllabus while preserving the overall structure of the course. the selected practices included automated unit testing, iterations, wikis, and pair programming, among others. the success or failure of each technology, as well as the overall approach, was evaluated. We found that some, but not all, agile techniques proved effective in the given setting, and recommend that teachers in a similar situation consider a gradual approach to the introduction of new technologies.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Gridbus workflow management system on clouds and global grids

Gridbus workflow management system on clouds and global grid...

引用

4th IEEE international conference on escience, escience 2008

作者： Pandey, Suraj Jin, Chao Voorsluys, William Rahman, Mustafizur Buyya, Rajkumar Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9780769535357

the Gridbus workflow management system (GWMS) is designed to execute scientific applications, expressed in the form of workflows, onto Grid and Cloud resources. With the help of this system, we demonstrate a computational and data-intensive Image Registration (IR) workflow for functional Magnetic Resonance Imaging (fMRI) applications on Clouds and global Grids. We also present a demonstration of the Aneka System. Aneka is a .NET based Cloud software platform that provides: (i) a configurable service container hosting pluggable services for discovering, scheduling various types of workloads and (ii) a flexible and extensible framework supporting various programming models. We use distributed Grid and Cloud resources from Australia, Austria, Trance, Japan, and USA for the executions of image registration workflow, and resources from Melbourne University for executing map-reduce applications in Aneka cloud environment. © 2008 IEEE.

关键词： Image registration

来源：评论

学校读者我要写书评

暂无评论

Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid 4

Formally Specifying Operational Semantics and Language Const...

引用

4th international conference on IT-Incident Management and IT-Forensics, IMF 2008

作者： Mokhov, Serguei A. Paquet, Joey Debbabi, Mourad Faculty of Engineering and Computer Science Concordia University MontrealQC Canada

ISBN: (纸本)9783885792345

the Forensic Lucid programming language is being developed for inten- sional cyberforensic case specification and analysis, including the syntax and oper ational semantics. In significant part, the language is based on its predecessor and codecessor Lucid dialects, such as GIPL, Indexical Lucid. Lucx, Objective Lucid, and JOOIP bound by the intensional higher-order logic that is behind them. this work continues to formally specify the operational semantics of the Forensic Lucid language extending the previous related work. © 2008 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

the design of a smart controller for electric powered wheelchairs

The design of a smart controller for electric powered wheelc...

引用

4th IASTED international conference on Telehealth and Assistive Technologies, Telehealth/AT 2008

作者： Salatin, Benjamin Grindle, Garrett Hongwu, Wang Cooper, Rory A. Human Engineering Research Laboratories Department of Rehabilitation Science and Technology VA Pittsburgh University of Pittsburgh 7180 Highland Drive Pittsburgh PA 15217 United States

ISBN: (纸本)9780889867406

Electric powered wheelchair (EPW) controllers have not seen substantial improvement since the introduction of the microprocessor. there are no features that warn the driver of danger or help keep the EPW under control in adverse conditions such as slipping or tipping. With an estimated 300,000 EPWs in use in the United States and the population of older adults increasing rapidly, the need for safer control systems for EPWs is a priority. this paper presents in detail the electronic, mechanical, and software design used in developing a smart controller for EPWs. A single board computer provides the computational power and storage space needed to execute normal operations, complex safety algorithms, and extensive data logging. An array of sensors connects to the computer, providing feedback on velocity, inertia, caster angle, and obstacle range. A rugged aluminum enclosure protects the electronics and provides connectors for all the sensors. A real-time operating system is used as the basis for programming. the software architecture uses a 3 level hierarchical structure that organizes tasks based on periodicity, priority, and computational load. the goal of this project is to demonstrate what can be done with an EPW to enhance the mobility, participation, and safety of its occupant.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

the simulation study on dynamic optimization of hydropower project earthwork allocation system based on petri net

The simulation study on dynamic optimization of hydropower p...

引用

2008 international conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008

作者： Wei, Luo Zhigen, Hu Quan, Liu Yafeng, Qiu State Key Laboratory of Water Resource and Hydropower Engineering Science Wuhan University Wuhan China East China Investigation and Design Institute CHECC Zhejiang China

ISBN: (纸本)9781424421084

this paper makes use of the characteristics of the Petri net, which describes the discrete event system effectively. Based on the principle of Petri net in arrangement and the characteristic of the earthwork allocation system, the model of earthwork allocation system is established by level, and finally the Petri net shape of the earthwork allocation system is formed. It embeds linear programming model and queue theory into the Petri net, and then works out. It is proved that the simulation is effective and feasible in the project. © 2008 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Parameterized access control: From design to prototype 08

Parameterized access control: From design to prototype

引用

4th international conference on Security and Privacy in Communication Networks, SecureComm'08

作者： Gehani, Ashish Chandra, Surendar Computer Science Laboratory SRI International Menlo Park CA 94025 United States Department of Computer Science and Engineering University of Notre Dame Notre Dame IN 46556 United States

ISBN: (纸本)9781605582412

Peer-to-peer overlays provide a substrate well suited to building distributed storage systems. Applications that use the infrastructure need the ability to control access to their data. However, traditional authorization services were not designed to operate in the face of network partitions, malicious nodes, and on an Internet-wide scale. We describe the implementation of the Decentralized Authentication and Authorization Layer (DAAL), a mechanism to leverage the storage functionality of the overlay and obviate the need for an online, centralized access control service. the system can efficiently identify malicious nodes and continue to operate correctly when an arbitrary, predefined fraction of the network is unreachable (as occurs during an attack against the routing infrastructure or during a distributed denial-of-service attack). DAAL melds the access request efficiency of capability-based systems with the revocation power of reference monitor-based access control lists. It avoids the use of distributed leases as they create a vulnerability window during which there is a gap between the security policy and configuration. Actualizing the design can be challenging. Hence, we describe the protocol details and how they can be abstracted behind a minimal, intuitive application programming interface. As a proof of concept, we implemented DAAL as a Java prototype on a 200-node peer-to-peer overlay distributed across the world. Copyright 2008 ACM.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

Extended Visual Object based Intelligent Visual programming Environment

Extended Visual Object based Intelligent Visual Programming ...

引用

international conference on Information and Automation for Sustainability (ICIAfS)

作者： P. Ahmed S. Ahmadi Department of Software Engineering College of Computer and Information Sciences King Saud University Riyadh Saudi Arabia Department of Computer Science College of Computer and Information Sciences King Saud University Riyadh Saudi Arabia

this paper presents the design and implementation of an open visual object-oriented programming environment (VOOPE). the environment supports a programming approach in which a program is created using extended visual objects (EVOs) - the objects having visual forms and dynamic behaviors. the environment allows creation of EVOs and modification of their behavior to adapt the changing software requirements. thereby, VOOPE allows incremental software development using the learning capability of EVOs without rebuilding the software.

关键词： programming environments Object oriented programming Computer languages Scalability Engines Educational institutions Dynamic programming Productivity programming profession Application software

来源：评论

学校读者我要写书评

暂无评论

JEXAMPLE: Exploiting dependencies between tests to improve defect localization

JEXAMPLE: Exploiting dependencies between tests to improve d...

引用

9th international conference on Agile Processes in Software engineering and Extreme Porgramming

作者： Kuhn, Adrian Van Rompaey, Bart Haensenberger, Lea Nierstrasz, Oscar Demeyer, Serge Gaelli, Markus Van Leemput, Koenraad Univ Bern Software Composit Grp Neubruckstr 10 CH-3012 Bern Switzerland Univ Antwerp B-2020 Antwerp Belgium

ISBN: (纸本)9783540682547

To quickly localize defects, we want our attention to be focussed on relevant failing tests. We propose to improve defect localization by exploiting dependencies between tests, using a JUNIT extension called JEXAMPLE. In a case study, a monolithic white-box test suite for a complex algorithm is refactored into two traditional JUNIT style tests and to JEXAMPLE. Of the three refactorings, JEXAMPLE reports five times fewer defect locations and slightly better performance (-8-12%), while having similar maintenance characteristics. Compared to the original implementation, JEXAMPLE greatly improves maintainability due the improved factorization following the accepted test quality guidelines. As such, JEXAMPLE combines the benefits of test chains with test quality aspects of JUNIT style testing.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

Congestion management in delay tolerant networks 4

Congestion management in delay tolerant networks

引用

4th Annual international conference on Wireless Internet, WICON 2008

作者： Zhang, Guohua Liu, Yonghe Department of Computer Science and Engineering University of Texas at Arlington ArlingtonTX76019 United States

—In delay tolerant networks, custody transfer can provide certain degree of reliability as a custodian node cannot discard a message unless its life time expires or the custody is transferred to another node after a commitment. this creates a challenging decision making problem at a node in determining whether to accept a custody transfer: on one hand, it is beneficial to accept a large number of messages as it can potentially advance the messages toward their ultimate destinations and network utilization can be maximized;on the other hand, if the receiving node over-commits itself by accepting too many messages, it may find itself setting aside an excessive amount of storage and thereby preventing itself from receiving further potentially important, high yield (in terms of network utilization) messages. To solve this problem, in this paper, we apply the concept of revenue management, and employ dynamic programming to develop a congestion management strategy for delay tolerant networks. For a class of network utility functions, we show that the optimal solution is completely distributed in nature where only the local information such as available storage space of a node is required. this is particularly important given the nature of delay tolerant networks where global information is often not available and the network is inherently dynamic. Our simulation results show that the proposed congestion management scheme is effective in avoiding congestion and balancing network load among the nodes. Copyright © 2008 ICST.

关键词： Delay tolerant networks

来源：评论

学校读者我要写书评

暂无评论

Algorithm Research on Fuzzy Linear Separable Support Vector Classifier

Algorithm Research on Fuzzy Linear Separable Support Vector ...

引用

the 4th international conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)

作者： Ai-min Wang Hong-bin Cui Zhi-min Yang School of Computer and Information Engineering Anyang Normal University Anyang China School of Comp School of Mechanical and Electronic Engineering Hebei University of Science and Technology Shijiazhu Zhijiang College Zhejiang University of Technology Hangzhou China

When the training subset of a support vector machine contains fuzzy information, the support vector machine won't work. A method for calculating fuzzy linear separable support vector classifier is discussed. With the given confidence level, convert the fuzzy classification problem into finding the fuzzy chance constrained programming, and establish a solution finding theory with fuzzy chance constrained programming crisp equivalence programming dual programming. A algorithm for fuzzy linear separable support vector classifier is derived: given the fuzzy training subset of a fuzzy linear separable problem and selecting appropriate confidential level, construct appropriate quadratic programming equation;find the optimal solution of the quadratic programming;construct optimal separating hyperplane, find the optimal classification function, and establish new training subset;construct support vector regression machine with the new training subset, get the regression functions, and establish the membership function of the optimal classification function from these;lastly, find the optimal solution. the algorithm is also verified with given data.

关键词： Fuzzy support vector machine fuzzy linear separability fuzzy chance constrained programming crisp equivalence programming algorithm

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共147页 << < 115 116 117 118 119 120 121 122 123 124 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：