举办时间:2021.07.23~07.25会议地点:宁夏回族自治区银川市主办单位:中国计算机学会承办单位:中国计算机学会理论计算机科学专业委员会、北方民族大学CCF全国理论计算机科学学术年会(NCTCS,National Conference of Theoretical Computer...举办时间:2021.07.23~07.25会议地点:宁夏回族自治区银川市主办单位:中国计算机学会承办单位:中国计算机学会理论计算机科学专业委员会、北方民族大学CCF全国理论计算机科学学术年会(NCTCS,National Conference of Theoretical Computer Science)已成为国内理论计算机科学最主要的学术平台之一。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一个交流合作场所。展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms ...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。展开更多
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。
文摘计算机辅助教学(即 CAI)被誉为教育史上的第四次革命,是现代电化教学的最高形式,CAI 的主要功能是使用计算机辅助教师讲授、演示,还可以通过人机对话做练习、自学和考试,可以进行教与学的交流。我先后研制、应用并出版七门计算机课程的计算机辅助教学系统,已构成一个计算机 CAI 系列,并可以实现教学过程的形象化、智能化和高效率,进而可以提高教学质量。
