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

7th International Conference on Agents and Artificial Intelligence, ICAART 2015

作者： Homenda, Wladyslaw Jastrzebska, Agnieszka Pedrycz, Witold Faculty of Mathematics and Information Science Warsaw University of Technology ul. Koszykowa 75 Warsaw00-662 Poland Faculty of Economics and Informatics in Vilnius University of Bialystok Kalvariju G. 135 VilniusLT-08221 Lithuania System Research Institute Polish Academy of Sciences ul. Newelska 6 Warsaw01-447 Poland Department of Electrical and Computer Engineering University of Alberta EdmontonABT6R 2G7 Canada

ISBN: (纸本)9789897580741

In the article we have discussed an approach to time series modelling based on Fuzzy Cognitive Maps (FCMs). We have introduced FCM design method that is based on replicated ordered time series data points. We named this representation method history h, where h is number of consecutive data points we gather. Custom procedure for concepts/nodes extraction follows the same convention. The objective of the study reported in this paper was to investigate how increasing h influences modelling accuracy. We have shown on a selection of 12 time series that the higher the h, the smaller the error. Increasing h improves model's quality without increasing FCM's size. The method is stable - gains are comparable for FCMs of different sizes.

关键词： Fuzzy Cognitive Maps

来源：评论

学校读者我要写书评

暂无评论

Rejecting foreign elements in pattern recognition problem: Reinforced training of rejection level 7

Rejecting foreign elements in pattern recognition problem: R...

引用

7th International Conference on Agents and Artificial Intelligence, ICAART 2015

ISBN: (纸本)9789897580741

Standard assumption of pattern recognition problem is that processed elements belong to recognized classes. However, in practice, we are often faced with elements presented to recognizers, which do not belong to such classes. For instance, paper-to-computer recognition technologies (e.g. character or music recognition technologies, both printed and handwritten) must cope with garbage elements produced at segmentation level. In this paper we distinguish between elements of desired classes and other ones. We call them native and foreign elements, respectively. The assumption that we have only native elements results in incorrect inclusion of foreign ones into desired classes. Since foreign elements are usually not known at the stage of recognizer construction, standard classification methods fail to eliminate them. In this paper we study construction of recognizers based on support vector machines and aimed on coping with foreign elements. Several tests are performed on real-world data.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Logic Control and Fault Detection in Centralized Chilled Water system

Fuzzy Logic Control and Fault Detection in Centralized Chill...

引用

IEEE Symposium Series on Computational Intelligence (SSCI)

作者： Noor Asyikin Sulaiman Mohd Fauzi Othman Hayati Abdullah Faculty of Electronic and Computer Engineering Universiti Teknikal Malaysia Skudai Johor Malaysia Electronic System Engineering Department Malaysia-Japan International Institute of Technology Universiti Teknologi Malaysia Kuala Lumpur Malaysia Centre of Electrical Energy System (CEES) Universiti Teknologi Malaysia Skudai Johor Malaysia

The objective of this work is to develop and implement a fuzzy controller and fuzzy fault detection for centralized chilled water system. Both controller and fault detector are implemented in supply air dampers of air handling unit (AHU). A few cases are tested in this paper to investigate the effectiveness of the developed systems. All simulation is carried out using MATLAB/SIMULINK. Results illustrate that the fuzzy controller is able to maintain rooms' temperature according to desired temperature whereas the fault detection can detect unusual behavior in supply air flow rate.

关键词： Shock absorbers Fault detection Fuzzy logic Water heating Niobium Atmospheric modeling

来源：评论

学校读者我要写书评

暂无评论

Ontology development of metacognitive support system for novice programmers (MSSNP) 1

Ontology development of metacognitive support system for nov...

引用

1st International Symposium on technology Management and Emerging Technologies, ISTMET 2014

作者： Mohd Rum, Siti Nurulain Ismail, Maizatul Akmar Department of Information System Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur Malaysia

ISBN: (纸本)9781479937042

Learning and teaching computer programming have been acknowledged as being difficult and challenging. The metacognitive learning environment is needed for learning success in computer Programming problem solving. In designing a support learning tool, the main principal of the instructional approach is to support metacognitive ability. Ontology has gained popularity in building E-learning, in which the formalism of ontology-based description can be achieved, thus giving a specification domain scope and offering an effective reuse of software patterns and systems of patterns. As there is no exact methodology for developing ontologies, here, in this paper, we present an approach for the development of MSSNP Ontology based on the general criteria and issues to be considered. © 2014 IEEE.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: Modelling thermal comfort of visitors at urban squares in hot and arid climate using NN-ARX soft computing method

引用

Theoretical and Applied Climatology 2015年第3期124卷 991-1004页

