高师院校大学生创业教育现状与对策研究——以浙江师范大学为例

创业教育旨在培养大学生的创业素质、创业意识和创业能力,是高校培养高素质创业型人才的重要途径。文章以浙江师范大学为个案,抽样调查了大学生创业教育的现状,分析了相关原因,并提出"加强创业教育理论教学,完善创业教育赛事体系,搭建创业教育实践平台、构建创业教育支持系统"等举措,加快推动高师院校创业教育。

理工科研究生阅读现状的调查研究——以浙江师范大学为例

本文以浙江师范大学理工科研究生为调查对象,探究该群体阅读现状的基本情况。调查显示,理工科研究生普遍存在阅读量相对较少,电子阅读与纸质阅读共存,阅读方向大多为流行畅销书、文学类以及报刊杂志,部分学生对阅读价值的认识存在偏差等现实情况。在探究现状的基础上,本文认为阅读兴趣匮乏、阅读价值认同与行为缺乏之间存在矛盾以及对网络的不合理利用等问题的存在,共同造成了阅读现状中不合理的情况。

信息技术课堂教学中的学生元认知能力培养

元认知能力是学习能力的基础,通过有意的训练可以提高学生的学习能力。学科教学可以促进学生元认知能力的提高,但学科的差异影响了元认知能力培养的策略,本文从信息技术学科特点、教学模式和信息能力的培养目标三个方面论述了信息技术课堂教学有助于培养学生元认知能力,并着重从六个方面探讨了学生元认知能力培养的教学策略,即:把信息处理过程上升到元认知过程的高度,促进元认知的学习;善用任务驱动教学方法,强化目标意识,减少学生学习的盲目性;创设真实的信息处理任务,激发学生学习动机;使用"自我提问单",加强自我监控训练;巧用Blog引导学生反思,激发学生元认知体验;应用信息技术课堂的多元评价,提高学生自我评价能力。

一种基于锁相环的电压凹陷特征量检测方法研究

提出了一种基于某改进锁相环的电压凹陷特征量检测方法,可较简单地实现电压凹陷3大特征量(起止时刻、电压幅值、相位跳变)的有效检测。该锁相环为一闭环的相位反馈控制系统,能实时跟踪输入的基波瞬时相位和瞬时幅值。然后由瞬时幅值可检测出电压的幅值下跌以及对应的起始时刻、结束时刻,而根据瞬时相位则可得到相位跳变,从而实现起止时刻、下降幅值、相位跳变等3大电压凹陷特征量的检测。该法结果直观、实时性较好,且内部完成相位自适应跟踪,不需要另外的系统频率测量,实现简单。仿真结果证明了方法的有效性。

多复变数准凸映射的偏差定理

首先给出了C^n中单位多圆柱D^n上准凸映射f关于Jacobin矩阵J_f(z)的偏差定理.该定理是单位圆盘凸函数的偏差定理在多复变中的推广.其次得到了Banach空间单位球上准凸映射的偏差定理的上界.最后给出了关于准凸映射偏差定理的两个猜想.

新课程教师培训对课程资源建设的启示

本文结合浙江省信息技术学科省级教师培训的内容,讨论了素材性课程资源建设,分析了现有纸介质的课程资源,提出了如何用好这些资源,如何收集、管理与共享数字化资源,教育主管部门与教师在课程资源建设中发挥怎样的作用等一系列问题。

不完备离散事件系统的可诊断性

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

一种基于认知模型检测的Web服务组合验证方法

近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,将Web服务组合建模为多主体系统,在分析BPEL语言控制流程基础上,提出BPEL活动的形式化模型,给出活动执行语义.进而以迁移七元组为中间形式,开发从BPEL流程到迁移七元组集合以及从这些迁移七元组到MCTK(一种我们开发的多主体系统模型检测工具)输入语言的自动转换算法,最终通过MCTK进行验证.实验结果表明开发的算法不仅可以有效验证Web服务组合的时态逻辑规范,而且可以验证多主体系统特有的认知逻辑规范及其时态组合.

集成电子签章功能的公文流转系统的实现

为了在安全性要求较高的应用中使用公文流转系统,保证公文在流转过程中的完整性和签署者的不可否认性,论文研究了基于PKI的电子签章技术,实现了基于ActiveX技术的面向Office的电子签章控件。该控件采用USBKey技术实现身份认证,利用VBA提取Office文档内容,采用数字签名与验证技术保证文档的完整性。基于实现的电子签章控件,开发了面向Web的集成电子签章功能的公文流转系统,用户可以在公文流转过程中,加盖电子签章,保证了公文在流转过程中的完整性和签署者的不可否认性,从而提高了公文流转系统的安全性。

基于路径函数和BDD的网络可靠度分析

现有的二终端网络可靠度评估方法,多数基于不交积和,由于没有充分利用普遍存在的同构子网特性,导致存在大量冗余计算,无法适用于大型网络.为此,本文提出了一种基于路径函数和BDD的网络可靠度分析方法,利用图Hash技术识别同构子网,从而简化路径函数的构建,再利用BDD高效地操纵路径函数计算网络可靠度.实验结果表明,该方法性能稳定且高效,适用于更大规模的网络可靠性分析.

