报表系统中公式依赖关系分析及计算性能优化

为提升Web报表系统中公式计算的效率,建立了公式计算性能优化的模型.提出了一种公式间依赖关系分析的方法,自适应构建公式间的依赖关系图;在构建的依赖关系图的基础上,进一步提出了高效的层次化拓扑排序算法,极大的提高了报表中公式计算效率,减小报表系统每张报表的表内公式计算的总执行时间.理论分析和实验结果表明,该模型具有较强的可行性和算法高效性.     

信息系统中公式定义的研究与应用

讨论了在信息系统开发过程中,由系统向用户提供自定义接口,从而允许用户根据自身情况定义满足自身需求的计算公式的重要性和必要性.在介绍了目前常用的几种公式定义方法之后,对其中一种典型方法进行了深入的分析,详细地说明了系统的数据结构模型,并以代理人佣金管理系统中佣金项的计算为例,对佣金项的计算流程,自定义公式的解析规则及过程...     

Java在地质工程关键参数计算中的应用

本文以水文地质工程中含水层渗透系数和地质灾害评价中滑坡稳定性系数计算为例．应用Java语言编程解决了这一夏杂工程计算问题。有效提高了计算的准确性和效率．完善后可在土木工程及其他领域中加以推广应用。     

基于SVG的专用公式编辑工具的设计与实现

提出了一种基于SVG技术的专业领域公式编辑工具解决方案.使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链(IMC)的并发系统性能评价系统的公式编辑器.该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强,能方便地进行转化以适应于多种专业领域.     

一类并行显式Runge-Kutta公式

为了构造可以在多处理机系统上并行执行的Runge-Kutta公式,基本的途径是要放松串行Runge-Kutta公式中各级K_i计算之间的数据依赖性.为此,Miranker和Liniger在中引进计算前沿面的概念,并且构造了2阶和3阶的并行Runge-Kutta公式.该公式可以在具2个或3个处理机的并行系统上实现.但是,这些公式是弱不稳定的,当h→0,n→∞,t_n→t时,误差将线性地增长.另外,由于其中的1阶、2阶公式是独立     

RS-485总线在结构健康监测系统中的应用

结构健康监测已成为土木工程学科的热点和难点,具有重要的理论和工程价值.它涉及许多不同的研究领域,需要解决多方面的问题,包括数据采集与传送、信号分析和系统识别等.文中介绍了采用RS-485总线实现的深圳市民中心屋顶网架结构健康监测系统,包括系统的总体架构、工作原理和软硬件设计.     

基于16S rRNA序列物种鉴定的改进向量空间模型算法

在物种鉴定领域中,权威方法是基于BLAST的序列比对算法,然而该算法出现计算量过于庞大,运算效率低以及资源消耗较高等问题.为解决以上问题,本文借鉴经典文献中的K-String组份向量方法,对向量空间模型作出改进,将其应用于基于16S rRNA序列的物种鉴定领域,并在巴拿赫空间的理论体系下,对改进向量空间模型算法中的遗传距离公式进行等价替换,给出不同范数背景下对应的遗传距离公式,供科研人员参考.本文从计算效率和物种鉴定效果两个方面来判断改进算法的性能,最终得到如下结论：欧几里得空间下的内积范数从计算效率上较经典的blast算法具有显著优势,而其分类效果在检出率这一方面,达到了比对结果的一致性.     

带圆弧简单多边形的面积公式获取算法

从房地产管理部门对房屋面积进行精确测量的同时需要获得房屋面积丈量公式,并且在房产证明上要给出面积计算公式的实际需求出发,提出一种基于扫描线方法的带圆弧简单多边形面积算法．该算法解决了现有房屋面积计算方法中存在的计算精度不高、难以获得房屋面积丈量公式、计算方法不利于客户理解等问题;同时也解决了现有算法不能方便地对含有圆弧等形状的多边形进行精确的面积计算问题．文中算法已成功地应用于浙江省海宁市房产局的智能化房屋面积核算／分摊CAD系统,取得了良好的效果．     

一种基于色差的逆半调图像质量评价方法

鉴于CIE 1976L色差公式在小色差计算上表现出的不均匀性,将CIE DE2000色差公式与人眼视觉系统特性相结合,改进了一种基于CIE 1976L色差公式的彩色逆半调图像质量评价算法.实验验证,改进后的评价算法较原算法不仅更符合HVS特性,而且计算精度更高,生成的色差图能够比较直观、准确地反映重建图像质量.     

大型M/P/C/C排队系统仿真研究

理论上推测Erlang B 公式对服务时问为任意分布的M/G/C/C系统的呼叫损失概率是有效的但缺乏严格证明.据此,对服务时间呈 Pareto 分布的M/P/C/C排队系统的仿真问题进行了研究,特别是对排队系统中服务装置数目很大的情况进行了研究.采用一种名为红黑树的数据结构较好地解决了超长序列、超大C值所造成的计算时间问题,并采用基于事件驱动的时间调度法进行排队仿真,结果与 Erlang-B 公式相符.表明Erlang B公式对M/P/C/C系统的呼叫损失概率是有效的.为采用仿真方法对自相似流下的网络性能进行深入研究打下了基础.     

QBF求解算法研究综述

