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

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Jing-Hong Wang Xi-Zhao Wang Computer Department of Teaching Hebei Normal University Shijiazhuang China Machine Learning Center Faculty of Mathematics and Computer Science Hebei University Baoding China

ISBN: (纸本)0780384032

Fuzzy extension matrix induction is an extraction technique of fuzzy rules, which can be used in handling ambiguous classification problems related to human's thought and sense. The entire process of building heuristic algorithm based on fuzzy extension matrix is dependent of three specified parameters that seriously affect the computational effort and the rule extraction accuracy. Since, the value of three parameters is usually given in terms of human experience or real requirements, it is very difficult to determine its optimal value. This paper makes an initial attempt to give some guidelines of how to automatically choose these parameters by analyzing the relationship between the values of parameters and the number of rules generated.

关键词： Guidelines Machine learning Heuristic algorithms Humans Fuzzy sets Education Mathematics computer science Spread spectrum communication Knowledge acquisition

来源：评论

学校读者我要写书评

暂无评论

Formalization of UML object dynamics and behavior

Formalization of UML object dynamics and behavior

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： T. Bouabana-Tebibel M. Belmesk Laboratory of System Conception Methods National Institute of Computer Science Algiers Algeria Collége Edouard Montpetit Longueuil Canada

UML has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification tasks. Our goal is to provide system designers a life cycle of software development integrating the UML user-friendliness and the Petri nets rigor and reliability. For this purpose, we propose a methodology to specify using UML and then to systematically verify and validate by way of the Petri nets. This methodology is based on a technique which derives colored Petri nets from UML object, statechart, collaboration and sequence diagrams. The proposed approach associates the formalization of the dynamics and the behavior of objects identified by identities and attribute values. A case study is provided to illustrate this technique.

关键词： Unified modeling language Petri nets Object oriented modeling Collaboration Formal specifications Laboratories Graphics Real time systems

来源：评论

学校读者我要写书评

暂无评论

Sleep and Fasciculations in Amyotrophic Lateral Sclerosis

引用

Somnologie 2004年第1期8卷 25-30页

作者： Šonka, Karel Fiksa, Jan Horváth, Eszter Kemlink, David Süssová, Jana Böhm, Jiři Šebesta, Václav Volná, Jana Nevšímalová, Soňa Department of Neurology Charles University 1st Medical Faculty Prague Czech Republic General Teaching Hospital Prague Czech Republic Institute of Computer Science Acad. of Sci. of the Czech Republic Prague Czech Republic Department of Neurology 12000 Prague 2 Katerinská 30 Czech Republic

Question of the study The aim was to study sleep macrostructure, sleep breathing, periodic limb movements in sleep (PLMS) and fasciculations in amyotrophic lateral sclerosis (ALS). Patients and methods Nocturnal polysomnography (PSG) was performed in 18 patients with ALS (11 men, 7 women), aged 58.4 (SD = ±6.6) years, Norris score 67.1 (±18.7), and in age- and sex-matched volunteers. Results The patients' PSG parameters exhibited the following significant differences from those of the controls: total sleep time reduction, 2NREM and REM reduction, prolonged wakefulness duration, reduced sleep efficiency, and number of sleep cycles. Fasciculations in anterior tibial muscles were found significantly more often in the patients and were equally represented in all stages. Conclusions The study found that sleep worsened in ALS patients, mainly as regards REM sleep-shortening and lower sleep efficiency. In contrast, there was no proof of any significantly deteriorated breathing in the ALS patients' sleep or increased occurrence of PLMS.

关键词： Amyotrophic lateral sclerosis (ALS) Electromyography (EMG) Fasciculation Fragmentary myoclonus Periodic leg movements in sleep (PLMS) Polysomnography (PSG) REM sleep

来源：评论

学校读者我要写书评

暂无评论

Behavioral modeling for mobile agent systems using Petri nets

Behavioral modeling for mobile agent systems using Petri net...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： A.A. Pouyan S. Reeves Department of Computing Faculty of Engineering University of Birjand Birjand Iran Formal Methods Laboratory Department of Computer Science University of Waikato Hamilton New Zealand

This work presents a formal Petri net-based approach to behaviour modeling for mobile agent systems. Generic agent templates, formalized in Petri net semantics, are proposed to model the components of a distributed mobile agent system. A generic agent template is conceptualized as an entity consisting of a set of actions, a set of rules which govern the agent communications and an event that captures the agent migration. The communication rules determine the Petri net structures which act as connectors in the proposed approach. The behaviour of the mobile agent is linked to both architectural and structural specifications based on system requirements. After providing certain formal definitions we present a theoretical formal model for designing and describing the behaviour of mobile agent systems for distributed asynchronous applications. It supports formal reasoning based on Petri nets.

关键词： Mobile agents Petri nets Distributed computing computer networks Mobile communication Application software computer network management Mobile computing Telecommunication computing Information management

来源：评论

学校读者我要写书评

暂无评论

Adaptive control of a class of nonlinear discrete-time systems using support vector machine

Adaptive control of a class of nonlinear discrete-time syste...

引用

World Congress on Intelligent Control and Automation (WCICA)

作者： Jianqiang Xu Shuzhong Chen Center of Mathematics and Physics Teaching Shanghai Institute of Technology Shanghai China Department of Computer Science and Technology East China Jiao Tong University Shanghai China

ISBN: (纸本)0780382730

