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

International Conference on Networking, Architecture, and Storage (NAS)

作者： Peng Wang Diqing Hu Changsheng Xie Jianzong Wang Xiao Qin Wuhan National Laboratory of Optoelectronics Key Laboratory of Data Storage System Ministry of Education School of Computer Science and Technology Huazhong University of Science and Technology Wuhan Hubei China Department of Computer Science and Software Engineering Samuel Ginn College of Engineering Aubum University USA

Solid-state disks (SSDs) with high I/O performance are increasingly becoming popular. To extend the life time of flash memory, one can apply wear-leveling strategies to manage data blocks. However, wear-leveling strategies certainly inevitably degrade write performance. In addition to low write performance, wear-leveling strategies make one block unwritable when one bit of this block is invalid. Although data reconstruction techniques have been widely employed in disk arrays, the reconstruction techniques has not been studied in the context of solid-state disks. In this paper, we present a new fine-grained data-reconstruction algorithm for solid-state disks. The algorithm aims to provide a simple yet efficient wear-leveling strategy that improves both I/O performance and reliability of solid-state disks. Simulation experiments show that all data blocks have very similar in terms of erasure times. The number of extra erasures incurred by our algorithm is very marginal.

关键词： Reconstruction algorithms Reliability Mathematical model Flash memory Equations Arrays Parity check codes

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2010 conference workshops

Reports of the AAAI 2010 conference workshops

引用

作者： Aha, David W. Boddy, Mark Bulitko, Vadim D'Avila Garcez, Artur S. Doshi, Prashant Edelkamp, Stefan Geib, Christopher Gmytrasiewicz, Piotr Goldman, Robert P. Halevy, Alon Hitzler, Pascal Isbell, Charles Josyula, Darsana Kaelbling, Leslie Pack Kersting, Kristian Kunda, Maithilee Lamb, Luis C. Marthi, Bhaskara McGreggor, Keith Mihalkova, Lilyana Nastase, Vivi Natarajan, Sriraam Provan, Gregory Raja, Anita Ram, Ashwin Riedl, Mark Russell, Stuart Sabharwal, Ashish Smaus, Jan-Georg Sukthankar, Gita Tuyls, Karl Van Der Meyden, Ron Adaptive Systems Section Naval Research Laboratory Washington DC United States Adventium Labs. Minneapolis MN United States Department of Computer Science University of Alberta Canada City University London United Kingdom University of Georgia United States University of Bremen Germany School of Informatics University of Edinburgh United Kingdom University of Illinois Chicago United States Smart Information Flow Technologies LLC Minneapolis MN United States Structured Data Group Google Research United States Department of Computer Science Wright State University Dayton OH United States School of Interactive Computing Georgia Institute of Technology Atlanta GA United States Department of Computer Science Bowie State University United States Department of Computer Science and Engineering Massachusetts Institute of Technology United States Statistical Relational Mining Group Fraunhofer IAIS Germany Department of Computer Science Federal University of Rio Grande Do sul Brazil Willow Garage Inc. CA United States Computer Science Department University of Maryland College Park United States Heidelberg Institute for Theoretical Studies Heidelberg Germany Department of Computer Science University of Wisconsin Madison United States University College Cork Ireland Cork Complex Systems Lab. Ireland Department of Software and Information Systems University of North Carolina Charlotte United States Department of Computer Science and Engineering University of California Berkeley United States Department of Computer Science Cornell University United States Institute for Computational Sustainability United States University of Freiburg Germany School of Electrical Engineering and Computer Science University of Central Florida United States Maastricht University Netherlands University of New South Wales NICTA Australia

The AAAI-10 workshop program was held on July 11-12, 2010, at the Westin Peachtree Plaza in Atlanta, Georgia. The workshop program included 13 workshops covering a wide range of topics in artificial intelligence. There were several presentations on particular formalisms for combining the levels of planning from the perspectives of classical planning, motion planning, POMDPs, search-based planning, and temporal logic-based constraints. Henry Lieberman from Massachusetts Institute of Technology Media Laboratory presented work developing a platform for knowledge acquisition and usage from expert users, built upon experience with eliciting information from nonexperts in a collaborative manner. The objective of the AAAI Workshop on Goal-Directed Autonomy (GDA) was to encourage discussion and novel contributions on intelligent agents that can self-select their goals. Jeremy Baxter from QinetiQ focused on user interaction, while Nick Hawes described a goal-directed reasoning framework for controlling a mobile robot.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

Simplification and analysis of transitive trust networks

引用

Web Intelligence and Agent Systems 2006年第2期4卷 139-161页

