设计空间的自动搜索

基于多ａｇｅｎｔ协作求解问题及并行工程的思想，提出了一种电子系统的系统级综合方法，同时考虑所有相关因素，根据各种可能的设计方案构造一个单一的设计空间，设计空间用极大一致集表示，文中给出了求解极大一致集的算法，用该算法把空间逐步缩小为一个单一设计，采用这种方法可以节省大量设计时间     

平衡问题不动点问题和零点问题的公共元的强收敛定理

在具有K-K性质的严格凸的一致光滑Banach空间中,设计了一种新的收缩投影迭代方法用以逼近一族拟φ-非扩张映像的公共不动点集与一族极大单调算子的公共零点集以及一个平衡问题解集的公共元素,并利用所设计的算法证明了公共元的强收敛定理.作为应用,给出了一个寻找变分不等式的解的问题.     

变分不等式问题不动点问题和零点问题的公共元的强收敛定理

设Banach空间是一致光滑的和严格凸的并且具有K-K性质,在此空间中设计一种新的收缩投影迭代法去逼近一个极大单调算子的零点集与一个半相对非扩张映像的不动点集以及宽松的协和算子的有限个变分不等式问题解集的公共元,并利用所设计的算法证明了公共元的强收敛定理。     

零点问题不动点问题和平衡问题的混杂算法

在具有K-K性质的严格凸的一致光滑Banach空间的框架下,构造了一种新的关于拟φ-非扩张映像的不动点集与极大单调算子的零点集以及一个平衡问题解集的公共元素的混杂投影迭代方法,而且利用所设计之算法证明了其公共元素之强收敛定理。作为应用,给出了寻找一个凸泛函的极小值点问题。     

基于启发搜索算法的纳什均衡计算

应用搜索博弈支持集和方程组求解技术,提出了一个计算单一和全部纳什均衡点的启发搜索方法.通过使用GAMUT提供的综合测试集进行测试,结果表明该算法与现有的几个纳什均衡算法相比具有优异的性能.     

基于图着色的极大团求解算法

极大团问题是图论中一个经典的组合优化问题,也是一类NP完全问题,在国际上已有广泛的研究。作者在对其他现有极大团求解算法进行研究之后,设计了一种基于图着色思想的极大团求解算法。基本思想是通过不同的方式对随机图的相应补图进行顶点着色,寻找出所有顶点的极大独立集。而后返回到原图之中找出极大团,并且通过比较删减寻找到随机图的所有极大团。     

Rough算子求解不一致信息系统的约简算法

为求解不一致信息系统的属性约简,在经典粗集理论模型的基础上,许多学者提出了上、下分布约简等方法,但是,这些方法尽可能保持了原决策系统的决策分布情况并且当数据集基数较大时,时间空间复杂度都较大。本文从另一个视角将大数据库中记录看成概率事件,利用粗集理论导出规则的模糊性度量方法—Rough算子,在多数优先的原则的基础上,将不一致信息系统转化为一致信息系统,并基于此提出了递增式反向求解方法。这种反向求解思想也为在大数据库中求解约简提供了可能。     

面向产品族配置的约束网络模型及配置方法

针对面向产品族的产品配置问题,建立了客户需求族模型,引入了需求元与配置元的概念;构建了需求元与配置元之间以及配置元与配置元之间基于特征属性匹配的约束网络模型。按需求元权重依次进行约束传播,通过预处理技术缩小与需求元有约束关系的配置元值域空间,减小了配置求解的搜索空间,采用非二元弧一致回溯算法对于未确定的配置元进行约束求解,得到满足客户需求的配置结果集。以某底盘产品的配置设计实例验证了该方法的有效性。     

一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF(Conjunctive Normal Form)公式之间仅相差几个子句的一系列SAT(Satisfiability Problem)问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

三维空间无线网络连通控制集的构建

在无线网络通信中,承担着繁重路由任务的虚拟骨干常常可以用一个连通控制集(CDS)来模拟。连通控制集的大小是无线网络虚拟骨干质量的重要度量。三维空间的无线网络,常常可以用一个单位球(UBG)来模拟。为了构建一个新的单位球的1-连通m-控制集,提出并证明了单位球的极大独立集的一个上界,这个上界小于现有的单位球的极大独立集(MIS)的上界。借助于这一上界,设计了一个计算三维空间无线网络的1-连通m-控制集算法,证明通过该算法获得的1-连通m-控制集S与最优的1-连通m-控制集OPT的大小满足关系■。     

城市更新中交通体系构建的探讨--以南京玄武门地区城市设计研究为例

