首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   33篇
  免费   1篇
  国内免费   2篇
电工技术   1篇
综合类   2篇
化学工业   5篇
机械仪表   3篇
能源动力   1篇
无线电   13篇
一般工业技术   1篇
自动化技术   10篇
  2023年   1篇
  2020年   1篇
  2018年   1篇
  2015年   2篇
  2011年   4篇
  2010年   3篇
  2009年   4篇
  2008年   3篇
  2007年   5篇
  2006年   4篇
  2005年   1篇
  2003年   1篇
  2002年   2篇
  2001年   1篇
  1999年   1篇
  1997年   1篇
  1993年   1篇
排序方式: 共有36条查询结果,搜索用时 31 毫秒
1.
郭建  丁继政  朱晓冉 《软件学报》2020,31(5):1353-1373
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.  相似文献   
2.
High-κ dielectrics are promising candidates to increase capacitor integration densities but their properties depend on manufacturing process and frequency because relaxation and resonance mechanisms occur. Complementary characterization protocols are needed to analyze high-κ insulator behaviour from DC to microwave frequencies. The extraction of Plasma Enhanced Atomic Layer Deposition HfO2 and ZrO2 complex permittivity was performed up to 5 GHz using dedicated test vehicles allowing an in situ characterization as a function of dielectric thickness. The measurement procedure was thus validated, highlighting the potentiality of these two dielectrics to cover a wide range of frequencies.  相似文献   
3.
针对目前基于模式识别的语音障碍帕金森病诊断可解释性差、可推广性差的问题,本文提出基于多维筛分类器的可视化帕金森病诊断。该分类器具有全程可视化的特点,在保证诊断精度的同时,可以将特征进行可视化表示。可视化的引入不但使操作者了解不同特征对于诊断的重要性,而且可以发现最具诊断价值的特征,有助于简化帕金森病的诊断过程并提高诊断水平。  相似文献   
4.
介绍了当前运营商建设3G网络中网络建设模式以及解决好3G与2G网络融合等有关技术问题,阐述了2G与3G间互操作的方式及其实施,提出了如何进行两个网络的选择和切换、用户业务连续性VCC(voice call continuity)的架构参考模型及相应解决方案.  相似文献   
5.
cdma2000网络未来会向HRPD网络发展,当lx网络和HRPD网络双网共存时,保证语音呼叫连续性将是运营商必须解决的问题。本文着重介绍了实现lx呼叫和HRPD语音呼叫业务连续性的一种技术——基于IMS的VCC技术,阐述了VCC在话音连续性和域选择等方面的实现机制,并对未来IMS网络中VCC业务的发展提供了建议。  相似文献   
6.
The degree of additivity‐law failure of a mixture color consisting of two component chromatic colors has very complex characteristics depending on the used component colors and their mixing conditions. It is significantly affected by the mixture‐color chromaticity and by the brightness/luminance ratio at the chromaticity. A simple relationship was derived between the following quantities: degree of additivity‐law failure, additivity‐law luminance (luminance of the mixture color derived by postulating additivity law), and brightness/luminance ratio at the chromaticity of the mixture color. This relationship can be applied to any additivity‐law failure experiment and any formula on brightness/luminance ratio. © 2002 Wiley Periodicals, Inc. Col Res Appl, 27, 185–190, 2002; Published online in Wiley Interscience (www.interscience.wiley.com). DOI 10.1002/col.10045  相似文献   
7.
射频MEMS压控电容器   总被引:1,自引:0,他引:1  
研究了射频 MEMS压控电容器的设计和制造工艺。压控电容器的制作采用了 MEMS制造技术 ,其主要结构为硅衬底上制作金属传输线电极和介质层 ,然后制作金属膜桥作为电容器的另一个电极。通过改变加在金属膜桥与传输线间的电压达到改变电容值的目的。这种压控电容器可以工作于射频和微波波段 ,具有很高的Q值。测试结果如下 :在 1 GHz、0 V时 Q值达到 3 0 0 ,0偏压电容值为 0 .2 1 p F,当加上驱动电压后 Cmax/ Cmin的变比约为 4∶ 1  相似文献   
8.
孙宪鹏 《移动通信》2007,31(2):63-69
文章探讨了在网络和业务分阶段融合的前提和背景下,语音业务在各个阶段的主要功能扩展和实现方案,提出了一种分阶段融合的思路,并重点研究了在融合的后期阶段,利用IMS提供语音连续性(VCC)业务的解决方案。  相似文献   
9.
10.
为了使终端用户能更好地体验视频业务带来的生活乐趣,满足终端用户语音视频应答,以视频呼叫控制(VCC)为核心技术,提出了一种基于IMS架构设计的交互式语音及视频应答系统(IVVR)。提出的IVVR系统是一种全新的无线语音及视频应答增值服务,视频电话用户通过拨打指定电话号码,获得所需信息,参与互动式的语音视频服务。不仅保证兼容现有3G/NGN网络,而且能更好地适应通信网络及终端融合的趋势,为通信网络过渡到IMS做好了充分的准备。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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