全息三维显示是真三维显示技术,其原理是利用光学干涉记录和衍射再现将物体或场景的三维信息全部重建出来,所以观看全息三维图像与观看真实物体或场景的效果一样.近期全息研究领域有一些突破性的成果被报道,将推动全息...
为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提...
关键词： 基于FSM的测试 / 测试评估 / 测试生成算法 / 基于FSM的测试理论
下载（692）| 被引（41）
软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探...
关键词： 最小测试成本迁移覆盖准则 / 成本/效率的平衡 / 确定性有限状态机 / 迁移覆盖
下载（308）| 被引（12）
随着技术的进步和生活水平的提高,传统的二维图像显示方式已经不能满足人们对于视觉显示效果的需求,而对新型的三维立体显示技术充满了期待。在众多三维显示技术中,全息技术能够再现物体或场景的振幅和相位信息,是一种...
随着软件复杂性的增长、软件不断向其它领域的渗透及对软件可靠性要求的增加,如何保证软件的质量和可信性变得越来越困难,相应的成本也不断增加。早期的研究表明测试成本已经占软件开发总成本的50%以上,未经充分测试的...
为了研究新的全息记录介质,本文我们介绍一种基于TMPTA单体的光致聚合物材料。我们已经在该聚合物薄膜样品中成功记录三维实物信息及数字静态视差图像存储等,证明具有良好的全息记录与重建的性能。实验结果表明:该材料...
Latest development of display technologies CNKI文献
In this review we will focus on recent progress in the field of two-dimensional(2D) and three-dimensional(3D)display technologies.We present the current display materials and their applications,inclu...
高洪跃 姚秋香... 《Chinese Physics B》 2016年09期 期刊
关键词： display / technology / two-dimensional / displays
下载（99）| 被引（4）
近年来,我国的网络小说改编剧掀起了新一轮的热潮,各种题材的网络小说被陆续改编为影视作品,为影视剧创作增添了新的活力。同时,由于改编体裁的特殊性,网络小说在被改编之前就拥有较高的人气,这给改编剧的制作方既带来...
现代通信系统对供电系统的要求越来越高,传统的UPS系统已无法满足日益发展的通信系统需求,240 V直流供电系统以其较高的可靠性将逐渐发展成为UPS系统的完美替代品。文中比较了UPS与240 V直流供电系统的特点,对240 V直...
Nondeterministic Probabilistic Petri Net—A New Method... CNKI文献
There are many variants of Petri net at present,and some of them can be used to model system with both function and performance specification,such as stochastic Petri net,generalized stochastic Petri...
刘阳 缪淮扣... 《Journal of Computer Science & Technology》 2013年01期 期刊
关键词： nondeterminism / probabilistic / Petri / net
下载（92）| 被引（8）
Holographic storage of three-dimensional image and dat... CNKI文献
We present holographic storage of three-dimensional(3D) images and data in a photopolymer film without any applied electric field.Its absorption and diffraction efficiency are measured,and reflective...
高洪跃 刘攀... 《Chinese Physics B》 2016年09期 期刊
关键词： holographic / displays / holographic / information
下载（61）| 被引（3）
分析了单相有源功率因数校正(APFC)电路电流畸变的原因,提出利用数字锁相环技术解决电流过零点以及峰值畸变的问题。通过旋转坐标变换完成对数字锁相环的建模,同时针对q轴分量的滤波要求,设计数字巴特沃斯滤波器,利用...
软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型...
提出了一种铃流电源的数字化控制方案,对主电路和控制电路进行了设计,并对其数字控制方法进行了研究.利用正弦脉宽调制(SPWM)控制策略控制反激变换器将通信系统的直流电压转换为直流脉动电压,经滤波和逆变后生成通信系...
