一种多值逻辑函数的智能简化方法

就多值逻辑函数综合问题给出一种建立在扩展型Ａｌｌｅｎ－Ｇｉｖｏｎｅ代数系统之上的启发式智能算法，即根据一种折衷实现的代价标准，给出了函数位置多维体之间及其坐标之间的２种排序策略，以提高求解速度和简化程度；在此基础上，又给出了采用启发式排序策略的智能简化算法，该算法产生的结果是无冗余的覆盖。     

机械臂非线性定位方程计算新方法

针对机械臂定位算法中,数值算法计算量大,仿真过程存在累积误差,几何算法通用性不强等问题,以手术机器人六自由度机械臂为研究对象,建立了一组多关节机械臂非线性定位方程组,提出了其基于非线性大范围渐近稳定的求解方法。结果表明该方法既简化运算,又有利于物理实现,为机械臂高速、准确运动提供了基础,实验表明该算法适用多关节的移动机械臂的非线性定位方程的求解,有较高的求解精度和收敛速度。     

逻辑系统中重言式及广义重言式的关系

研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系,指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法。     

改进的FFT算法研究

为了适应现代数字信号处理技术的需要,在经典FFT算法的基础上,利用快速排序和简化旋转矩阵等方法,提出了改进的基8FFT算法,简化了运算,提高了运算的实时性,实现了对长度为2的非整数次幂的数据处理。     

多值逻辑函数的数据结构及其简化

在讨论了一种面向计算机实现的扩展型Allen-Givone代数系统的基础之上,提出一种适合用高级程序设计语言实现的带标志的多值逻辑函数的位置多维体表示形式。然后,给出将任意以积之和形式表示的多值逻辑函数转换为这种数据结构表示的算法。最后,根据经典的多值逻辑函数最小化的标准,给出了将多维体表示逆转换为积之和形式的算法。     

最小二乘法在测配色中的应用

尝试用最小二乘法求解测配色过程中的K/S-C曲线拟合问题和测配色中的初始理论浓度配方问题,并通过实验证明此算法求解出的理论值与真实值之间的色差值是很小的。     

应用积分图的织物瑕疵检测快速算法

为解决现有基于图像处理的织物瑕疵检测算法实时性较差、正确率偏低等问题,提出一种包含学习和检测2个阶段的瑕疵检测算法。通过对无瑕疵模板图像的梯度能量特征及其分布特性的学习,自适应获得检测阶段所需的参数。一方面利用积分图原理将任意大小的图像块内的求和运算化简为三次加法运算,快速提取织物图像的梯度能量特征,实现织物瑕疵的实时检测,另一方面利用核函数拟合特征参数分布,结合均值漂移法求解分布峰值获得自适应的瑕疵判定阈值参数,实现织物瑕疵的准确分割。通过实验将本文算法与现有基于局部二值模式特征、小波特征、规则带特征等算法进行对比,针对包含3种纹理6类瑕疵的织物图像数据集的测试结果显示,本文算法平均处理时间为56ms,正确率为97%。     

二值图象的细化

把数学形态学这一方法应用于数字图象的细化中,提出一种新的二值图象细化算法,与常用的传统细化算法在计算量、处理速度、效果等方面进行相应的比较,结果表明基于数学形态学的图像处理方法,具有计算简单、运算速度快、并行处理及易于硬件实现等特点.     

二层线性规划问题的优面算法

研究了二层线性规划问题的优面算法,它是先利用求解线性规划的优面算法求解二层线性规划的下层问题,然后把结果返回到上层,再对所得问题使用优面算法求解,最后求得原问题的解.本文首先给出了二层线性规划的数学描述;接着给出了二层线性规划问题的优面算法设计,并给出二层线性规划问题优面算法的步骤,最后通过实例验证了本文提出的二层线性规划优面算法的有效、简洁特性,并且由算法步骤可以看出该算法上机操作简便,显示出较大的优越性.     

基于遗传模拟退火算法的绝对值方程求解

将遗传算法的全局搜索能力和模拟退火算法的局部细化能力结合起来,设计了一种新的遗传模拟退火算法(GSAA),将该算法用于求解一类不可微的NP-hard问题:绝对值方程Ax-x=b.数值仿真表明,该算法有效地克服了遗传算法易早熟、模拟退火算法运算效率低的缺点.     

