首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   34篇
  免费   6篇
  国内免费   2篇
电工技术   11篇
综合类   1篇
化学工业   3篇
轻工业   1篇
武器工业   1篇
无线电   5篇
一般工业技术   1篇
自动化技术   19篇
  2018年   1篇
  2017年   1篇
  2016年   1篇
  2015年   1篇
  2014年   3篇
  2013年   1篇
  2012年   5篇
  2011年   4篇
  2010年   6篇
  2009年   2篇
  2008年   2篇
  2006年   3篇
  2005年   6篇
  2004年   2篇
  2003年   2篇
  2002年   1篇
  2001年   1篇
排序方式: 共有42条查询结果,搜索用时 31 毫秒
1.
Because a wide variety of multimedia services are provided through personal wireless communication devices, the demand for efficient bandwidth utilization becomes stronger. This demand naturally results in the introduction of the variable bitrate speech coding concept. One exemplary work is the selectable mode vocoder (SMV) that supports speech/music classification. However, because it has severe limitations in its classification performance, a couple of works to improve speech/music classification by introducing support vector machines (SVMs) have been proposed. While these approaches significantly improved classification accuracy, they did not consider correlations commonly found in speech and music frames. In this paper, we propose a novel and orthogonal approach to improve the speech/music classification of SMV codec by adaptively tuning SVMs based on interframe correlations. According to the experimental results, the proposed algorithm yields improved results in classifying speech and music within the SMV framework.  相似文献   
2.
吴晓丹  宁滨 《现代电子技术》2011,34(6):49-51,54
UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器(SMV)对模型进行检验,有利于在系统的设计早期发现系统的缺陷。  相似文献   
3.
刘国伟 《广东电力》2011,24(10):38-41
介绍了数字化变电站的过程层总线方式、网络拓扑结构和组网方案及过程层网络传输采样测量值(sampled measured value,SMV)数据和面向通用对象的变电站事件(generic object oriented substation events,GOOSE)跳闸命令的传输机制,对常用的几种组网方案的优劣性进行...  相似文献   
4.
在以Lu&;Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并对该攻击所产生的影响进行了讨论。最后修改其协议模型对改进后的协议进行分析和检验,说明了SET协议独具特色的双重签名在整个协议运行中至关重要。  相似文献   
5.
通过分析DL/T860规约标准下的“三层两网”组网方式,对110kV依克湖智能变电站保护配置组网方案进行研究。对于信息传输量大、可靠性要求高的主变保护和母线保护,采用光纤直接采样直接跳闸的组网方式,保护运行可靠,动作快速;对于备自投装置、低周低压减载等采用光纤网络采样网络跳闸的组网方式,能较好的实现保护信息量的配置,保护运行稳定可靠。采用双绞线以太网的MMS网络组网方式,按DL/T860规约建模,能形成智能化变电站监控系统。  相似文献   
6.
Fault tree analysis (FTA) is one of the most frequently applied safety analysis techniques when developing safety-critical industrial systems such as software-based emergency shutdown systems of nuclear power plants and has been used for safety analysis of software requirements in the nuclear industry. However, the conventional method for safety analysis of software requirements has several problems in terms of correctness and efficiency; the fault tree generated from natural language specifications may contain flaws or errors while the manual work of safety verification is very labor-intensive and time-consuming. In this paper, we propose a new approach to resolve problems of the conventional method; we generate a fault tree from a symbolic model verifier (SMV) model, not from natural language specifications, and verify safety properties automatically, not manually, by a model checker SMV. To demonstrate the feasibility of this approach, we applied it to shutdown system 2 (SDS2) of Wolsong nuclear power plant (NPP). In spite of subtle ambiguities present in the approach, the results of this case study demonstrate its overall feasibility and effectiveness.  相似文献   
7.
本文介绍了基于SMV语音编码算法的嵌入式语音系统设计与实现,给出了系统的硬件设计和软件设计方案要点.该系统具有语音存储时间长,主观评价好的特点.  相似文献   
8.
多智体系统时态认知规范的模型检测算法   总被引:6,自引:1,他引:5       下载免费PDF全文
吴立军  苏开乐 《软件学报》2004,15(7):1012-1020
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充.  相似文献   
9.
静态混合器气液两相流压降的数值模拟及实验研究   总被引:6,自引:0,他引:6  
气泡流经过静态混合器的压降问题涉及到舰船动力系统性能的好坏。在分析了气泡平均驰豫时间的基础上,结合k ε湍流模型,利用平衡流模型模拟静态混合器内形成的稀疏湍流气泡流,得到了混合器内两相流流场。空气—水系统的压力降实验表明,计算流体力学模拟能够很好地预测SMV型静态混合器内气泡流的压降,是静态混合器设计的有效手段。  相似文献   
10.
安全支付协议的设计与验证研究   总被引:2,自引:0,他引:2  
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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