基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。     

基于灰色系统理论的软件系统可靠性分析

通过运用灰色系统理论对影响软件系统可靠性行为的各种因素进行分析,给出了软件系统可靠性预测模型,对软件系统失效间隔时间进行了预测,并以海军战术数据系统(the naval tactical data system,NTDS)数据验证了模型。通过关联分析,得到各种因素对软件系统可靠性的影响及其关联度,为软件系统的可靠性评判和推断提供依据,并为下一步提高软件可靠性的途径提供参考。     

下半连续的模糊集及其凸性

讨论了下半连续模糊集的几个有关性质;在此基础上,给出了下半连续条件下模糊集是模糊拟凸集、模糊拟凸集是严格模糊拟凸集的充分条件;同时证明了在严格模糊拟凸集上,局部最优值为全局最优值．     

社会系统的新模型

在马克思历史唯物论系统模型的基础上，吸收拉兹洛系统模型和钱学森系统模型的优点加以创造，建立社会系统的新模型：在自然环境和社会环境的基础上，以人为元素，以文化信息库为核心，包含物质、人、文化信息三种生产系统和作为上层建筑的管理系统的远离平衡的非平衡态复杂系统；并时中国共产党新时期的理论创新做出系统论解释。     

迷宫密封三维网格划分方法及数值计算

为了解决迷宫密封三维网格划分难点,本文应用ICEM网格划分软件,以某抽水蓄能电站原型机的迷宫密封为例,分别采用整体关联法和2D转3D法对机组迷宫密封进行三维结构化网格划分,分析2种网格划分方法的各自特点,指出2D转3D法更加简单、快捷.对含迷宫密封的整机全流道进行数值模拟,计算了60%、70%、80%、90%导叶开度下机组的外特性,并与试验数据进行比较,结果的吻合度较高,说明此种方法能够更为精准地预测机组性能,可以比较准确地描述迷宫密封间隙流动,也验证了迷宫密封三维网格划分的准确性.     

改进贝叶斯非负矩阵分解的语音增强算法

为了进一步提高增强语音的质量,基于传统的贝叶斯非负矩阵分解语音增强算法,考虑语音帧内原子间的相关性,提出了一种新的改进贝叶斯非负矩阵分解语音增强算法。该算法可分为训练和增强2个阶段:训练阶段利用该算法分别对纯净语音和噪声进行训练,得到纯净语音和噪声字典;增强阶段利用训练得到的纯净语音和噪声字典组成的联合字典结合,计算带噪语音时变增益,并利用最小均方误差估计得到增强语音频谱,进而重构增强语音。实验结果表明,该算法的对数频谱距离值和主观语音质量评估打分均优于非负矩阵分解(NMF)和贝叶斯非负矩阵分解(BNMF)等传统的语音增强算法,特别是在低信噪比条件下,该算法增强的效果更佳。     

听诊采样仿真系统的设计与实现

针对现有听诊采样仿真系统采样信号差、无法动态绘制频谱以及不能跨平台等问题,提出基于JavaEE的听诊采样仿真系统,总体方案为通过Java Sound操作音频输入接口采集Wave格式的音频数据,改进小波阀值收缩方法对信号进行预处理,采用Java Graphics2D双缓冲技术对波形进行仿真绘制,调用快速傅立叶变换动态绘制频谱,实现了听诊信号回放功能,支持以帧为单位的波形和频谱回放.最后在真实的干扰环境中,仿真系统很好地完成了信号采集、去噪、波形仿真绘制、频谱绘制、信号回放等功能,具备跨平台的特性,具有很高的实用性.     

标准数字CMOS工艺正交压控振荡器设计

<正>交压控振荡器是高速链路中的一个关键部件.片上集成高质量品质的电感电容等无源器件是影响压控振荡器性能的关键因素.为了兼容传统的数字工艺,采用超深亚微米的数字CMOS工艺进行片上电感电容的集成,并基于此无源器件实现了基于电容耦合的正交压控振荡器,实现中心频率16.12GHz,频率调节范围为10%,1M频偏处的相位噪声为-112dBc,相位误差小于0.39°.     

虚拟团队中的社会惰性——基于知识型团队的实验研究

本文以社会资本理论和工作动机理论为理论框架,提出了虚拟团队中的社会惰性模型.从个体内在动机和外部环境两个层面,提出并解释了虚拟团队中社会惰性的影响机制.本文通过准实验研究对由87名学生组成的11个实验小组进行观察,随后又进行了问卷调查,对提出的假设进行了验证.结果表明,个体所拥有的社会资本能显著降低其社会惰性;社会资本与声誉和社会临场感之间的交互作用,对社会惰性的降低作用也得到了验证.最后,论文对团队管理、沟通技术设计以及未来研究提出了建议.     

一种FFT阈值函数在电子鼻鉴别白酒中的应用

针对电子鼻在长期检测中因产生漂移现象而导致鉴别正确率降低的问题,文章提出了一种基于快速傅里叶变换(fast Fourier transform,FFT)的均值偏差率阈值函数来去除漂移噪声的方法。该方法是通过构造FFT变换系数的均值偏差率阈值函数,实现对FFT系数的动态处理,进而去除电子鼻的漂移噪声。实例应用表明,该方法可使6种白酒样品的鉴别正确率由处理前的43.5%提升至100%。