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

1st IEEE international conference on Artificial Intelligence and Machine Vision, AIMV 2021

作者： Mehta, Chaitali Sharma, Paawan Sant, Amit V. Pandit Deendayal Energy University Computer Science and Engineering Department Gandhinagar India Pandit Deendayal Energy University Information and Communication Technology Department Gandhinagar India Pandit Deendayal Energy University Electrical Engineering Department Gandhinagar India

ISBN: (纸本)9781665442114

Electric Vehicles (EVs) are making more and more financial sense as the operational cost of EVs as compared to Internal Combustion Engine Vehicles (ICEV) is becoming much lower. To further increase the confidence of users in EVs, precise state of Charge (SOC) estimation is need of the hour. The SOC of a battery depends on several factors such as current, voltage, age, temperature, etc. SOC estimation of a Lithium-ion based battery chemistry is a highly complex process. This is due to the fact that Lithium-ion batteries are highly nonlinear, time variant and complex electrochemical systems. A comprehensive study of SOC estimation techniques based on Machine Learning algorithms used in Battery Management systems (BMS) is performed in this paper. Machine Learning algorithms are highly data driven and can give accurate estimation for nonlinear systems. A critical explanation including pros and cons of all these algorithms is presented. The paper also suggests future developments in BMS. © 2021 IEEE.

关键词： Battery management systems

来源：评论

学校读者我要写书评

暂无评论

A ROUGH SET APPROACH TO FEATURE SELECTION BASED ON SCATTER SEARCH METAHEURIstIC

引用

Journal of systems Science & Complexity 2014年第1期27卷 157-168页

作者： WANG Jue ZHANG Qi ABDEL-RAHMAN Hedar ABDEL-MONEM M Ibrahim Center for Forecasting Science Academy of Mathematics and System Science Chinese Academy of ScienceBeijing 100190 China. Department of Computer Science Faculty of Computers and Information Assiut University Assiut 71516Egypt.

Rough set theory is an effective method to feature selection, which has recently fascinated many researchers. The essence of rough set approach to feature selection is to find a subset of the original features. It is, however, an NP-hard problem finding a minimal subset of the features, and it is necessary to investigate effective and efficient heuristic algorithms. This paper presents a novel rough set approach to feature selection based on scatter search metaheuristic. The proposed method, called scatter search rough set attribute reduction （SSAR）, is illustrated by 13 well known datasets from UCI machine learning repository. The proposed heuristic strategy is compared with typical attribute reduction methods including genetic algorithm, ant colony, simulated annealing, and Tabu search. Computational results demonstrate that our algorithm can provide efficient solution to find a minimal subset of the features and show promising and competitive performance on the considered datasets.

关键词： Attribute reduction computational intelligence metaheuristics rough set scatter search.

来源：评论

学校读者我要写书评

暂无评论

Time dependent virus replication in cell cultures

引用

1st international conference on Complex Sciences: theory and Applications, Complex 2009

作者： Díaz Ochoa, Juan G. Voigt, Andreas Briesen, Heiko Sundmacher, Kai Max Planck Institute for Complex Technical Systems Sand Tor Str. 1 D-39106 Magdeburg Germany Otto-von-Guericke-Universität Universitätsplatz 2 D-39106 Magdeburg Germany

ISBN: (纸本)3642024653

We present in this report a stochastic model for the virus replication of influenza A in a cell culture. We consider not only the infection process of individual cells but also the number of intracellular components expressed in virus equivalent. Given that this expression is non constant in time we suggest a variable threshold, related to a viral resistance in the cell population, that could explain the time variation in the viral expression in the cell seen in experiments. © 2009 icst Institute for computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Cell culture

来源：评论

学校读者我要写书评

暂无评论

Wolbachia infection improves genetic algorithms as optimization procedure

Wolbachia infection improves genetic algorithms as optimizat...

引用

1st international conference on the theory and practice of Natural Computing, TPNC 2012

