09
2023-12
近期，我院朱朝晖教授团队在人工智能领域国际顶级期刊《Artificial Intelligence》（AIJ）发表了题为“A general approach to extension-based semantics in abstract argumentation”的研究论文，提出抽象论辩框架（AAF）扩展上的归约交算子，进一步发展了Grossi和Modgil提出的分级语义。我院2018级博士生谭立兴为论文唯一第一作者，朱朝晖教授为论文唯一通讯作者，这也是我院首次以第一/通讯单位身份在该期刊发表论文。该文主要工作包括如下两方面：基于数理逻辑模型论的模超滤子构造思想，提出并较为系统地研究了抽象论辩框架（AAF）扩展上的归约交算子。在对象和元理论层面获得的研究结果表明，该算子下具有封闭性的扩展语义较为普遍，它是一个具有普适性的扩展构造方法，是处理语义泛可定义性、可实现性、等价 AAF 特征以及等价约简等相关理论问题的有用数学工具。将著名的Dung基础引理推广到AAF分级语义，为分级扩展的不动点构造提供了关键的数学基础。在此基础上，构建了允许集与完全扩展之间的伽罗瓦伴随，进而较系统地建立
08
为学习落实习近平总书记关于调查研究的重要论述精神，深入美丽乡村，实地调研溧阳乡村建设情况、领略溧阳风土人情与秀美风光的同时，深刻领悟以新产业、新形势开展乡村振兴的成效典范，12月6日，计算机学院党委与溧阳姜下村党委开展“同心共学强思想 同行共建促创新”党建共建活动，学院党委副书记王宁，辅导员以及10余名学生代表参与此次活动。活动伊始，老师、同学们在姜下村党委大厅认真听取了姜下村党委简介报告及该村近年产业振兴的相关情况，深入感受姜下村党委以党建带动乡村振兴、因地制宜坚持学思用贯通、知信行统一的成效典范。姜下村作为产业强村，依托地理位置及生态优势与特色自然资源，深入培植农业产业，以文化振兴、生态振兴、组织振兴为基础，创造了一站式产品产业链，让多元化产业发展铺就了乡村振兴“快车道”。接着，在讲解员的带领下，老师、同学们深入参观姜下村街道、姜下村村史馆等地，多角度地见证了丰富多彩和高品质的姜下村生活，感受姜下村人文自然与溧阳的特色风土人情。此外，讲解员结合“树荫下的党课”向大家生动讲述了姜下村在党建引领下借助乡村振兴的东风建设特色乡村的奋斗历程，带领师生们一同回顾了新四军铁军精神，号召广大师生
为持续巩固拓展主题教育成果，扎实推进“清廉学院”建设走深走实，切实教育广大干部教师廉洁从政、廉洁从教，12月7日，计算机学院开展“石榴赋能”干部教师能力培训暨党风廉政专题辅导。校纪委副书记张海艮出席会议并作专题廉政报告。学院领导班子成员、党委委员、院长助理、科级干部，各系正副主任、教工党支部书记、纪检委员等近40名干部教师参加本次培训。会议由学院党委书记刘健荣主持。刘健荣首先向大家报告了今年学院基于系所改革和教师党支部换届，围绕“‘四强四建’扣好基层干部廉洁履职‘第一粒扣子’”开展“清廉单元”建设的情况。随后，张海艮以《明正道、守底线，努力在职业发展中行稳致远》为题，围绕“发展态势：反腐败斗争永远在路上”“治本之策：全面加强纪律建设”“净土不净：高校职务性违纪违法时有发生”“风险辨析：违纪违法问题缘何而起”“从我做起：有效防范职务风险”五个方面作廉政报告，他带领全体人员学习了习近平总书记关于全面从严治党、党风廉政建设的重要论述精神，深入剖析了高校干部教师违法违纪行为典型案例，用身边的“活教材”警示教师要行稳致远必须坚持思想铸魂、潜心教书问道、坚守红线底线。在交流分享环节，学院党委纪检委
06
为助力2023级本科新生顺利完成角色转变，快速适应大学学习、生活节奏，提升适应能力，12月5日晚，计算机科学与技术学院/人工智能学院/软件学院在天目湖校区巡天楼报告厅召开了“新生适应力通关宝典——用CTRL+的方式打开大学生活”主题公开月讲评，本科生辅导员王叶飞担任主讲人，2023级本科生参加。王叶飞以“什么是适应力？为什么要提升适应力？”为切入，引导学生主动思考、总结开学至今大学生活的适应情况，并从学业学习、人际交往、生活环境与心理状态四个角度，分析各类适应性问题出现的原因，为新生提供相应的适应力提升策略，助力学生实现由高中生活至大学生活的“丝滑切换”。本次月讲评还邀请到2022级本科生严子翼、陆齐嘉和刘佳伟分享自身在大一学年的“适应故事”。严子翼围绕学业适应话题，结合个人经历分享如何动态调整学习方法，实现学习生活中的“小目标”；陆齐嘉重点讲述了自己在科创竞赛等方面的丰富经验，鼓励同学们积极参与创新实践，不断实现自我突破；刘佳伟鼓励同学们理性看待学习压力，通过心理调适正确应对学习生活中的低谷，扎实走好大学生活的每一步。接着，同学们现场撰写大一学年适应目标，主动思考适应力提升计划，王叶
12月4日，中国航天科工集团四院北京航天晨信科技有限责任公司（以下简称航天晨信）总监赵亚丽带队来我校计算机学院调研交流。学院副院长黄圣君、院长助理赵彦超以及相关教师代表参加了此次交流，会议由黄圣君主持。会上，黄圣君首先代表学院对航天晨信一行的来访表示热烈的欢迎。他表示双方可将高校的前沿技术优势与企业的实际应用需求结合，在国防项目申报、工程英才培养等领域展开全面合作。赵亚丽指出双方之前就有过紧密的合作，希望以此次交流为契机，进一步增加双方了解，充分发挥双方在人才资源、技术积累等方面的优势，她表示对后续合作充满期待。在双方交流环节，赵彦超从学院概况、师资队伍及科学研究、人才培养及国际化等方面对学院情况进行了介绍。航天晨信研究员赵思聪对公司的发展历程、人才构成、业务组成、以及核心竞争力进行了详细介绍。与会老师详细介绍了各自的研究方向，分享了南航在鲁棒机器学习、主动学习、自然语言处理、大模型等相关领域的研究进展与技术优势，双方就智能计算领域达成初步合作意向。赵亚丽充分肯定了南航在人工智能领域的研究成果，并邀请我校至航天晨信进行回访，深化联系和对接，推进合作进程。黄圣君希望双方以国家战略需求为导
05
2023年11月27日至29日，第九届可靠软件工程：理论、工具和应用国际会议(Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2023）在南京顺利召开。本届会议由中国计算机学会形式化方法专委会主办，南京航空航天大学承办，工信部“高安全系统的软件开发与验证技术”重点实验室和江苏省软件新技术与产业化协同创新中心等协办，我校副校长黄志球教授担任大会主席。会议开幕式于27日上午举行，黄志球副校长致欢迎词辞并宣布大会开幕。本次大会包括三个主旨报告，六大主题。主旨报告由阿根廷里奥夸尔托国立大学的Nazareno Aguirre教授、新加坡国立大学的Jin Song Dong教授，以及华东师范大学的蒲戈光教授作为主讲人，内容涵盖了程序规约断言、概率模型检验、工业软件的形式化设计与验证等领域热点和难点，会议还邀请了国内外软件工程领域著名专家学者共同探讨领域前沿进展，包括西南大学刘志明教授、中科院软件所詹乃军研究员、新加坡管理大学孙军教授、南京大学卜磊教授、中科院软件所吴志林研究员等
01
为进一步贯彻落实学校有关保密工作的规定，防范和及时发现、堵塞泄密漏洞，切实提高学院师生保密意识，坚决落实保密工作责任，11月28日，在学院党委书记刘健荣和学院副院长黄圣君的带领下，计算机学院在全院范围内开展保密检查工作。计算机学院根据保密工作规章制度，对相关人员办公场所、涉密计算机和非涉密计算机逐一检查，包括非涉密计算机中文件存储和处理情况，涉密计算机是否违规接入未授权设备，涉密科研项目和涉密载体闭环管理情况等等，切实做到不留死角、不埋隐患。刘健荣查阅了涉密人员载体交接记录本，对涉密人员在处理涉密科研项目中遇到的问题进行了调研。黄圣君针对涉密项目研究过程中的薄弱环节和风险隐患对相关人员进行了提醒督促。在检查过程中，刘健荣强调学院师生要充分认识做好保密工作的重要性和复杂性，严格落实保密工作要求，绷紧保密之弦，将保密制度内化于心、外化于行。 通过此次保密检查工作，进一步提升了学院教师在教学、科研、学术交流活动中的自觉保密意识和防范失泄密意识。保密检查是筑牢保密工作防火墙的重要举措，学院将以此次保密检查为契机，进一步改进检查方式，加大检查力度，确保保密检查不缺位、无死角，切实筑牢保密工作
28
2023-11
为帮助低年级学生更好地了解学科知识和专业前沿，增强学习兴趣和专业认同感，11月27日下午，计算机科学与技术学院/人工智能学院/软件学院第二十九期“石榴教授月导航”在天目湖校区T2108报告厅精彩开讲，学院教授、博士生导师朱琨与100余名本科生共同学习讨论网络化无人系统的演变与发展。首先，朱琨向同学们介绍了网络化无人系统的基础概念与应用领域，他介绍道：“在当今世界，以无人机、自动驾驶无人汽车为代表的自主无人系统发展迅速，网络化无人系统在物流、交通、农业、军事等多个领域都具有广阔的应用前景。”随后，他结合团队在网络化无人系统方面的研究工作，向大家详细说明了无人系统集群化、网络化、协同化发展的演进趋势及相关关键技术。最后，朱琨为同学们推荐了一些专业相关书籍，鼓励同学们在大学低年级阶段夯实专业基础，拓宽知识领域，培养勤于探索、勇于实践的优秀品质，同学们纷纷表示受益匪浅。此次活动进一步激发了同学们的学习热情，让同学们对网络化无人系统有了更加深入的了解与认知。未来，学院也将持续借助“石榴教授月导航”平台，把前沿研究和教育教学相结合，帮助学生了解、探索专业细分领域，更好的培育创新型人才，为国家技术创
27
秋风送爽，阳光和煦。为进一步丰富学院文体生活，增强广大教职工健康意识，激发干部教师凝聚力和战斗力，近日，计算机学院开展了“踔厉奋发新征程，凝心聚力‘毅’起向未来”教职工徒步活动，本次活动共吸引了近40名教职工参加。当天下午，参加徒步的教职工在起点合影留念后，开始向既定的徒步路线进发。秋末冬初、空气清新，沿途既有深秋的斑斓色彩，又有浅冬的诗意浪漫，一路共设置了3个打卡地点，学院党委书记刘健荣等院领导带队，老师们热情参与，个个精神抖擞、情绪饱满，浩浩荡荡的队伍为秋日增添了一道亮丽的风景。一路上，大家一边欣赏沿途的风光，感受大自然的美好，一边交流工作、畅谈生活，欢声笑语不断。本次徒步活动是学院“教职工之家”建设的重要环节，也是学院“石榴赋能”干部教师能力培训的拓展活动，不仅加强了干部教师之间的交流沟通，更激发了大家积极参加体育锻炼的热情。大家纷纷表示，要以更加饱满的精神状态、更加积极的奋斗姿态和更加强健的身体素质投入于工作中，为建设特色鲜明的世界一流大学和高水平研究型学院贡献更大力量。
24
为进一步营造良好的创新氛围，汇聚资源搭建创新实践平台，厚植创新沃土，培养学生创新精神和创新能力，11月22日，由教务处、天目湖校区管委会主办，计算机学院承办的“启智逐梦 智汇青春”第二届天目湖校区学生科创节在天目湖校区举行。教务处处长孔垂谦、天目湖校区党工委书记王伟华、学生工作处副处长贡海俊、校团委副书记杨一、教务处副处长柯世堂、公共实验教学部副主任徐锋、副主任丁岚、计算机学院副院长黄圣君以及驻区学院相关领导和部分师生代表参加本次开幕式。王伟华在开幕式上致欢迎辞，他向同学们提出了三点殷切希望，一是要心怀科技梦想，牢固树立科技报国志向，把服务国家需求作为最高追求，与国家同行、与时代共进；二是要涵养创新文化，持续强化创新素养培育，积极主动参与各类科创实践活动，努力提高自身创新素养；三是要践行青春担当，不断提升创新创造本领。强化专业素养，坚持学以致用，以求真务实的态度，积极投身科技创新实践，提高科技创新能力，用智慧和汗水在永攀科技高峰的新征程上留下坚实的青春足迹。黄圣君作为承办学院代表致辞。他表示，校区的“科创节”已成为我们天目湖校区的活动名片，计算机学院在教务处等部门及兄弟学院的帮助下，为
为持续巩固主题教育成果，深入推进“清廉学院”建设，切实加强党员干部廉洁教育、筑牢拒腐防变的思想防线，11月23日，计算机科学与技术学院党委赴江苏省党风廉政警示教育基地，组织开展“廉洁自律守初心，明道学廉筑防线”警示教育暨“石榴赋能”干部教师能力培训。学院领导班子成员、党委委员、院长助理、科级干部、系级干部和机关党员代表参加了本次活动。步入警示教育基地的序厅，大家首先集中观看了党的十八大以来江苏全面从严治党工作的主题视频。随后，跟随讲解员先后参观了坚决铲除政治生态“污染源”、全面从严治党紧盯“关键少数”、坚决斩断侵害群众利益“黑手”、严惩损害国有企业“蛀虫”、深挖重点行业领域“烂树”、惩治腐败不留“盲区”等主题展区，通过丰富的图片、文字、影像、实物，从近年来省内查处的党员干部违法违纪典型案例中汲取教训、接受教育。最后，在室外临展区，大家参观了先进典型专题展览，深入学习了老一辈革命家周恩来、时代楷模王继才、农业专家赵亚夫等同志的先进事迹，感悟他们坚守初心、牢记使命，坚定信念、为民担当的崇高情怀。反面典型警示人，先进典型激励人。此次警示教育学习是学院本年度“清廉单元”建设的实地教学环节，也是
21
2023年11月18日，全国青少年信息学奥林匹克联赛NOIP 2023（江苏赛区）在我校将军路校区成功举行，来自江苏省内13个地市的700余中学生参加了此次联赛。此次大赛由江苏省青少年科技中心主办，南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院承办。全国青少年信息学奥林匹克联赛(National Olympiad in Informatics in Provinces简称NOIP)自1995年开始举办，是由中国科协主管、中国计算机学会主办的一项面向全国青少年的信息学竞赛和普及活动，与数学、物理学、化学、生物学并称全国五大学科竞赛，也是与国际信息学奥林匹克竞赛同步进行的一项竞赛活动；该赛事旨在向中学生普及计算机基础知识，培养计算机科学和工程领域的后备人才。为了确保比赛顺利进行，计算机学院在学校将军路校区、公共实验教学部、保卫处、校医院等部门支持下认真开展赛务工作，做好技术保障和志愿服务。江苏省青少年科技中心副主任李莹在计算机科学与技术学院党委副书记王宁、副院长李鑫及相关工作人员的带领下检查考场状况，指导考务工作。整个比赛过程中机器运行良好、考场秩序井然，选手们公平竞争、全力
11月6日，计算机科学与技术学院/人工智能学院/软件学院在天目湖校区西操场举行主题为“传承红色基因，点亮蓝色梦想，智能时代，强国有我”的升旗仪式。2022级全体本科生，辅导员王叶飞参加本次活动。在慷慨激昂的旋律中，国旗班成员护送五星红旗入场。伴随着《义勇军进行曲》，五星红旗冉冉升起，全体人员肃立，行注目礼，齐唱国歌，向国旗致以崇高的敬意。学生代表庄妮可在国旗下发表了主题为“追梦苍穹，点亮梦想”的演讲，她介绍了南航人七十一年来接续奋斗的拼搏历史，并结合自身的“蓝色梦想”鼓励大家接过时代接力棒，练就过硬本领，勇担时代重任，让青春在全面建设社会主义现代化国家的火热实践中绽放绚丽之花。南航学子风华正茂，砥砺前行，为鼓励同学们以实际行动践行创新精神，4名学生代表配乐诗朗诵《智能时代，强国有我》，以饱含深情的语句，表达了计算机人愿与祖国同行，与时代共进的坚定志向。航空报国的红色基因和志在长空的蓝色梦想是南航人矢志不渝的奋斗底色，通过此次升旗仪式，进一步启发了学生以专业所学助力祖国航空航天事业的发展，为社会贡献源自南航的青春力量。未来，学院将持续开展形式多样的主题教育活动，引导学生不断攀登科学高峰，
11月4日至5日，第48届ICPC国际大学生程序设计竞赛亚洲区域赛（南京）在学校将军路校区拉开帷幕。本次大赛共吸引了192所高校和中学的331支正式参赛队和11支特邀参赛队伍，千余名程序设计精英参赛。4日下午，大赛举行了隆重的开幕式仪式。大赛组委会主任、副校长施大宁，江苏省工业和信息化厅软件处二级调研员程疆初，江苏省青少年科技中心主任龚一钦，华为南京研究所人力资源部部长何小师，名之梦科技有限公司计算平台负责人庄嘉琪，学生处处长王静，校团委书记徐俊珠，教务处副处长李晋斌以及计算机学院领导出席了开幕式。施大宁副校长代表学校致开幕辞，他简要介绍了南航办学历史并指出，在网络强国、数字中国的战略思想的引领下，信息技术和信息人才正成为社会发展的重要力量。ICPC国际大学生程序设计竞赛为发现、培养、集聚更多优秀程序设计人才提供了一个良好的平台。希望以此为契机，与兄弟高校深入交流，探讨教育教学改革经验和做法，推动信息学科的建设和发展，共同为卓越人才培养和软件高质量发展贡献力量。程疆初在致辞中指出，江苏的软件产业发展离不开人才和创新，希望高校充分发挥人才培养方面的骨干作用，不断加强产学互动，共同为打造数
书记信箱
