排序方式: 共有32条查询结果,搜索用时 15 毫秒
1.
2.
符号模型检查是一种有效的形式验证方法,该方法主要有2个难点:一个是建模,即如何建立并用有限内存来表示电路的状态机模型;另一个是在此模型基础上的验证算法,由于验证时间和有限状态机模型的大小是直接相关的,因而模型的大小就成为SMC中的关键问题;本文提出一种基于同步电路行为描述的有限状态机模型S^2-FSM,并给出从同步电路的VHDL描述建立这种模型的全过程,由于该模型的状态转换函数是基于时钟周期的,消 相似文献
3.
4.
吉林人参具有较高的药用和经济价值,已久负盛名,主要分布于长白山区,是我国出口创汇的重要商品之一,为发展山区经济发挥了重要作用。 人参有野生山参和人工园参两类。长白山区盛产野山参历史悠久,但由于多年采挖和大面砍伐森林,野山参资源已濒临枯竭。 相似文献
5.
基于西南地区超高层建筑建设环境现状,结合工程实际,从原材料选择、高强混凝土配合比设计、混凝土泵送、混凝土养护和工艺样板制作等方面,对超大体积混凝土施工中的裂缝控制技术进行了研究。实践显示,所述裂缝控制技术较好地提高了超高层建筑大体积高强混凝土成形质量,为西南地区类似工程的施工实践提供了参考。 相似文献
6.
阜阳华润电力有限公司一期工程运用的是上海重型机器厂引进法国ALSTOM公司的技术生产的BBD-4360型双进双出钢球磨煤机,自投产以来,运行稳定,煤种适应性强,为公司的发展奠定了良好的基础,现对我厂磨煤机的分析总结如下: 相似文献
7.
讨论了GZ集团运维管理系统项目研发中的沟通管理问题。首先介绍了项目的基本情况,接着重点讨论了本项目在沟通管理方面所使用的技术、工具和方法,指出了大多数项目的失败都与沟通不畅有关,项目管理团队可以通过创造沟通环境、统筹安排合理分工、加强过程沟通和保持主动沟通的态度来促进项目的成功。 相似文献
8.
为有效减缓大负载液压缸制动阶段产生的冲击影响,并且有效减少能量损耗,采用液压蓄能器构建重力势能回收系统,通过AMESim仿真平台对动态制动过程和能量回收率进行分析。研究结果表明:在前0.5 s大负载液压缸处于匀速运动,后续系统进入制动并开始回收能量;从1.4 s开始,系统出现泄漏,蓄能器无法继续回收能量,需要利用切断阀将制动回路切断;在切断阀最初产生制动效果时,回油路流量已处于很低的状态,因此缓冲腔并不会受到较大冲击;不同的蓄能器体积并不会引起系统制动状态的变化,可达到基本相同的能量回收率。提高蓄能器初始压力后,在更短时间内可完成制动过程,并且回收的能量基本不变。 相似文献
9.
10.
! 在企业网中,很多用户都会用到视频会议功能,比较简单便捷的实现途径就是安装USB摄像头,再利用Windows系统自带的NetMeeting软件实现视频会议应用。但是,在通过NetMeeting进行呼叫时也有不太方便的地方,首先就是在呼叫时,我们不清楚对方是否也同样启动了NetMeeting;其次就是呼叫方需要知道对方的IP地址才能进行呼叫。那么,能不能像在MSN Messenger 相似文献