城市发展常常伴随着交通与用地功能的矛盾，为城市更新提供了契机。城市设计的目标是多重的。解决交通问题是其中之一。交通影响着用地功能和空间形态，进而影响到城市的运行效率和活力。在南京玄武门地区，交通问题的解决应结合城市设计的其它任务：用地性质调整、功能配置、空间形象塑造、历史文化保护、环境优化等。解决局部的交通问题还应与城市整体交通联系在一起，建立一个完整的交通体系，这个体系包括道路系统、静态交通设施和交通管理规章的实施。     

蚂蚁算法在概念设计方案求解中的应用

通过分析概念设计方案求解问题与旅行商问题的相似性，将方案求解问题转化为组合优化的最优路径问题，建立了基于动态规划的解空间模型和基于最长路径的优化模型，利用蚁群系统内在的正反馈寻优机制，将求解旅行商问题的基本蚂蚁算法应用于方案求解的组合优化过程，结合遗传算法的交叉变异操作，提出一种基于改进蚂蚁算法的求解方法，从而快速有效地获得了最优方案解，最后，以压力机的概念设计为例验证了该方法，研究表明，该方法是合理可行的，它可以使方案求解的人工寻优过程实现算法化，并具有较好的可操作性，从而为解决方案优化的组合爆炸问题提供了一种新的思路。     

利用优化的遗传算法解决饲料配方设计问题

 利用改进和优化传统遗传算法的选择策略、搜索空间,自适应调整交叉率和变异率提高了计算效率,并在遗传进化过程中用优秀个体群来逐步缩小搜索空间,提出了求解饲料配方设计问题的一种改进方法(GA+).应用该方法对3个经典非线性测试函数进行了仿真,在收敛速度和全局优化方面好于现有的遗传算法.结果表明,GA+较好地保持了种群的多样性,精度高、收敛速度快,对求解饲料配方设计问题非常有效.     

系统分析和最优控制求解的新方法

给出了一个利用非结构模型求解、用脉冲响应函数描述的系统的分析和最优控制问题的新方法。该方法共分两步:(一)是利用非结构模型,将用脉冲响应函数描述的系统的分析和最优化控制问题,分别近似表示为虚拟状态空间中的一个线性系统的分析和输出优化控制问题;(二)是在(一)基础上,进一步用正交逼近方法求它们的解。同时给出两个数值例子来说明该方法的有效性。     

一种支持协同设计的工作流模型

协同设计是一个跨地域、跨时间、跨学科的多功能小组协同产品开发工作的模式,支持协同设计的工作流模型可以为现代产品开发提供强大而有序的工作流管理机制。研究了协同产品开发对工作流模型需求后,提出了一种支持各种粒度产品开发活动的工作流元模型,并进一步提出适应该模型的、基于对象关系的组织模型和资源模型。基于该模型,开发了工作流建模工具的原型系统。     

线性反馈控制系统的代数结构分析

该文研究稳定连续控制系统的代数结构分析问题，旨在利用广义逆理论及矩阵分解技巧，给出线性连续的所有稳定化状态反馈控制器的参数化代数刻划，以及期望解存在的充要条件，结果表明，上述目的可通过求解一线性矩阵不等是达到，文中给出了说明性的数值例子。该文结果为稳定控制系统的分析与设计提供了一种简单有效的新途径，因而具有较强的理论意义，与传统的几何方法相比，该文采用纯代数手段刻划的参数空莘更于工程实现。     

基于潜变量模型的复杂过程生产设计方法

针对工业品生产过程控制中输入变量的确定及零空间问题求解等复杂过程的生产设计问题,在现有的多元潜变量建模及生产设计等相关问题研究成果的基础上,深入研究了主元回归方法的应用策略和生产设计问题,提出了一种基于潜变量模型的复杂过程生产设计方法.通过与基于标准回归模型生产设计方法对比,展示了该方法的优越性.该生产设计方法的操作条件不仅能够满足工业生产过程产品质量的要求,而且与历史工况的关联结构和范围保持一致,为零空间问题的解决提供了可行方案.最后通过仿真验证了该类方法求解含有零空间的生产设计问题的有效性.     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

非线性强增生算子方程的具误差的三步迭代

在一致光滑Banach空间中,对不合Lipshitz条件的强增生算子方程Tx=f的解的三步迭代序列给出了介绍和分析,并讨论了迭代算法的收敛性.Ishikawa迭代和Mann迭代可以作为文中结论的特殊情况.文中的这些结果提高和推广了现有的相应结论.