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

2011 4th International Conference on on Intelligent Networks and Intelligent Systems, ICINIS 2011

作者： Qin, Li-Yong Jiang, Ying Li, Ying-Na Yunnan Key Lab. of Computer Technology Application Kunming China Quality Development Institute Kunming University of Science and Technology Kunming China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

ISBN: (纸本)9780769545431

Software testing includes static testing and dynamic testing. The static testing needn't run the program to be tested. The static analysis belongs to static testing, whose purpose is to collect program's information in order to do further analysis. This paper aims at analyzing the structure for java program and gaining the information at three different levels, including control flow graph at statement level, call graph at class-member level and class relation graph at class level. Then a structure analysis tool for java program (SAT4JP) is designed and implemented. Finally, some experiments are executed to verify the effectiveness of our method and SAT4JP. © 2011 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Method on change impact analysis for object-oriented program

Method on change impact analysis for object-oriented program

引用

2011 4th International Conference on on Intelligent Networks and Intelligent Systems, ICINIS 2011

作者： Zhou, Xiao-Bo Jiang, Ying Wang, Hai-Tao Yunnan Key Lab. of Computer Technology Application Kunming China Quality Development Institute Kunming University of Science and Technology Kunming China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

ISBN: (纸本)9780769545431

Software changes are inevitable during the process of software evolution. To accommodate the changes in the software process, it is necessary to analyze the impacts of the changes. Software change impact analysis (CIA) is a key technique for identifying unpredicted and potential effects caused by changes made to software. CIA allows developers assessing the possible effects of a change, which plays an important role in software maintenance. In this paper, we present the static CIA technology based on program dependence graph (PDG) through analyzing possible change impacts for Object-Oriented source code. An analysis prototype tool for C++ program is implemented. The experimental results show that the method is effective. © 2011 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Identification of a stable model for a flexible plate using frequency domain subspace methods

引用

IFAC Proceedings Volumes 2011年第1期44卷 6517-6522页

作者： Saeed Ahmadizadeh Allahyar Montazeri Javad Poshtan Electrical Engineering Department Iran University of Science and Technology Tehran Iran Computer Science and Automation Faculty Ilmenau University of Technology Ilmenau Germany

Abstract having a suitable model is one of the most important steps in active noise and vibration control systems. There are many applications in which the derived numerical model does not show the system behavior appropriately. In such cases, obtaining a model using system identification methods can play a special role. To this aim, in this paper the problem of identification of a flexible plate which is attached to upper side of an enclosure is addressed. The frequency response of the plate is measured between the two specific points and the data are applied to the several subspace-based frequency domain identification algorithms with and without Instrumental Variable method. Since the real system, by nature, is stable and the models identified in all cases are unstable, in the next step stabilization algorithm with different initial values is used to extract the stable part of the system. Finally, the qualities of the stabilized identified models are evaluated by calculating the RMS error between the measured and identified models.

关键词： System Identification Subspace methods Vibration measurement Active control

来源：评论

学校读者我要写书评

暂无评论

Development and evaluation of normal performance recovery method of a functional system

Development and evaluation of normal performance recovery me...

引用

International Symposium on Applied Machine Intelligence and Informatics (SAMI)

作者： I. Karpics Z. Markovics Faculty of Computer Science and Information Technology Institute of Computer Control Automation and Computer Engineering Riga Technical University Riga Latvia

Different type dynamic systems in functional work phase lose performance and it's necessary to establish normal operation level by using external influence. External influence can be defined as recovery method. In practice exists different possibilities how to resume performance of system and the main objective is to select the most efficient solution. In the article new approach for normal operation recovery selection is defined, including each recovery and recoveries complex assessment for optimal solution selection. For optimal solution choice benefit and disadvantage criteria are proposed. For practical implementation in case of medicine, arterial hypertension evaluation and pathogenesis therapy selection is described.

关键词： Medical treatment Mathematical model Organisms Medical diagnostic imaging Hypertension Optimization Decision making

来源：评论

学校读者我要写书评

暂无评论

Composition of united multiple diseases evolution topological model

Composition of united multiple diseases evolution topologica...

引用

International Symposium on Intelligent Systems and Informatics (SISY)

作者： I. Karpičs Z. Markovičs I. Markoviča Institute of computer control automation and computer engineering Faculty of computer science and information technology Riga Technical University Riga Latvia

Mathematical models are constructed and used as a methodology of various functioning systems structure investigation and performance analysis. The main goal of mathematical model usage is to perform wholesome diagnostics and correct work resumption of investigated system. In the article topological modeling method has been investigated by giving fundamental basics and application spheres by examples. Authors propose model construction method with an example from medicine by creating multiple diseases (arterial hypertension, atherosclerosis and diabetes mellitus) evolution topological model with formal aspects. Developed modeling method and united diseases model can be used to prognosticate evolution of diseases, perform inspection of used therapies and provide information for optimal therapy complex selection.

关键词： Mathematical model Medical treatment Diseases Organisms Medical diagnostic imaging Predictive models Numerical models

来源：评论

学校读者我要写书评

暂无评论

Embedding of event processing into multi-agent systems decision mechanism

Embedding of event processing into multi-agent systems decis...

引用

International Symposium on Applied Computational Intelligence and Informatics ( SACI)

作者： Ioana Cobeanu Vasile Comnac Faculty of Electrical Engineering and Computer Science Department of Automation Transilvania University of Brasov Brasov Romania

