基于USB技术的工控检测数据存储设计

详细介绍了把现场检测数据存储到移动存储器的设计方法,探讨了如何使用单片机实现U SB移动存储的控制。设计了一个系统,能把现场检测的模拟信号转换成可以被移动存储器识别的数字信号,自动在存储器中建立文件并存储检测数据。给出了电路的整体框图和部分关键电路的连线图,简要说明了软件设计。最后,针对该系统进行实验,结果表明系统符合工况要求。     

面向流体流动的计算机模拟

针对流体系统的特点,研究了模拟流体流动的格子自动机方法。对流可视化技术的现状、方法和可视化系统的设计进行了分析和探索。考察了几种典型的流动现象,得到了与实验较为一致的结论。研究结果表明：在目前条件下,立足于格子自动机这种具有极度并行性的新型流体计算模型,结合科学计算可视化技术,利用计算机来解决流体流动问题的计算机模拟方法是一条值得深入探索的研究途径。     

基于控制周期特征式的线性混合自动机验证

提出了一种基于归纳法思想的验证方法,通过控制周期上特性的描述,发现了基于控制周期特征式的线性混合自动机验证方法,这一方法采用定理证明过程来得出归纳证明的结构;采用模型检查方法来得出归纳证明的奠基和迭代步,这一方法同时兼顾了模型检查和定理证明的特点用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题,得出了对著名案例ＧａｓＢｕｒｎｅｒ问题中的参数３ｎｏｎ＿ｌｅａｋｋｉｎｇ≥７６的最优范围。     

用构造基证明归纳定理

在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。     

BCYB代数的理想和同构定理

本文使用一种新的方法引入了BCYB代数的理想的概念,并由此引入了BCYB代数的商代数,进而又定义了BCYB代数的同态、同构、同态的核等术语,最终导出了BCYB代数的第一同构定理和双商定理。     

关于过程调用中的透明性和可靠性

以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。     

基于最优正交质心特征选取的DNA微阵列数据分析

微阵列数据具有样本小、维度高的特点,给数据分析带来了困难。因此,在生物信息学的研究和应用中,从微阵列数据里挑选主基因(特征选取)是十分重要和有意义的。本文采用基于最优正交质心特征选取算法(OCFS)来挑选主基因,并与基于信噪比的主基因挑选法和基于遗传算法的主基因挑选法进行了对比。利用挑选出的主基因,采用支持向量机(SVM)对数据样本进行了分类研究。通过实验,在经典的白血病数据集上,对于34个样本的测试集,达到了33/34的分类准确率,表明了本方法的适用性。     

基于分形插值函数重构的网络流量多尺度结构研究

根据网络流量的非线性特征,及分块分形插值函数能模拟分形信号的优点,对震荡类型不同的两类流量重构,发现其对不同尺度流量拟合误差都很小,提出将该方法用于在很大尺度范围内的网络流量多尺度结构研究.进一步研究采用分块FIF重构的信号与原信号在多分形、能谱等分形特性和统计特征方面的保持能力;通过对信号FIF重构过程的分析,讨论了分块FIF构造过程与重构信号的多分形多尺度结构间的关系.提出分块FIF方法是基于流体技术研究网络流量多分形多尺度结构的有效工具.     

一种自适应数据交易软件模型设计技术

在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。     

信息检索中基于链接的网页排序算法

介绍超链接环境下基于链接的网页排序算法,比较和分析了ＰａｇｅＲａｎｋ算法和ＨＩＴＳ算法,指出了ＰａｇｅＲａｎｋ算法更适合于搜索引擎的服务器端,而ＨＩＴＳ算法更适合于搜索引擎的客户端,还构造并初步实现了在信息检索中,应用超链接环境下网页排序算法的综合模型。