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

Optimal decision making with biologically realistic neural signals

引用

BMC Neuroscience 2010年第1期11卷 1-2页

作者： Javier A Caballero Kevin N Gurney Department of Psychology The University of Sheffield Sheffield S10 2TN UK

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Spectrum decision Scheme for Heterogeneous Cognitive Radio Networks

A Dynamic Spectrum Decision Scheme for Heterogeneous Cogniti...

引用

24th International Symposium on Computer and Information Sciences

作者： Kaplan, Metin Buzluca, Feza Istanbul Tech Univ Dept Comp Engn TR-80626 Istanbul Turkey

ISBN: (纸本)9781424450213

Spectrum sensing and spectrum management are the main challenging functions that cognitive radio (CR) networks have to perform. In this paper, we focus specifically on the spectrum decision problem. This problem is worsened in the presence of users with different demands and spectrum channels with different properties in a heterogeneous network. For accurate and proper spectrum management, we propose a spectrum decision algorithm for spectrum brokers, which takes user type and spectrum channel properties into consideration. This approach increases both the number of users that can get proper spectrum bands and the throughput of the system. The algorithm also includes a "patience" option. Users that choose the "patience" option agree to wait for a predetermined amount of time until their connection is established. Meanwhile, a better spectrum may become available. This option increases the efficiency of spectrum usage too.

关键词： Regional Spectrum Broker decision algorithm Spectrum decision Dynamic Spectrum Access Wait Option Patient Users Traffic Class

来源：评论

学校读者我要写书评

暂无评论

Rough set algorithm for crack category determination of reinforced concrete structures

引用

ADVANCES IN ENGINEERING SOFTWARE 2009年第3期40卷 202-211页

作者： Kim, Yeong Min Kim, Chee Kyeong Lee, Jae Cheol Sunmoon Univ Dept Architectural Engn Chungnam 336708 South Korea MIDAS Informat Technol Co Ltd SKn Technopk Tech Ctr Songnam 462721 Gyeonggi Do South Korea TongMyong Univ Dept Architectural Engn Pusan 608711 South Korea

Rough set theory is a new mathematical approach to imprecision, vagueness and uncertainty in data analysis. This paper presents a new approach to rough set theory in determining the category of crack causes for insufficient and imprecise crack characteristics observed in regular inspection of concrete structures. The categories of crack causes are classified into four classes, that is, (1) concrete material, (2) construction work, (3) service and environmental factors, and (4) structure and applied loads. The crack characteristics include time of formation, shape, regularity, cause of concrete deformation, and range. The decision table was constructed considering crack characteristics as condition attributes and the categories of crack causes as decision attributes. A minimal decision algorithm for this decision table was generated on the basis of rough set theory;the algorithm is equivalent to the original decision table, but requires minimum subsets of condition attributes. It turned out in determining the category of crack causes that, "time of formation" had the most important influence among crack characteristics, and "shape" could be omitted with the least influence on diagnosis. (C) 2008 Elsevier Ltd. All rights reserved.

关键词： Rough set decision algorithm Crack characteristics Concrete Structures

来源：评论

学校读者我要写书评

暂无评论

Development of a decision algorithm to support emergency triage of scrotal pain and its implementation in the met system

引用

INFOR 2005年第4期43卷 287-301页

作者： Michalowski, W Wilk, S Farion, K Pike, J Rubin, S Slowiski, R Univ Ottawa Sch Management Ottawa ON Canada Poznan Tech Univ Inst Comp Sci PL-60965 Poznan Poland Childrens Hosp Eastern Ontario Ottawa ON K1H 8L1 Canada

The acute scrotum is a clinical condition in boys and adolescent males that is normally first assessed in the Emergency Department of a hospital. We used data from the patients' charts and applied knowledge discovery technique based on rough set theory to develop a clinical decision algorithm for triaging patients with this condition. As demonstrated by a limited retrospective evaluation, the algorithm supports early triage decisions on the basis of readily available information, resulting in good triage accuracy. In order to make the algorithm usable in clinical practice, to integrate it with the workflow, and to make it available at the point of care, we implemented it as an application in the mobile clinical decision support environment called MET (Mobile Emergency Triage). MET uses ontologies to represent domains of various acute presentations and triage support functionalities, and renders specific applications on demand from these ontologies.

关键词： mobile health clinical decision support system decision algorithm knowledge discovery ontological model rough set theory acute scrotum

来源：评论

学校读者我要写书评

暂无评论

Towards a natural language semantics without functors and operands

引用

Journal of Logic, Language and Information 2008年第1期17卷 1-17页

作者： Erdélyi-Szabó, Miklós Kálmán, László Kurucz, Agi Alfréd Rényi Institute for Mathematics Hungarian Academy of Sciences Budapest Hungary Department of Theoretical Linguistics Hungarian Academy of Sciences Budapest Hungary Department of Theoretical Linguistics L. Eötvös University Budapest Hungary Department of Computer Science King's College London London United Kingdom

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an 'intrinsically' type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but 'pieces of evidence' for believing in the 'truth' or 'existence' or 'identity' of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. © 2007 Springer Science+Business Media.

关键词： Completeness Compositionality decision algorithm Finite axiomatisability Finite entailment problem Function/argument metaphor Measurements Natural language semantics Pieces of evidence

来源：评论

学校读者我要写书评

暂无评论

algorithmic analysis of polygonal hybrid systems, part I: Reachability

引用

