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

Global Asymptotical Stabilization of Morse-Smale Systems Using Weak Control-Lyapunov Functions

SICE Journal of Control, Measurement, and System Integration 2009年第1期2卷 43-49页

作者： Gou Nishida Takayuki Tsuzuki Hisakazu Nakamura Yuh Yamashita RIKEN-TRI Collaboration Center for Human-Interactive Robot Research Center Advanced Science Institute RIKEN Department of Electronic and Control Systems Engineering Interdisciplinary Faculty of Science and Engineering Shimane University Systems and Control Lab. Graduate School of Information Science Nara Institute of Science and Technology Division of Systems Science and Informatics Graduate School of Information Science and Technology Hokkaido University

This paper proposes a method of constructing weak control-Lyapunov functions for nonlinear systems by introducing a topological geometric assumption called a Morse-Smale system. A Lyapunov function is one of the most important tools to study stability and stabilization of nonlinear systems. However, a general way of finding Lyapunov functions has not been found yet. First, we confirm there is a weak Lyapunov function for Morse-Smale systems. Next, we define the escapability for singular structures of the weak Lyapunov function. If all singular structures are escapable, then the Morse-Smale system is a globally asymptotically stabilizable one. Finally, we present the method of constructing a set of weak control-Lyapunov functions to achieve global stabilization. The method is described in terms of a recursive sequence of singular structures. We call the sequence a weak Lyapunov filtration.

关键词： nonlinear systems Lyapunov functions iterative modeling and control design

来源：评论

学校读者我要写书评

暂无评论

Resource-Aware Test Suite Optimization

Resource-Aware Test Suite Optimization

引用

International Conference on Quality software

作者： Xiaofang Zhang Huamao Shan Ju Qian State Key Lab. for Novel Software Technology Nanjing University China school of Computer Science & Technology Soochow University China School of Computer Science & Engineering Southeast University China College of Information Science & Technology Nanjing University of Aeronautics and Astronautics China

ISBN: (纸本)9781424459124

Regression testing is an expensive and frequently executed activity, which is often performed in a resource constrained execution environment. As resource-aware test suite optimization problem can be reduced to the 0-1 knapsack problem, which can be efficiently approximated with multiple algorithms. This paper proposes a new resource-aware test suite optimization technique and corresponding metric. The effectiveness of the technique and metric are illustrated by a case study.

关键词： software testing Costs Space technology software performance software quality Constraint optimization Computer science Educational institutions information science Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Behavior-Based Proactive Detection of Unknown Malicious Codes

Behavior-Based Proactive Detection of Unknown Malicious Code...

引用

International Conference on Internet Monitoring and Protection, ICIMP

作者： Jianguo Ding Jian Jin Pascal Bouvry Yongtao Hu Haibing Guan Faculty of Science Technology and Communication (FSTC) University of Luxembourg Luxembourg Software Engineering Institute East China Jiao Tong University Shanghai China School of Information Science and Technology East China Jiao Tong University Shanghai China Third Research Institute of Ministry of Public Security China School of Information Security Engineering Shanghai Jiaotong University Shanghai China

With the rising popularity of the Internet, the resulting increase in the number of available vulnerable machines, and the elevated sophistication of the malicious code itself, the detection and prevention of unknown malicious codes meet great challenges. Traditional anti-virus scanner employs static features to detect malicious executable codes and is hard to detect the unknown malicious codes effectively. We propose behavior-based dynamic heuristic analysis approach for proactive detection of unknown malicious codes. The behavior of malicious codes is identified by system calling through virtual emulation and the changes in system resources. A statistical detection model and mixture of expert (MoE) model are designed to analyze the behavior of malicious codes. The experiment results demonstrate the behavior-based proactive detection is efficient in detecting unknown malicious executable codes.

关键词： Internet information security Monitoring Protection Communications technology information science software engineering Data security Databases Computer vision

来源：评论

学校读者我要写书评

暂无评论

