系统化培训方法SAT（The Systematic Approach to Training）在欧美国家的工业、运输业、金融业得到广泛应用和认可后，国际原子能机构（IA......

在过去的几年里，人工智能的研究者在规划算法的领域取得了相当的进展，本文通过对规划的最经典的两种方法（图规法与SAT方法）的研究与总......

模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法......

2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(......

核电厂作为技术密集、人才密集型企业,重视人才培养与人才发展。同时,培训部门的非盈利性决定培训部门是企业的重要成本中心。预算......