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

SICE Annual Conference

作者： Juntao Li Yingmin Jia Junping Du Fashan Yu Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

This paper proposes an adaptive multi-class support vector machine for simultaneous microarray classification and gene selection. By evaluating the gene ranking significance, the adaptive multi-class support vector machine is shown to encourage an adaptive grouping effect in the process of building classifiers, thus leading a sparse multi-classifiers with enhanced interpretability. Based on a reasonable correlation between the two regularization parameters, an efficient solution path algorithm is developed for solving the proposed support vector machine. Experiments performed on the leukaemia data set are provided to verify the obtained results.

关键词： Support vector machines Support vector machine classification Electronic mail Programmable control Adaptive control Gene expression Learning systems Automatic control Control systems Telecommunication control

来源：评论

学校读者我要写书评

暂无评论

A combinatorial approach to building navigation graphs for dynamic web applications

A combinatorial approach to building navigation graphs for d...

引用

International Conference on software Maintenance (ICSM)

作者： Wenhua Wang Yu Lei Sreedevi Sampath Raghu Kacker Rick Kuhn James Lawrence Department of Computer Science and Engineering University of Texas Arlington Arlington TX USA Department of Information Systems University of Maryland Baltimore County Baltimore MD USA Information Technology Laboratory National Institute for Standards and Technology Gaithersburg MD USA Department of Mathematics George Mason University Fairfax VA USA

Modeling the navigation structure of a dynamic Web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt with: (1) the page explosion problem, i.e., the number of dynamic pages may be huge or even infinite; and (2) the request generation problem, i.e., many dynamic pages may not be reached unless appropriate user requests are supplied. As a user request typically consists of multiple parameter values, the request generation problem can be further divided into two problems: (1) How to select appropriate values for individual parameters? (2) How to effectively combine individual parameter values to generate requests? This paper presents a combinatorial approach to building a navigation graph. The novelty of our approach is two-fold. First, we use an abstraction scheme to control the page explosion problem. In this scheme, pages that are likely to have the same navigation behavior are grouped together, and are represented as a single node in a navigation graph. Grouping pages reduces and bounds the size of a navigation graph for practical applications. Second, assuming that values of individual parameters are supplied by using other techniques or generated manually by the user, we combine parameter values in a way that achieves a well-defined combinatorial coverage called pairwise coverage. Using pairwise coverage can significantly reduce the number of requests that have to be submitted while still achieving effective coverage of the navigation structure. We report a prototype tool called Tansuo, and apply the tool to five open source Web applications. Our empirical results indicate that Tansuo can efficiently generate Web navigation graphs for these applications.

关键词： Navigation Explosions Testing Web pages HTML Uniform resource locators Application software computer science Information technology Laboratories

来源：评论

学校读者我要写书评

暂无评论

A Notion of Stochastic Input-to-State Stability and Its Application to Stability of Cascaded Stochastic Nonlinear systems

引用

Acta Mathematicae Applicatae Sinica 2008年第1期24卷 141-156页

作者： Shu-jun Liu Ji-feng Zhang Zhong-ping Jiang Department of Mathematics Southeast University Nanjing 210096 China Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China Department of Electrical and Computer Engineering Polytechnic University 5 Metrotech Center Brooklyfl N.Y. 11201 USA

In this paper, the property of practical input-to-state stability and its application to stability of cascaded nonlinear systems are investigated in the stochastic framework. Firstly, the notion of （practical） stochastic input-to-state stability with respect to a stochastic input is introduced, and then by the method of changing supply functions, （a） an （practical） SISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for cascaded （practical） SISS subsystems.

关键词： Stochastic nonlinear systems Stochastic input-to-state stability （SISS） SISS-Lyapunov function

来源：评论

学校读者我要写书评

暂无评论

Building classification rules for case-based classifier using fuzzy sets and formal concept analysis 08

Building classification rules for case-based classifier usin...

引用

5th International Conference on Soft Computing As Transdisciplinary science and Technology, CSTST '08

作者： Tadrat, Jirapond Boonjing, Veera Pattaraintakorn, Puntip Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand

ISBN: (纸本)9781605580463

The focus of this paper is a construction of better knowledge base in case-based classifier system. Our knowledge base structure is based on concept lattice where rules are built from its subconcept-superconcept relation. Since the lattice can only be constructed from inputs with binary attributes, descriptive and numeric attributes must be transformed to binary attributes. In this paper, we propose the transformation of numeric attributes to descriptive attributes using fuzzy set theory. We experiment on benchmark data sets, Car and Iris, to determine the performance in term of number of rules used and classification precision. The results show that trend of accuracy is proportional to the size of learning inputs. The number of rules used is relatively small compared with size of training data. Our case-based classifier produces very promising results in practice and can classify the new problem more accurate than traditional classifiers. Copyright 2008 ACM.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Verifying and analyzing adaptive logic through UML state models

Verifying and analyzing adaptive logic through UML state mod...

引用

1st International Conference on software Testing, Verification and Validation, ICST 2008

作者： Ramirez, Andres J. Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)076953127X

It is becoming increasingly important to be able to adapt an application's behavior at run time in response to changing requirements and environmental conditions. Adaptive programs are typically difficult to specify, design, and verify. A variety of conditions may trigger an adaptation, each of which may involve different types of adaptation mechanisms. In many cases, adaptive systems are concurrent, thus further exacerbating the complexity. Furthermore, it is important that adaptations do not put the system into an inconsistent state during or after adaptation. This paper presents an iterative approach to modeling and analyzing UML behavioral design models of adaptive systems, where the UML state diagrams are automatically translated into Promela code for analysis with the Spin model checker. The adaptive models are analyzed for adherence to both system invariants and properties that should hold during adaptation. We demonstrate this approach on applications for the mobile computing domain where we verify the design models against formally-specified properties. © 2008 IEEE.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Architecture based reliability and testing estimation for mobile applications

