排序方式: 共有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.
UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器(SMV)对模型进行检验,有利于在系统的设计早期发现系统的缺陷。 相似文献
3.
介绍了数字化变电站的过程层总线方式、网络拓扑结构和组网方案及过程层网络传输采样测量值(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.
Kwang Yong Koh 《Reliability Engineering & System Safety》2009,94(2):320-331
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.
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充. 相似文献
9.
10.
安全支付协议的设计与验证研究 总被引:2,自引:0,他引:2
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。 相似文献