Upwind格式和ENOLLF格式的修正系数及实验的研究

在分析与总结前人对修正数值格式研究的基础上,针对具体的一阶Upwind格式和二阶ENOLLF格式,通过"修正系数"方法对它们进行修正,详细推导了系数项的修正过程,并将修正后的格式分别称之为MCUpwind格式和MCENOLLF格式.通过理论和修正系数前后格式的对比数值模拟实验表明,修正后的格式保持了原有格式的所有优点,在不增加模板节点数的情况下,能将逼近精度提高一阶,在最坏的情况下可自动降为原格式,并且发现如能在间断或激波附近引入间断解思想等技巧,"修正系数"方法将会更有发展前景.     

一种基于WENO重构的半离散中心迎风格式

通过三阶WENO重构和半离散中心迎风数值通量的结合,给出了一种求解双曲型守恒律方程的三阶半离散中心迎风格式,格式保持了中心差分格式方法简单的优点．数值计算的结果表明该方法具有较高的分辨率．     

一阶、二阶导数耦合的紧致差分格式及其应用

在数值计算中可能遇到求解一阶导数和二阶导数耦合的微分方程,为了能用紧致差分格式进行计算,针对这样的方程,建立了考虑一阶、二阶导数耦合的紧致差分格式,利用这一方法可以直接对方程进行离散求解。通过具体算例,验证该类紧致差分格式的优越性,还将这类紧致差分格式运用到求解二维偏微分方程中。     

求解复杂交通流模型的低耗散中心迎风格式

针对非均匀道路上的多车种LWR交通流模型,提出一种低耗散中心迎风格式。以4阶中心加权基本无震荡重构和低耗散中心迎风数值通量为基础,通过构造不同形式的全局光滑因子及增大非光滑模板对应的非线性权重优化数值格式的耗散特性,并采用Runge-Kutta方法对半离散数值格式在时间方向上进行离散使其保持4阶精度。对非均匀道路上多车种LWR交通流模型的车道数变化和交通信号灯控制问题进行数值模拟,结果表明该格式具有4阶求解精度,且分辨率高。     

流量仪表中仪表系数的非线性修正

介绍了流量仪表中仪表系数的几种可行的非线性修正方法,提出了用单片机实现的回归函数法。着重介绍了回归函数法在几种流量传感器中的应用情况,给出其实际效果的数据。     

二维弹道修正弹静态侧向气动特性仿真研究

为研究差动舵位于攻角平面内时旋转稳定二维弹道修正弹的侧向气动特性,基于雷诺平均Navier-Stokes方程,采用有限体积法、SLAU2计算格式和标准可压SA-noft2湍流模型,建立了一套数值计算方法,并通过M910子母弹对方法进行了验证.通过对不同攻角下"+"形修正组件布局的二维修正弹进行仿真,得到了侧向气动力和力矩随攻角的变化关系,分析了修正组件对局部流动和弹丸表面压力系数分布的影响规律.结果表明,在有攻角的情况下,差动舵能使空气产生侧滑角的效果,形成侧向效应,侧向力和力矩随攻角呈线性关系.静态侧向力矩与动态侧向力矩量级相,方向由迎风区鸭舵造成的偏流所主导.     

采煤机参数与煤岩硬度关系公式修正系数研究

针对当前煤矿综采工作面采煤机无法自动、准确识别煤岩性状的问题,分析了采煤机截割电动机参数与反映煤岩硬度的普氏系数的关系公式,得出两者近似成比例线性关系;通过实测数据,得到关系公式中修正系数的取值范围;最后通过实际应用验证了根据修正系数推断出的普氏系数与实际情况相符。     

基于修正系数的决策树分类算法

ID3算法是决策树算法中的经典算法,但存在多值偏向问题.一些改进的ID3算法虽避免了多值偏向问题,但多存在主观性强,没有考虑属性信息熵等问题.为了解决该问题,提出了一种基于修正系数的决策树分类算法MC.该算法利用修正系数降低取值个数多的属性的信息增益,并通过实验与ID3算法进行了比较,结果表明,当样本集中各属性取值个数不同时,算法MC在生成决策树的结点总数和分类准确率上明显优于ID3算法.     

D-S证据组合规则下的修正系数的研究

针对使用冲突系数辨认证据冲突存在的不足,将Pignistic概率距离转换为证据的可信度,再将证据的可信度和虚假度结合起来,构造一个新的修正系数,然后利用新的修正系数来折扣基本可信度分配函数。最后,利用D-S证据组合规则对修正后的证据进行合成。数值算例分析的结果表明,改进后的证据组合方法得到的结果具有收敛速度快和鲁棒性好的特点,同时保持了D-S组合规则的优良性质。     

基于多串口的热量表系数修正软件的设计

为了配合自主研发的超声波热量表的检定工作,依据公司制定的热量表红外通信协议,进行了热量表修正软件的设计。该软件实现了对热量表流量和温度系数的修正,进而提高了热量表的检定精度。在VisualCC++6.0平台下,通过MFC来创建应用程序框架,利用多线程串口通信类CnComm完成多线程之间的数据通信任务。通过发送控制命令和构造接收处理子程序来完成对串口数据的读写和显示。同时,利用ADO类对数据库进行访问,实现历史记录的查询功能。该软件经过实际检验,操作简单方便,通信可靠高效,达到了检定工作的要求标准。     

基于三重小波系数集的水印算法研究

