基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

论逻辑判断仿真和定值判断仿真

逻辑判断仿真和定值判断仿真是当前继电保护仿真的两种主要方法.本文简要的说明其基本的实现原理并提出逻辑法与定值法在工程实践开发中的优势及对遇到的困难作一步探讨.     

幂线性空间的维数与基

首次给出了幂线性空间的概念,得到了线性空间的幂集提升,进而给出并讨论了幂线性空间的基、维数.     

基于FPGA的数字传输抖动损伤的可控化实现方法

为了在室内模拟出一套可控的抖动损伤加载系统,省去数字传输网的各种设备室外调试耗费的大量的人力、时间和经费,本文首先简要分析了数字传输抖动产生的原因以及其对网络性能的影响.其次提出了利用正弦调制的方法进行抖动模拟,给出了双直接数字频率合成器(DDS)结构的实现方案.最后基于现场可编程逻辑阵列(FPGA)实现了中心频率、抖动频率和抖动峰-峰值均可控的抖动模拟算法.研究表明,采用双DDS结构实现抖动模拟方法切实可行,具有一定的使用价值.该算法已经在信道模拟器对数字传输的损伤加载模拟中得到应用,效果良好.     

基于盲数理论的最优化方法与程序实现

使用盲数表达优化设计中的不确定变量,结合常用的基于实数变量的优化算法,提出了基于盲数的优化方法.该方法从微观的角度分析和描述设计变量与优化参数之间的关系,给出优化问题的盲数解.盲数解不但给出了设计变量的取值,而且还给出了不同取值时优化对象处于最优状态的可靠性的评价.     

基于人工智能方法的图像语义检索

根据语义特征进行图像检索是图像检索技术的发展趋势。文章提出了一种基于人工智能以实现图像语义特征提取的方法,即通过模糊逻辑、遗传算法和人工神经网络三者的融合来解决图像语义特征提取这一难题,该方法使图像检索能够满足用户的需求,提高了图像检索的效率和精度。     

多组配平系数方程式的配平

多组配平系数方程式的配平,方法较多。本文就同一多组配平系数方程式配平用数学理论法和氧化数法进行论述,方法易于掌握,对中学学生和大学生有一定的借鉴作用。     

颗粒堆积物在不同堆放方式下的占空比和分形维数的计算

通过计算机编程模拟了在二维体系下颗粒堆积物规则堆积、交错堆积、随机堆积、混合堆积的过程,计算了不同堆放方式下颗粒堆积物的占空比k及分形维数d.我们发现颗粒物质的占空比k及分形维数d与堆积方式和颗粒大小有关.     

莘数理论(I)

本文给出了莘数的定义与性质,从而扩张了经典数系,并对莘数范围内解方程作了初步的准备。     

中西逻辑不平衡发展的原因探析

先秦时代的中国和古希腊同为世界逻辑的发源地,但是中西逻辑却走着不同的发展道路。从与逻辑密切相关的社会环境、文化传统、社会观念、思维习惯诸方面探析中西逻辑发展中产生差异的历史必然。