Runtime Behavioural Models for Dependable Systems

可靠系统的运行时行为模型

基本信息

  • 批准号:
    RGPIN-2019-07285
  • 负责人:
  • 金额:
    $ 1.68万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2019
  • 资助国家:
    加拿大
  • 起止时间:
    2019-01-01 至 2020-12-31
  • 项目状态:
    已结题

项目摘要

Modern computing comprises data centers, client devices, and the Internet connecting them. With millions of servers, billions of client devices, and numerous networks, all under different administrative control, achieving dependable computing is difficult. Even if both hardware and software are highly reliable, with so many applications, at any given time numerous of them will have failed. Data-center dependability is achieved by replication and untime software management implementing Recovery-oriented Computing (RoC). Network dependability is achieved via redundancy of network interfaces and interconnections.******Achieving dependable clients is more difficult, as they do not have redundancy. They run multiple applications, and so generic recovery actions used in data-center RoC do not work. Currently clients record device and application log data and send it to a data center for analysis. The problem with this is that log records tend to be whatever a developer thought might help in debugging an application which is often not useful for a user or an operator; determining appropriate recovery actions based on log records is hard; worse, the developer may have missed critical log points; finally, the amount of log data sent for analysis is vast and growing, with companies gathering terabytes of log records daily.******We plan to extend our work in system monitoring and error detection. Currently we model the run-time behaviour of software systems using a mixture of regression analysis, information-theoretic models, and clustering based on textual similarity of logs messages. We compare monitored behaviour with our models; deviation from the model indicates workload change, software change, or error in the system. When we can eliminate the first two, the can infer error. In this research we will extend our range of run-time models to incorporate the effects of proposed self-recovery actions on system behaviour. Current tools address errors by applying a limited sequence of automated options. Most software systems have numerous recovery alternatives for different situations, as is evident in the knowledge databases maintained by support organizations of various software vendors. When such alternatives are available, fault localization and diagnosis using our modeling approach is likely critical, as a fixed sequence of recovery options will be ineffective and costly. The set of possible recovery actions will be extracted from known-successful techniques from support knowledge databases. After applying any recovery action, we expect to closely monitor system behaviour to determine the success or failure of the action, and adjust as necessary. In addition to creating a runtime management system for clients, we expect to develop automated logpoint insertion techniques to address the poor quality of log records as viewed from the operator and user perspective.**
现代计算包括数据中心、客户端设备和连接它们的互联网。由于数百万台服务器、数十亿台客户端设备和众多网络都处于不同的管理控制之下,因此很难实现可靠的计算。即使硬件和软件都高度可靠,但在如此多的应用程序中,在任何给定的时间,都会有许多应用程序失败。数据中心的可靠性是通过复制和不定时软件管理实现面向恢复的计算(RoC)。通过网络接口和互连的冗余实现网络可靠性。**实现可靠的客户端更加困难,因为它们没有冗余。它们运行多个应用程序,因此数据中心RoC中使用的一般恢复操作不起作用。目前,客户端记录设备和应用程序日志数据,并将其发送到数据中心进行分析。这样做的问题是,日志记录往往是开发人员认为可能有助于调试应用程序的任何东西,这通常对用户或操作员没有用处;基于日志记录确定适当的恢复操作是困难的;更糟糕的是,开发人员可能错过了关键的日志点;最后,发送用于分析的日志数据量巨大且不断增长,公司每天收集数TB的日志记录。*我们计划扩展我们在系统监控和错误检测方面的工作。目前,我们使用回归分析,信息理论模型和基于日志消息的文本相似性聚类的混合物来建模软件系统的运行时行为。 我们将监控的行为与我们的模型进行比较;与模型的偏差表明工作负载变化,软件变化或系统中的错误。当我们能排除前两个时,就能推断出错误。 在这项研究中,我们将扩展我们的运行时模型的范围,将建议的自我恢复行动对系统行为的影响。 目前的工具通过应用有限的自动化选项序列来解决错误。大多数软件系统都有许多不同情况下的恢复替代方案,这在各种软件供应商的支持组织维护的知识数据库中显而易见。当这样的替代品是可用的,故障定位和诊断使用我们的建模方法可能是至关重要的,因为一个固定的顺序的恢复选项将是无效的和昂贵的。将从支助知识数据库中已知成功的技术中提取一组可能的恢复行动。在应用任何恢复操作后,我们希望密切监视系统行为,以确定操作的成功或失败,并根据需要进行调整。 除了为客户端创建运行时管理系统外,我们还希望开发自动化日志点插入技术,以解决从操作员和用户角度来看日志记录质量差的问题。