近10年来,布尔可满足性(SAT)求解技术飞速发展,并已经成功应用于模型检验、定理证明等领域,特别是在限界模型检验(BMC)中取得了明显的进展,然而,由于命题逻辑公式的长度随系统规模指数倍增长,基于SAT的模型检验仍然存在状态空间爆炸问题.带量词的布尔公式(QBF)作为SAT公式的自然扩展,具有紧凑的空间结构、更强大、更直观的表达能力,能够简洁地描述模型检验中的公式.基于QBF的模型检验有希望缓解状态空间爆炸问题,成为当前研究的一个热点.总结了当前主流的QBF求解算法及常用的优化技术,指出了该领域中值得关注的新趋势.     

基于最小二乘法的曲线拟合及其简化算法

文章简述了最小二乘法曲线拟合的原理,给出了正规方程组的公式推导过程.针对最小二乘法曲线拟合中系数求解的运算量过大问题,以及自变量为自然数序列的情况,通过推导多项式拟合的计算公式得出了一种简化算法,并结合单片机这种运算能力比较小的应用场合,给出了可以减少计算步骤的简化计算公式,根据简化后的计算公式可以快速计算出所需要的系数.最后以一组实验数据进行了实际计算的例证,该简化算法计算过程简单,计算结果精确,可以广泛应用于控制器的数据采集与处理系统中.     

面向工程设计领域的基于知识的分析计算程序生成系统

本文介绍了面向工程（产品）设计领域的基于知识的分析计算程序生成系统ＫＥＣＰＧ。提出了公式逻辑相依性概念，并讨论了它的性质以及如何依据这种概念来自动生成公式计算程序设计规格说明。     

关于有限元网络非零元计算的注记

有限元网络非零元数目的计算是一个有实际意义的课题.文献给出了一组较为 简捷的计算公式,但其中引理三的证法欠佳,因而未能统一给出二维网络内部有空域时的 公式.所给三维公式含有量V(角点数和中点数的总和),使用中必须计算中点数或全部 棱边数,这是不方便的.以上两点容易解决,另外,在的附表中有一公式有误.现将 这些一并注记于下,符号的意义同,公式的编号用数码者与中相应公式对照. 1.原引理3对于星形域上的二维网络证明了公式     

估算典型4阶系统动态特性经验公式的改进

针对根据开环频率特性估算4阶系统动态指标的经验公式进行验证并改进.利用经验公式计算典型4阶控制系统的动态指标,将计算结果与仿真结果对比,分析经验公式的准确性;验证经验公式总结方法的正确性,同时结合经验公式的构成特点,对其进行改进,并利用文献中的电机实测数据对改进公式进行准确性实验;分析经验公式中各参数对系统动态特性的影响.验证结果表明,改进后的经验公式其准确性优于原公式,可在工程研究中推广应用.     

特征加权的模糊C聚类算法

参照文献[5]中将K-means聚类算法与特征权重优化相结合的方法,推导出FCM聚类算法与特征权重优化相结合的优化迭代公式,形成加权FCM算法.将加权FCM算法中计算聚类均值项的公式代入到计算隶属度的更新公式和特征权重的更新公式中,得到加权FCM扩展算法.由于这个扩展算法消去了均值项,它对于有序属性和无序类别属性的隶属度和特征权重的更新公式具有统一的形式,因此可以很方便地应用到混合属性数据集的加权聚类分析中来.该算法的收敛性分析与FCM类似,算法迭代结束后能给出一组优化的特征权重值.仿真实验结果与WKMeans算法的结果基本一致,说明该方法在优化混合属性数据集的特征权重时是有效的.     

一种新的改进精细直接积分法

针对结构动力方程转化为状态空间方程后矩阵维数增加而导致计算量增大的问题,考虑状态空间方程中所含外部荷载的特点,提出了一种新的改进精细直接积分法.给出了利用梯形公式、复化梯形公式、辛普生公式、复化辛普生公式、科特斯公式、高斯公式计算杜哈姆积分时的计算格式,分析了不同计算格式下的计算精度和计算效率.数值算例表明本文改进方法的正确性.     

机群并行计算中负载共享的关键问题

1 引言利用一组工作站并行工作解决粗粒度的较大型计算问题.即NOW系统一直是计算机界一个重要的研究领域。随着Internet的迅猛发展。网上已有数千万的各类计算机,但实际的网络资源利用率是很低的。据有关统计,系统平均使用率仅为30％左右。有的空闲率     

多刚体动力学仿真的李群变分积分算法

刚体的构形可用其质心位置和姿态矩阵描述.刚体的位置可以在欧几里得空间中表示，但是其姿态矩阵是在李群上演化的.由于李群独特的非线性性质，基于欧氏空间的多体动力学建模与数值算法难以完全真实地描述系统的动力学特性，特别是长时间历程的动力学特性.本文基于几何力学理论，首先根据离散Hamilton变分原理与离散Legendre变换，建立了多刚体系统的Hamilton体系李群变分积分公式.其次，给出李群变分积分公式的两种离散格式：一般离散格式和RATTLie离散格式.最后，采用这两种不同离散格式构建的算法计算了重力作用下空间刚体双摆的动力学问题，对比研究了算法在保持系统群结构、系统能量等方面的性质.计算结果表明，RATTLie离散格式较一般格式精度更高，且能更好地保持系统群结构与能量.     

关于冷贮备系统可靠性评价方法的研究1)

以n模混合冷贮备系统为例, 论述了冷贮备系统可靠性评价方法. 不仅提出了通用计算公式, 进行详细的数学推导和证明，并由此公式给出多种冗余结构的可靠性评价公式，从而统一了它们的推导过程, 揭示各冗余结构间在理论上的关系. 最后, 还特别给出冷贮备系统在实际工程中的计算思路.