Inductive and deductive methods for network configuration

网络配置的归纳法和演绎法

基本信息

  • 批准号:
    434861-2012
  • 负责人:
  • 金额:
    $ 6.72万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Collaborative Research and Development Grants
  • 财政年份:
    2014
  • 资助国家:
    加拿大
  • 起止时间:
    2014-01-01 至 2015-12-31
  • 项目状态:
    已结题

项目摘要

The management of computer networks is an increasingly complex and error-prone task. On the one hand, the equipments that form a network must behave as a group; however, on the other hand, each of these equipments is managed and configured individually. In that context, network operators such as Ericsson are faced with a common issue: how can they be assured that a service installed on a client's network works correctly, or that the network itself is exempt from faults of any kind?
计算机网络的管理是一项日益复杂和容易出错的任务。一方面,形成网络的设备必须作为一个组来工作;然而,另一方面,这些设备中的每一个都是单独管理和配置的。在这种情况下,爱立信等网络运营商面临着一个共同的问题:他们如何确保安装在客户网络上的服务正常工作,或者网络本身不存在任何故障?

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Cherkaoui, Omar其他文献

Evaluating the Effectiveness of Interactive Virtual Patients for Medical Education in Zambia: Randomized Controlled Trial.
  • DOI:
    10.2196/43699
  • 发表时间:
    2023-06-29
  • 期刊:
  • 影响因子:
    3.6
  • 作者:
    Horst, Rebecca;Witsch, Lea-Mara;Hazunga, Rayford;Namuziya, Natasha;Syakantu, Gardner;Ahmed, Yusuf;Cherkaoui, Omar;Andreadis, Petros;Neuhann, Florian;Barteit, Sandra
  • 通讯作者:
    Barteit, Sandra
Feather waste as a thermal insulation solution: Treatment, elaboration and characterization
  • DOI:
    10.1177/1528083719869393
  • 发表时间:
    2021-06-01
  • 期刊:
  • 影响因子:
    3.2
  • 作者:
    Mrajji, Ouahiba;El Wazna, Mohamed;Cherkaoui, Omar
  • 通讯作者:
    Cherkaoui, Omar
Removal of two cationic dyes from a textile effluent by filtration-adsorption on wood sawdust
Additive Manufacturing and Composite Materials for Marine Energy: Case of Tidal Turbine
  • DOI:
    10.1089/3dp.2021.0194
  • 发表时间:
    2021-12-20
  • 期刊:
  • 影响因子:
    3.1
  • 作者:
    Rouway, Marwane;Tarfaoui, Mostapha;Cherkaoui, Omar
  • 通讯作者:
    Cherkaoui, Omar
3D printing: rapid manufacturing of a new small-scale tidal turbine blade

Cherkaoui, Omar的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Cherkaoui, Omar', 18)}}的其他基金

Optimal resource allocation of virtualized router: a multi-objective approach
虚拟化路由器的最优资源分配:多目标方法
  • 批准号:
    46384-2012
  • 财政年份:
    2018
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Optimal resource allocation of virtualized router: a multi-objective approach
虚拟化路由器的最优资源分配:多目标方法
  • 批准号:
    46384-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Optimal resource allocation of virtualized router: a multi-objective approach
虚拟化路由器的最优资源分配:多目标方法
  • 批准号:
    46384-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Inductive and deductive methods for network configuration
网络配置的归纳法和演绎法
  • 批准号:
    434861-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Collaborative Research and Development Grants
Optimal resource allocation of virtualized router: a multi-objective approach
虚拟化路由器的最优资源分配:多目标方法
  • 批准号:
    46384-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Optimal resource allocation of virtualized router: a multi-objective approach
虚拟化路由器的最优资源分配:多目标方法
  • 批准号:
    46384-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
On the virtualization of the network equipment: NETVIRT
浅谈网络设备的虚拟化:NETVIRT
  • 批准号:
    394884-2009
  • 财政年份:
    2012
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Collaborative Research and Development Grants
On the virtualization of the network equipment: NETVIRT
浅谈网络设备的虚拟化:NETVIRT
  • 批准号:
    394884-2009
  • 财政年份:
    2011
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Collaborative Research and Development Grants
Addressing the complexity and scalability of autonomic
解决自主的复杂性和可扩展性
  • 批准号:
    46384-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
On the virtualization of the network equipment: NETVIRT
浅谈网络设备的虚拟化:NETVIRT
  • 批准号:
    394884-2009
  • 财政年份:
    2010
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Collaborative Research and Development Grants

相似海外基金

CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
CRII:SHF:自动演绎验证中验证函数值和减少注释开销的理论基础
  • 批准号:
    2348334
  • 财政年份:
    2024
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Standard Grant
Deductive Verification Across the Stack
跨堆栈的演绎验证
  • 批准号:
    RGPIN-2020-06072
  • 财政年份:
    2022
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
逐步细化和定理证明的演绎失败推理机的开发
  • 批准号:
    22K11987
  • 财政年份:
    2022
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号:
    RGPIN-2016-03992
  • 财政年份:
    2022
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Computational biology of plant development: Towards a deductive science
植物发育的计算生物学:走向演绎科学
  • 批准号:
    RGPIN-2019-06279
  • 财政年份:
    2022
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Deductive Verification Across the Stack
跨堆栈的演绎验证
  • 批准号:
    RGPIN-2020-06072
  • 财政年份:
    2021
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号:
    RGPIN-2016-03992
  • 财政年份:
    2021
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Deductive Verification for Stochastic Hybrid Systems
随机混合系统的演绎验证
  • 批准号:
    2605387
  • 财政年份:
    2021
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Studentship
Computational biology of plant development: Towards a deductive science
植物发育的计算生物学:走向演绎科学
  • 批准号:
    RGPIN-2019-06279
  • 财政年份:
    2021
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Discovery Grants Program - Individual
Identification of Factors to Improve Effectiveness and Implementation of a Multi-faceted COVID-19 Mental Health Intervention: Follow-up to the SPIN-CHAT Trial
确定提高有效性的因素并实施多方面的 COVID-19 心理健康干预措施:SPIN-CHAT 试验的后续行动
  • 批准号:
    432563
  • 财政年份:
    2020
  • 资助金额:
    $ 6.72万
  • 项目类别:
    Operating Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了