摘要：传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法。用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法。应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题。

摘要：网带式加热炉是工业过程中常用的加热设备。本文较详细地介绍了用微型计算机控制网带式加热炉温度的设计过程，给出了一些实用线路和方法。系统软件用C语言编写，采用模块化、结构化设计方法，通用性好。

摘要：统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用。但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题。针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息。改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题。

摘要：在分析高等院校体育成绩管理技术薄弱环节的基础上，提出计算机体育成绩管理信息系统（TYMIS）开发的目的与意义，说明了系统结构设计的指导思想。用VisualFoxpro5.0开发的系统现已投入运行。

摘要：针对多接口多信道无线Mesh网络,提出了一种基于链路负载和链路"潜在的"干扰度的权值的分布式静态信道分配算法。给出基于链路负载和链路"潜在的"干扰度的权值的定义和基于权值的链表的构建方法;阐述了算法的设计思想和实现步骤。仿真实验测试结果表明,该算法不但能适应业务流量分布均匀或不均匀的状态,而且能相应地提高网络吞吐量,提升网络性能。

摘要：随着商业软件的发展,传统的系统分析设计的方法已不能很好地适应现在的要求。为解决在商业工作流程建模中存在的问题,提出了使用UML进行建模,并结合实例论述了如何在商业工作流程中具体应用UML建模。实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助,它很好地解决了现存的问题。

摘要：网带式加热炉是工业过程中常用的加热设备。本文较详细地介绍了用微型计算机控制网带式加热炉温度的设计过程，给出了一些实用线路和方法。系统软件用Ｃ语言编写，采用模块化、结构化设计方法，通用性好。

摘要：针对高校目前存在的计算机课程实验教学现状,PaaS平台中建立在虚拟机中而虚拟机需要消耗较大资源的不足,文章着眼于高校师生所需,利用高校计算机实验室丰富的闲置计算机资源和网络资源,提出基于Docker技术设计用于支持学校计算机课程实验平台,以此建立起性能良好的PaaS平台,为师生提供各种轻量的、稳定的Linux系统服务。

摘要：结合企业计算机管理信息系统 (MIS)设计的实际 ,对提高 MIS的可靠性技术进行了探讨 。

摘要：统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态-约束-事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。