符号计算介绍

十九世纪以前,计算是数学家们工作的主要部分,并且他们也由此而赢得声誉。Gauss对于Ceres的轨道计算和提出最小二乘拟合的计算方法,便是一个例子,但是,十九世纪末叶以后,数学研究发生了重大的改变。它变得更定性的了,计算的色彩日渐淡     

符号计算介绍（续）

多项式的因式分解。对多项式进行因式分解是一个古老的问题,然而现在仍然很难说已经有了令人十分满意的算法。暂且限定一元整系数多项式分解成整系数因子这个最     

关于符号计算的探讨

众所周知，科学计算包括数值计算和符号计算两种计算。计算机能够对数值进行一系列运算是人所共知的事，但计算机也能够对含未知量的式子直接进行推导，演算则并不是人人皆知的事。数值计算和符号计算本来应该是并存的两种计算，是计算的平行的两个部分，决不能厚此薄彼，因此这两种计算都是一样重要的。利用计算机对一个函数进行求导，积分，这早已成为事实。本文将着重讨论符号计算所涉及的一些问题，符号数学软件的发展情况和使用     

软件问题

我有一个问题想问你们，就是我的帐户控制不能用了，想多开个帐户都不行。只要是关于帐户的功能都用不了，还出现——为了帮助保护您的计算机，windows已经关闭了此程序。microsoft（r）html application host然后就要我发送前面的英文、显示错误需要关闭。     

基于问题生命周期的软件问题管理平台--SPMP

软件整个生命周期中的软件问题管理及各种软件质量保证活动的核心，文中介绍了一个基于问题生命周期的软件问题管理平台－SPMP，文章深入讨论了软件问题的生命周期，指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构，关键技术和应用实例，最后给出结论。     

基于SAS软件求解无约束优化问题

文章讨论了使用SAS软件求解无约束问题,通过该方法对Banana函数问题进行了求解。对于求解此类问题,SAS软件非常有效,其程序具有可靠性高、简洁和友好的人机对话界面。     

求解圆形Packing问题的一个启发式算法

求解NP难度问题一直是计算机科学技术中的一个瓶颈任务,自20世纪70年代以来的研究表明,求解NP难度问题不存在既完整严格又不大慢的求解算法,因此,近年来,启发式方法成为研究热点,圆形Packing问题是NP难的,具有很高的理论和实践价值,它的求解目标是录求多个圆在一个大圆内的一个优良布局,使得这些圆互不重叠地放置,基于拟物法以及适者生存启发式思想,为圆形Packing问题的快速求解提出了一个高效的启发式算法,算法的高效性通过计算实例得到了验证。     

基于效率函数求解单件车间调度问题算法的软件实现和实例分析

单件小批量生产形式下的单件车间（Job-shop）调度是生产计划中的一个重要问题。西方在文献[1]提出的求解Job-shop调度问题的初排算法及调解算法的基础上，做出了进一步的修改和完善，在调解算法中引入了交换与移动相结合的机制以提高调解效率；在软件实现中引入了“虚工序”的概念，并在“VBA ForProject2000中实现了该算法。经分析及实验验证，利用这种算法求解Job-shop调度问题可得到十分满意的结果。     

求解正交数组问题的拟物拟人算法

此工作是方开泰工作的继续，正交数组在制造业和高技术产业的试验中有着广泛的应用，目前正交数组构造的研究相当活跃，现有的许多构造方法很复杂且所能构造的类型有限。提出了一个构造正交数组简单而效的方法－拟物拟人算法，应用该算法已经独立地得到了一些历史上尚未发现的L27（3^13)的不同构数组，希望该算法经过进一步发展后将能设计出许多新的正交数组。     

符号计算对计算有理矩阵指数的一种应用

在这篇文章中,我们探讨了符号计算对计算有理矩阵指数的一种应用,并在最后的数值例中得到了可行的结果．     

符号矩阵奇异值的计算机分解与广义逆计算

本文从符号计算(计算机代数)的观点,对数值矩阵计算理论中传统的奇异值分解算法及其相关的广义逆矩阵计算方法加以改进,使之适于处理符号矩阵且在计算机上实现.并指出其在矩阵理论及线性问题求解中的某些应用,还给出了一个有趣的物理实例.     

二维分段线性混沌映射耦合中国剩余定理的图像加密压缩同步算法

由于当前的图像压缩加密算法都是将扩散和压缩分成两个独立的阶段,无法将二者在一个阶段同步进行,使其产生的压缩比不稳定,导致了压缩质量不佳且难以实现实时性,计算复杂度较高。对此,设计了置乱灰度值序列生成机制;构造了扩散—压缩同步结构;并引入中国剩余定理,将其与混沌映射相融合,提出由二维分段线性混沌映射融合中国剩余定理的图像加密压缩算法。根据2D分段线性混沌映射置乱初始图像,然后利用中国剩余定理产生的压缩比对置乱图像同时进行扩散和压缩。最后在Matlab仿真平台上测试该算法,结果显示:该算法具有优异的加密和压缩性能,生产的压缩比很稳定;且扩散机制高度安全,密钥空间足够大,抗攻击能力大幅度提升。     

余式方法中的线性策略以及语义策略和锁策略

本文证明了一介定性证明的余式方法对于线性策略是完备的，而对于语义策略和锁策略，在例题演算中是完备的，在一阶谓词演算法，对于一种较弱形式的语义策略和锁策略，提完备的。     

解线性互补问题的并行交替迭代算法

运用交替迭代算法与并行计算,提出了求解线性互补问题的并行交替迭代算法．当矩阵的多重分裂分别为第一类弱正则多重分裂、第二类弱正则多重分裂以及P-正则多重分裂时证明了算法的全局收敛性．该算法具有计算量小、计算速度快、并行计算等特点,因而特别适于求解大规模问题．数值结果表明,该算法是十分有效的．     

最大子长方体问题的动态规划算法

动态规划程序设计策略对许多实际应用问题的解决是灵活和有效的。首先对一类最大子长方体问题进行了分析,并给出了该类问题的动态规划解法,最后对所给算法的复杂度进行了分析和讨论。实验结果验证了所提出方法的有效性。     

一种基于中国剩余定理的双重认证存取控制方案

基于中国剩余定理针对时常要插人、删除和更新用户／文件的信息保护系统提出了一种双重认证的动态存取方案．该方案的优点是借助于用户和文件的钥值和锁值上的一个简单运算可导出用户对文件的访问权;插入／删除一用户／文件以及更新一个用户对文件的访问权只需修改一个用户／文件钥值和锁值,而且利用ＮＳ公钥协议加强了安全认证机制。     

基于符号计算研究一类6-SPS并联机器人运动学正解问题

并联机器人运动学正解问题是一个重要而且难以解决的问题．本文利用符号计算工具,应用Ｄｉａｌｙｔｉｃ消元法,对一类６－ＳＰＳ并联机器人的运动学正解问题进行研究．得到一个变元多项式方程,给出了正解的解析解．在此基础上确定其工作空间,求出其解范围内全部实解．此种方法对于一般６－ＳＰＳ同样适用     

SCCM并行计算模型及其上的优化算法设计

本文提出了基于同步无缓冲通信的多计算机系统的一种新的并行计算模型－－ＳＣＭＭ模型，给出了其上的一些算法的优化设计例子，并在Ｔｒａｎｓｐｕｔｅｒ多机系统上设计和实现了图像重建里的ＡＲＴ算法。