软件人情感控制广义模型

借鉴大系统控制论中广义模型化方法,建立了软件人情感控制的广义模型. 提出了行为受理智和情感共同控制的观点. 从功能上将软件人情感控制模型划分为感觉模型、思维模型和行为模型,并给出了感觉模型、思维模型、行为模型三者之间的关系模型以及思维模型和行为模型两者之间的关系模型.     

气象因素对对流层改正模型的影响

初步探讨气压P、气温T和水气压e对各对流层模型(Hopfield模型、Saastamoinen模型、EGNOS模型和UNB3模型)结果的影响.研究表明,EGNOS模型和UNB3模型随各气象因素的变化情况基本吻合.随着气压升高,各模型干(总)延迟量逐渐增加,且该变化并非线性,存在微小的波动;随着气温升高,Saastamoinen模型干延迟恒为常数,其他两个模型干延迟则逐渐增加,各模型湿延迟逐渐减小,Hopfield模型所得的总延迟量呈抛物线状(先减小后增加),EGNOS模型和UNB3模型的总延迟量则逐渐增加;随着水气压的升高,各模型湿延迟量逐渐增加,其中Saastamoinen模型、EGNOS模型和UNB3模型的湿延迟量随水气压变化的幅度接近,略小于Hopfield模型的湿延迟量.     

几种散射辐射模型精度的对比

通过对既有散射辐射模型的分析,结合上海地区太阳辐射实测数据,建立了各向异性散射辐射新模型,其后从天气类型、朝向、季节和倾角等方面对新模型及既有模型的精度进行了对比分析.对天气类型的研究表明,阴天或多云天时,Klucher模型、Hay模型及Skartveit和Olseth模型与实测值较为吻合;但晴天时,Perez模型和新各向异性散射辐射(NADR)模型更佳.对朝向的研究表明,对于东向和北向,Perez模型和NADR模型较为准确;而对于南向和西向,Liu和Jordan模型,NADR模型较为准确.对季节的研究表明,夏秋季Perez模型和NADR模型较为准确;秋冬季Liu和Jordan模型,NADR模型较为准确.对于倾角的研究表明,Klucher模型与实测值较为吻合,各类散射辐射模型在计算倾角较小的倾斜面散射辐射精度优于倾角较大的情况.对天气、朝向、季节和倾角等多因素的综合考虑表明,Temps和Coulson模型,Gueymard模型准确性相对较低,而NADR模型的准确性最高.     

锂离子电池系统建模仿真

动力电池测试是动力电池研究的基础,而建立和选择合适准确的电池模型对于电池管理系统开发具有重要意义.为了解决电动汽车仿真时电池模型选取的问题,分别系统的建立了Thevenin模型,Gassing模型以及AVL电池模型,其中,Thevenin模型和AVL电池模型实质上分别为一阶等效电路模型和三阶等效电路模型,而Gassing模型是一种半机理半经验模型.三种模型在非极限工况下,都具有较高的精度,Thevenin模型和AVL电池能够更加准确地描述电池极化环节,AVL电池模型和Gassing模型在剧烈变化工况下误差很小,而Gassing模型能够很好地描述电池在极限工况下的动态特性,且可以反映出温度与内阻的动态变化.     

渔业资源的评估方法和模型研究进展

渔业资源评估模型主要有产量模型(production models)、Delay-difference模型、消耗模型(depletion models)和年龄结构模型(age-structured models)。产量模型在渔业资源评估中应用很广泛,但不能精确反映统计误差;Delay-difference模型增加了生物参数、并考虑生物过程中的时间延迟,它是扩充了的产量模型,但当可获得的数据不足时,不能精确估算模型中的参数,甚至可能产生错误的估算值;此时,消耗模型相对于Delay-difference模型是有效的,该模型研究渔获量如何影响残存鱼的相对丰度;年龄结构模型能更好地显示种群的动态变化,能为配置合理的捕捞强度提供科学的依据,但需要很多数据,尤其要求精确的渔获物年龄数据。我国渔业资源的评估多采用产量模型和年龄结构模型,对于Delay-difference模型和消耗模型的应用甚为少见。     

基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

蒸发波导预测模型研究

利用海上试验采集的波导数据,对比分析了蒸发波导Paulus-Jeske模型和A模型在我国海域的适应性.结果表明:多数情况下Paulus-Jeske模型的适应性优于A模型,但在较低风条件下,A模型适应性较好.根据两种模型的适应性特点,将Paulus-Jeske模型和A模型结合建立了混合模型.通过仿真分析和试验数据的检验可知,混合模型相对Paulus-Jeske模型对气海温差的敏感性和预测准确性有所改善.     

一种新的软件测试过程模型

通过对传统模型Ⅴ模型的分析,找出Ⅴ模型存在的不足,提出一种对V模型改进的新模型,这一模型能尽早地发现错误,提高测试的覆盖率.     

适于嵌入式英语发音评价系统的英美音融合方法

为提高发音质量评价性能,并压缩声学模型规模以适于嵌入式实现,提出一种英音和美音模型的融合方法。该方法基于声学距离和替代概率将声学模型划分为可替代模型、可融合模型和孤立模型。抛弃可替代模型,保留孤立模型,基于模型插值归并可融合模型。引入最小置信度和最大支持数控制参与归并模型的数目。实验结果表明:融合模型与单口音模型相比,说话人级别的相关性提高了14.1%;融合模型与混合模型的性能相近,G auss ian分量数目压缩了10.7%。本方法在保证发音质量评价性能的条件下,明显压缩了模型数量。     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

一种柔化锯齿的超分辨率图像重建方法

基于锯齿会导致图像边缘长度增加的认识,通过减小边缘长度来抑制甚至消除图像锯齿,从而达到边缘锯齿被柔化的效果.受图像分割算法几何切的启发,首先提出一种新的图像边缘长度先验模型,该先验模型扩展了几何切的概念,使用全邻域系统,得到一种更具有实际意义的边缘长度的定义.然后把这个先验项连同图像似然项作为超分辨率图像重建的目标函数,并且通过最速下降法来极小化这个目标函数,从而达到减小边缘长度的目的.从实验结果可以看出该边缘长度先验模型具有一定的收敛性,并且边缘锯齿得到显著地柔化,图像变得更加地清晰,产生了良好的视觉效果.     

最长连续切换的长度

作为一类简单的数学模型,均匀硬币的独立抛掷模型在诸多领域具有广泛的应用,关于其最长连续头部长度的研究长期吸引着学者们进行研究。时至今日,仍有大量的研究致力于这个问题的推广、相关问题及其应用。在本文中,我们将研究最长连续切换的长度,给出几个极限定理。这些结果可能应用到可靠性理论、生物、质量控制、模式识别、金融等领域。     

基于损伤力学与安全衰减路径的含裂纹缺陷压力容器扩展寿命分析

针对含裂纹缺陷压力容器的疲劳裂纹扩展寿命问题,在裂纹缺陷的安全衰减路径仿真基础上,提出了一种预测裂纹缺陷疲劳扩展寿命的计算方法。首先根据裂纹长度和深度的几何关联变化模型,基于该关联模型与失效评定图（FAD）仿真裂纹缺陷的安全衰减路径轨迹,然后采用数学积分方法求解安全衰减路径的长度和剩余轨迹线段长度,以此为度量建立裂纹缺陷安全裕度及损伤程度的计算模型,结合低周疲劳试验数据,在Lemaitre能量损伤理论上建立一种裂纹疲劳扩展寿命预测模型。此外,本文对某压力容器进行了算例分析,并运用本文提出的模型计算结果与Paris公式的计算结果及扩展有限元仿真的结果进行对比,结果表明,该方法对压力容器含裂纹缺陷的疲劳寿命评估有一定的实用价值。     

Analysis of length distribution of short DNA fragments induced by ^7Li ions using the random-breakage model

Deoxyribonucleic acid (DNA) is an important bio-macromolecule. DNA double strand breaks (DSBs) are considered to be the most important initial damage responsible for all biological effects induced by ionizing radiation. In this paper the length distribution of DNA fragments induced by ^7Li ionizing radiation is fitted with the random breakage model. In this model, the parameter u is the average number of DSBs on every DNA molecule induced by ionizing radiation. The fitting result shows that the random breakage model cannot describe the distribution of DNA fragments in lower doses, while the random breakage model is in better accordance with the experimental data in higher doses. It is shown that the length distribution of DNA fragments has random statistical feature in higher doses. In this situation, the random breakage model looks like a model without any parameter since the u has specific physical meaning and can directly be obtained from experimental data.     

基于轨迹数据的信号交叉口排队长度估计

排队长度是信号交叉口最重要的性能指标之一,也是信号交叉口配时优化的关键参数。对于一些偏僻的路口或者固定检测器损坏的交叉口,由于无法获取准确的排队长度信息而无法了解交叉口的实时状态。针对以上情况,本文提出通过浮动车轨迹数据来估计信号交叉口的排队长度,通过对轨迹数据的分析,本文建立了基于浮动车集群队列的排队长度估计模型,利用排队长度估计模型可以实现交叉口排队长度的估计。通过SUMO仿真获取早高峰,晚高峰,平峰流量下输入下的浮动车轨迹数据,分别采用早高峰,晚高峰,平峰流量下时间间隔为2s/4s/6s/8s/10s和渗透率为5%/10%/15%的数据集对模型进行验证。验证结果表明,本文建立的模型可以较为准确地估计交叉口的排队长度。与相关方法的对比结果表明,在早高峰流量下和晚高峰流量下,本文建立的模型误差更低,不同的时间间隔和渗透率下比不考虑集群车队的精准度平均高出约12%,即使在平峰流量、时间间隔大、低渗透率场景下,本文建立的模型估计的排队长度误差仍在可接受范围内。相关的研究成果将为交叉口的交通状态评估以及信号配时优化提供支撑。     

并行蚁群算法在公交线网优化中应用

针对实用有效的公交线网优化模型很少的现状,提出了一个以直达客流密度最大为目标的公交线网优化模型.该模型以换乘次数最少、单位长度运送客流量最大为优化目标,线路长度、非直线系数等作为约束条件.为求解该模型,并综合考虑优化质量和通信开销,采用了基于粗粒度模型的并行蚁群算法.数值实验验证了模型及算法的合理有效.     

前极靴长度对ECRIT影响的数值仿真研究

数值仿真研究电子回旋共振离子推力器放电室的放电过程可以为推力器的优化设计提供指导和帮助,本文基于COMSOL多物理场仿真软件建立了5cm口径ECR推力器放电室的二维轴对称模型。通过磁场实际测量值和仿真结果的对比分析验证了模型的可靠性,并计算发现前极靴长度在7mm和9mm之间存在一个最佳特征值,当小于特征值时电子密度最大值、平均电子密度值和等离子体吸收功率均随极靴长度的增大而增大,而当大于特征值时电子密度最大值、平均电子密度值和等离子体吸收功率则随极靴长度的增大而减小。     

DEM水平分辨率越高提取的河长越准确??

是否所使用的DEM水平分辨率越高,水文、水力学模拟的准确度和流域特征参数提取的精度越高?为探讨该问题,本文用Arc-Hydro模块提取了9种DEM水平分辨率(3~250m)下202条不同等级(Strahler Order)河流的河长,以3m激光探测与测距(LiDAR)DEM数字化的河长为标准,计算了各分辨率下河长提取的平均相对误差(ARE).结果表明:在研究区内,10~20m水平分辨率的DEM数据提取的河流长度最为精确;随着DEM水平分辨率的提高,不同等级河流提取河长的ARE均逐渐减小;当水平分辨率提高到一定级别之后若继续提高时,ARE反而会逐渐增大;即整体上提取河长的平均相对误差和DEM水平分辨率之间呈"对勾型"变化规律.本研究表明,并不是DEM水平分辨率越高,提取河长越精确.     

一类病菌与免疫系统作用模型的定性分析

考虑病菌的一种信息交流机理,建立了一类时滞传染病模型.分析了模型平衡点的存在性、渐近稳定性及Hopf分歧的存在性及方向.最后,运用计算机数值模拟验证所得理论结果,为传染病的控制和预防提供了理论基础和数值依据.     

城市交通事故对道路通行能力影响模型

用M/G/1排队系统理论分析了交通事故发生后交通堵塞与道路通行能力、路段上游车流量的关系,并建立了数学模型.利用这一模型可以对堵塞时的车队长度进行计算.