Architecture based reliability and testing estimation for mo...

引用

作者： Wadhwani, Vickey Memon, Fiaz Hameed, M. Muzaffar Blekinge Institute of Technology Department of Systems and Software Engineering Sweden University of Sindh Institute of Mathematics and Computer Science Jamshoro Pakistan

ISBN: (纸本)3540898522

We propose an architecture-based testing and reliability framework for mobile applications. During our literature study, we explored some of the software testing and reliability techniques available, as well as investigating the techniques that are being used by industry. This paper presents case studies of two companies that are developing mobile applications. These are helpful for finding the strengths and weaknesses of existing software testing and reliability techniques. In light of these strengths and weaknesses, we propose a framework of architecture-based software testing and reliability estimation for mobile applications. © 2008 Springer-Verlag.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

A defect typology to support software process verification and validation

A defect typology to support software process verification a...

引用

2008 International Conference on software engineering Research and Practice, SERP 2008

作者： Kroeger, Trent Shu, Fengdi Qin, Shaowen Defence and Systems Institute University of South Australia Adelaide SA Australia Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science Engineering and Mathematics Flinders University Adelaide SA Australia

ISBN: (纸本)1601320884

Approaches to software process development that are based on the principles and practices of software engineering have been advocated by many researchers as a means to produce software processes that meet the needs of process users. Such approaches require methodical and repeatable verification and validation techniques that enable effective and efficient identification, analysis and correction of software process defects. Defect classification schemes have proven to be effective for characterizing and improving the quality of software products. It is reasonable, therefore, to suggest that a similar scheme for the classification of process defects may provide comparable support to those performing software process engineering activities. This paper proposes a defect typology that can be used to classify software process defects as definition, asset, context or documentation problems. The paper then discusses potential applications of the typology to software process verification and validation and concludes by suggesting areas for further research.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

Applications and algorithms for mixed integer nonlinear programming

引用

Journal of Physics: Conference Series 2009年第1期180卷

作者： Sven Leyffer Jeff Linderoth James Luedtke Andrew Miller Todd Munson Mathematics and Computer Science Division Argonne National Laboratory Argonne IL 60439 USA Department of Industrial and Systems Engineering University of Wisconsin-Madison Madison WI 53706 USA IMB Université Bordeaux 1 RealOpt INRIA Bordeaux Sud-Ouest 33405 Talence France

The mathematical modeling of systems often requires the use of both nonlinear and discrete components. Discrete decision variables model dichotomies, discontinuities, and general logical relationships. Nonlinear functions are required to accurately represent physical properties such as pressure, stress, temperature, and equilibrium. Problems involving both discrete variables and nonlinear constraint functions are known as mixed-integer nonlinear programs (MINLPs) and are among the most challenging computational optimization problems faced by researchers and practitioners. In this paper, we describe relevant scientific applications that are naturally modeled as MINLPs, we provide an overview of available algorithms and software, and we describe ongoing methodological advances for solving MINLPs. These algorithmic advances are making increasingly larger instances of this important family of problems tractable.

关键词：

来源：评论

学校读者我要写书评

暂无评论

From Use Cases to Framelets for Building Application Frameworks

From Use Cases to Framelets for Building Application Framewo...

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand

Framework-based software development has been proven a useful technique to develop an application. However, the development of a large application framework itself is considered complex. There are two major causes for this problem, the size of a framework and the vague framework requirements. The idea of framelet a small but complete framework, can be applied to solve the former. The framelet-based approach for framework development (FAFD) has been proposed to address the later. There are some improvements in term of use case requirements description to the approach after it was first presented. This paper aims to report such improvements as well as the ongoing researches on the FAFD.

关键词： Application software software systems Programming Information technology computer aided software engineering systems engineering and theory Laboratories mathematics computer science Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

A fuzzy particle swarm approach to multiobjective quadratic assignment problems

A fuzzy particle swarm approach to multiobjective quadratic ...

引用

2nd Asia International Conference on Modelling and Simulation, AMS 2008

作者： Zhao, Mingyan Abraham, Ajith Grosan, Crina Liu, Hongbo School of Software Dalian University of Technology 116620 Dalian China Centre for Quantifiable Quality of Service in Communication Systems Norwegian University of Science and Technology Trondheim Norway Department of Computer Science Faculty of Mathematics and Computer Science Babes-Bolyai University Cluj-Napoca Romania School of Computer Science and Engineering Dalian Maritime University 116026 Dalian China

ISBN: (纸本)9780769531366

The multiobjective Quadratic Assignment Problem (mQAP) is considered as one of the hardest optimization problems but with many real-world applications. Since it may not be possible to simply weight the importance of each flow for the mQAP, it is best to use Pareto optimization to obtain the Pareto front or an approximation of it. Although Particle Swarm Optimization (PSO) algorithm has exhibited good performance across a wide range of application problems, research on mQAP has not much been investigated. This paper introduces a fuzzy particle swarm algorithm to handle the Multiobjective Quadratic Assignment Problem (mQAP)- In the fuzzy scheme, the representations of the position and velocity of the particles in the conventional PSO is extended from the real vectors to fuzzy matrices. A new mapping is introduced between the particles in the swarm and the problem space in an efficient way. We evaluated the performance of the proposed approach. Empirical results illustrate that the approach can be applied for solving mQAP's very effectively. © 2008 IEEE.

关键词： Pareto principle

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：