摘要：论文基于有限自动机的矩阵模型犤1犦,并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计算机自动处理,也表明了矩阵模型方法在有限自动机应用研究中的重要作用。

摘要：基于偏序集及多维体理论，文中提出了Ｌ－集概念，并将布尔函数极小化问题抽象为Ｌ－集的极大内多维体。还设计了一个基于Ｌ－集的图搜索的快速布尔函数极小化算法，使可解输入变量数达到２６个。

摘要：首先分析了极小化电流回路的基本原理及其对计算机系统抗干扰的重要性，接着从信号传输，系统电源，每块模板供电方案以及电路板设计，芯片供电等几个侧面详细论述了极小化电流回路抗干扰原理和具体实施办法。

摘要：法国南部马丁岬罗克布鲁诺的蓝色海岸线或许是世间最接近天堂的地方，这里异常宁静，空气清澈柔和，强烈的光线经过深邃的地中海平面的反射，折射出千万种明媚的色泽，蒙特卡罗的无数彩色房子在西面远处的山峦间隐约可见。1965年8月的一个阳光灿烂的正午，柯布西耶就在这里永远地走进了大海，将那座海滨绿荫深处的由简朴原木装配而成的小屋留在了身后。

摘要：伴随着物联网技术和大数据分析技术的兴起,越来越多的企业由传统制造业向智能化转型,以实现产业升级,而总完工时间极小化,尤其是复杂产品的总完工时间极小化,是制造企业生产计划编制中的重要环节。若能实现总完工时间极小化模型的准确建立,既能改善计划的准确性也可以大幅度提高检测业务的工作效率。本文提出的试验检测计划的总完工时间极小化方法,经算法实现后得到的试验检测方案能够有效的提高产品的试验检测效率,缩短产品的试验检测周期。经实例验证,有良好的应用效果。

摘要：有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理论方法,可以降低Web应用系统模型的状态空间规模,从而可以达到简化测试的目的。

摘要：辅助函数法在求解多峰全局优化问题时通常存在参数敏感和难以求解高维问题的缺陷,针对这两类缺陷提出了一种智能辅助函数法.首先,利用平滑函数来消除比当前找到的最好解差的解,在此基础上设计了一种新的辅助函数,该辅助函数仅包含一个易于设置的参数,而且可以有效地避免由于参数设置不当导致的"Mexican hat"效应;然后,分析了提出的辅助函数的性质,将辅助函数与智能优化技术相结合来提高算法的搜索能力,从而保证了算法在求解高维问题时能够成功找到全局最优解;最后,在数值实验中,利用13个标准测试函数来测试算法中参数的影响以及算法的搜索性能.

摘要：设计的问题,大有大的做法,小有小的意思。大与小,条件不同,“小”并没有先天的合理性,也不一定是“大”的基础。现代建筑师们之所以钟爱“极小化住宅空间”,很可能另有原因。于我而言,它更像是一种极限挑战:如何实现“麻雀虽小、五脏俱全”的同时.

摘要：该文在有限自动机的矩阵模型表示方法1基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法。该方法不仅有利于算法设计和计算机自动处理,其处理方法对采用矩阵模型研究有限自动机理论及应用问题也有一定学术参考价值。