|
学科带头人：吴耿锋
教授
现为中国计算机学会理事，上海计算机学会高校计算机教育研究会理事；上海计算机学会理论与人工智能委员会委员。第三世界科学院计算机专业特约会员，曾组织国际研究小组开展“模糊神经网络控制器的软件仿真和硬件实现”，与上海地震局合作研制，“新一代地震预报专家系统NEGSEP”
获1998年度安徽省科技进步二等奖，“地震预报中的非线性算法研究” 获1999年度国家地震局科技进步二等奖。
本学科主要研究方向：
高性能计算和容错技
学术带头人李三立院士，在微机、局部网络、RISC并行处理、指令级并行性研究方面都处在国内领先地位，将以“基于集群式计算机的高性能计算的基础和应用研究”为突破口，进一步开展网络并行处理的性能评测工具的研究、并行程序设计方法的研究、并行通信机制的研究、先进计算基础设施（网络计算）的应用研究，并完善应用软环境，鼓励数学、力学、地球物理学、生物学、生命科学以及包括计算机科学本身在内的其他交叉学科在“自强2000”上开展应用研究，力求在该领域的基础和应用研究上取得突破性成果，以此带动本学科其他领域的研究工作。“自强2000集群式高性能计算机”获2001年度上海市科技进步一等奖。
智能信息处理
主要研究模糊神经网络控制器的软件仿真和硬件实现, 和上海市地震局合作研制的基于模糊神经网络的“新一代地震预报专家系统NEGSEP”,
获安徽省1999年科技进步二等奖，并在全国24个地震台站推广应用。并应用于智能机器人控制和网络技术研究，机器人模块化控制器研究、基于WINDOWS95的移动机器人控制系统。
软件工程与软件形式化方法
主要进行软件形式方法，智能决策系统和基于度量的软件质量保障体系等方面的研究。在软件开发中的需求规格说明描述、软件规格说明的正确性、一致性、完整性以及基于软件规格说明的测试等方面取得了成果，将人工智能决策与软件工程结合起来进行研究是该方向的主要特色，缪淮扣教授出版的《软件工程语言—Z》是国内第一本关于Z规格说明方法的教材受到广泛好评，现与英国、美国、日本同行建立学术联系。进行软件形式方法、智能决策单位和基于度量：软件质量保障体系等方面的研究，形成将人工智能决策与软件工程结合起来，进行研究。
研究基地：上海大学先进计算与应用中心、高性能计算研究室、智能信息处理研究室、容错技术研究室、网络与多媒体研究室
该学科含计算机应用技术、计算机系统结构、计算机软件与理论3个硕士点。
建设的总体目标：以先进计算为基础，以软件工程为手段，以实现机器智能为目标，通过完成国家和地方的科研项目，凝聚优秀人才，争取在高性能计算、容错测试、并行数据挖掘、智能控制、形式化软件工程等领域的研究水平达到国际先进、国内领先或先进的水平，争取在2年内获得“计算机应用”博士点、4年内获得“计算机软件与理论”博士点，并围绕三个特色建好三个研究室和一个市级先进计算和应用中心。
|