The agent's decision mechanism should take into account only the events which can influence the agent's decision. That is way it is necessary to embed the event processing technology into multi-agent systems decision mechanism. From the stimuli received by the agent, there are selected only the ones which can influence their behaviour and based on this information the complex event processing module gives as output complex events. These complex events result from a series of operations like grouping, aggregation, sorting, filtering, merging, splitting or duplication of events. To study the CEP performance embedded into multi-agent systems decision mechanism the method presented in this paper is applied in a traffic control application.

关键词： Multiagent systems Engines Real time systems Intelligent agents Robots Traffic control Accidents

来源：评论

学校读者我要写书评

暂无评论

MLP neural network as load forecasting tool on short- term horizon

MLP neural network as load forecasting tool on short- term h...

引用

Mediterranean Conference on Control and automation (MED)

作者： Otilia Elena Dragomir Florin Dragomir Iulian Brezeanu Eugenia Minca Electrical Engineering Faculty Automation Computer Science and Electrical Engineering Department Valahia University of Targoviste Targoviste Romania

This paper focus on multilayer feedforward neural networks, the most popular and widely-used paradigms in many applications, including energy forecasting Precisely, it provides a multilayer perceptron (MLP) architecture, capable to forecast the DPcg (difference between the electricity produced and consumed) in relation with solar radiation, for shortterm horizon. The forecasting accuracy and precision, in capturing nonlinear interdependencies between the load and solar radiation of this structure is illustrated and discussed using a data based obtain from an experimental photovoltaic amphitheatre of minimum dimension 0.4kV/10kW.

关键词： Training Forecasting Feedforward neural networks Nonhomogeneous media Biological neural networks Predictive models

来源：评论

学校读者我要写书评

暂无评论

Efficient methods for robust classification under uncertainty in kernel matrices

The Journal of Machine Learning Research

引用

The Journal of Machine Learning Research 2012年第1期13卷

作者： Aharon Ben-Tal Sahely Bhadra Chiranjib Bhattacharyya Arkadi Nemirovski William Davidson Faculty of Industrial Engineering and Management Technion - Israel Institute of Technology Technion City Haifa Israel Department of Computer Science and Automation Indian Institute of Science Bangalore Karnataka India H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology Georgia Atlanta Georgia

In this paper we study the problem of designing SVM classifiers when the kernel matrix, K, is affected by uncertainty. Specifically K is modeled as a positive affine combination of given positive semi definite kernels, with the coefficients ranging in a norm-bounded uncertainty set. We treat the problem using the Robust Optimization methodology. This reduces the uncertain SVM problem into a deterministic conic quadratic problem which can be solved in principle by a polynomial time Interior Point (IP) algorithm. However, for large-scale classification problems, IP methods become intractable and one has to resort to first-order gradient type methods. The strategy we use here is to reformulate the robust counterpart of the uncertain SVM problem as a saddle point problem and employ a special gradient scheme which works directly on the convex-concave saddle function. The algorithm is a simplified version of a general scheme due to Juditski and Nemirovski (2011). It achieves an O(1/T2) reduction of the initial error after T iterations. A comprehensive empirical study on both synthetic data and real-world protein structure data sets show that the proposed formulations achieve the desired robustness, and the saddle point based algorithm outperforms the IP method significantly.

关键词： kernel functions robust optimization uncertain classification

来源：评论

学校读者我要写书评

暂无评论

Simulated company as validation environment for the design methods and algorithms of informatics systems meant for the business environment

Simulated company as validation environment for the design m...

引用

15th WSEAS International Conference on Systems, Part of the 15th WSEAS CSCC Multiconference

作者： Neicu, Marian-Ştefan Savii, George Benea, Marius-CǍlin Technical University of Timişoara Faculty of Automation and Computer Science Vasile Pârvan 2 300223 Timişoara Romania Technical University of Timişoara Mechanical Engineering Faculty Mihai Viteazu 1 300222 Timişoara Romania Technical University of Timişoara Faculty of Engineering of Hunedoara Revolutţei 5 331128 Hunedoara Romania

ISBN: (纸本)9781618040237

The paper presents a method of validation of the informatics systems designed for the business environment, through their implementation and use in an exercise company. As opposed to the audit of administration informatics systems or the well-known software testing methods, the method we propose evaluates the manner in which the software applications adapt to the integral pass through an information processing flow, corresponding to some basic functions of the company (supply, production, distribution, etc.). In this manner we obtain complete and good quality results, at reduced costs of the evaluation process.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Modeling and control of three-phase inverter of swirl turbine

Modeling and control of three-phase inverter of swirl turbin...

引用

MECHATRONIKA International Symposium

作者： Tomas Brezina Tomas Hejc Jiri Kovar Faculty of Mechanical Engineering Institute of Automation and Computer Science Brno University of Technology Brno Czech Republic

This paper deals with a three-phase inverter controller design for monobloc configuration of small swirl turbine. The aim is an phasing of the system to grid. A simulation design is described which leads to cascade controller with simple structure: lower loop is used for amplitude control and upper loop for phase control. First the highly nonlinear detailed three-phase inverter with switching components and diodes is modeled. Then based on RMS measurement a compensated LTI model is extracted which is used by H-infinity loop-shaping controller synthesis for both controllers design. Lastly design results are verified by simulations applying original three-phase inverter model taking into account high level of disturbances. Resulting system meets with reserve desired behaviour.

关键词： Inverters Mathematical model Turbines Voltage control Pulse width modulation Computational modeling automation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：