项目成果

期刊论文数量(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 }}

Ward, Paul其他文献

Assessing performance of the Healthcare Access and Quality Index, overall and by select age groups, for 204 countries and territories, 1990-2019: a systematic analysis from the Global Burden of Disease Study 2019.
  • DOI:
    10.1016/s2214-109x(22)00429-6
  • 发表时间:
    2022-12
  • 期刊:
  • 影响因子:
    34.3
  • 作者:
    Lozano, Rafael;Haakenstad, Annie;Yearwood, Jamal Akeem;Fullman, Nancy;Bintz, Corinne;Bienhoff, Kelly;Weaver, Marcia R.;Nandakumar, Vishnu;Joffe, Jonah N.;LeGrand, Kate E.;Knight, Megan;Abbafati, Cristiana;Abbasi-Kangevari, Mohsen;Abdoli, Amir;Abeldano Zuniga, Roberto Ariel;Adedeji, Isaac Akinkunmi;Adekanmbi, Victor;Adetokunboh, Olatunji O.;Afzal, Muhammad Sohail;Afzal, Saira;Agudelo-Botero, Marcela;Ahinkorah, Bright Opoku;Ahmad, Sajjad;Ahmadi, Ali;Ahmadi, Sepideh;Ahmed, Ali;Rashid, Tarik Ahmed;Aji, Budi;Akande-Sholabi, Wuraola;Alam, Khurshid;Al Hamad, Hanadi;Alhassan, Robert Kaba;Ali, Liaqat;Alipour, Vahid;Aljunid, Syed Mohamed;Ameyaw, Edward Kwabena;Amin, Tarek Tawfik;Amu, Hubert;Amugsi, Dickson A.;Ancuceanu, Robert;Andrade, Pedro Prata;Anjum, Afifa;Arabloo, Jalal;Arab-Zozani, Morteza;Ariffin, Hany;Arulappan, Judie;Aryan, Zahra;Ashraf, Tahira;Atnafu, Desta Debalkie;Atreya, Alok;Ausloos, Marcel;Avila-Burgos, Leticia;Ayano, Getinet;Ayanore, Martin Amogre;Azari, Samad;Badiye, Ashish D.;Baig, Atif Amin;Bairwa, Mohan;Bakkannavar, Shankar M.;Baliga, Shrikala;Banik, Palash Chandra;Baernighausen, Till Winfried;Barra, Fabio;Barrow, Amadou;Basu, Sanjay;Bayati, Mohsen;Belete, Rebuma;Bell, Arielle Wilder;Bhagat, Devidas S.;Bhagavathula, Akshaya Srikanth;Bhardwaj, Pankaj;Bhardwaj, Nikha;Bhaskar, Sonu;Bhattacharyya, Krittika;Bhutta, Zulfiqar A.;Bibi, Sadia;Bijani, Ali;Bikbov, Boris;Biondi, Antonio;Bolarinwa, Obasanjo Afolabi;Bonny, Aime;Brenner, Hermann;Buonsenso, Danilo;Burkart, Katrin;Busse, Reinhard;Butt, Zahid A.;Butt, Nadeem Shafique;Caetano dos Santos, Florentino Luciano;Cahuana-Hurtado, Lucero;Alberto Camera, Luis;Cardenas, Rosario;Carneiro, Vera L. A.;Catala-Lopez, Ferran;Chandan, Joht Singh;Charan, Jaykaran;Chavan, Prachi P.;Chen, Simiao;Chen, Shu;Choudhari, Sonali Gajanan;Chowdhury, Enayet Karim;Chowdhury, Mohiuddin Ahsanul Kabir;Cirillo, Massimo;Corso, Barbara;Dadras, Omid;Dahlawi, Saad M. A.;Dai, Xiaochen;Dandona, Lalit;Dandona, Rakhi;Dangel, William James;Alberto Davila-Cervantes, Claudio;Davletov, Kairat;Deuba, Keshab;Dhimal, Meghnath;Dhimal, Mandira Lamichhane;Djalalinia, Shirin;Huyen Phuc Do;Doshmangir, Leila;Duncan, Bruce B.;Effiong, Andem;Ehsani-Chimeh, Elham;Elgendy, Islam Y.;Elhadi, Muhammed;El Sayed, Iman;El Tantawi, Maha;Erku, Daniel Asfaw;Eskandarieh, Sharareh;Fares, Jawad;Farzadfar, Farshad;Ferrero, Simone;Desideri, Lorenzo Ferro;Fischer, Florian;Foigt, Nataliya A.;Foroutan, Masoud;Fukumoto, Takeshi;Gaal, Peter Andras;Gaihre, Santosh;Gardner, William M.;Garg, Tushar;Obsa, Abera Getachew;Ghafourifard, Mansour;Ghashghaee, Ahmad;Ghith, Nermin;Gilani, Syed Amir;Gill, Paramjit Singh;Goharinezhad, Salime;Golechha, Mahaveer;Guadamuz, Jenny S.;Guo, Yuming;Das Gupta, Rajat;Gupta, Rajeev;Gupta, Vivek Kumar;Gupta, Veer Bala;Hamiduzzaman, Mohammad;Hanif, Asif;Maria Haro, Josep;Hasaballah, Ahmed I.;Hasan, Md Mehedi;Hasan, M. Tasdik;Hashi, Abdiwahab;Hay, Simon I.;Hayat, Khezar;Heidari, Mohammad;Heidari, Golnaz;Henry, Nathaniel J.;Herteliu, Claudiu;Holla, Ramesh;Hossain, Sahadat;Hossain, Sheikh Jamal;Hossain, Mohammad Bellal Hossain;Hosseinzadeh, Mehdi;Hostiuc, Sorin;Hoveidamanesh, Soodabeh;Hsieh, Vivian Chia-rong;Hu, Guoqing;Huang, Junjie;Huda, M. Mamun;Ifeagwu, Susan C.;Ikuta, Kevin S.;Ilesanmi, Olayinka Stephen;Irvani, Seyed Sina Naghibi;Islam, Rakibul M.;Islam, Sheikh Mohammed Shariful;Ismail, Nahlah Elkudssiah;Iso, Hiroyasu;Isola, Gaetano;Itumalla, Ramaiah;Iwagami, Masao;Jahani, Mohammad Ali;Jahanmehr, Nader;Jain, Rajesh;Jakovljevic, Mihajlo;Janodia, Manthan Dilipkumar;Jayapal, Sathish Kumar;Jayaram, Shubha;Jha, Ravi Prakash;Jonas, Jost B.;Joo, Tamas;Joseph, Nitin;Jurisson, Mikk;Kabir, Ali;Kalankesh, Leila R.;Kalhor, Rohollah;Kamath, Aruna M.;Kamenov, Kaloyan;Kandel, Himal;Kantar, Rami S.;Kapoor, Neeti;Karanikolos, Marina;Katikireddi, Srinivasa Vittal;Kavetskyy, Taras;Kawakami, Norito;Kayode, Gbenga A.;Keikavoosi-Arani, Leila;Keykhaei, Mohammad;Khader, Yousef Saleh;Khajuria, Himanshu;Khalilov, Rovshan;Khammarnia, Mohammad;Khan, Md Nuruzzaman;Khan, Moien A. B.;Khan, Maseer;Khezeli, Mehdi;Kim, Min Seo;Kim, Yun Jin;Kisa, Sezer;Kisa, Adnan;Klymchuk, Vitalii;Koly, Kamrun Nahar;Korzh, Oleksii;Kosen, Soewarta;Koul, Parvaiz A.;Defo, Barthelemy Kuate;Kumar, G. Anil;Kusuma, Dian;Kyu, Hmwe Hmwe;Larsson, Anders O.;Lasrado, Savita;Lee, Wei-Chen;Lee, Yo Han;Lee, Chiachi Bonnie;Li, Shanshan;Lucchetti, Giancarlo;Mahajan, Preetam Bhalchandra;Majeed, Azeem;Makki, Alaa;Malekzadeh, Reza;Malik, Ahmad Azam;Malta, Deborah Carvalho;Mansournia, Mohammad Ali;Mantovani, Lorenzo Giovanni;Martinez-Valle, Adolfo;Martins-Melo, Francisco Rogerlandio;Masoumi, Seyedeh Zahra;Mathur, Manu Raj;Maude, Richard James;Maulik, Pallab K.;McKee, Martin;Mendoza, Walter;Menezes, Ritesh G.;Mensah, George A.;Meretoja, Atte;Meretoja, Tuomo J.;Mestrovic, Tomislav;Michalek, Irmina Maria;Mirrakhimov, Erkin M.;Misganaw, Awoke;Misra, Sanjeev;Moazen, Babak;Mohammadi, Mokhtar;Mohammed, Shafiu;Moitra, Modhurima;Mokdad, Ali H.;Molokhia, Mariam;Monasta, Lorenzo;Moni, Mohammad Ali;Moradi, Ghobad;Moreira, Rafael Silveira;Mosser, Jonathan F.;Mostafavi, Ebrahim;Mouodi, Simin;Nagarajan, Ahamarshan Jayaraman;Nagata, Chie;Naghavi, Mohsen;Nangia, Vinay;Swamy, Sreenivas Narasimha;Narayana, Aparna Ichalangod;Nascimento, Bruno Ramos;Nassereldine, Hasan;Nayak, Biswa Prakash;Nazari, Javad;Negoi, Ionut;Nepal, Samata;Kandel, Sandhya Neupane;Ngunjiri, Josephine W.;Huong Lan Thi Nguyen;Cuong Tat Nguyen;Ningrum, Dina Nur Anggraini;Noubiap, Jean Jacques;Oancea, Bogdan;Oghenetega, Onome Bright;Oh, In-Hwan;Olagunju, Andrew T.;Olakunde, Babayemi Oluwaseun;Bali, Ahmed Omar;Omer, Emad;Onwujekwe, Obinna E.;Otoiu, Adrian;Padubidri, Jagadish Rao;Palladino, Raffaele;Pana, Adrian;Panda-Jonas, Songhomitra;Pandi-Perumal, Seithikurippu R.;Pardhan, Shahina;Pasupula, Deepak Kumar;Pathak, Praveen Kumar;Patton, George C.;Pawar, Shrikant;Pereira, Jeevan;Pilania, Manju;Piroozi, Bakhtiar;Podder, Vivek;Pokhrel, Khem Narayan;Postma, Maarten J.;Prada, Sergio I.;Syed, Zahiruddin Quazi;Rabiee, Navid;Radhakrishnan, Raghu Anekal;Rahman, Md. Mosfequr;Rahman, Mosiur;Rahman, Mahfuzar;Rahman, Mohammad Hifz Ur;Rahmani, Amir Masoud;Ranabhat, Chhabi Lal;Rao, Chythra R.;Rao, Sowmya J.;Rasella, Davide;Rawaf, Salman;Rawaf, David Laith;Rawal, Lal;Renzaho, Andre M. N.;Reshmi, Bhageerathy;Resnikoff, Serge;Rezapour, Aziz;Riahi, Seyed Mohammad;Ripon, Rezaul Karim;Sacco, Simona;Sadeghi, Masoumeh;Saeed, Umar;Sahebkar, Amirhossein;Sahiledengle, Biniyam;Sahoo, Harihar;Sahu, Maitreyi;Salama, Joseph S.;Salamati, Payman;Samy, Abdallah M.;Sanabria, Juan;Santric-Milicevic, Milena M.;Sathian, Brijesh;Sawhney, Monika;Schmidt, Maria Ines;Seidu, Abdul-Aziz;Sepanlou, Sadaf G.;Seylani, Allen;Shaikh, Masood Ali;Sheikh, Aziz;Shetty, Adithi;Shigematsu, Mika;Shiri, Rahman;Shivakumar, K. M.;Shokri, Azad;Singh, Jasvinder A.;Sinha, Dhirendra Narain;Skryabin, Valentin Yurievich;Skryabina, Anna Aleksandrovna;Sofi-Mahmudi, Ahmad;Sousa, Raul A. R. C.;Stephens, Jacqueline H.;Sun, Jing;Szocska, Miklos;Tabares-Seisdedos, Rafael;Tadbiri, Hooman;Tamiru, Animut Tagele;Thankappan, Kavumpurathu Raman;Topor-Madry, Roman;Tovani-Palone, Marcos Roberto;Mai Thi Ngoc Tran;Bach Xuan Tran;Tripathi, Niharika;Tripathy, Jaya Prasad;Troeger, Christopher E.;Robles Uezono, Deinzel;Ullah, Saif;Ullah, Anayat;Unnikrishnan, Bhaskaran;Vacante, Marco;Tahbaz, Sahel Valadan;Valdez, Pascual R.;Vasic, Milena;Veroux, Massimiliano;Vervoort, Dominique;Violante, Francesco S.;Vladimirov, Sergey Konstantinovitch;Vlassov, Vasily;Bay Vo;Waheed, Yasir;Wamai, Richard G.;Wang, Yuan-Pang;Wang, Yanzhong;Ward, Paul;Wiangkham, Taweewat;Yadav, Lalit;Jabbari, Seyed Hossein Yahyazadeh;Yamagishi, Kazumasa;Yaya, Sanni;Yazdi-Feyzabadi, Vahid;Yi, Siyan;Yigit, Vahit;Yonemoto, Naohiro;Younis, Mustafa Z.;Yu, Chuanhua;Yunusa, Ismaeel;Bin Zaman, Sojib;Zastrozhin, Mikhail Sergeevich;Zhang, Zhi-Jiang;Zhong, Chenwen;Zuniga, Yves Miel H.;Lim, Stephen S.;Murray, Christopher J. L.;Lozano, Rafael
  • 通讯作者:
    Lozano, Rafael
