排序方式: 共有26条查询结果,搜索用时 31 毫秒
1.
2.
3.
软件工程学是一门研究软件的开发与维护的普遍原理和技术的工程学科,是计算机学科一门重要的理论与实践密切结合的课程。目前,高校软件工程课教学中还不同程度地存在着课程内容老化、教学方式落后、轻视实践等方面的问题。针对这些问题,西安电子科技大学软件研究所和山东工商学院计算机系共同就软件工程课程内容构建、教学方式改革、案例教学、教师队伍建设等方面进行了分析和探讨。他们指出:实践与理论相结合是教好和学好软件工程课程的重要因素,没有工程实践讲不好也学不好这门课,同样,没有理论指导盲目地进行工程实践往往事倍功半。 相似文献
4.
Java虚拟机动态类加载的形式化模型 总被引:1,自引:0,他引:1
Java虚拟机支持一种功能很强的动态加戡类的机制.它具有惰性加戡、类型安全连接、用户自定义加戡策略、以及劝态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误.尽管JDK1.2通过引入一种类加戡约束策略修正了这个错误,但是由动态加戡引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加戡相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加戡约束策略、字段及方法解析算法等类加戡的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。 相似文献
5.
在基于时间触发的CAN协议的实时分布系统中,时间触发的CAN协议的任务调度是一个重要的问题.一种多项式时间复杂度的优化算法被提出来构造调度表,其基本周期有4种假定情况,其中在实验中给出了每种算法的渐近性能比,并证明折衷周期算法的性能要优于其它三种算法. 相似文献
6.
讨论了移动自组网的层次结构生成过程,并利用任意度随机图理论为该生成过程建模。同时,基于逾渗理论分析了信息在该层次结构中扩散的可靠性和健壮性。并结合应用,给出了节点扇出与信息层次扩散的可靠性和健壮性之间的关系。最后,通过仿真验证了理论分析的正确性。 相似文献
7.
Java动态类加载分析 总被引:3,自引:0,他引:3
动态类加载是Java的一个重要功能,它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制,研究了动态加载与Java平台安全性之间的关系,分析了针对类加载的典型攻击,讨论了形式化验证的方法和存在的相应问题,最后总结全文并指出进一步研究的方向。 相似文献
8.
9.
良好的水下视觉环境是推动海洋经济发展的前提,海洋牧场的建设对水下成像技术提 出 新的要求,但是受水体环境吸收及散射影响,光信息丢失严重,用常规光学成像方式进行水 下 图像获取会有可视距离短,图像模糊不清,对比度低等缺点。为解决海洋牧场水下成像清晰 度 低的问题,提出一种通过532 nm激光光源与偏振技术相结合的方法并 集成了一款水下相机。 532 nm波段的绿色激光光源在水体环境中受到水体影响较小,传播效 果更佳,偏振成像技术在去 背景光散射中应用广泛,采用532 nm激光光源与偏振成像技术相结合 的方法进行水下图像的获 取,并在模拟海水环境的水池中进行了海参图像获取的实验,实验结果证明在某一偏振角度 下, 532 nm激光光源与偏振成像技术相结合的方式获取的海参图像相比于 自然光下获取的原图像对比 度、清晰度更高,含有的图像信息更加丰富,验证了此方法在水下成像的可行性。 相似文献
10.
针对普通高校应用型人才的培养需要,依托全国高校“第二课堂成绩单”试点单位和山东省大学生社团工作研究基地,发挥第二课堂和第一课堂相互融合的协同机制,正确处理社团活动、学科竞赛与实践教学三者之间的关系,依托电子信息类应用型本科专业,通过学科竞赛的桥梁纽带作用,注重学生动手实践和创新创业能力的培养以及综合素质的提高,把第二课堂创新创业教育实践活动整合纳入第一课堂人才培养体系,构建有机统一贯穿始终的协同机制,形成了以学科竞赛为主线的创新创业教育。学科竞赛协同机制的构建与实践激活了学生社团活动,丰富了教学组织手段,凝聚和兼顾了学生管理与人才培养,促进了学生综合素质的提高。 相似文献