二值命题逻辑F（Sn）在可证等价意义下的一般表示

探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式．     

嵌入明文到椭圆曲线上一点的算法设计与实现

椭圆曲线密码体制(ECC)提供了当今所知密码体制中每bit位最高的安全强度。在各种用于签名方案，加密方案及密钥协商方案的椭圆曲线密码组件中，需要一些椭圆曲线范围参数。提出一种用于基点生成及明文信息编码为椭圆曲线上的点的理论计算方法，这是在有限域GF(p）上曲线生成及加密方案的一个必要步骤。并且设计和完全实现了相关的算法。通过基于INTEL CPU汇编著语言实现的结果表明，该算法是非常有效和实用的。     

基于灰度聚集度的图像变化检测

引入既能反映点的数目,又能反映点的分布状况的指标-聚集度,讨论了有关性质,给出了利用聚集度进行图像变化检测的方法．将标准图像与待检测的图像二值化,以差图像中“1”和“-1”的聚集度的最大者判断图像是否发生变化．通过理论分析和实际检测,表明用聚集度进行图像变化检测,不需要对待检测图像进行预处理,可以有效地克服图像噪声干扰带来的影响。     

概念设计方案生成的可计算方法

概念设计阶段分层映射过程模型的建立与应用增强了功能推理与求解过程的发散性与创新性,但却给生成候选概念设计方案带来了困难,概念设计方案的生成缺乏有效的可计算方法.文章采用相关矩阵描述概念设计过程的信息进化过程,并由此提出基于功能—效应—原理模型的概念设计方案生成算法,该算法通过矩阵运算对解空间进行优化,获得嵌套矩阵,对嵌...     

遗传算法用于巧克力裹包推料机构的优化设计

通过对巧克力裹包推料机构优化的分析,讨论了遗传算法（简称GA）用于固定凸轮五连杆机构的优化问题,构造了推料机构的遗传基因确定性与随机性选择策略,实例证明了算法的有效性和正确性,有效的解决了巧克力裹包推料机构优化设计中求解多参数单目标优化的问题.对遗传算法在机构优化及其他相关问题中的应用具有积极的意义.     

改进蝙蝠算法在多目标优化中的应用

在模拟退火的高斯扰动蝙蝠优化算法（SAGBA）的基础上,结合解决多目标优化问题的算法技术,探讨了2种改进的多目标蝙蝠算法——基于动态加权的SAGBA算法（DWASAGBA）和基于向量估计的SAGBA算（VESAGBA）,并对算法进行了仿真实验．结果表明,SAGBA算法所得到的解集分布均匀,能够得到测试函数较为准确的Pareto曲线。     

卷烟材料计算机辅助设计系统的开发与应用

为了使配方人员可以直接使用求出的滤嘴通风度、焦油、烟碱和CO释放量的预测模型中的相关参数,建立了卷烟设计和材料设计两种算法,并在这两种算法基础上开发了卷烟材料计算机辅助设计系统。应用该系统对4种样品的实验值和预测值进行对比,除两项预测偏差较大外,其余项目的预测偏差均小于5%,达到了算法预期的目标。     

乳糖不耐受症的现状及解决方法

综述了乳糖不耐受症的现状以及为解决这一制约乳制品行业发展的问题而进行的最新研究及开发,包括如何改进饮食习惯,酶法生产低乳糖乳等,同时探讨了低乳糖乳制品的发展趋势.     

一种求解线性对称变换方程的并行算法

研究求解线性对称变换方程的SYMMLQ并行算法.将求解线性方程组的SYMMLQ算法推广应用到求解线性对称变换方程,将并行过程中的两次全归约减少到一次,并对该算法进行改进,以提高并行性,减少计算时间.利用改进后的SYMMLQ算法在并行机上对Poisson方程与椭圆偏微分方程进行效果测试,并与未改进的SYMMLQ算法进行比较和分析.结果表明,改进的SYMMLQ算法的并行效率明显优于未改进的SYMMLQ算法.