作者： Shahab Kariminia Shervin Motamedi Shahaboddin Shamshirband Jamshid Piri Kasra Mohammadi Roslan Hashim Chandrabhushan Roy Dalibor Petković Hossein Bonakdari Department of Architecture Faculty of Art Architecture and Urban Planning Najafabad Branch Islamic Azad University Najafabad Iran Department of Civil Engineering Faculty of Engineering University of Malaya Kuala Lumpur Malaysia Institute of Ocean and Earth Sciences University of Malaya Kuala Lumpur Malaysia Department of Computer System and Technology Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur Malaysia Department of Water Engineering Soil and Water College University of Zabol Zabol Iran Faculty of Mechanical Engineering University of Kashan Kashan Iran Faculty of Mechanical Engineering Department for Mechatronics and Control University of Niš Niš Serbia Department of Civil Engineering Razi University Kermanshah Iran

Visitors utilize the urban space based on their thermal perception and thermal environment. The thermal adaptation engages the user’s behavioural, physiological and psychological aspects. These aspects play critical roles in user’s ability to assess the thermal environments. Previous studies have rarely addressed the effects of identified factors such as gender, age and locality on outdoor thermal comfort, particularly in hot, dry climate. This study investigated the thermal comfort of visitors at two city squares in Iran based on their demographics as well as the role of thermal environment. Assessing the thermal comfort required taking physical measurement and questionnaire survey. In this study, a non-linear model known as the neural network autoregressive with exogenous input (NN-ARX) was employed. Five indices of physiological equivalent temperature (PET), predicted mean vote (PMV), standard effective temperature (SET), thermal sensation votes (TSVs) and mean radiant temperature (T mrt) were trained and tested using the NN-ARX. Then, the results were compared to the artificial neural network (ANN) and the adaptive neuro-fuzzy inference system (ANFIS). The findings showed the superiority of the NN-ARX over the ANN and the ANFIS. For the NN-ARX model, the statistical indicators of the root mean square error (RMSE) and the mean absolute error (MAE) were 0.53 and 0.36 for the PET, 1.28 and 0.71 for the PMV, 2.59 and 1.99 for the SET, 0.29 and 0.08 for the TSV and finally 0.19 and 0.04 for the T mrt.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synthesis of multiple biomass corridor via decomposition approach: A p-graph application

引用

Chemical Engineering Transactions 2015年 45卷 1363-1368页

作者： How, Bing Shen Hong, Boon Hooi Lam, Hon Loong Friedler, Ferenc Department of Chemical and Environmental Engineering Faculty of Engineering University of Nottingham Malaysia Campus Jalan Broga Semenyih Selangor Darul Ehsan43500 Malaysia Department of Computer Science and System Technology University of Pannonia Egyetem utca 10 VeszprémH-8200 Hungary

ISBN: (纸本)9788895608365

Nowadays, mankind is facing several environmental challenges such as climate change, pollutions, etc. In order to create a more sustainable future, an adequate waste management system is necessary. One of the major solid waste sources is biomass, which have the potential to be converted into energy and several kinds of value-added products. Therefore, it is suggested to develop a multi-biomass corridor in order to promote a global sustainable development of renewable energy. However, this large-scale problem normally requires longer computational duration due to its complexity. This paper develops a "Decomposition Approach" to simplify such problem and the effectiveness of the methodology has been illustrated by applying it to a case study in a state with abundant biomass, Johor. Copyright © 2015, AIDIC Servizi S.r.l.,.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

引用

IOP Conference Series: Materials Science and Engineering 2016年第1期114卷

作者： Nizam Uddin Ahamed Zahari Taha Mahdi Alqahtani Omar Altwijri Matiur Rahman Abdelhakim Deboucha iMAMS Lab Faculty of Manufacturing Engineering Universiti Malaysia Pahang Pekan 26600 Pahang Malaysia Biomedical Technology department College of Applied Medical Sciences King Saud University Riyadh Kingdom of Saudi Arabia College of Computer and Information System Najran University Kingdom of Saudi Arabia

The aim of this study was to investigate whether there are differences in the amplitude of the EMG signal among five different age groups of adolescent's muscle. Fifteen healthy adolescents participated in this study and they were divided into five age groups (13, 14, 15, 16 and 17 years). Subjects were performed dynamic contraction during lifting a standard weight (3-kg dumbbell) and EMG signals were recorded from their Biceps Brachii (BB) muscle. Two common EMG analysis techniques namely root mean square (RMS) and mean absolute values (MAV) were used to find the differences. The statistical analysis was included: linear regression to examine the relationships between EMG amplitude and age, repeated measures ANOVA to assess differences among the variables, and finally Coefficient of Variation (CoV) for signal steadiness among the groups of subjects during contraction. The result from RMS and MAV analysis shows that the 17-years age groups exhibited higher activity (0.28 and 0.19 mV respectively) compare to other groups (13-Years: 0.26 and 0.17 mV, 14-years: 0.25 and 0.23 mV, 15-Years: 0.23 and 0.16 mV, 16-years: 0.23 and 0.16 mV respectively). Also, this study shows modest correlation between age and signal activities among all age group's muscle. The experiential results can play a pivotal role for developing EMG prosthetic hand controller, neuromuscular system, EMG based rehabilitation aid and movement biomechanics, which may help to separate age groups among the adolescents.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A high-speed performance evaluation for a shared bus type large scale digital system

