利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有...利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。展开更多
新加坡是全球金融创新发展的“高地”和金融监管最佳实践地区,新加坡金融监管局(Monetary Authority of Singapore,以下简称MAS)在重点金融领域的监管政策和监管科技的创新应用是新加坡创建全球智能金融中心的重要保障。MAS应用综合风...新加坡是全球金融创新发展的“高地”和金融监管最佳实践地区,新加坡金融监管局(Monetary Authority of Singapore,以下简称MAS)在重点金融领域的监管政策和监管科技的创新应用是新加坡创建全球智能金融中心的重要保障。MAS应用综合风险评估框架和技术,确定金融机构的风险和监管类别;牵头制定“公平、守德、负责、透明”的原则,强化对人工智能和数据分析技术的管理;指导金融机构完善技术风险管理框架,防控线上金融服务面临的技术风险;发布数字咨询服务准则和外包准则,推动金融业务创新和云服务发展;推出常规监管沙盒和快捷监管沙盒机制,鼓励金融科技创新;推动数据分析在反洗钱和反恐怖融资中的应用,提高识别效率和分析准确性;应用监管科技评估和监控金融业网络风险,增强网络安全。新加坡在金融科技监管领域开展的政策创新和监管实践为我国进一步完善监管科技体系提供了有益参考。我国应加强监管科技发展的顶层设计,规范科技在金融监管领域的应用;加强跨部门、跨机构的协同,推动监管科技在关键领域的应用落地;完善监管沙盒机制建设,有效防控新技术在金融监管领域应用可能带来的风险。展开更多
文摘利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。
文摘新加坡是全球金融创新发展的“高地”和金融监管最佳实践地区,新加坡金融监管局(Monetary Authority of Singapore,以下简称MAS)在重点金融领域的监管政策和监管科技的创新应用是新加坡创建全球智能金融中心的重要保障。MAS应用综合风险评估框架和技术,确定金融机构的风险和监管类别;牵头制定“公平、守德、负责、透明”的原则,强化对人工智能和数据分析技术的管理;指导金融机构完善技术风险管理框架,防控线上金融服务面临的技术风险;发布数字咨询服务准则和外包准则,推动金融业务创新和云服务发展;推出常规监管沙盒和快捷监管沙盒机制,鼓励金融科技创新;推动数据分析在反洗钱和反恐怖融资中的应用,提高识别效率和分析准确性;应用监管科技评估和监控金融业网络风险,增强网络安全。新加坡在金融科技监管领域开展的政策创新和监管实践为我国进一步完善监管科技体系提供了有益参考。我国应加强监管科技发展的顶层设计,规范科技在金融监管领域的应用;加强跨部门、跨机构的协同,推动监管科技在关键领域的应用落地;完善监管沙盒机制建设,有效防控新技术在金融监管领域应用可能带来的风险。