作者： Guevara-Souza, Mauricio Vallejo, Edgar E. Tecnológico de Monterrey Campus Estado de México Computer Science Department Atizapan de Zaragoza Edo. de Mexico 52926 Mexico

ISBN: (纸本)9783642338595

This paper shows how the addition of Wolbachia infection can improve evolutionary function optimization by preventing the system from sticking at local optima. Firstly a variant of genetic algorithms that allows the introduction of Wolbachia is described. Then an application of this system to the optimization of a collection of mutimodal functions is described. Finally, we show how the introduction of Wolbachia infection improves the procedure in terms of both fitness and the number of generations required to obtain the solutions. © 2012 Springer-Verlag.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Power Allocation Method for Satellite Communication Based on Network Coding 1st

Power Allocation Method for Satellite Communication Based on...

引用

1st EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2019

作者： Liu, Jin Li, Zhuoming Liu, Gongliang School of Electronics and Information Engineering Harbin Institute of Technology Harbin150001 China School of Information Science and Engineering Harbin Institute of Technology at Weihai Weihai264209 China

ISBN: (纸本)9783030229672

With the development of aerospace technology, more and more application tasks require satellite communications for information transmission. In space communication, the resources on the star are very precious, and it is particularly urgent to improve the utilization of resources on the star. The application of network coding in satellite communication can not only solve the traditional routing problem, but also greatly improve the reliability and efficiency of communication. So the power allocation method on satellite based on network coding is proposed. Two power allocation algorithms can improve the utilization of inter-satellite resources, and the network coding of relay nodes can reduce the bit error rate and the packet loss rate of the communication system. The simulation results show that network coding can reduce the bit error rate of the system and the impact of different power allocation algorithms on the bit error rate of the system. © icst Institute for computer Sciences, Social Informatics and Telecommunications Engineering 2019.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Rewriting Techniques and Applications, RTA 1985

1st International Conference on Rewriting Techniques and App...

引用

1st international conference on Rewriting Techniques and Applications, RTA 1985

ISBN: (纸本)9783540159766

The proceedings contain 24 papers. The special focus in this conference is on Rewriting Techniques and Applications. The topics include: Associative path orderings;a procedure for automatically proving the termination of a set of rewrite rules;PETRIREVE: Proving Petri net properties with rewriting systems;fairness in term rewriting systems;two results in term rewriting theorem proving;handling function definitions through innermost superposition and rewriting;an ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras;combining unification algorithms for confined regular equational theories;an algebraic approach to unification under associativity and commutativity;contextual rewriting;unification problems with one-sided distributivity;fast many-to-one matching algorithms;complexity of matching problems;The set of unifiers in typed λ-calculus as regular expression;equational systems for category theory and intuitionistic logic;thue systems as rewriting systems;deciding algebraic properties of monoids presented by finite church-rosser Thue systems;two applications of equational theories to database theory;an experiment in partial evaluation: The generation of a compiler generator;NARROWER: a new algorithm for unification and its application to Logic Programming;solving type equations by graph rewriting;termination.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hoare Logics for Time Bounds A study in Meta theory 24th

Hoare Logics for Time Bounds A Study in Meta Theory

引用

24th international conference on Tools and algorithms for the Construction and Analysis of systems (TACAS) Held as Part of the 21st European Joint conferences on theory and practice of Software (ETAPS)

作者： Haslbeck, Maximilian P. L. Nipkow, Tobias Tech Univ Munich Munich Germany

ISBN: (纸本)9783319899602;9783319899596

We study three different Hoare logics for reasoning about time bounds of imperative programs and formalize them in Isabelle/HOL: a classical Hoare like logic due to Nielson, a logic with potentials due to Carbonneaux et al. and a separation logic following work by Atkey, Chaguerand and Pottier. These logics are formally shown to be sound and complete. Verification condition generators are developed and are shown sound and complete too. We also consider variants of the systems where we abstract from multiplicative constants in the running time bounds, thus supporting a big-O style of reasoning. Finally we compare the expressive power of the three systems.