Preface of the 2010 IAENG International Conference on Electrical engineering special session: Design, analysis and tools for integrated circuits and systems

Proceedings of the International MultiConference of Engineer...

引用

Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010 2010年 1333-1335页

作者： Man, Ka Lok Mercaldi, Michele Hahanov, Vladimir Prinetto, Paolo Poncino, Massimo MacIi, Alberto Choi, Joongho Li, Wei Schellekens, Michel Popovici, Emanuel Seon, Jong-Kug Rossi, Umberto Fummi, Franco Pravadelli, Graziano Lam, Yui Fai PavLov, Vladimir Patel, Ajay Huang, Jinfeng Vallee, Thierry Boubekeur, Menouer Sokolova, Ana Almerares, Sergio Donno, Monica Cho, Jun-Dong Zahirul Alam, A.H.M. Provan, Gregory Velev, Miroslav N. Uddin, M. Nasir Botchkarev, Alexei Bosnacki, Dragan Hickey, Dave O'Keeffe, Maria Krilavičius, Tomas Pastrnak, Milan Herbert, John Lu, Zhe-Ming Pan, Jeng-Shyang Chang, Chin-Chen Horng, Mong-Fong Chen, Liang Lim, Chee-Peng Tao, Ngo Quoc Deb, Suash Merniz, Salah Valero, Oscar Yi, Yang Woods, Damien Vedrine, Franck Monsuez, Bruno Yen, Kang Matsuura, Takenobu Edwards, R. Timothy Tveretina, Olga Fino, Maria Helena O'Riordan, Adrian Patrick labiak, Grzegorz Gaur, M.S. Chang, Jian Chung, Yeh-Ching Derezinska, Anna Cho, Kyoung-Rok Zhang, Yong Liutkevičius, R. Zeng, Yuanyuan Vasudevan, D.P. Bukowiec, Arkadiusz Kitsos, Paris Goudarzi, Maziar Dong, Jin Song Bhalla, Ateet Al-Khalili, Dhamin Navabi, Zainalabedin Zinchenko, Lyudmila Anjum, Muhammad Almas Narasimha, Deepak Laxmi Hughes, Danny Tadjouddine, Emmanuel M. Wang, Jun Kumar, A.P. Sathish Jaisankar, N. Mansoor, Atif Hollands, Steven Mohammadi, Siamak Klein, Felipe Westermann, Peter English, Tom Planas, Miquel Moreto Chung, Chelho Chakrabarti, Amlan Lei, Chi-Un Bamakhrama, Mohamed Naik, B. Rajendra Harte, Sean Yin, Alexander Giancardi, Luigi El-Din Mady, Alie Joseph, Arun Khandekar, Prasad D. Pandey, Hari Mohan Bharti, Vishal O'Mullane, Monica Chen, Chen Xi'an Jiaotong University China Liverpool University United Kingdom Kharkov National University of Radio Electronics Ukraine Politecnico di Torino Italy University of Seoul Korea Republic of Fudan University China Tyndall University College Cork Ireland System LSI Lab. LS Industrial Systems R and D Center Korea Republic of STMicroelectronics Italy University of Verona Italy Hong Kong University of Science and Technology Hong Kong Hong Kong International Software and Productivity Engineering Institute United States Intelligent Support Ltd. United Kingdom Philips and LiteOn Digital Solutions Netherlands Netherlands Georgia Southern University Statesboro GA United States University of Salzburg Austria Sung Kyun Kwan University Korea Republic of International Islamic University Malaysia Malaysia Aries Design Automation United States Lakehead University Canada IEEE Canada Board of Directors Canada Eindhoven University of Technology Netherlands Vytautas Magnus University Lithuania Siemens IT Solutions and Services Slovakia Sun Yat-Sen University China National Kaohsiung University of Applied Sciences Taiwan Feng Chia University Taiwan Shu-Te University Taiwan University of Northern British Columbia Canada University of South Australia Australia Vietnamese Academy of Science and Technology Viet Nam C. V. Raman College of Engineering India Mentouri University Constantine Algeria University of Balearic Islands Spain University of Seville Spain CEA France ENSTA France Florida International University United States Tokai University Japan MultiGiG Inc. United States Karlsruhe University Germany Universidade Nova de Lisboa Portugal University of Zielona Gora Poland Malaviya National Institute of Technology Jaipur India Texas Instruments Inc. United States National Tsing-Hua University Taiwan Warsaw University of Technology Poland Chungbuk National University Korea Republic of Shenzhen University China Vytautas Magnus University Kaunas Lithuania Hellenic Open Univ