作者： Jøsang, Audun Gray, Elizabeth Kinateder, Michael School of Software Engineering and Data Communications Queensland University of Technology Australia Computer Science Department Trinity College Dublin Ireland Institute of Parallel and Distributed Systems Faculty of Computer Science University of Stuttgart Germany

When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, organisations and software agents can derive trust in other parties requires computerised analysis of the underlying trust networks. This article describes an approach to trust network analysis using subjective logic (TNA-SL), that consists of the three following elements. Firstly it uses a concise notation with which trust transitivity and parallel combination of trust paths can be expressed. Secondly it defines a method for simplifying complex trust networks so that they can be expressed in this concise form. Finally it allows trust measures to be expressed as beliefs, so that derived trust can be automatically and securely computed with subjective logic. We compare our approach with trust derivation algorithms that are based on normalisation such as PageRank and EigenTrust. We also provide a numerical example to illustrates how TNA-SL can be applied. © 2006 - IOS Press and the authors. All rights reserved.

关键词： Computer networks

来源：评论

学校读者我要写书评

暂无评论

High performance code generation through lazy activation records 7

High performance code generation through lazy activation rec...

引用

7th Workshop on Interaction between Compilers and Computer Architectures, INTERACT-7 2003

作者： Satpathy, M. Mahapatrg, R.N. Choudhuri, S. Chitnis, S.V. Applied Software Engineering Group Department of Computer Science University of Reading ReadingRG6 6AY United Kingdom Hardware Software Codesign Group Department of Computer Science Texas AandM University College StationTX77843-5534 United States CMG Wireless Data Solutions B.V. Merweplein 5 Nieuwegein3432 GNß Netherlands

ISBN: (纸本)0769518893

For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to memory spills are much more pronounced in presence of recursion. A function call is usually accompanied by the creation of its activation record at function entry. In this paper, we will deviate from this usual practice;we create an activation record only when we find it necessary. The result is that on many occasions we can execute a function call without actually creating its activation record. We call our strategy lazy activation record strategy (LARS) and show how this strategy is particularly important for call-intensive programs. The LARS subsumes many traditional techniques like leaf-call optimization and tail-recursion optimization, and in addition, it extends Chow's shrink-wrapping in terms of scope and granularity. We also demonstrate how the LARS can be an effective optimization strategy in the case of battery operated embedded systems, since not only can it reduce execution time but also energy consumption. © 2003 IEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Development and application of MCAL tools for marine radar instruction

引用

Computer Applications in engineering Education 1995年第4期3卷 259-259页

作者： Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.

In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional course information through various types of computer media as opposed to the classic CAL systems. The philosophy and techniques employed to design the system are investigated. Usage of the implemented system and its merits have been illustrated through its application to teach engineering students and technicians the theory and concepts of marine radar. System design, implementation, test, and revision phases are presented and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

THE CALLING(SM) NETWORK - A GLOBAL WIRELESS COMMUNICATION-SYSTEM

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第1期12卷 45-61页

作者： TUCK, EF PATTERSON, DP STUART, JR LAWRENCE, MH Calling Communications Corporation. 1900 West Garvey Ave South. Suite 200 West Covina CA 91790 USA. Chairman of Calling Communications Corporation. He is also the Managing Director of Kinship Venture Management Inc. the general partner of Kinship Partners 11 and a General Partner of Boundary the general partner of The Boundary Fund. As a venture capitalist he has founded or participated in founding several telecommunications companies including Calling Communications Corporation Magellan Systems Corporation manufactures of Global Positioning System receivers Applied Digital Access manufacturer of DS-3 test access and network performance monitoring equipment Endgate Technology Corporation specialists in satellite phased array antennas and Poynting Systems Corporation. now a division of Reliance Corporation manufacturers of fibre optic transport equipment. He was a founder of Kebby Microwave Corporation where he invented the first solid-state. frequency-modulated commercial microwave link system. The company was acquired by ITT Corporation where he rose to the position of V.P. and Technical Director of ITT North America Telecommunications Inc. Subsequently he was V.P. of Marketing and Engineering at American Telecommunications Inc. (ATC). He was founding Director of American Telecom Inc. a joint venture between ATC and Fujitsu and has served on more than 20 boards of directors including those of three public companies. He has authored articles on microwave engineering and telephone signalling and was a contributor to Reference Data For Radio Engineers. He is a graduate of the University of Missouri at Rolla where he was later awarded an honorary Professional degree and serves on its Academy of Electrical Engineering. Mr Tuck is a Senior Member of the IEEE a Fellow of the Institution of Engineers (Australia) a Professional Member of the AIAA and a registered professional engineer in three states. More than 25 years of experience in the telecommunications industry where he has been responsibl

