级配碎石本构模型弹性变形适用性及验证

针对级配碎石本构模型对沥青路面变形适用性,推导应变张量更新算法并对碎石本构模型进行有限元二次开发,将其用于ABAQUS有限元软件分析路面变形,并将分析结果与现场实测结果对比.结果表明:级配碎石计算收敛模量分布极不均匀;级配碎石采用Uzan模型计算得沥青层层底应力、应变与沥青层内部最大剪应力均较其采用线弹性模型和k-θ模型的情况大;通过与现场实测应变比较可知,采用Uzan模型计算所得沥青层层底应变与实测应变最接近.     

论刑法逻辑上的合理性——与方孔先生商榷

方孔先生在其著作《实在法原理》中认为刑法的基本不合理性包括逻辑上的不合理性、基础不合理性、手段的不合理性三种,它们是所有合理性的根源。而＂逻辑上的不合理性是指刑法的概念本身包含着无法克服的逻辑矛盾。＂因此方先生得出刑法法律本身是自我定义之空中楼阁,缺乏深层的法理依据,根源在于无根。     

《合肥工业大学学报》(自然科学版)征稿简则

1来稿要求来稿应论点明确、数据可靠、逻辑严密、文字精炼、可读性强,每篇论文必须包括中英文题名、中英文作者名、中英文作者单位、中英文作者单位所在地名及邮政编码、中英文摘要和关键词、中国图书资料分类号、正文、参考文献及作者简介。1.1题名中文题名一般不超过20个汉字     

日语读点的语用思考

笔者在数年的翻译教学实践中发现,读点不仅仅作为意群点在使用,其暗示省略以及隐含修饰语远离被修饰语的文脉指示等语用功能亦不容忽视。本文由前言、读点的语用功能思考以及结论三个部分构成。通过大量例句对日语读点的语用功能进行了分析、思考与探索。     

基于自证码的远程代码安全研究

远程代码得到广泛应用的同时也带来了多方面的安全问题,代码验证技术可以有效抵抗恶意远程代码对主机系统造成的危害。本文研究了基于自证码的代码验证技术的现状,分析了使用自证码的方法及其安全性,对代码验证技术的应用提出了建议。     

基于描述逻辑的能力需求模型验证方法

针对C⁴ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。     

建模与仿真过程中需求分析模型的校核与验证研究

建模与仿真(M&S)开始于对所研究问题的明确定义与清晰描述,准确完整的需求定义是确定M&S校核、验证与确认(VV&A)评估标准的依据.简要介绍了需求分析过程的阶段和需求分析模型的建立方法,分析了需求分析模型校核与验证的主要内容,并给出了需求分析模型的静态校验和动态校验方法.     

基于遗传算法的改进径向基支持向量机及其应用

通过对径向基核函数进行分析后发现:根据样本各个特征的识别能力赋予其不同大小的核参数,可以提高支持向量机的推广能力。此结论基础上,提出了一种基于遗传算法的多核参数径向基支持向量机算法,通过遗传算法最小化验证误差,实现了根据各个特征的识别能力赋予其不同大小的核参数。将该算法用于轴承故障诊断,实验结果表明,与传统支持向量机相比,多核参数径向基支持向量机具有更好的推广能力,同时,核参数的大小反映了对应特征识别能力的大小。     

基于粒子群算法的资源均衡

提出了将粒子群算法运用到型号研制项目资源均衡优化问题中的构想,建立了适用于资源均衡优化问题的粒子群算法模型,设计了基于非关键活动动态时差的资源均衡优化粒子群,构建了基于资源强度和活动实际开始时间的评价函数,给出了算法流程,并通过算例的计算分析,应用该算法得到的资源强度比初始方案的降低了88.38%,比P3软件及Project2002的结果分别降低了58.42%、74.48%,验证了该算法的可行性与有效性,同时还获得了若干个次优方案.     

基于排队模型的联锁逻辑仿真模型研究

基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统.与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好.根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法.