IEEJ Transactions on Electronics, Information and Systems

引用

IEEJ Transactions on Electronics, Information and systems 2014年第2期134卷 312-319+18页

作者： Kondo, Masafumi Yokogawa, Tomoyuki Sato, Yoichiro Arimoto, Kazutami Department of Medical Engineering Faculty of Health Science and Technology Kawasaki University of Medical Welfare 288 Matsushima Kurashiki Okayama 701-0193 Japan Department of System Engineering Faculty of Computer Science and System Engineering Okayama Prefectural University 111 Kuboki Soja Okayama 719-1197 Japan

To evaluate performance of a large scale digital system, the system is modeled by stochastic timed petri nets (STPN) and performance index is estimated through iteration of a petri net simulation. When the performance evaluation is carried out in a large distributed environment, parallel calculation with incidence matrices of STPN can make the petri net simulation more efficient. In this paper, we proposed an ordering method of incidence matrices to reduce the communication costs in the parallel calculation of matrix operations. For this purpose, we first proposed a method for blocking the incidence matrices based on a structure of a system by considering synchronous and asynchronous buses as composing elements. We also proposed a method for converting sub-matrices of incidence matrices to band matrices. This method is based on the bread first search of STPN represented by the sub-matrices. Finally, we demonstrated an effect of the ordering on the time for performance evaluation by carrying out the performance evaluation using incidence matrices generated by the proposed method. In addition, we showed that the ordering method could reduce the communication costs in a large distributed environment by estimating the use rate of calculation nodes. © 2014 The Institute of Electrical Engineers of Japan.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Towards richer rule languages with polynomial data complexity for the Semantic Web

Towards richer rule languages with polynomial data complexit...

引用

作者： Nguyen, Linh Anh Nguyen, Thi-Bich-Loc Szalas, Andrzej Division of Knowledge and System Engineering for ICT Faculty of Information Technology Ton Duc Thang University No. 19 Nguyen Huu Tho Street Tan Phong Ward District 7 Ho Chi Minh City Viet Nam Institute of Informatics University of Warsaw Banacha 2 Warsaw02-097 Poland Department of Information Technology Hue University of Sciences 77 Nguyen Hue Hue city Viet Nam Department of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden

We introduce a Horn description logic called Horn-DL, which is strictly and essentially richer than Horn-RegI, Horn-SHIQ and Horn-SROIQ, while still has PTime data complexity. In comparison with Horn-SROIQ, Horn-DL additionally allows the universal role and assertions of the form irreflexives, ¬s(a, b), a∗b. More importantly, in contrast to all the well-known Horn fragments EL, DL-Lite, DLP, Horn-SHIQ, and Horn-SROIQ of description logics, Horn-DL allows a form of the concept constructor "universal restriction" to appear at the left hand side of terminological inclusion axioms. Namely, a universal restriction can be used in such places in conjunction with the corresponding existential restriction. We develop the first algorithm with PTime data complexity for checking satisfiability of Horn-DL knowledge bases. © 2015 Elsevier B.V.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

Model checking with fairness assumptions using PAT

引用

Frontiers of computer Science 2014年第1期8卷 1-16页

作者： Yuanjie SI Jun SUN Yang LIU Jin Song DONG Jun PANG Shao Jie ZHANG Xiaohu YANG College of Computer Science Zhejiang University Hangzhou 310027 China Information System Technology and Design Singapore University of Technology and Design Singapore 138682 Singapore School of Computer Engineering Nanyang Technological University Singapore 639798 5ingapore School of Computing National University of Singapore Singapore 117417 Singapore Faculty of Science Technology and Communication University of Luxembourg Luxembourg L- 1359 Luxembourg

Recent development on distributed systems has shown that a variety of fairness constraints （some of which are only recently defined） play vital roles in designing self- stabilizing population protocols. Existing model checkers are deficient in verifying the systems as only limited kinds of fair- ness are supported with limited verification efficiency. In this work, we support model checking of distributed systems in the toolkit PAT （process analysis toolkit）, with a variety of fairness constraints （e.g., process-level weak/strong fairness, event-level weak/strong fairness, strong global fairness）. It performs on-the-fly verification against linear temporal prop- erties. We show through empirical evaluation （on recent pop- ulation protocols as well as benchmark systems） that PAT has advantage in model checking with fairness. Previously un- known bugs have been revealed against systems which are designed to function only with strong global fairness.

关键词： model checking fairness PAT verification tool,formal methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：