摘要：给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性.

摘要：利用三维建模软件MultiGen creato、r仿真软件MultiGen Vega及VC++6.0平台开发虚拟校园视景仿真漫游系统.提出'文字模型'双向交互访问技术,将外部数据库与视景仿真系统相连,设计了按所选模型提取对应文字信息以及根据关键词切入到对应模型的交互访问功能.试验结果表明,该'文字模型'双向交互访问模式可为视景仿真系统提供良好的人机交互效果.

摘要：介绍了课题组与合作单位根据分子工程学的思想,采用自主发展的多酸亚胺化方法,借用经典的有机合成反应来设计、合成多酸基(POM)有机-无机杂化纳米分子材料的最新进展.

摘要：为研究堆高设备产品族造型设计与设计评价方法,构建产品族设计评估体系,通过对设计DNA的繁衍、复制、嫁接、突变等理论的研究,阐述了产品族设计与评价方法相结合的评价流程;运用数学模拟法和矩阵理论的运算法则,实现了对堆高设备的产品族设计方案的系统评价,并以数据的形式量化评价结果,以构建有效的设计评估体系;通过设计实例,验证了该评估体系的可行性和有效性。

摘要：利用模拟技术研究人物混合系统的关键在于实现人-物互动的并行集成模拟。将日常管理活动中人物混合系统的人-物互动问题分解为管理者自我效能感演化和任务处理两部分,分别采用定性模拟和离散事件模拟方法建立了两个模拟模型。利用Visual ***的多线程技术和Arena的实时执行模式,设计并开发了基于消息传递的并行集成模拟系统原型,从而实现了人-物互动的并行集成模拟。系统验证和确认表明,该系统可用于管理活动中人-物混合系统规律的研究。

摘要：介绍了目前大型并行计算机系统中互连网络的分类,对其中叫直接网络的一类网络的几种类型进行了分析,讨论了直接网络中路由的相关问题,并针对单向3D torus网络设计了一个点到点的无阻塞的虫孔路由算法。

摘要：研究了Liu混沌系统的参数辨识问题.将混沌系统的未知参数看成系统的状态变量,根据状态观测器思想和微分方程的稳定性理论,提出了选择增益函数和构造相应的辅助函数的一般方法,解决了混沌系统的非线性部分未知参数观测器的设计问题.分别对Liu混沌系统第2个和第3个微分方程中的非线性部分的未知参数设计了观测器,对未知参数进行了辨识.用Matlab软件进行了数值仿真,结果表明该未知参数观测器的设计方法是有效的可行的.该方法可推广到任何混沌系统的参数辨识.

摘要：在使用SolidWorks软件完成船舶柴油机装配体设计的基础上,再利用其动画制作功能,可实现船舶柴油机的虚拟装配及运动仿真。仿真结果直观、生动、形象,可验证装配序列和装配路径的可行性、分析最佳装配次序、确定最优装配路径,从而缩短柴油机的装配周期和提高柴油机的装配质量。

摘要：针对贴近库存管理实践的随机性联合采购研究严重不足的现状,构建了可用资金和存储空间约束条件下的随机性联合采购模型,该模型属于NP-hard问题,目前缺乏稳定高效的全局优化求解算法。在对标准差分进化算法进行改进并通过典型测试函数进行性能测试后,设计了一种可靠的适用于多约束随机性联合采购问题的自适应混合差分进化算法,并通过一个算例验证了求解算法的科学合理性。通过六个算例的对比分析,验证了所提求解算法的通用性和全局优化能力。

摘要：清代是诗话繁兴的时期,也是《诗经》阐释的全盛时期,诗话家们在阐说诗学理论时多将《诗经》纳入评判视野,在形成自己的诗学理论体系时,也对《诗经》的文学阐释作出了很大的贡献。诗话家均以《诗经》为诗,或言其文学影响,或品析其艺术特征,或阐说其情感特色,极大地丰富了清代《诗经》阐释的风貌。清诗话从题材、体裁、语言艺术、表现手法等多方面几乎是全方位地展现了《诗经》对后世诗歌的具体影响;不少诗话家们在对《诗经》艺术特色进行阐说时,能够抛开儒家诗教观的束缚,对之进行纯艺术审美的解析;在剖析诗歌情感时,主张性情的真与正,对向为前人反对的男女之情和激越怨怒之情均加以了肯定。