面向创新思维培养的大学计算机基础课程建设

大学计算机课程是融知识性、技能性和思维性于一体的大学通识教育基础课程。文章分析大学计算机基础教学目前面临的危机与挑战,围绕培养大学生创新思维能力的核心任务,阐述当今信息社会大学计算机的课程理念,着重从课程目标设计、课程体系构建、教学方法改革、新型教学资源利用等几个方面探讨大学计算机基础课程的建设。

信息安全的新发展——为《计算机研究与发展》创刊六十周年而作

首先提出了信息安全发展过程中最大的趋势:在系统安全领域不断引入密码技术并产生新的密码问题,使得密码安全不断地渗透到系统的方方面面.其次,阐述了"渗透"加上新的服务运营模式导致现代密码学呈现了新的景象,即"端端"单方模式改变为多方模式、"位置"本地模式改变为异地模式与"安全模型"由信道安全改变为"信道安全+"模型等.在此基础上,较详细介绍了密文访问控制、安全外包计算、安全搜索、电子货币与区块链安全、人工智能与机器学习中的安全与隐私保护等方面的最新理论研究进展与未来发展方向.此外,还介绍了一些成果的应用,包括加密数据共享移动设备硬件研制与基于生物信息的身份鉴别类应用等.

基于SPOC混合式教学的高校计算机入门课程探索

本文分析了大学新生在入学时计算机水平差异较大的现状,基于学校和社会对人才培养的要求,探索并采用了SPOC混合式教学模式,借助在线教学平台对计算机零基础学生实施计算机入门课程——"IT实践基础",快速提升了学生的计算机基础水平,利用较少课时有效达到了计算机基本能力培养目标。

教学科研实践一体化,知识能力素质齐增长——软件工程专业实践创新教学改革探索

加强学生工程实践能力的培养是高校工科教育改革的重要内容，其中培养学生的科研实践能力是教学改革和科研实践的重要组成部分。软件工程专业是国家示范性软件学院率先设立的面向工业界培养软件工程师的专业，因此对实践能力的要求更高。华东师范大学软件学院对软件工程专业学生的实践能力培养进行了探索，将实践融入专业课程教学中，组织课外实践创新活动，并提出了软件工程专业科研实践“一体化”机制。我们结合软件工程专业的实际情况，在实际应用项目中贯穿软件工程涉及的关键过程课程，提高学生的动手能力、

在软件工程课程实践中强化过程思维与过程控制

本文强调将过程思维与过程控制应用于软件工程教学实践，分析并总结了实践结果，表明这一方法对课程教学有显著作用。

创新创业背景下高校软件工程专业人才培养模式探究

我国经济进入中高速发展的新常态,在“大众创新、万众创业”的时代背景下,高校如何培养创新创业人才,更好地为国家发展战略和经济社会发展服务,是当前需探索的重要课题和紧迫任务。本文结合对沪上高校创新创业人才培养调研,重点以华东师范大学计算机科学与软件工程学院软件工程专业的人才培养模式为例,从创新创业平台构建、组织管理与运行、评价激励等方面进行研究。

我在软件学院的学习感受

在华东师范大学软件学院学习一年半以来,我有如下感受. 双语教学 软件学院的双语教学,不但由国内教师进行双语教学,还聘请外教进行全外语授课.一年半的双语教学,让我受益匪浅.

基于轻量级加密算法的手机短信加密软件

针对Android智能手机的恶意软件正在迅速增长并危害手机用户的个人隐私和系统安全,为了实现手机短信的隐私保护和秘密通信,设计并开发了一款利用轻量级对称加密算法对短信进行加密发送的手机隐私保护软件.该软件面向Android手机而开发,具有软件开启密码保护、联系人导入、会话密钥设置、短信导入与加解密功能.该软件为智能手机隐私泄露提供了一个可行的解决方案.

社会排斥视角下贫困大学生就业歧视研究

本文在社会排斥理论视角下主要从经济、制度和关系这三个维度分析了贫困大学生在劳动力市场中受到的歧视,全面展现了这种歧视导致的贫困大学生就业弱势地位,并从招生制度、户籍制度、社会保障制度与就业制度四个方面提出了消减贫困大学生就业歧视的对策。

