编译原理实验课程教学设计的改进

目前,编译原理实验课程中存在的一些问题影响了教学效果。主要原因是:学生的认识存在误区,实验内容和要求层次性不够明显,实验的组织形式比较单一。提出了改进方法:设计应用型实验提高学生的学习兴趣;重新设计实验内容和实验难度,更好地符合学生的认知规律;通过协同学习,提高学生的团队协作能力。     

基于TLM2．0的硬件虚拟平台设计

利用OVP（Open Virtual Platform）提供的模型创建基于TLM2．0的硬件虚拟平台,可以为嵌入式软件提供一个快速有效的开发环境,实现软件和硬件的协同设计。提早开发出的软件也可以对系统虚拟平台进行功能验证,分析系统性能,确定系统的最优架构。     

基于多Agent的协同制造平台的研究与设计

随着企业间的集成与协作越来越紧密,知识也越来越高度密集,本文基于多Agent技术,提出一种支持以知识为基础的协同制造开发平台——基于多Agent的可伸缩的多智能协同制造平台。详细设计了多Agent协同开发平台的体系结构、协作框架,以及多agent系统基于本体的通信机制。该平台凭借包装服务和代理商提供的通信能力,通过有效地支持制造业知识的表示、获取、检索和重利用,不仅有利于多学科的个体和团队的组织和协作,而且提出的基于本体库的广义知识库能使设计人员有效地、不受限制地交换信息和知识。     

工信部发布“十二五”物联网发展规划

工业和信息化部近日发布《“十二五”物联网发展规划》,规划提出,到2015年,中国要在物联网核心技术研发与产业化、关键标准研究与制定,产业链条建立与完善、重大应用示范与推广等方面取得显著成效,初步形成创新驱动、应用牵引、协同发展．安全可控的物联网发展格局。     

可拓学在CPC产品开发过程建模中的应用

提出将可拓学应用产品开发过程领域,建立协同产品商务的理论体系及其支撑技术总体构架,借助过程仿真支撑环境,开发一条企业对产品开发过程进行创新性设计和自适应设计的途径,并在此基础上,开发实现了一个基于Web的模型驱动企业产品开发过程快速设计、优化与管理原型系统,从而为企业进行产品开发过程的创新模型设计和自适应模型设计提供新的思想、方法和工具,有助于企业在加入WTO后快速适应动态多变、不可预测的全球性市场竞争环境,缩小与发达国家同行们的差距。     

集团企业OA协同办公系统设计与实施

集团化集中式和分布式结合部署解决方案旨在满足大型集团公司对于信息安全性的要求,通过该方案对企业各分公司、跨地域的OA办公业务实现管理协同。     

大型油田车辆管理信息系统的研发

为解决华北油田车辆管理问题,开发了基于notes、B/S模式的车辆管理信息系统。从需求到各功能设计进行了详细的介绍,该系统不仅实现了车辆基础信息和使用的记录、动态查询,还实现了自定义工作流的正常运转,提高了车辆调度的准确性和工作效率,实现了车辆管理的协同工作。     

基于SVD的K-means聚类协同过滤算法

针对基于内存的协同过滤算法在线计算量较大,数据稀疏且可扩展性较低的缺点,本文提出了一种基于SVD矩阵填充技术的K-means聚类协同过滤算法。本算法首先利用SVD降维方法对原始的高维稀疏矩阵进行预测填充,得到一个没有缺失值的评分矩阵,而后利用K-means聚类在填充完整的数据上对用户进行聚类,从而对完成对测试集上未知评分进行预测。该算法利用用户与项目之间的潜在关系克服了稀疏性问题,同时保留了聚类方法可离线建模、可扩展性好等优点。实验结果表明,该算法获得了更好的预测性能,同时具有良好的可扩展性。     

分布式计算环境中的协同分配任务调度仿真系统

协同分配是在分布式计算环境中进行资源分配的一种重要技术,用于把一个应用程序分解为多个子作业,然后将其分配到多个资源上同时处理来满足特定的性能要求。本文提出了一个离散事件驱动的网格资源协同分配仿真系统,实现了对用户、调度器、协同分配器、协同预留器等协同分配相关实体的仿真,实现了FCFS、FPFS、Backfill等主要的协同分配调度算法和策略,可用于资源协同分配相关的分布式计算环境的资源管理和调度算法的仿真和研究。     

线性矩阵方程异类约束最小二乘解的迭代算法

多矩阵变量线性矩阵方程(LME)约束解的计算问题在参数识别、结构设计、振动理论、自动控制理论等领域都有广泛应用。本文借鉴求线性矩阵方程(LME)同类约束最小二乘解的迭代算法,通过构造等价的线性矩阵方程组,建立了求多矩阵变量LME的一种异类约束最小二乘解的迭代算法,并证明了该算法的收敛性。在不考虑舍入误差的情况下,利用该算法不仅可在有限步计算后得到LME的一组异类约束最小二乘解,而且选取特殊初始矩阵时,可求得LME的极小范数异类约束最小二乘解。另外,还可求得指定矩阵在该LME的异类约束最小二乘解集合中的最佳逼近解。算例表明,该算法是有效的。