基于鲁棒锁相环的谐波环境下电能计量方法

为解决电网谐波污染造成电能计量表计误差问题,提出了一种基于鲁棒锁相环的谐波环境下电能计量方法。分析了该锁相环的系统结构,并证明系统输出能收敛于外输入信号的基波瞬时幅值和瞬时相位,且它对于输入信号基本频率的小变化是鲁棒的。利用该锁相环能实时跟踪输入的基波分量和总的谐波分量,并能准确获得基波的频率/周期。在此基础上,结合积分平均功率法,可得到基波有功功率、总谐波有功功率,还能得到基波无功、电压总谐波畸变率、电流总谐波畸变率等指标。仿真结果证明该方法在谐波环境下电能计量具有较高的精度,总有功功率误差小于0.2%。

自学考试网络课件的形式和效用分析

文章讨论了自学考试领域中用于考生自学的网络课件,并以浙江省自学考试网的网络课件为研究对象,对网络课件的现有模块和内容做了系统分析,并初步考量了这些课件的效用问题,并提出了如果改进网络课件的建议。

Ad Hoc网络中AODV路由协议的优化

路由协议是影响Ad Hoc网络性能的关键技术之一。本文通过对AODV路由协议进行研究,指出该协议在信源节点占节点总数目比例较少时存在缺陷,并提出了AODV-TR路由协议。即三次应答的AODV协议。新协议通过增加RREP分组的回应,来提高AODV协议在信源节点比例较少的时的路由性能。仿真结果表明,在信源数量较少的情况下,新协议的分组传递率、网络的吞吐量等方面都有较大的提高。

两自由度耦合van del Pol振子周期解的同伦分析方法

应用同伦分析方法,研究了两自由度耦合vandel Pol振子周期解的问题。与传统方法不同,同伦分析方法不依赖于小参数,并提供了一个简便的途径确保级数解的收敛。比较同伦分析方法与四阶Runge-Kutta法(数值解)表明,通过同伦分析方法得到的四阶解析近似能有效地逼近数值解。

可靠多播网络的动态缓存分配算法与替换策略

ACP是一种适用于多组共享环境的路由器缓存管理协议。在突发数据流频繁出现的互联网中,当多播组数量或者组成员发生变化时,ACP分配算法暴露出慢收敛和分配结果不稳定等问题。通过设计并实现动态缓存分配算法、超时算法以及丢包策略,提出了一种新型的、适用于大规模多播网络的自适应主动可靠多播协议(AARM)。模拟实验结果表明,与ACP相比,AARM将为多播网络在恢复延迟、带宽消耗和网络吞吐等方面带来明显的性能提升。

故障树随机生成及变量排序

针对故障树分析方法性能评价研究中存在的测试基准规模和多样性问题,基于故障树样本随机生成的思想,确定了故障树6个主要结构特征,并依据这些结构特征给出了自顶向下地生成算法,包括随机树骨架生成算法和随机重复度叶子序列生成算法.通过变量排序策略性能评价给出了测试基准的示范应用.性能评价表明:深度策略(DEEP)性能远优于广度策略(WIDE);WIDE策略的优越性依赖于重复叶子节点数量;改进带权值深度策略(WDEEP)是DEEP策略的互补策略并不能够代替DEEP策略.

多自由度非线性系统的同伦分析方法

大部分工程实际问题可以用多自由度非线性系统来描述,这些系统的数学模型是许多个耦合的两阶常微分方程。一般地,要精确求解这些方程非常困难,因此可以考虑它们的解析近似解。同伦分析方法是解非线性系统响应的有用工具,本文将它应用于多自由度非线性系统的求解中。利用求两自由度耦合van del Pol振子周期解的实例,展示了同伦分析方法的有效性和巨大潜力。同时,把得到的解析近似解与系统的Runge-Kutta数值解作了比较,结果表明同伦分析方法是求解多自由度非线性系统的有效方法。

同纬映象函子与同伦正则态射

利用同纬映象函子定义稳定同伦正则态射,并研究了稳定同伦正则态射存在的条件及性质,得到如下结果:若态射f:X→Y有稳定同伦标准分解(g,Z,h),设有A,B及相应的态射i:A→X与p:Y→B,使得gi和ph是稳定同伦等价的,则f:X→Y必为稳定同伦正则态射,且在k-稳定同伦意义下惟一.

高技术产业集群升级的企业网络演化形态研究——以杭州软件产业集群为例

基于杭州软件产业集群升级的案例研究,分析了产业集群升级进程中的企业网络演化形态。研究发现:网络演化可抽象为ERK模型,即"创业网络→R&D网络→知识网络",与集群升级阶段"萌芽期→扩张期→提升期"相对应。

动态随机选择的差分进化算法研究

如何有效地均衡可行区域与不可行区域的搜索是约束优化中的关键问题。为使进化算法获得可行的全局最优解,分析了在进化过程中如何对待好的不可行解的问题,通过分析随机排序中比较概率对可行解最终位置的影响,提出一种动态随机选择策略,并以多个体差分进化为框架实现了相应算法。实验对比分析结果说明了这一策略的有效性。