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

Stability of Hybrid Impulsive systems With Time Delays and Stochastic Effects

IFAC Proceedings Volumes 2008年第2期41卷 5933-5938页

作者： Zhichun Yang Yiguang Hong Key Laboratory of Systems and Control Institute of Systems Science Chinese Academy of Sciences Beijing 100080 China Chongqing Key Lab of Operations Research and System Engineering Department of Mathematics and Computer Science Chongqing Normal University Chongqing 400047 China

In this paper, a class of hybrid impulsive systems with time delays and stochastic effects are considered. We obtain some criteria on the global exponential stability in mean square for the impulsive stochastic delayed systems. To do this, differential inequalities and ℒ-operator inequalities are developed. An example is given to illustrate the effectiveness of our results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A service-oriented priority-based resource scheduling scheme for virtualized utility computing 08

引用

Proceedings of the 15th international conference on High performance computing

作者： Ying Song Yaqiong Li Hui Wang Yufang Zhang Binquan Feng Hongyong Zang Yuzhong Sun Key Lab. of Computer System and Architecture Inst. of Computing Techn. Chinese Academy of Sciences China and National Research Center for Intelligent Computing Systems ICT China and Graduate Univ. of Chinese Academy of Sciences China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China and National Research Center for Intelligent Computing Systems ICT China

ISBN: (纸本)9783540898931

In order to provide high resource utilization and QoS assurance inutility computing hosting concurrently various services, this paper proposes aservice computing framework-RAINBOW for VM(Virtual Machine)-basedutility computing. In RAINBOW, we present a priority-based resourcescheduling scheme including resource flowing algorithms (RFaVM) to optimizeresource allocations amongst services. The principle of RFaVM is preferentiallyensuring performance of some critical services by degrading of others to someextent when resource competition arises. Based on our prototype, we evaluateRAINBOW and RFaVM. The experimental results show that RAINBOWwithout RFaVM provides 28%-324% improvements in service performance,and 26% higher the average CPU utilization than traditional service computingframework (TSF) in typical enterprise environment. RAINBOW with RFaVMfurther improves performance by 25%-42% for those critical services whileonly introducing up to 7% performance degradation to others, with 2%-8%more improvements in resource utilization than RAINBOW without RFaVM.

关键词： resource scheduling utility computing virtualization

来源：评论

学校读者我要写书评

暂无评论

Advanced QoS methods for Grid workflows based on meta-negotiations and SLA-mappings

Advanced QoS methods for Grid workflows based on meta-negoti...

引用

Workshop on Workflows in Support of Large-Scale Science, WORKS