There is a very large demand for basic telephone service in developing nations, and remote parts of industrialized nations, which cannot be met by conventional wireline and cellular systems. This is the world's largest unserved market. We describe a system which uses recent advances in active phased arrays, fast-packet switching technology, adaptive routeing, and light spacecraft technology, in part based on the work of the Jet Propulsion Laboratory and on recently-declassified work done on the Strategic Defense Initiative, to make it possible to address this market with a global telephone network based on a large low-Earth-orbit constellation of identical satellites. A telephone utility can use such a network to provide the same modern basic and enhanced telephone services offered by telephone utilities in the urban centres of fully-industrialized nations. Economies of scale permit capital and operating costs per subscriber low enough to provide a service to all subscribers, regardless of location, at prices comparable to the same services in urban areas of industrialized nations, while generating operating profits great enough to attract the capital needed for its construction. The bandwidth needed to support the capacity needed to gain these economies of scale requires that the system use K(alpha)-band frequencies. This choice of frequencies places unusual constraints on the network design, and in particular forces the use of a large number of satellites. Global demand for basic and enhanced telephone service is great enough to support at least three networks of the size described herein. The volume of advanced components, and services such as launch services, required to construct and replace these networks is sufficient to propel certain industries to market leadership positions in the early 21st Century.

关键词： LOW EARTH ORBIT SATELLITE COMMUNICATIONS FAST PACKET SWITCHING EARTH FIXED CELLS ADAPTIVE ROUTEING LIGHT SPACECRAFT K(A) BAND PHASED-ARRAY ANTENNAS

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

DRAFT DESCRIPTION OF PASCAL

引用

software-PRACTICE & EXPERIENCE 1979年第5期9卷 381-424页

作者： ADDYMAN, AM BREWER, R BURNETTHALL, DG DEMORGAN, RM FINDLAY, W JACKSON, MI JOSLIN, DA REES, MJ WATT, DA WELSH, J WICHMANN, BA Department of Computer Science The University Oxford Road Manchester M13 9PL Software Department GEC Computers Ltd. Elstree Way Borehamwood Hertfordshire Department of Computer Science University of York Heslington York Y01 5DD European Software Engineering Digital Equipment Company Ltd. Fountain House The Butts Centre Reading RG1 7QN Computing Science Department University of Glasgow Glasgow G12 8QQ International Data Engineering Centre ITT Business Systems and Communications Group Latimer House Potters Bar Herts EN6 5DN Hull College of Higher Education Inglemire Avenue Hull HU6 7LJ Computer Studies Group The University Southampton S09 5NH Department of Computer Science Queen's University Belfast BT7 1NN Department of Industry National Physical Laboratory Teddington Middlesex TW1 0LW

This paper provides a description of the programming language Pascal. It has been published to enable those without easy access to the official BSI ‘draft for comment’ to comment on the description.

关键词： Pascal Standards

来源：评论

学校读者我要写书评

暂无评论

data science 1

引用

丛书名： Communications in Computer and Information science

1000年

作者： Rui Mao Hongzhi Wang Xiaolan Xie Zeguang Lu

This two volume set (CCIS 1058 and 1059) constitutes the refereed proceedings of the 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019 held in Guilin, China, in Sept... 详细信息

ISBN: (数字)9789811501210

ISBN: (纸本)9789811501203

关键词： data Mining and Knowledge Discovery Artificial Intelligence Image Processing and Computer Vision Computer Appl. in Social and Behavioral sciences Computers and Education Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Computational Intelligence for High-Dimensional Machine Learning 1

Computational Intelligence for High-Dimensional Machine Lear...

引用

丛书名： SpringerBriefs in Computer science

1000年

作者： Yu Zhou Xiao Zhang Sam Kwong

ISBN: (数字)9789819626878

ISBN: (纸本)9789819626861

This book focuses on the modelling and optimization aspects of the feature selection problem through computational intelligence methods in complex, high-dimensional supervised machine learning. To aid readers in conducting research in this field, it covers fundamental concepts and state-of-the-art algorithms. This book also provides a detailed insight into applying these algorithms into real-world applications. The authors begin by introducing the definition high-dimensional machine learning (ML) problems and the challenges they pose. Subsequently, they delve into dimension reduction methods for high-dimensional ML, including global and local feature selection (FS) techniques. This book also comprehensively presents computational intelligence methods such as evolutionary computation and deep neural networks for FS, supported by both theoretical and empirical evidence. Furthermore, this book explores real-world scenario applications involving high-dimensional ML, particularly in the context of smart cities, bioinformatics and industrial informatics. This book is a suitable read for postgraduates and researchers who are interested in the research areas of computational intelligence, soft computing, machine learning and deep learning. Professionals and practitioners within these related fields will also benefit from this book.

关键词： Artificial Intelligence Machine Learning Computers and Society Theory of Computation Computer Applications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：