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
- DOI:
10.1065/espr2006.08.331 - 发表时间:
2007-06-01 - 期刊:
- 影响因子:5.8
- 作者:
Laasri, Laila;Elamrani, M. Khalid;Cherkaoui, Omar - 通讯作者:
Cherkaoui, Omar
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
- DOI:
10.1007/s00170-021-07163-7 - 发表时间:
2021-05-02 - 期刊:
- 影响因子:3.4
- 作者:
Rouway, Marwane;Nachtane, Mourad;Cherkaoui, Omar - 通讯作者:
Cherkaoui, Omar
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