高校非计算机专业计算机基础教学改革新思路

计算机基础课程是学生在大学接受计算机教育的先导课程,也是计算机应用的重要课程,本文对高校非计算机专业计算机基础教学的现状和存在的问题进行了分析,提出了该课程的几点教学建议。

在计算机专业中开展双语教学

作为学院的计算机学部,要培养出具有涉外特色的计算机专业人才,双语教学势在必行。从教材选用、授课方式、师资培养和学生素质以及课程考核方式几方面着手,讲述如何在计算机专业中推行双语教学。

一种故障树向BDD的转化方法

针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。

基于可变长工序编码的再制造生产调度优化方法

回收品质量、数量以及拆卸过程中的不确定性因素使再制造生产调度问题更加复杂。针对工件加工路径的可变性特点,建立了再制造生产中的job-shop调度模型,提出了一种基于可变长工序编码方法的改进遗传算法,设计了异常染色体的识别和重构方法,以及相应的遗传算子。在参数矩阵的指导下,该算法可以实现随机工序数目和随机工序顺序情况下再制造生产调度问题的优化求解。仿真实验证明了该算法的有效性和可行性。

面向用户属性的RBAC模型

在传统的RBAC模型中,用户与角色间的关系是静态对应的。针对这一缺点,提出了一种面向用户属性的RBAC模型,在原有RBAC模型的基础上添加了属性集合和约束。在该模型中,根据用户属性动态构造用户与角色的关系,重点讨论了该模型的特征与约束,最后说明了该模型的访问控制实现过程。与普通RBAC模型相比,该模型可以动态根据用户属性分配角色。

作战仿真系统中的模型管理方法

针对传统模型管理方法的不足,对作战仿真系统的模型管理方法进行研究。把仿真系统中的模型分解为逻辑模型和实体模型两大类型,利用关系数据库和XML相结合的方法存储模型,探讨了仿真系统中模型的分类方法、模型的注册与存储、模型编码、模型的一致性检查,以及基于面向对象方法的模型的建立等关键技术,构建了一个管理平台并进行了实际应用,证明了该方法的有效性。

基于构件组装的远程实验教学系统研究及应用

提出了一种基于构件组装技术的远程实验教学系统的设计和实现方法。该方法中,实验资源被封装成标准化构件,作为资源重用和系统集成的基本单元。设计了基于构件组装的实验元模型(REM-Model),并给出了实现该模型的远程实验教学系统框架(RET-System)。该框架中,REM-Model被映射到SoXPDL模型,由工作流引擎驱动构件组装,从而支持远程实验教学项目的动态重构。最后,介绍了操作系统远程实验教学系统的应用实例。

ReMIS:面向再制造信息共享的P2P网络模型

针对当前再制造生产的特点和实际需求,设计了一种面向再制造信息共享的P2P网络模型ReMIS。为适应再制造网络的高度动态性,模型采用基于自然簇和主题簇构成的两层混合结构,上层由主题对等体组成结构化的主题网络,下层由普通对等体组成P2P网络。ReMIS采用基于主题簇的资源分类和检索机制,能够确保在处理海量再制造资源信息的检索请求时具有较高的路由性能和查询性能,并能减少再制造生产中的词汇语义冲突;同时,发布/订阅机制的应用使再制造企业获取实时信息成为可能。相关性能分析表明,ReMIS网络是高效可行的,可以适应再制造生产系统的实际需求。

面向领域特征聚类的构件组装优化方法

Internet环境的开放、动态和难控等特点,使网构软件的构件组装问题变得十分复杂。提出了一种面向领域特征聚类的构件组装优化方法。通过引入本体分类和相似度比较方法,设计了一种基于划分的聚类算法,以实现基于领域特征的精确的构件聚类。通过对构件和链路的多维QoS指标的换算,给出了应用动态规划方法求解面向领域特征簇的构件组装全局最优解的算法实现。算法分析和实验仿真表明了该方法的有效性和可行性。

基于合约的程序不变量动态检测模型研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。

工作流驱动的Web应用快速开发框架研究