The role of deliberate practice and play in career progression in sport: the early engagement hypothesis
  • DOI:
    10.1080/13598130902860721
  • 发表时间:
    2009-01-01
  • 期刊:
  • 影响因子:
    1.8
  • 作者:
    Ford, Paul R.;Ward, Paul;Williams, A. Mark
  • 通讯作者:
    Williams, A. Mark
Where's the Emotion? How Sport Psychology Can Inform Research on Emotion in Human Factors
  • DOI:
    10.1177/0018720811403731
  • 发表时间:
    2011-04-01
  • 期刊:
  • 影响因子:
    3.3
  • 作者:
    Eccles, David W.;Ward, Paul;Coombes, Stephen A.
  • 通讯作者:
    Coombes, Stephen A.
The practise and practice of Bourdieu: The application of social theory to youth alcohol research
  • DOI:
    10.1016/j.drugpo.2011.07.013
  • 发表时间:
    2011-11-01
  • 期刊:
  • 影响因子:
    4.4
  • 作者:
    Lunnay, Belinda;Ward, Paul;Borlagdan, Joseph
  • 通讯作者:
    Borlagdan, Joseph
An ecological analysis of factors associated with food insecurity in South Australia, 2002-7
  • DOI:
    10.1017/s1368980009990747
  • 发表时间:
    2010-02-01
  • 期刊:
  • 影响因子:
    3.2
  • 作者:
    Foley, Wendy;Ward, Paul;Taylor, Anne
  • 通讯作者:
    Taylor, Anne

