用单片机实现交通灯的控制

交通灯控制系统由80C51单片机、键盘、LED显示、交通灯演示组成.系统除基本交通灯功能外,还具有时间设置、LED信息显示等功能.     

A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

应用型独立学院的自动控制原理课程混合式教学改革探讨

本文介绍了混合教学模式在应用型独立学院教学中的特点,以自动控制原理课程为示例,针对传统课堂教学现状中存在的问题,从教学形式,教学内容,教学设计,评价体系等方面提出了教学改革的思路。基于独立学院培养应用型人才的目标,开展混合式教学,其主要的作用是在自动控制原理课程实践中引导学生主动解决问题,互动探讨问题,深刻认识问题,改进教学效果的同时提升师生能力。     

水下无人装备声呐发射机自动测试系统设计

针对某型水下无人装备声呐发射机的工作原理和现有声呐发射机检测方式落后,检测能力不足等问题,设计了基于国产PXI总线仪器平台的水下无人装备声呐发射机自动测试系统;首先分析了发射机的工作原理和检测需求,进行声呐发射机自动测试系统的总体设计;其次介绍自动测试系统的软硬件平台实现方法和关键技术,包括国产PXI总线仪器选型、接口单元设计、测试平台软件架构设计和实现以及数据处理算法设计和实现等技术;最后对声呐发射机自动测试系统的试验结果进行分析;应用结果表明：该系统能实现某型水下无人装备声呐发射机主要参数的测量,相较传统测试方法,自动测试系统能够节约大量的测试时间与人力,实现测试工作效果的最大化提高,并且还能防止人为因素对测试结果造成的不良影响。     

集成电路综合自动测试系统硬件平台设计

针对当前国内集成电路产业快速发展的现状,通过分析集成电路测试需求,研制了国产超大规模集成电路综合自动测试系统硬件平台。首先设计了基于PXIe总线的硬件平台总体架构方案,其次研制了包含数字测试模块等高性能PXIe测试仪器,进一步构建了测试头等分系统并完成系统集成。采用高性能外部仪器和自检校准分系统,对硬件平台进行了指标测试。基于BM3110MPB开展了测试验证。验证结果表明,硬件平台数字测试单通道最高测试速率为1600Mbps、DPS可实现最大输出电压12V、最大输出电流800mA,具备连接性测试、功能测试、直流参数与交流参数测试等功能。该硬件平台未来可有效满足国产超大规模集成电路测试需要。     

平面有限元单元网格自动生成

本文通过对平面三角形单元、四边形单元节点信息及单元定义的分析,用C语言编制了能自动生成平面三节点三角形单元,四节点、八节点四边形单元的有限元问题的前处理程序FEMPRE2D．C．通过使用FEMPRE2D．C程序可大大节省数据录入人员的工作量,减少准备数据的时间,并能消除录入数据时可能发生的错误,从而为正确解决工程问题提供可靠的保证．     

电路板级自动测试系统的设计及其应用

针对雷达电路板具有复杂多样以及维护困难大的特点,本文介绍了一种面向信号测试的电路板级自动测试系统的开发过程,重点描述了系统软件平台框架搭建和TPS可视化开发运行平台的设计以及具体应用。运行实践表明,测试策略和测试流程的可视化编程,极大地提高了雷达电路板的维修效率。     

NATS中的数据库中间件设计

在网络化自动测试系统（NATS）中,提出数据库管理系统和文件系统相结合的数据库模型,在此基础上,利用Java技术设计并实现NATS的数据库中间件。该中间件能为用户提供统一的应用程序接口,为客户端提供通用的CRUD功能和数据访问服务,并可增强NATS的扩展性和重用性,减轻其维护和升级的负担。     

基于模糊PID 软切换控制的列车自动驾驶系统调速制动

基于对列车自动驾驶(ATO)系统算法的分析,首先针对ATO系统停车阶段采取的一级调速制动过程,利用模糊PID软切换控制算法对ATO系统进行研究;然后利用模糊规则实现模糊控制与PID控制之间的切换;最后通过对系统的仿真表明,该算法不仅能够实现ATO系统调速控制的平滑过渡,而且使列车能够平稳运行,节约能源,同时提高了乘坐的舒适性和停车精度.     

An algebraic foundation for automatic feature-based program synthesis

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration exists. We present a feature algebra that captures the key ideas of feature orientation and that provides a common ground for current and future research in this field, on which also alternative options can be explored. Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming.