基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

不同群落类型对羊草（Leymus chinensis）种群生殖分配的影响

通过对羊草种群在不同生境条件下干物质和营养元素在植株不同部位的配置研究，结果表明：羊草种群在干物质方面的配置为：根＞茎＝叶＞果实；Ｃ元素在单草植株的各个部位均匀分配，Ｎ元素的配置表现为：叶＞果＞根＝茎；Ｐ元素的配置表现为：果＞叶＞根＝茎，粗灰分表现为：根＝叶＞果＞茎．营养元素的配置在克氏针茅、大针茅、羊草三个群系类型之间，无论是什么部位都无显著差异，而这三个群系类型都与贝加尔针茅类型有显著差异，差异主要表现在茎和叶中．     

自动驾驶车辆轨迹跟踪横向偏差影响因素研究

车辆轨迹跟踪精度是目前智能驾驶技术发展的瓶颈问题之一.影响车辆轨迹跟踪精度的因素很多,从模型离散化处理参数-采样时间间隔和初始航向角入手,研究对自动驾驶车辆的轨迹跟踪精度影响规律.采用车辆二自由度动力学模型,基于模型预测控制算法(the model predictive control,MPC)控制车辆进行轨迹跟踪.仿...     

基于遗传优化的粗糙神经网络模式识别器及应用

通过粗糙集获取知识表达系统的分类规则，用产生的规则对神经网络进行编码，并利用遗传算法对初步学习后的神经网络的权值进行优化，最终得到一个神经网络模式识别器。举例说明了采用这种方法得到模式识别器的过程及其对待识别对象的学习和分类效果。结果表明：采用粗糙规则对神经网络编码可以缩短神经网络的训练过程，遗传算化对神经网络权值的优化可在一定程度上提高模式识别的精度。     

一个阶段时滞结构的生态-流行病模型的害虫综合防治策略

分析一个阶段结构的捕食者-食饵（天敌-害虫）模型,利用人工周期定量地投放有病的害虫和天敌去治理害虫．通过脉冲微分方程理论,证明了周期投放量p和q满足β2q（exp（mT）-1/（exp（d4T）-1）exp（（m＋d4）T）-1）＋β1p/exp（d3T）-1〉be^-d1τ时,害虫幼虫及成虫将灭绝,而病虫和天敌的密度驱于一个稳定的水平,并进一步证明了当周期投放量p和q满足be^-d1τ-d2E〈β2q（exp（mT）-1/（exp（d4T）-1）exp（（m＋d4）T）-1）＋β1p/exp（d3T）-1〉be^-d1τ时,害虫的密度将在经济受害损失允许水平之下并与天敌共存．     

LaCl_3-FUH-H_2O三元体系相平衡及其固体配合物的合成与表征

用恒温溶解法研究ＬａＣｌ３－ＦＵＨ－Ｈ２Ｏ三元体系３０℃相平衡,由相图提供的信息在水溶液中合成出固相配合物,表明有分子式为〔Ｌａ（Ｈ２Ｏ）３（ＦＵＨ）４〕Ｃｌ３·４Ｈ２Ｏ的三元配合物．并用元素分析法、ＴＧ－ＤＴＡ谱、ＩＲ谱、１ＨＮＭＲ谱、ＸＰＤ谱进行表征     

“啤酒游戏”在供应链管理实践教学中的应用研究

为了使学生更好地理解供应链管理课程中的需求变异放大现象,即"牛鞭效应"及其产生的原因,将"啤酒游戏"引入到供应链管理实践教学中。学生在实验中理解了"牛鞭效应"产生的原因,并提出了信息共享、压缩提前期等策略来缓解"牛鞭效应"。     

露天矿多排孔台阶爆破块度计算模型研究

本文以哈里斯数模为基础，提出了一种露天矿多排孔台阶爆破块度计算模型，定量地建立了爆破参数与爆破块度间的关系，并用此模型编制了计算机程序。经用小台阶爆破实验数据验算，其电算所得理论块度分布与实际爆破块度分布吻合较好     

面向顾客需求的供应链合作伙伴选择模型

提出了一个使顾客需要最大化的供应链伙选择的决策模型，模型分为两个阶段，首先根据各阶段各公司的一些指标利用DEA模型进行过滤，从中选择效率高的公司，然后提出了基于顾客需求的目标规划模型来对各种组合进行优化分析，以从中选择一个使顾客需求最大的最佳组合，还给出了实例。     

高压除鳞喷嘴内部流场数值模拟与仿真分析

针对目前工厂广泛使用的高压除鳞喷嘴,应用前处理软件Gambit建立其内部流畅的三维模型,采用Fluent软件提供的Laminar层流模型对不同结构参数的喷嘴内部不可压缩、稳态、层流流场进行了数值模拟,并分析了各参数对其流场速度分布、压力分布和出口轴心速度的影响.仿真值与理论计算值十分接近,数值模拟结果表明,喷嘴收缩角和直径对其内部流场影响较大,而扩张角对其内部流场影响相对较小,但各参数都存在最优值,且各参数之间也存在着最优搭配使射流打击效果最好.