协同创新 培养高端软件人才

传统的软件人才培养偏重于学生实用型技能的培养,缺少面向大系统的架构设计能力、创新能力和综合能力。为解决国家战略性新兴产业对软件研发人才,特别是高端软件人才的巨大需求,我们提出并实践了高端软件人才的协同创新培养模式。

强化大学生网络意识形态管理责任担当

网络环境下大学生意识形态管理面临的风险隐患表现为网络媒体融合对高校舆情管理的挑战、网络多元思潮对大学生价值观的冲击、线上线下交融对学生意识形态潜移默化的影响。大学生网络意识形态管理责任主体及任务是:高校党组织是领导者、职能部门是组织者、教师是实施者。做好大学生网络意识形态管理,要发挥管理主体的主观能动性,顺应网络发展趋势,通过加强思想政治保证、组织机制保证、舆情引导保证,进一步强化大学生网络意识形态管理责任担当。

SOA面向服务的软件架构探讨

SOA是一种新型的软件体系架构,本文着重介绍了SOA的基本特点及其优越性,并对其发展作出展望.

一种面向列车车载控制软件的需求分析方法

由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。

基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。

基于表驱动的纯软件签名错误检测算法

针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID),用于存储控制流图的信息,通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转。对于CFDSS算法不能有效检测的共享分支扇入节点的非法指令跳转错误,可成功检测出这类错误。实验结果表明,EDSS算法的平均错误检测覆盖率比CFDSS算法高出1.3%,对具有共享分支扇入节点的检错能力平均高出约1.9%。

基于GUI的Android移动软件性能测试

移动应用软件已经拥有了数以千万计的用户群体.根据最新统计,Android手机以85.1%的市场占有份额,成为了最受欢迎的移动端设备.Android应用软件的快速开发,使得如何保证程序质量,成了难题.我们不仅要考虑程序的正确性,也应保证运行时的流畅性.现有的性能研究工作都基于传统的静态分析或者动态执行.对于Android程序,静态分析具有一定的局限性,而动态分析又忽略了APP执行时的遍历方式.因此,本文提出了基于GUI的Android自动化性能测试框架,将着重关注页面状态和APP状态的相关性.通过对页面的分析,聚合,尽可能遍历到APP的各个状态,然后从日志中,找出APP性能上的问题.本框架使用Java作为开发语言,搭建了Android移动软件自动化性能测试框架,并在开源社区F-Droid上随机抽取了移动应用软件进行实验.实验表明,该技术能更多的遍历APP的状态,发现APP在运行过程中出现的性能问题,取得良好的效果.

条件概率公式在一类马尔科夫报酬模型上的计算

在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法。

上海软件外包五人谈

近日,“2006上海软件外包国际峰会”的隆重召开,将业界的目光集中到我国软件外包产业发展的新动向之上。有关数据显示,2005年上海离岸服务外包业务高达10多亿美元,其中软件出口7.06亿美元!而新出台的十一五软件产业发展规划,向人们展示了更宏伟的蓝图。面对新的发展阶段,外包究竟能为中国的软件业带来什么?外包产业的方向应该如何调整?人才缺口将如何补充?面对这一系列疑问,本刊邀请来自上海市外经贸委、中国软件协会、上海软件对外贸易出口联盟、华东师范大学、上海交大海隆软件公司的五位领导专家,畅谈当前软件外包产业热点话题!

Qsimulation:一个量子计算模拟器工具

介绍一个可在经典计算机上模拟量子计算的工具Qsimulation。该工具由4个主要部分组成:一个命令式的量子编程语言,一个量子计算解释器,一个用于模拟量子程序执行的图形用户界面以及错误处理模块,它能帮助教师和新手设计并测试简单的量子电路和量子程序。

基于经验的计算机作曲方法的研究与实现

介绍与归纳了现有多种作曲算法的不同特点及适用范围。结合多位音乐创作者作曲经验,提出了基于经验的作曲算法,针对不同的思维阶段提出了不同的实现方法,详细介绍了创作初期灵感的形式化表现和以及实现方式。