Ward, Paul的其他文献

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

{{ truncateString('Ward, Paul', 18)}}的其他基金

Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
  • 批准号:
    RGPIN-2019-07285
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
  • 批准号:
    RGPIN-2019-07285
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
  • 批准号:
    RGPIN-2019-07285
  • 财政年份:
    2020
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
  • 批准号:
    250371-2012
  • 财政年份:
    2018
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
  • 批准号:
    250371-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
  • 批准号:
    250371-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
  • 批准号:
    250371-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
  • 批准号:
    250371-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Commodity distributed systems
商品分布式系统
  • 批准号:
    250371-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Commodity distributed systems
商品分布式系统
  • 批准号:
    250371-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Machine Learning of Behavioural Models for Improved Multi-Sensor Fusion
用于改进多传感器融合的行为模型的机器学习
  • 批准号:
    2889812
  • 财政年份:
    2023
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Studentship
Learning robust behavioural game theory models
学习稳健的行为博弈论模型
  • 批准号:
    574152-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    University Undergraduate Student Research Awards
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号:
    RGPIN-2016-03992
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
  • 批准号:
    RGPIN-2019-07285
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Behavioural Computation: Analysis, Models, and Algorithms for Supporting Human Improvement on the Web
行为计算:支持网络人类改进的分析、模型和算法
  • 批准号:
    RGPIN-2018-06195
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Incorporating decision-making in environmental emergencies into behavioural computational models for crisis planning
将环境紧急情况的决策纳入危机规划的行为计算模型
  • 批准号:
    2551486
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Studentship
Digitisation of life: addressing behavioural shortcomings in agent-based activity-travel models
生活数字化:解决基于代理的活动旅行模型中的行为缺陷
  • 批准号:
    2613421
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Studentship
Synthesising behavioural and epidemiological models and their methodologies to simulate predictive spread of infectious diseases
综合行为和流行病学模型及其方法来模拟传染病的预测传播
  • 批准号:
    2597405
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Studentship
Behavioural Computation: Analysis, Models, and Algorithms for Supporting Human Improvement on the Web
行为计算:支持网络人类改进的分析、模型和算法
  • 批准号:
    RGPIN-2018-06195
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号:
    RGPIN-2016-03992
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了