关键词： Hoare logic Algorithm analysis Program verification

来源：评论

学校读者我要写书评

暂无评论

Smart User Assistance Based on Dynamic Model Composition

Smart User Assistance Based on Dynamic Model Composition

引用

1st international conference on Design, User Experience, and Usability (DUXU)/14th international conference on Human-computer Interaction (HCI)

作者： Zilz, Rene Forbrig, Peter Univ Rostock Dept Comp Sci D-18059 Rostock Germany

ISBN: (纸本)9783642216756

Ubiquitous computing environments are complex systems since they support a variety of different input modalities such as voice, touch and keyboard/mouse input. Especially inexperienced users (e.g., elderly or novel) might be confused with the abundance of interaction opportunities. This paper presents an approach to specify smart user assistance for mobile devices. The mobile application shows performable tasks, explains modalities and commands, and provides interactive exercises in order to get the user familiar with the system interaction. The complexity of the interactive exercises and the selection of most suitable modalities are adapted based on user characteristics. The advantage is that users become acquainted with the use of different modalities step by step.

关键词： Human computer Interaction Automatic System Adaptation Ubiquitous Computing User Assistance Task Models

来源：评论

学校读者我要写书评

暂无评论

practice-based learning as mobile learning: The role of boundary objects

Practice-based learning as mobile learning: The role of boun...

引用

2007 IADIS international conference Mobile Learning, ML 2007 - Part of the 1st IADIS Multi conference on computer Science and Information systems, MCCSIS 2007

作者： Krogstie, Birgit R. Divitini, Monica Norwegian University of Science and Technology Department of Computer and Information Science Sem Sælands vei 7-9 TrondheimN-7034 Norway

ISBN: (纸本)9789728924362

practice-based learning is an important element in study programs educating professional practitioners. It is characterized by a focus on students’ transition from university to professional work life. The students are exposed to real work challenges within the pedagogical scaffolding of the university program. An essential aspect of the learning process is students’ reflection on the relationship between school and real life, theory and practice. As we strive to provide the best possible pedagogical support for students’ learning in these educational settings, we look for the elements most likely to have a positive or negative impact on learning results. In this reflection paper, we will argue that a focus on interactional mobility is helpful in developing adequate support for practice-based learning, both in terms of course design and, more specifically, in terms of identifying collaboration technologies that may be helpful to the students. In particular, we focus on the role played by boundary objects and how scaffolding can be related to these objects. © 2007 IADIS.

关键词： students

来源：评论

学校读者我要写书评

暂无评论

Algorithm research of top-down mining maximal frequent subgraph based on tree structure

Algorithm research of top-down mining maximal frequent subgr...

引用

1st international conference on Wireless Communications and Applications, ICWCA 2011

作者： Chen, Xiao Zhang, Chunying Liu, Fengchun Guo, Jingfeng Qian'an College Hebei United University 5096 Yanshan Road 064400 Qian'an Hebei China College of Science Hebei United University 46 Xinhua Road 063009 Tang Shan Hebei China College of Information Science and Engineering Yanshan University 438 Hebei Ave 066004 Qinhuangdao Hebei China

ISBN: (纸本)9783642291562

For the existence of problems with mining frequent subgraph by the traditional way, a new algorithm of top-down mining maximal frequent subgraph based on tree structure is proposed in this paper. In the mining process, the symmetry of graph is used to identify the symmetry vertex;determining graph isomorphism based on the attributed information of graph, the tree structure is top-down constructed and completed the calculation of support. Which is reduced the unnecessary operation and the redundant storage of graphs, and the efficiency of algorithm is improved. Experiments show that the algorithm is superior to the existing maximal frequent subgraph mining algorithms, without losing any patterns and useful information. © 2012 icst Institute for computer Science, Social Informatics and Telecommunications Engineering.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：