首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  免费   0篇
  国内免费   6篇
建筑科学   3篇
无线电   5篇
自动化技术   7篇
  2021年   1篇
  2019年   2篇
  2016年   1篇
  2015年   1篇
  2014年   3篇
  2013年   1篇
  2003年   1篇
  2002年   1篇
  2001年   1篇
  2000年   2篇
  1997年   1篇
排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
2.
李勇坚 《江西建材》2013,(1):163-164
随着我国经济的发展,交通的压力越来越大,高速公路的建设不断在加大,在很多种情况下高速公路的建设都有着不同的特点和施工技术,下面我针对山区高速公路的建设特点、设计特点、施工技术特点进行分析,望广大同行给予指导。  相似文献   
3.
本文首先浅析USB接口的相关技术规范以及电源结构性能,后进一步通过电路实例介绍了USB外设的电源设计。  相似文献   
4.
探讨深圳在社会主义市场经济的形势下,政府、企业在管道燃气规划、资金筹集、投资、建设管理、燃气销售以及资本经营中各自发挥的作用及发展模式。  相似文献   
5.
探讨深圳在社会主义市场经济的形势下,政府、企业在管道燃气规划、资金筹集、投资、建设管理、燃气销售以及资本经营中各自发挥的作用及发展模式。  相似文献   
6.
本文简要介绍731台19频道UHF10KW全固态电视发射机两例故障的分析与处理。  相似文献   
7.
Verilog操作语义研究   总被引:3,自引:1,他引:2  
李勇坚  何积丰  孙永强 《软件学报》2002,13(10):2021-2030
提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.  相似文献   
8.
近年来,我国数字经济快速发展,数字技术全面渗透到社会经济的各个方面,对经济增长起到了明显的促进作用。由于数字技术应用到各个行业,从而产生了大量的政策问题,而对数字经济进行治理的资源碎片化严重。因此,全球不少智库机构提出了建立“数字经济统一监管部门”的建议。从我国现有的数字经济管理体制来看,政府部门在数字经济监管与促进方面过于碎片化,对数字经济的发展带来了一些不利影响。建议我国建立“国家数字经济促进委员会”,统一负责对数字经济促进政策制订、执行以及监管等工作。  相似文献   
9.
当前,布尔公式学习算法的研究大多数是理论上的模型建立和推导,很少有人考虑到布尔公式学习算法在实际应用中的效率改进。现在较成熟的布尔学习算法主要利用的是询问模型,而询问模型需要依赖外部的SMT 工具进行询问问题的回答。虽然,布尔公式学习算法可以在多项式次数的询问之后得到正确结果,但是,减少询问的次数可以减少使用 SMT 工具进行问题计算的次数,即减少问题计算的时间。主要针对布尔公式学习算法在实际系统中的应用问题,提出了利用单调理论中的最小赋值向量的方法,来减少布尔公式学习算法的询问次数,提高算法效率和适用性。  相似文献   
10.
李勇坚  孙永强  何积丰 《软件学报》2001,12(10):1573-1580
在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号