交通灯。1）当乡村公路无车时，始终保持乡村公路红灯亮，主干道绿灯亮。 （2）当乡村公路有车时，而主干道通车时间已经超过它的最短通车时间时，禁止主干道通行，让乡村公路通行。主干道最短通车时间为25s 。 （3）当乡村公路和主干道都有车时，按主干道通车25s，乡村公路通车16s交替进行4）不论主干道情况如何，乡村公路通车最长时间为16s。 （5）在每次由绿灯亮变成红灯亮的转换过程中间，要亮5s时间的黄灯作为过渡。 （6）用开关代替传感器作为检测车辆是否到来的信号。用红、绿、黄三种颜色的发光二极管作交通灯。
标签： 交通灯
上传时间： 2014-01-11
上传用户：牛布牛
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
标签： 逻辑 定理
上传时间： 2013-12-31
上传用户：wxhwjf
8051系列应用类打包：AD调速，仿50HZ波形输出，P3口输出控制继电器程序，PWM电机调速，报警，报警防盗，步进电机的控制，电子秒表，电子秒表,航标灯控制程序,频率计等
标签： 8051 调速
上传时间： 2013-12-24
上传用户：dianxin61
本章学习用struts MVC框架作前端，Spring中间层，Hibernate作后端来开发一个简单的Spring应用程序。在第4章将使用Spring MVC框架对它进行重构
标签： struts MVC
上传时间： 2013-12-09
上传用户：stewart·
采用蚁群算法解决旅行商问题，IDL语言编写，动态现实中间过程。
标签： 蚁群算法 旅行商问题
上传时间： 2014-01-12
上传用户：cmc_68289287
通过C语言编程实现数值计算方法中的雅可比迭代，输入各个方程组的系数和迭代次数可以得到方程的精确解和中间计算结果。另外方程组未知数的个数可以自行设定。
标签： C语言 编程实现 数值 计算方法
上传时间： 2016-11-08
上传用户：王者A
基于MATLAB的OFDM信道估计算法，使用了PN序列作为导频，两种导频处信道估计处理方法，中间特别加入了相位估计处理
标签： MATLAB OFDM 信道估计算法
上传时间： 2014-01-13
上传用户：ljmwh2000
用此源代码，可以用于继电器测试仪的开发，通过继电器测试仪可以测试继电器的状态等
标签： 源代码
上传时间： 2014-01-26
上传用户：qiao8960
磁卡读写测试程序，兼容市面上大部分磁卡机，可作为中间件做其他类型的开发
标签： 磁卡 测试程序 读写
上传时间： 2013-12-17
上传用户：manlian
管理会计系统 主要功能在主页面左侧的菜单面中，通过鼠标左键点击“综合报表”项，可以看到该项目下各种报表标题，通常包括以下固定报表： 责任中心投入产出表 机构投入产出表 基层行投入产出表 基层机构投入产出表 柜员贡献产出表 客户经理贡献产出表 大客户投入产出分析表 公司业务部投入产出表 个人银行部投入产出表 房产金融部投入产出表 中间业务部投入产出表 资金部门投入产出表 保全部门投入产出表 经营部门业务指标表 客户经理业务指标表 柜员业务指标表 责任中心费用明细表
标签： 会计 页 菜单
上传时间： 2016-11-17
上传用户：himbly
