面向对象Petri网的约简和系统死锁的检测

提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。     

以软件工程为主线的课程群体系研究与建设

本文针对软件工程人才培养的社会需求,以及如何建设以软件工程为主线的课程群体系,提高学生知识体系的科学、系统、连贯性,提高学生的实践能力,对目前国内外的研究现状进行了分析和讨论,并提出了建设思路和解决的关键问题。     

基于人体肌肉力量的数据分析系统的设计

论文将计算机技术应用到运动生物力学的研究中,提出并实现了针对人体肌肉力量中握力、背力的实时数据采集与分析系统。系统采用运动生物力学测量装置精确采集肌肉力量的数据,利用数据库技术存储和处理测量的数据,图形化显示肌肉力量的变化曲线,计算人体肌肉力量的多种参数,对肌肉力量进行综合分析比较。文中着重介绍了系统结构、功能及软件实现。     

汽车CAD/CAE/CAM集成制造多媒体信息处理技术

本文探讨了汽生CAD/CAE/CAM集成制造的多媒体环境，论述了汽车CAD/CAE/CAM集成制造多媒体信息处理技术构成、技术线路和实施方案以及发展趋势。     

预辐照聚偏氟乙烯粉粒的丙烯腈接枝反应

报导辐照剂量、辐照后存储时间、反应温度等对预辐照聚偏氟乙烯粉粒丙烯腈接枝反应的影响，研究了各种添加剂的溶剂效应，并对接枝反应中出现的异常放热现象进行动态研究。讨论了接枝反应机理。     

锂离子电池层状正极材料LiMO2的改性研究

综述了锂离子电池层状正极材料LiMO2M(=Co、Ni、Mn)的结构、性能及目前存在的问题,介绍了近几年来LiM O2M(=Co、Ni、Mn)的改性研究进展,并着重探讨了元素掺杂和表面包覆改性对上述材料的结构和电化学性能的影响,对掺杂离子的特点、作用进行了小结。     

锂离子电池凝胶聚合物电解质的研究进展

凝胶聚合物电解质是由聚合物基体、增塑剂和锂盐形成的凝胶态体系,它具有质轻、安全、易加工等优点,在锂离子电池中具有重要的应用价值。综述了凝胶聚合物体系中各组分的作用及研究进展,介绍了凝胶聚合物新体系和制备新方法,展望了凝胶聚合物在锂离子电池中的应用前景。     

基于组件的电力系统网损并行计算结构

电力系统网损计算是基于各电量采集点的动态变化数据,在不同模型约束下,通过计算处理得到电网电量损耗的各类数据。对于复杂的电网,由于采集点多、计算关系复杂、计算繁度高、及时性要求高,因此,利用并行处理技术提高计算速度就显得尤为必要。本文讨论了使用COM组件和消息队列以及并行调度技术实现该并行计算的设计结构,使用VisualBasic环境已在实际的电力系统网损计算和管理中得到实现。     

基于GIS的沉陷区公路损害可视化评价方法

随着计算机的广泛应用,利用地理信息系统解决各类工程应用问题已成为一个崭新的研究手段。沉陷区公路损害评价涉及因素多,数据量大,而GIS具有强大的数据管理与空间分析功能。结合GIS空间分析功能和ArcView GIS的Avenue语言编程技术,对沉陷区公路损害的GIS可视化评价方法进行了详细探讨,实现了评价方法的计算机化、评价过程和结果的可视化。     

锂离子电池合金负极的研究进展

负极材料是提高锂离子电池比容量的关键因素之一,因此发展高比容量的负极材料成为锂离子电池领域的研究热点。综述了合金材料作为锂离子电池负极材料的研究现状,比较了常规粒径合金负极、纳米合金负极以及复合合金材料的优缺点,并提出了可能的发展方向。