Web应用的开发周期越来越短,需求的快速变化要求Web应用能够实现持续改进和功能增强,从而产生了对Web应用快速开发框架的迫切需求。针对此,基于工作流驱动的Web应用模型,提出了一种Web应用快速开发框架WADF-Workflow。该框架支持遵循WfMC工作流规范的业务流建模,并支持基于工作流引擎的页面流控制、数据流控制和业务逻辑处理的分离。最后,给出了基于开源工作流Shark和JaWE的框架实现和应用实例。

普通高校面向行业强化工程能力的软件人才培养

文章首先对普通本科院校软件人才培养的现状进行分析,然后提出面向行业开展课程体系与课程内容的改革与创新,加强实践体系的构建与完善,加强工程型师资队伍建设,以此提高学生的软件工程实践能力,提升普通本科院校软件人才的就业竞争力,迎合软件市场对软件人才的需求。

高校乒乓球运动员的专项速度训练

动作速度和移动速度是决定乒乓球运动速度的主要因素.动作和移动速度有它的基本特征和相关素质,高校乒乓球训练同样要抓紧运动员动作速度和移动速度的训练.

基于IPv6协议的网络安全性研究

研究了当前网络安全发展的现状,分析了IPv6协议和IPv4在网络安全性上的不同策略,指出了在网络中引入IPv6后带来的安全问题,并尝试提出了一些解决方案及今后的研究方向。

基于JSP分页技术的研究

电子商务应用中的数据量往往非常大,甚至会达到几十万到几千万条记录的规模,将如此大量的数据显示在一个页面里困难大、效率低。在这种情况下就需要采用分页显示技术将数据库中符合条件的数据逐页显示给用户。对JSP分页技术进行比较,在分析JSP分页技术特点的基础上,提出一种有效的分页解决方案,同时对分页技术的优化进行阐述。

基于感兴趣区域的彩色图像数字水印

提出了一种基于感兴趣区域和混沌映射的多通道彩色数字图像水印的算法。该算法利用一维混沌算法对初值的敏感性和非周期性对水印图像加密。通过对图像进行小波变换和分析,在考虑人类视觉特性(HVS)的基础上,在彩色图像的多个通道嵌入水印,实现了水印的盲提取,增强了算法的适用性。实验的结果表明,该算法对常用的攻击,如JPEG压缩、加噪、剪切和滤波等攻击具有较好的鲁棒性。

游戏引擎在教育中的应用

强调教育游戏不应只是游戏与知识的简单衔接,而应提高教育游戏的目标,既保留游戏"可玩性的"特点,又使游戏承载着学习策略;阐述游戏引擎在教育教学中应用;为寻求游戏引擎对教学软件开发和应用的新方案,对教育游戏的设计、制作、做了初步的探讨;进一步展望教育游戏的开发。

基于SOA的开放式远程实验教学系统框架

基于面向服务架构(SOA)方法,提出了一种面向多学科课程的远程实验教学系统框架(RETSF-SOA)的实现方法。该框架采用标准化、松耦合的三层系统结构,即服务支撑层、通用服务层、服务应用层,对异构的远程实验教学资源进行统一的服务化管理,以支持实验项目和实验课程的动态重构。最后,通过应用实例验证了该框架的有效性。

一种改进选择算子和基于小生境的遗传算法

为了进一步提高遗传算法选择算子的选优能力,在传统轮盘赌的基础上提出了一种基于排序的多轮轮盘赌选择算子,在提高了算子选优能力的同时也减少了随机性所产生的误差;同时采用了小生境技术,使得算法既能保证多样性又能够保留最优解。实验表明,与简单遗传算法相比较,新算法能够有效地提高收敛速度。

工作流驱动、面向服务的构件组装平台

通过分析基于构件组装的网构软件开发流程,设计了一种工作流驱动、面向服务的构件组装平台CCP-I,该平台在工作流引擎的支持下,可以实现服务构件的动态装配以及构件和Web表单间的松耦合。最后,介绍了基于开源项目的CCP-I平台的实现方案。该平台能够为网构软件支撑平台的研究提供参考和借鉴。