来源：评论

学校读者我要写书评

暂无评论

Robust audio steganography via genetic algorithm

Robust audio steganography via genetic algorithm

引用

International Conference on information and Communication Technologies (ICICT)

作者： Mazdak Zamani Hamed Taherdoost Azizah A. Manaf Rabiah B. Ahmad Akram M. Zeki Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Kuala Lumpur Malaysia College of Science and Technology Universiti Teknologi Malaysia Kuala Lumpur Malaysia Centre of Advanced Software Engineering Universiti Teknologi Malaysia Kuala Lumpur Malaysia

Steganography is a technique used to transmit hidden information by modifying an audio signal in an imperceptible manner. The transmission must be possible in spite of subsequent imperceptible alterations (attacks) of the modified signal. We propose a novel approach of substitution technique of audio steganography. Using genetic algorithm, message bits are embedded into multiple, vague and higher LSB layers, resulting in increased robustness. The robustness specially would be increased against those intentional attacks which try to reveal the hidden message and also some unintentional attacks like noise addition as well.

关键词： Steganography Genetic algorithms Video sequences Humans Watermarking Noise robustness Internet DVD Computer science information systems

来源：评论

学校读者我要写书评

暂无评论

Managing Malware in Higher Learning Institutions

Managing Malware in Higher Learning Institutions

引用

International Conference on Computer and Electrical engineering, ICCEE

作者： Zuraini Ismail Christine Simfukwe Department of Science College of Science & Technology International Campus Universiti Teknologi Malaysia Kuala Lumpur Malaysia Centre of Advanced Software Engineering Faculty of Computer Science and Information Systems International Campus Universiti Teknologi Malaysia Kuala Lumpur Malaysia

"Malware" is an umbrella term that describes a variety of Internet-borne threats, including viruses, spyware,Trojan horses, spam, bots and more. This sophisticated and evolving security threat puts all businesses at risk, no matter how big or small. Malware creates unique challenges to higher learning institutions (HLI) in protecting their information assets. This is largely due to the fact that HLI information technology (IT) departments must balance between enabling a highly collaborative, non-restrictive environment and ensuring the confidentiality, integrity, and availability of data and computing resources. HLIs can proactively defend the network to reduce the risks associated with this threat by assessing the vulnerabilities and threats present in their networks and implementing appropriate multilayer security. A multilayer approach involves applying countermeasures at every layer of the computer network, from the perimeter routers and firewalls to users' personal computers in order to increase network security. The goal of this study is to propose a framework for network security protection against malware to increase the level of protection using non technical countermeasures.

关键词： Protection Nonhomogeneous media Internet Computer viruses Horses information security information technology Collaboration Availability Data security

来源：评论

学校读者我要写书评

暂无评论

Designing a Credit Approval System Using Web Services, BPEL, and AJAX

Designing a Credit Approval System Using Web Services, BPEL,...

引用

IEEE International Conference on e-Business engineering (ICEBE)

作者： Vincent C.T. Chan Dickson K.W. Chiu Michelle Watson Patrick C.K. Hung Haiyang Hu Hua Hu Yi Zhuang Department of Computer Science & Engineering Hong Kong University of Science and Technology Hong Kong China Faculty of Business and IT University of Ontario Institute of Technology (UOIT) Canada College of Computer Science and Information Engineering Zhejiang Gongshang University China State Key Laboratory for Novel Software Technology Nanjing University China College of Computer Science Hangzhou Dianzi University China

