基于Windows平台的音效增强系统设计与实现

针对消费电子类产品中扬声器体积小型化所导致的低频重放能力有限、动态范围较小、频响曲线不佳、声场过窄等问题,开发了iSurround音效增强算法,包括扬声器均衡、图示均衡器、立体声增强、虚拟低音、动态范围压缩和自动音量控制等.在Windows平台上以虚拟声卡的形式实现该算法,最后运用主观听音实验的方法,证明了iSurround音效增强算法在低音表现力、声场宽度、空间环绕感等方面有明显提高.同时,也与目前主流音效算法就行了比较.     

Cryptanalysis and security enhancement of a robust two‐factor authentication and key agreement protocol

Two‐factor user authentication scheme allows a user to use a smart card and a password to achieve mutual authentication and establish a session key between a server and a user. In 2012, Chen et al. showed that the scheme of Sood et al. does not achieve mutual authentication and is vulnerable to off‐line password guessing and smart card stolen attacks. They also found that another scheme proposed by Song is vulnerable to similar off‐line password guessing and smart card stolen attacks. They further proposed an improved scheme. In this paper, we first show that the improved scheme of Chen et al. still suffers from off‐line password guessing and smart card stolen attacks, does not support perfect forward secrecy, and lacks the fairness of session key establishment. We then propose a new security‐enhanced scheme and show its security and authentication using the formal verification tool ProVerif, which is based on applied pi calculus. Copyright © 2014 John Wiley & Sons, Ltd.     

工艺文件管理系统-TFMIS设计与开发

论述了工艺文件管理系统建设的重要性,介绍了工艺文件管理系统设计与开发中的思想、方法、技术和经验。     

基于PC总线的位置测量与电机控制卡

由于光栅,步进电机以及ＩＰＣ工业控制机在机械工业尤其是数控领域中普遍采用,研制出集光栅益检测与步进电机控制两个功能一体的适用于ＩＰＣ工控机的接口卡具有实用价值。文章介绍了基于ＰＣ总线的接口卡的设计,包括硬件结构体系,组成接口卡的几个功能模块以及误差测量控制系统的软件设计,并给出了应用实例。采用该体系结构,在丝杠磨床上实现了传动误差的测量与补偿,大大减小了丝杠传动误差。     

不同知识引出方法对科学概念结构表征的影响——来自多维标度法的证据

不同知识引出方式对获得的群体概念结构的影响,是概念结构研究中重要且未解决的问题。以17名中学化学教师为被试,通过自由分类、概念构图和语义相关性评定,引出被试对15个与原子相关概念的认识,并以多维标度法分析群体概念结构。研究发现:由不同知识引出方式获得的群体概念结构具有不同的特点,通过语义相关性评定获得的群体概念结构更适合呈现科学概念具有复杂关系的特点。研究结果有助于研究者选择合适的研究方法,实施更有效的群体概念结构研究。     

基于TMS320C6416的MPEG-4视频解码卡设计

针对TMS320C6416的结构特点,介绍了一种用TMS320C6416来实现MPEG-4视频图像解码的方案,其中包括解码卡的结构、解码算法和算法优化等一系列问题.     

滑雪场季卡定价促销模型研究

根据06~07年间全国主要滑雪场的门市价和季卡价,首先运用EVIEWS6计量软件做出散点图、残差分析图以及残差的自相关-偏相关图,然后运用最小二乘估计方法确定回归方程系数,建立回归和序列组合模型,并将滑雪场的门市价代入相应方程计算出季卡付费方式下滑雪场应制定的最优价格,最后做相应的误差分析并总结本文模型的优点与不足.     

铷原子气体自旋噪声谱的测量与改进

利用自主设计并制作的基于现场可编程门阵列的实时傅里叶变换采集卡(FFTsDAC),采用线偏振光检测碱金属铷原子气样品中的自旋随机涨落(即自旋噪声谱).详细讨论了背景噪声以及自旋噪声随探测光光强的变化关系,证实了自旋噪声来自于系统中自旋的随机涨落.对比了两种FFTsDAC(8 bit采样的FFTsDACl和12 bit采样的FFTsDAC2)的测量性能,分析了影响实验信噪比的因素.FFTsDAC2具有更高的测量效率和采样深度以及更长的单次采样时间,因而具有更高的信噪比和更好的频率分辨率,与数值模拟的结果一致.     

清代绿色蟠龙邮票印刷材料无损分析

利用超景深三维视频显微镜, 激光显微共聚焦拉曼光谱仪和扫描电镜-能谱仪对一张清代绿色蟠龙邮票样品的纸张, 油墨等印刷材料进行无损分析。结果表明,该样票采用手工雕刻凹版印刷,所用承印物为长纤维机制纸,未经过涂布, 无水印, 背胶;纸张填料中含有Al, Si等元素,推断纸张填料可能是高岭土(Al₂O₃·2SiO₂·2H₂O)之类的物质。绿色油墨包含了蓝色普鲁士蓝(Prussian Blue,Fe₄[Fe(CN)₆]₃·14-16H₂O)和黄色铬酸铅[Lead(Ⅱ) chromate,PbCrO₄]颜料,根据印刷色彩学色料减色和色光加色理论分析,邮票样品呈现的绿色是由蓝色颜料普鲁士蓝和黄色颜料铬酸铅混合呈色的结果;油墨填料中含有Na, Mg, S, Cl, K, Ca, V, Zn, Ba等元素,推断油墨填料为MgCO₃, CaCO₃, BaSO₄等物质。上述三项技术联用,在邮票等纸质品的无损分析中具有广阔的应用前景。     

基于Object-Z与Markov链的校园卡系统测试用例

针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试.