In this paper, we introduce the use of least square support vector machine (LS-SVM) for the adaptive control of a class of nonlinear discrete-time systems. The solution is characterized by a set of linear equations. The results are discussed with radial basis function kernel. Advantages of LS-SVM control are that no number of hidden units has to be determined for the controller and that no centers have to be specified for the Gaussian kernels. The curse of dimensionality is avoided using the finite time window. Simulation results also verify the effectiveness of the approach.

关键词： Adaptive control Support vector machines Least squares approximation Least squares methods Kernel Neural networks Equations Multi-layer neural network Support vector machine classification Mathematics

来源：评论

学校读者我要写书评

暂无评论

An analysis of freshman engineering: A cross-college perspective

An analysis of freshman engineering: A cross-college perspec...

引用

ASEE 2004 Annual Conference and Exposition, "Engineering Researchs New Heights"

作者： Connor, J.B. Lohani, V.K. Bull, E. Wildman, T.M. Magliaro, S.G. Knott, T.W. Griffin Jr., O.H. Muffo, J.A. Department of Engineering Education Virginia Polytech. Inst./State Univ. Department of Teaching and Learning Virginia Polytech. Inst./State Univ. Department of Computer Science Virginia Polytech. Inst./State Univ. Office of Academic Assessment Virginia Polytech. Inst./State Univ.

The role of Virginia Tech's College of Engineering (COE) in providing education to the freshman engineering students and its perspective in developing engineering programs was discussed. A number of learning initiatives have been undertaken by Virginia Tech's COE such as web based tool that allows faculty in other departments to provide their perspective on the General Engineering (GE) program. It was observed that classroom and program assessments were being improved through the use of e-portfolios, minute papers and team developer software. It was suggested that this GE integration program would serve as a model for other engineering departments both at Virginia Tech and nationwide.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Modeling Demand for Inventory Management of Slow-Moving Items in Case of Reporting Errors

引用

IFAC Proceedings Volumes 2004年第4期37卷 27-32页

作者： Alexandre Dolgui Anatoly Pashkevich Maxim Pashkevich Scientific Methods for Industrial Management Dept. (MSGI) Industrial Engineering and Computer Sciences Center (G2I) Ecole de Mines de Saint Etienne 158 Cours Fauriel 42023 Saint Etienne France Robotic Laboratory Department of Automatic Control Belarusian State University of Informatics and Radioelectronics 6 P.Brovka St. Minsk 220027 Belarus Department of Mathematical Modeling and Data Analysis Faculty of Applied Mathematics and Computer Science Belarusian State University Skarina Av. 4 Minsk 220050 Belarus

The paper is devoted to the problem of modeling demand for inventory management of slow-moving items in the case of reporting errors. It is proposed a generalization of the beta-binomial demand model that takes into account possible reporting errors in the learning sample. For the new model, there are developed identification and forecasting algorithms that provide consistent estimators of the model parameters and mean square optimal forecasts. The efficiency of the proposed approach is illustrated by an application example for slow-moving car parts.

关键词： inventory control error correction statistical inference parameter estimation prediction methods

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of the Chinese information retrieval with the automatically indexing method.

The design and implementation of the Chinese information ret...

引用

The Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies

作者： Wang lan bo Fan bing-bing Yang hong-tao Computer Science Teaching and Research Section Guangzhou Communication Technology

ISBN: (纸本)0780378407

The Chinese information manipulation system is the base of the navigating *** the noise words from the significant words,and picking up the semantics from the text are unsolved difficult *** bring forward the information manipulation method combining the key indexing method with the whole-length indexing method,by comparing main indexing methods in common use in the information indexing system and taking the Chinese features of the internal information navigating *** implementation is also *** new method preferably provides the full and nicety retrieval and solutes the increasing problems of the indexing *** the end,the indexing method to the data which is manipulated by the Chinese information manipulation system is also provided.

关键词： information navigation information indexing keyword indexing whole-length indexing indexing

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of automatic information classifying

The design and implementation of automatic information class...

引用

The Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies

作者： Wang lan-bo Zhou tao Fan bing-bing Computer Science Teaching and Research Section Guangzhou Communication Technology College

ISBN: (纸本)0780378407

The information classifying and indexing service are the most important services the information navigating system usually *** kind of automatic information classifying subsystem used in the internal information navigation system and its implementation is *** structure and implementation of its classifying subject dictionary is also *** the end,the indexing method to the data which is manipulated by the automatic information classifying system is also provided.

关键词： information navigation keyword indexing classifying automatically indexing

来源：评论

学校读者我要写书评

暂无评论

Formal methods for industrial critical systems at trinity college, university of Dublin

Formal methods for industrial critical systems at trinity co...

引用

Eight International Workshop on Formal methods for Industrial Critical Systems (FMICS'03)

作者： Butterfield, Andrew Foundations and Methods Group Department of Computer Science Trinity College University of Dublin Ireland

The Foundations and methods Research Group (FMG) of the Department of computer science, Trinity College, University of Dublin is expanding its research towards industrial critical systems. The Handle-C, hardware compilation language, is suited to the implementation of embedded hardware systems, while the Real-world project allows reasoning about the external behavior of applications written in functional languages. The language is facilitated by the synchronous clocked nature of the computational islands, which allow priority issues to be separated out from more general synchronization aspects. The ease of reasoning about internal properties would extend to external properties, giving an easier approach to reasoning about critical systems.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：