THEORETICAL COMPUTER SCIENCE 2007年第1-2期379卷 231-265页

作者： Asarin, Eugene Schneider, Gerardo Yovine, Sergio Univ Oslo Dept Informat NO-0316 Oslo Norway LIAFA F-75251 Paris 5 France CNRS VERIMAG Ctr Equat F-38610 Gieres France

In this work we are concerned with the formal verification of two-dimensional non-deterministic hybrid systems, namely polygonal differential inclusion systems (SPDIs). SPDIs are a class of non-deterministic systems that correspond to piecewise constant differential inclusions on the plane, for which we study the reachability problem. Our contribution is the development of an algorithm for solving exactly the reachability problem of SPDIs. We extend the geometric approach due to Maler and Pnueli [O. Maler, A. Punch. Reachability analysis of planar multi-linear systems. in: C. Courcoubetis (Ed.), CAV'93, in: LNCS, vol. 697, Springer-Verlag, 1993, pp. 194-209] to non-deterministic systems, based on the combination of three techniques: the representation of the two-dimensional continuous-time dynamics as a one-dimensional discrete-time system (using Poincare maps), the characterization of the set of qualitative behaviors of the latter as a finite set of types of signatures, and acceleration used to explore reachability according to each of these types. (c) 2007 Elsevier B.V. All rights reserved.

关键词： hybrid systems differential inclusions verification decision algorithm reachability analysis

来源：评论

学校读者我要写书评

暂无评论

Multi-standard radio resource management for integrated voice and data services

Multi-standard radio resource management for integrated voic...

引用

65th IEEE Vehicular Technology Conference

作者： Piao, Guihua David, Klaus Univ Kassel Chair Commun Technol D-34121 Kassel Germany

ISBN: (纸本)9781424402656

With the successful deployment of various radio access networks, multi-radio access has become an important research topic for heterogeneous wireless networks. This paper presents several multi-standard radio resource management strategies for integrated voice and data services. The input parameters as well as the availability of overflow at call setup stage and intersystem handover during call connection stage differentiate these strategies from each other. The heterogeneous networks capacity of integrated services is investigated via simulations modelling the stochastic traffic, mobility, and technology related air interface features. Performance comparison reveals that a strategy merely maximising the capacity might not consider the performance of individual service in some cases.

关键词： heterogeneous networks multi-standard radio resource management (MxRRM) decision algorithm intersystem handover quality of service provision integrated voice and data services capacity gain network performance

来源：评论

学校读者我要写书评

暂无评论

MULTI-STANDARD RADIO RESOURCE MANAGEMENT FOR INTEGRATED VOICE AND DATA SERVICES

MULTI-STANDARD RADIO RESOURCE MANAGEMENT FOR INTEGRATED VOIC...

引用

IEEE 65th Vehicular Technology Conference (VTC-Spring 2007), vol.2

作者： Guihua Piao Klaus David Chair for Communication Technology University of Kassel Kassel Germany

关键词： Heterogeneous networks Multi-standard radio resource management (MxRRM) decision algorithm Intersystem handover Quality of service provision Integrated voice and data services Capacity gain Network performance

来源：评论

学校读者我要写书评

暂无评论

Generalized left-hand side and right-hand side conflicts decision algorithm of F with inside conflicts

引用

Jisuanji Yanjiu yu Fazhan/Computer Research and Development 2004年第11期41卷 1924-1929页

作者： Hao, Zhong-Xiao Zhao, Ling-Qiang Gao, Yan Coll. of Comp. and Control Harbin Univ. of Sci. and Technol. Harbin 150080 China Coll. of Info. Sci. and Technol. Qiqihar Univ. Qiqihar 161006 China Coll. of Comp. Sci. and Technol. Harbin Inst. of Technol. Harbin 150001 China

The acyclic property of database data structure is an important property of the database theory and application. How to make an acyclic decomposition of the database schema is a relatively complex problem, and more complex is the α-acyclic decomposition problem when there exist inside conflicts in FD set F. Discussed in this paper is that when there exist generalized left-hand side conflicts or generalized right-hand side conflicts in FD set F which has inside conflicts, the relationship between the generalized left-hand side or generalized right-hand side conflicts and the symmetrical left-hand side attribute set, and the existing condition and property of the symmetrical left-hand side attribute set. The corresponding concepts, theorems and proof are also given. On this basis, a decision algorithm of the existence of generalized left-hand side or generalized right-hand side conflicts is presented. The correctness verification and algorithm analysis of the above mentioned algorithm are presented too.

关键词： α-acyclic decision algorithm Generalized left-hand side conflict Generalized right-hand side conflict

来源：评论

学校读者我要写书评

暂无评论

Agent hybrid architecture and its decision processes

Agent hybrid architecture and its decision processes

引用

5th International Conference on Machine Learning and Cybernetics

作者： Sun, Yong Wu, Bo Shenzhen Polytech Sch Elect & Informat Engn Shenzhen 518055 Peoples R China

ISBN: (纸本)1424400600

This paper presents a hybrid agent architecture, which includes reactive architecture and deliberative architecture, the former enhances the reactivity of agents, and the later improves the intelligence of agents. The paper also introduces a novel agent decision algorithm to make agent accomplish tasks promptly and artificially. The hybrid architecture and decision algorithm had successfully applied to RoboCup simulation system, and the simulation results show they are effective.

关键词： agent robo cup deliberation reactivity decision algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：