本文提出了一种基于三重小波系数集的水印嵌入方法。定义了三重小波系数集,根据其元素间相互关系选择系数集并将其分成两类从而嵌入和提取水印。同时利用shuffle算法对水印序列进行置乱以提高系统的安全性。实验结果表明,该算法对原图像的影响极小,并且对于各种通用的图像操作和攻击具有极好的鲁棒性。     

迎风紧致格式与热流计算

１．引 言 众所周知,ＴＶＤ格式是能够高质量地捕捉激波的方法,但在计算粘性绕流时许多ＴＶＤ格式数值耗散太大,不能正确模拟粘性流动,因而无法正确计算热流值．文献［３］指出,采用高精度格式可适当放松对网格雷诺数的要求,因此发展三阶或三阶以上的格式是需要的．文献［４］研究了迎风紧致群速度控制格式（ＵＣＧＶＣ格式）在 Ｅｕｌｅｒ方程中的应用,提高了对激波的分辨率,优于通常二阶精度ＴＶＤ格式．本文在文献［４］的基础上给出了利用迎风紧致格式求解ＮＳ方程．它是ＵＣＧＶＣ格式在粘性流计算中的推广．对于方程中的无粘…     

基于空间非迭代Oseen格式的时间解耦局部并行方法

基于空间非迭代的Oseen格式,以软件FreeFem++的MPI功能为平台,提出时间解耦的局部并行方法来求解Navier-Stokes/Navier-Stokes耦合方程.通过解耦复杂区域,将耦合方程的求解转换为并行区域上单一非定常Navier-Stokes方程的求解.在空间上利用Oseen格式一步线性校正,时间上按照步长直接推进.数值实验表明,与空间非迭代Oseen格式的欧拉时间推进方法相比,该方法在保证精度的情况下,运行时间较短,显现了耦合方程求解的高效性.     

二维非结构网格Hamilton-Jacobi方程的一种简化的加权ENO格式

考虑标量Hamilton-Jacobi方程,对二维非结构网格给出了一种简化的三阶精度加权ENO格式.方法的主要思想是时间和空间分开处理,时间离散用三阶TVD Runge-Kutta 方法.对空间,在每一个三角形单元上构造一个三次多项式,该多项式是一些三次多项式的加权,并给出了加权因子的构造方法.最后用该格式对一些典型算例进行了数值试验,并分析了方法的精度,结果表明该格式是成功的.     

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

Abstract

Many-valued logic system always plays a crucial role in artificial intelligence. Many researchers have paid considerable attention to lattice-valued logic with truth values in a lattice. In this paper, based on lattice implication algebras introduced by Xu (Journal of Southwest Jiaolong University (in Chinese), Sum. No. 89(1), 20-27, 1993, and L-valued propositional logic _vft, established by Xu et al. (Information Sciences, 114, 20S-235, 1999a), the semantics of a L-type lattice-valued first-order logic L_vft, with truth values in lattice implication algebras were investigated. Some basic concepts about semantics of L_vftsuch as the language and the interpretation etc. were given and some semantic properties also were discussed. Finally, a concept of g-Skolem standard form was introduced, and it was shown that the unsatisfiability of a given lattice-valued formula was equivalent to that of its g-Skolem standard form. It will become a foundation to investigate the resolution principle based on first-order logic L_vft     

基于MPLS和BGP的VPN方案优化

针对MPLS和BGP构建的VPN扁平化组网特点与企业网络层次化设计思想相冲突的问题,分析这种扁平化组网产生的原因,并针对不同的企业网络环境,制定了对应的解决方案。使扁平化组网特点和企业层次化设计思想得以融合,扩展了MPLS和BGP构建的VPN应用领域,增强了网络的稳定性。     

基于Android平台的文档保护方案设计与实现

近年来,随着Android平台在移动设备上的普及以及企业移动办公快速发展的趋势,Android平台上隐私文档的保护显得越发重要。基于已有文档保护方案的研究,提出一套可供普通应用程序使用的轻量级的移动终端文档保护方案。该方案使用多重密钥技术并结合密钥拆分算法,在保证文档安全性的同时,实现了对用户透明的文档加解密。该方案还可对受保护文档进行实时监控,以保证其在整个生命周期内的安全性。基于该方案在Android平台上实现了一个原型系统,并在多个Android手机平台上进行了测试,实验结果验证了该方案的可行性和兼容性。     

基于三重DES与ECC相结合的数据加密方案的实现

通过对现有数据加密体制的分析，提出了一种将三重DES算法和椭圆曲线密码体制(ECC)相结合的加密方案，从而更为高速、有效地实现了网络通信系统中的信息加密、数字签名和身份认证。     

改进的FCM与局部信息相结合的图像分割

传统的EM算法和FCM算法分割精度低,时间消耗大。为解决以上不足,提出了一种基于EM、FCM和KCN三种算法相结合的全新的图像分割算法。该算法有较好的分割精度。考虑到图像会受到噪声的干扰,在改进算法的基础上又引入图像的局部信息。首先利用图像的局部信息重塑图像的灰度直方图,增强了像素的类间散布性和类内紧凑性,然后让改进的算法在重塑图像上执行。实验结果表明,该算法具有很好的分割效果和较强的抗噪性能。     

一种基于Schnorr体制的同时型多盲签名方案

本文提出了一种基于Schnorr体制的非平凡同时型多盲签名方案，可以同时完成盲签名和同时型多签名尺寸不会随签名人数增加而增加，并对该签名方案的正确性、盲性和不可伪造性作了证明，文章最后给出了一个基于该方案的具体应用。