作者： Ivona Brandic Dejan Music Schahram Dustdar Srikumar Venugopal Rajkumar Buyya Institute of Information Systems University of Technology Vienna Austria Grid Computing and Distributed System (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In novel market-oriented resource sharing models, resource consumers pay for the resource usage and expect that non-functional requirements for the application execution, termed as quality of service (QoS), are satisfied. QoS is negotiated between two parties following the specific negotiation protocols and is recorded using service level agreements (SLAs). However, most of the existing work assumes that the communication partners know about the SLA negotiation protocols and about the SLA templates before entering the negotiation. However, this is a contradictory assumption, if we consider computational grids and novel, commercially oriented computing clouds where consumers and providers meet each other dynamically. In this paper, we present novel meta-negotiation and SLA-mapping solutions for grid workflows bridging the gap between current QoS models and grid workflows, one of the most successful grid programming paradigms. We illustrate the open research issues with a real world case study. Thereafter, we present document models for the specification of meta-negotiations and SLA-mappings. We discuss the architecture for the management of meta-negotiations and SLA-mappings as well as integration of the architecture into a grid workflow management framework.

关键词： Quality of service Protocols Grid computing Cloud computing Resource management Information systems Laboratories computer science Software engineering Application software

来源：评论

学校读者我要写书评

暂无评论

The Introduction of Tele-Support system for Deaf-Blind People Using Body-Braille and a Mobile Phone

The Introduction of Tele-Support System for Deaf-Blind Peopl...

引用

Consumer Communications and Networking Conference, CCNC IEEE

作者： Satoshi Ohtsuka Sadao Hasegawa Nobuyuki Sssaki Testumi Harakawa Information and Computer Engineering Gunma National College of Technology Maebashi JAPAN Information System Tsukuba University of Technology Tsukuba JAPAN Systems and Information Engineering Maebashi Institute of Technology Maebashi JAPAN

This paper describes the support system for deaf-blind people using Japanese mobile communication system and new Braille system. We present how deaf-blind people can get enough daily support using this system.

关键词： Deafness Mobile handsets Postal services Paper technology Head Fingers Arm Educational institutions Information systems Mobile communication

来源：评论

学校读者我要写书评

暂无评论

Fractional Order Linear Quadratic Regulator

Fractional Order Linear Quadratic Regulator

引用

IEEE/ASME International Conference on Mechtronic and Embedded systems and Applications, MESA

作者： Yan Li YangQuan Chen Institute of Applied Math School of Mathematics and System Sciences Shandong University Jinan China Center for Self-Organizing and Intelligent Systems (CSOIS) Electrical and Computer Engineering Department Utah State University Logan UT USA

In this paper, we formulate the fractional linear quadratic regulator (LQR) problem. The analytical solution of fractional optimal control near the origin and infinity are derived. It is shown that the optimal control to the linear fractional system can be computed through the corresponding fractional Euler-Lagrange equations. Moreover, the analytical analysis of right-sided fractional equation is discussed, which relates to the construction and solution of fractional LQR problems. The matrix Mittag-Leffler function is used here to serve as the fundamental solution of high-dimension linear fractional equations. More detailed discussions about fractional systems and right-sided fractional operators are provided and summarized. Finally, two illustrated simulation results are provided as a proof of concept.

关键词： Regulators Optimal control Equations Fractional calculus Control systems State-space methods H infinity control Controllability Chemical processes Process control

来源：评论

学校读者我要写书评

暂无评论

Abstracts from the 2011 Joint Annual Meeting of the Society for Northwestern Vertebrate Biology and Washington Chapter of the Wildlife Society, Held at the Wesley Inn, Gig Harbor, Washington, March 23–25, 2011

引用

Northwestern Naturalist 2011年第2期92卷 136-166页

作者： Michael J. Adams Christopher A. Pearl Jessica Y. Adkins Daniel D. Roby Ladd Bayliss Peter J. Loschl Donald E. Lyons Yasuko Suzuki Hannah E. Anderson Sarah T. Hamman Keith B. Aubry Catherine M. Raley John J. Rohrer Eric C. Lofroth Scott H. Fitkin Michael L. Best Hartwell H. Welsh Jamie B. Bettaso Don T. Ashton Hartwell H. Welsh Scott McBain Lindsay M. Biga Andrew R. Blaustein Susan F. Brady R. Steven Wagner Daniel J. Selski James E. Johnson R. Bruce Bury Wynn W. Cudmore Hartwell H. Welsh Nathan D. Chelgren Tara Chestnut Chaucney W. Anderson Julie Kirshtein Megan T. Cook Tiffany S. Garcia Stephen Corn Erin Muths Amanda Kissel Rick Scherer Eric Delvin Jonathan D. Bakker Peter W. Dunwiddie Diana L. Dishman Deborah A. Duffield Harriet R. Huber Dyanna M. Lambourn Karen M. Dvornich Greg Falxa Gary M. Fellers Patrick M. Kleeman David Miller Brandon Fessler Jason T. Irwin Daniel D. Beck R. Steven Wagner Marc P. Hayes John A. Frew Christian E. Grue Chris R. Friesen Robert T. Mason Stevan J. Arnold Suzanne Estes Tiffany S. Garcia Katie M. Dugger Josh Johnson Mike Rochelle A. J. Kroll Stephanie S. Gervasi Caren S. Goldberg Dan Davis Erica Bree Rosenblum Bill Bosworth Lisette P. Waits Purnima Govindarajulu Gregory A. Green Steve Negri Jennifer R. Griffiths Daniel E. Schindler Christian E. Grue Karen M. Dvornich Adam G. Hansen David A. Beauchamp Casey M. Baldwin Marc P. Hayes Gretchen Padgett-Flohr Blake R. Hossack Winsor H. Lowe Paul Stephen Corn Aaron N. Johnston Kris Kendell Dave Prescott Scott Stevens Peter M. Kiffney Carol Volk Kerensa A. King Christian E. Grue James M. Grassley Andrew J. Kroll Matt Hane Josh Johnston Mike Rochelle Stuart Farber Niels Leuthold Michael J. Adams John P. Hayes Bo Li Michael T. Brett Kent B. Livezey Ilon E. Logan Teresa J. Lorenz Kimberly A. Sullivan Amanda V. Bakian Deanna Lynch Nancy Thomas Krysten Schuler Steven Jeffries Joshua Malt Kelly R. McAllister Joanne P. Schuett-Hames Aimee P. McIntyre Jay E. Jones Eric M. Lund Frithiof T. Waterstrat Jack N. Giovanini Stephen D. Duke Marc P. Hayes US Forest Service Pacific Northwest Research Station Olympia WA 98512 kaubry@fs.fed.us US Forest Service Okanogan-Wenatchee National Forest Methow Valley Ranger District Winthrop WA 98862 British Columbia Ministry of Environment Victoria BC V8W9M1 Washington Department of Fish and Wildlife Winthrop WA 98862 Humboldt State University 1 Harpst St. Arcata CA 95521 addsmike14@*** US Forest Service Pacific Southwest Research Station 1700 Bayside Dr. Arcata CA 95521 hwelsh@fs.fed.us US Fish and Wildlife Service Arcata Field Office 1655 Heindon Road Arcata CA 95521 jamie_bettaso@fws.gov Redwood Sciences Laboratory US Forest Service1700 Bayview Drive Arcata CA 99521 dashton@fs.fed.us hwelsh@fs.fed.us McBain &amp Trush 980 7th Street Arcata CA 95521 scott@*** Oregon State University Environmental Sciences Graduate Program Corvallis OR 97331 lindsay.biga@science.oregonstate.edu Oregon State University Department of Zoology Corvallis OR 97331 US Geological Survey Forest and Rangeland Ecosystem Science Center 3200 SW Jefferson Way Corvallis OR 97331 buryb@usgs.gov Life Science Department Chemeketa Community College Salem OR 97309 wynn.cudmore@chemeketa.edu US Forest Service Redwood Sciences Laboratory 1700 Bayview Drive Arcata CA 95521 hwelsh@fs.fed.us USGS Oregon Water Science Center 2130 SW 5th Avenue Portland OR 97207 chestnut@usgs.gov USGS Headquarters 12201 Sunrise Valley Drive Reston VA 20192 US Geological Survey Northern Rocky Mountain Science Center Aldo Leopold Wilderness Research Institute 790 E. Beckwith Avenue Missoula MT 59801 scorn@usgs.gov US Geological Survey Fort Collins Science Center 2150 Centre Avenue Building C Fort Collins CO 80526 Department of Biological Sciences Simon Fraser University Burnaby BC V5A 1S6 Colorado State University Department of Fishery and Wildlife Biology Fort Collins CO 80523 The Nature Conservancy 120 Union Ave SE Olympia WA 98501 edelvin@tnc.org School of Forest Resources University of Washington Seattle WA

来源：评论

学校读者我要写书评

暂无评论

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 Secure Web Services Model Based on the Combination of SOAP Registration Info and Token Proxy

A Secure Web Services Model Based on the Combination of SOAP...

引用

International Symposium on computer Science and Computational Technology, ISCSCT

作者： Youxiang Duan Yongtang Bao Lijiang Pan Beibei Yan Jiuyun Xun Nianyun Shi Department of Computer and Communication Engineering China University of Petroleum Dongying China Dept of Computer and Communication Engineering China University of Petroleum (East China) Dongying China Department of Marketing Management The institute of Architecture Designing of Dongying Dongying China Finance Bureau Information Center of Dongying China University of Petroleum (East China) Dongying China Finance Bureau Information Center of Dongying China University of Petroleum Dongying China Dept. of Marketing Management institute of Architecture Designing of Dongying Dongying China Institute Network Information and System China University of Petroleum (East China) Dongying China Institute Network Information and System China University of Petroleum Dongying China

Along with the thorough development and application for Web services, the security of it has taken people¿s attention more and more. While Web services security (WSS) can exchange safe SOAP message and enhance the security of Web services, it will also have certain influence to the performance of Web services. In order to satisfy the security of it , to reduce the performance influence of Web services and to solve both the requester and provider side cannot recognize the security token, in this paper, we aim at proposing a SOAP information registration and security token proxy model for Web services (SIRSTPM). We has carried on the formalizing and verifying of this model. The result of theoretical verification shows this model is secure and effective. This model is helpful for solving the problem between security and performance contradiction as well as the token cannot be recognized by both the requester and the provider.

关键词： Web services Simple object access protocol Information security Petroleum computer networks Service oriented architecture Communication system security computer science Design engineering Finance

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a JXTA-Overlay P2P system and Smart Box Environment

Design and Implementation of a JXTA-Overlay P2P System and S...

引用

International Conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Keita Matsuo Leonard Barolli Fatos Xhafa Akio Koyama Arjan Durresi Makoto Takizawa Graduate School of Engineering Fukuoka Institute of Technology (FIT) Fukuoka Japan Department of Information and Communication Engineering Fakuoka Institute of Technology Fukuoka Japan Department of Information and Communication Engineering Fukuoka Institute of Technology (FIT) Higashi-Ku Fukuoka Japan Department of Languages and Informatics Systems Polytechnic University of Catalonia Barcelona Spain Department of Informatics Yamagata University Yonezawa Yamagata Japan Department of Computer and Information Science Indiana University Perdue University Indianapolis Indianapolis IN USA Department of Computer Science and Information Engineering Tokyo Denki University Hatoyama Saitama Japan Department of Computers and System Engineering Tokyo Denki University Saitama Japan

In this paper, we present the design and implementation of the JXTA-based e-Learning P2P system. We also show the design and implementation of a smart box environment that will be used for stimulating the learners to increase the learning efficiency. The smart box is intended to be integrated with our P2P system as a useful tool for monitoring and controlling learners' activity. Finally, it is also useful to evaluate the feasibility of our P2P platform to integrate different computational devices.

关键词： Electronic learning Monitoring Control systems

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-Based Model Checking

Solving Sum and Product Riddle via BDD-Based Model Checking

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： Data structures Boolean functions IEEE news Intelligent agent Educational technology Automatic logic units Laboratories computer science Information science computer security

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：