In the business world, financial institutions, like banks and investment firms, heavily rely on technology to manipulate daily operations and support business. Many more business processes have now become automated and require procedures to be approved. For example, when providing business services liked personal / corporate loans, mortgage, or Letter of Credit (LC), a customer is required to submit information within their applications; whereas, the service provider has to perform complicated approval procedures, involving different departments or even external parties. In this paper, we discuss how a credit approval system (CAS) handles the workflow of such business processes. The system is extensible to contemporary technologies including business process execution language (BPEL), asynchronous JavaScript and XML (AJAX), and Java server face (JSF) in order to coordinate related parties through the Internet as well as to facilitate the operations and communications with different levels of staff in the Intranet. Our experiences and design characteristics will be further implemented into a system designed for a global financial firm.

关键词： Web services Content addressable storage Java Computer science Educational institutions Loans and mortgages XML Financial management Design engineering laboratories

来源：评论

学校读者我要写书评

暂无评论

Combining opportunistic routing with dynamic source routing for wireless mesh networks

Combining opportunistic routing with dynamic source routing ...

引用

IET International Communication Conference on Wireless Mobile and Computing (CCWMC 2009)

作者： Qiang Shen Xuming Fang Sunmyeng Kim Rong He High Performance Network Lab Institute of Acoustics Chinese Academy and Sciences Beijing China Provincial Key Laboratory of Information Coding and Transmission Southwest Jiaotong University Chengdu China School of Computer and Software Engineering Kumoh National Institute of Technology Gyeongbuk South Korea

Routing in wireless mesh networks presents a great challenge due to unreliable wireless links and collisions. Recently, a new routing method, opportunistic routing (OR), is proposed to deal with them by exploiting broadcast nature of wireless networks. OR relies on the global knowledge of networks to select relays and determine priorities. In this paper, we propose a new routing scheme, OxDSR, which combines OR and dynamic source routing (DSR) and performs opportunistic transmissions with the help of the local information and the traditional route obtained by DSR. By taking the duplicates and additional wireless resource consumed by multiple ACK frames into consideration, we propose a new metric, equivalent data rate, to select and prioritize relays. Extensive simulation study shows that the proposed OxDSR is more resilient and achieves higher throughput than DSR based on the expected transmission count routing metric.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Editorial: Game theory in signal processing and communications

引用

Eurasip Journal on Advances in Signal Processing 2009年 2009卷

作者： Jorswieck, Eduard A. Boche, Holger Han, Zhu Larsson, Erik G. Department of Mobile Communications School of Electrical Engineering and Computer Sciences Technical University of Berlin Berlin Germany Wireless Networking Signal Processing and Security Lab Department of Electrical and Computer Engineering University of Houston Houston TX 77004 United States Linkping University SE-581 83 Linkping Sweden Communications Laboratory Faculty of Electrical Engineering and Information Technology Dresden University of Technology 01062 Dresden Germany

来源：评论

学校读者我要写书评

暂无评论

Assessing the needs of CSCL tool and its impacts in Malaysian context

引用

WSEAS Transactions on Computer Research 2008年第5期3卷 300-310页

作者： Kasirun, Z.M. Salim, S.S. Department of Software Engineering Faculty of Computer Science and Information Technology University of Malaya 50603 Kuala Lumpur Malaysia

Reviewing on computer-supported collaborative learning (CSCL) tools revealed that CSCL is important to support collaborative learning (CL) strategy in school. Existing CSCL applications are mostly research-based and are not available for use. Through a survey on the needs for CSCL in Malaysia, it is confirmed that CSCL application is needed but the available one could not support CL activities. This paper discusses CSCL study in Malaysia, especially the relationship between user involvement and type of CSCL application needed. In particular, the CSCL application that could associate existing knowledge among students to build new knowledge for their better understanding and problem solving skills. We examine this need and assess its impact by developing Collaborative Environment for Teaching and Learning System (CETLs).

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：