解TSP问题的蚁群算法及其收敛性分析

研究和证明求解旅行商问题(TSP)的蚁群算法收敛性.针对蚁群算法搜索时间长、收敛速度慢、易陷入局部最优等缺陷,改进Dorigo提出的基本蚁群算法.最后,用典型的旅行商问题CHN144进行仿真实验,结果表明,改进蚁群算法在收敛速度及求解能力上都有较大改善.     

产品设计冲突的粒计算消解模型

针对产品设计约束具有层次性、分布性及动态性的特点,用分布式约束满足问题模型难以进行产品设计冲突消解的问题。将产品设计转化为商空间粒度世界,建立了分层递阶粒计算产品设计冲突消解模型。对产品设计问题进行粒化和划分,通过商映射和粒度合成实现不同层次之间以及不同设计领域之间的映射和回溯,采用分层次、逐步细化的粒计算方法进行冲突消解。这种由粗到细、层层深入、逐层求解的粒计算消解方法简化了分布式动态约束满足问题,降低了问题求解的计算复杂性,具有系统性、整体性和层次性特点。     

一类q-差分亚纯函数零点及不动点的估计

利用Nevanlinna的基本理论与方法,讨论了一类慢增长亚纯函数差分的零点和不动点,设f是超越亚纯函数,在一定条件下,证明了q-差分函数Fk(z)=f(q1z)+f(q2z)+…+f(qkz)-kf(z)或者q-差商函数Gk(z)=Fk(z)/f(z)至少有一个具有无穷多个零点和至少有一个具有无穷多个不动点.     

开发东北亚 殷人立首功(下)

就在其后200年,美洲大陆出现了一个奥尔梅克文明,和殷商文化具有相同的外部特征和内涵。有学者在奥尔梅克出土的玉圭上发现了殷商的文字,并且读出了殷商先祖少昊、简狄、王亥、上甲微等商族先王的名字。对于奥尔梅克乃至印第安玛雅文化起源于殷商,学者们已经探讨了大约100年,郭沫若等人就考证出来一个称为"攸侯喜"的人,他随     

采用模型检测器的软件安全模型验证方法

针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.     

设计心理学之包装设计心理探讨

目前,商品消费已经成为人们主要的生活方式。消费过程在很大程度上就是购买商品,品牌包装设计不仅要求满足商品实用和符合包装物理功能的需要,同时还要满足消费者的心理需求,设计师应该将对消费心理的研究贯穿整个包装设计思维的全过程。1设计中的色彩心理因素在商品包装设计的诸多元素中,色彩的视觉冲击力最强。商品包装所使用的色彩,会使消费者产生联想,诱发各种情感,使购买心理发生变化。儿童食品类常用鲜艳夺目的纯色和冷暖对比强烈的各种色     

甬商与温商婺商越商的比较与借鉴

文章以浙江省内比较活跃的甬商、温商、越商、婺商四大商帮为研究对象,从出身背景、创业精神、企业面临的问题等方面分析他们的共同点;从各具特色的文化特征、发展模式、经营方式等分析他们的不同点;立足于甬商与其他三商帮的比较,总结其优势与不足,从资源的嫁接、资本的运用等方面提出对甬商的借鉴与发展建议。     

基于坡道元胞自动机模型的能耗研究

针对上坡路段汽车需减小车速增大牵引力的现象,假定坡道倾度与车辆在坡道上的最大速度成反比,基于元胞自动机NaSch交通流模型建立包含有坡道的单车道元胞自动机模型,用数值模拟研究在周期边界条件下,坡道长度和倾度对交通流能耗的影响.结果表明:坡道长度和倾度对交通流能耗均有很大的影响,坡道长度越长、坡度越大,车速被限速越厉害,...     

基于元胞自动机的期权定价模型

针对期权定价难于模拟基础资产价格波动随机性的问题,设计了基于元胞自动机的期权定价模型．该模型将市场参与者看作一个个的元胞,使用元胞规则来模拟金融市场中交易者之间的交互行为。从而在总体上模拟出基础资产价格的变化．比较了模型产出的数据和Black-Scholes模型的计算结果,检验了模型产出数据的正态性,发现基于元胞自动机的期权定价模型不仅具有可行性,而且比Black-Scholes模型更有效．     

关于广义商高数的三项指数Diophantine方程（英文）

运用Gel’fond-Baker方法讨论了三项指数Diophantine方程的正整数解,基本上解决了n=1时的情况.