对城市交通规划理论与方法的反思

以经济学非瓦尔拉斯均衡理论为基本理论,指出了城市交通规划存在的本质性缺陷;运用非均衡理论的分析方法,论述了城市交通模型系统(UTMS)中各阶段模型中存在的不足.在对交通运输系统中非均衡问题进行回顾和总结的基础上,提出了非均衡城市交通规划的思想,指出了应当解决的有关理论和方法问题.     

TC2模型中顶夸克的稀有衰变

虽然粒子物理的标准模型 (SM )已被大量的精确试验所验证 ,但是它不能解释电弱对称性破缺问题 ,而且由于Higgs场的引入 ,导致了理论的“平庸性”和“不自然性”等问题 .为了解决SM存在的上述问题 ,人们提出了一些超出标准模型的理论 (通称新物理 ) ,人工色technicolor(TC)理论是新物理中具有代表性的一类理论 ,它去掉了基本的Higgs场 ,引入了一种类QCD的强相互作用 (TC)力 .在Λ～ 1TeV标度 ,TC相互作用实现了电弱对称性动力学破缺 .这类理论预言了一些新的、有质量的规范玻色子和赝标哥尔斯通粒子的存在 .多年来 ,人们通过对TC理论…     

沥青混合料动稳定度控制在山区公路中的应用

为了解决山区高等级公路车辙深度过大的问题,针对不同工况从理论计算的角度提出如何控制沥青混合料动稳定度的方法.采用有限单元法计算新建路面5年的车辙总量,探讨了有关参数对车辙的影响程度,提出了满足车辙要求的材料参数调整方法.研究结果表明:借助车辙稳定阶段的线性变化规律并建立预测公式,可以有效地解决三维车辙模型计算的问题;沥青混合料时间硬化模型参数m对车辙影响较小,控制参数A,n值是控制车辙深度的关键;分析室内车辙试验的实际工况,代入改进后的材料参数,计算得到了使所有工况都满足标准所对应的动稳定度指标要求.采用该种方法计算得到的动稳定度指标对材料抗车辙是偏于安全的.     

粗糙集-神经网络故障诊断方法研究

从人工神经网络故障诊断模型的特点出发 ,利用粗糙集理论解决该模型应用中的主要问题 ,包括进行训练样本质量研究 ,定义相关概念 ,给出故障特征提取算法等 ,提出了粗糙集 神经网络智能混合系统模型 ,分析了该模型的实现步骤 ,结合具体实例验证了上述理论的正确性·利用SAS软件进行了数值仿真·结果表明 ,提出的理论较好地解决了神经网络结构、训练样本的大小、样本质量等对人工神经网络的精度及泛化能力有直接影响的问题 ,减少了训练所需的计算量和时间 ,提高了模型的正确率·     

质粒DNA计算模型的计算体系

首先从具体实例入手抽象和归纳出质粒DNA计算模型的概念,并对质粒DNA计算模型计算体系的2个基本要素———计算物质和计算手段进行研究,由此形成了质粒DNA计算模型完备的计算体系;然后针对质粒DNA计算模型计算体系的应用,分析和解决了经常出现的关键问题.讨论了初始质粒DNA重新合成的重要性,并给出了重新合成的方法;接着对计算体系的2个基本实验(酶切和酶连实验)的成功率问题进行了分析,并提出了解决的方案;最后对检测实验进行了分析,提出了检测多种DNA序列的检测方法.对这些问题的分析和解决有利于质粒DNA计算模型理论的完善和应用的拓广.     

煤矿井下紧急避险系统模型构建

针对煤矿井下安全避险体系建设难题,采用归纳与对比方法,研究产煤发达国家紧急避险理论和典型案例.结合国内煤矿安全防护体系现状,分析紧急避险系统建设存在的主要问题,提出系统建设需解决的关键难题:安全避险理念确立、系统建设立法保障、紧急避险标准制定及布置原则等.依据现代事故致因理论和方法,设计了基于“人-物-管理”层面紧急避险体系结构模型.基于脆弱性观点和海因里希因果连锁理论,构建了以避险系统为基础的“多米诺”安防救援新模型.紧急避险体系结构与安防救援模型提供了解决系统建设难题的方法,可为完善煤矿井下紧急避险系统建设提供支持.     

水电站水库群与地下水资源系统联合运行经济管理模型研究

本文分析和研究水电站水库群与地下水资源系统联合运行经济管理问题,建立了联合运行经济管理模型,提出了一种加权目标协调法;理论分析和实例计算表明,所建立的模型和提出的方法具有较强的通用性和实用性.本方法克服了利用传统优化技术解决大规模多维多阶段优化问题所遇到的"维数灾"障碍.     

LH模型中单个类矢顶夸克在TeV能级对撞机上的产生

虽然标准模型(SM)已被大量的精确实验所检验,但到目前为止,高能物理实验还未发现Higgs粒子,电弱对称自发破缺机制还不清楚.因此,标准模型只能是一个低能有效理论,电弱对称自发破缺机制问题很可能涉及超出标准模型的新物理,并为最终解决质量起源问题提供线索,因此这个问题是当前粒子物理中最重要的问题之一,也是当前和未来的高能对撞机的重要研究内容之一.     

论脆性断裂及其控制

<正> 一、问题的提出高强度金属构件的低应力脆性断裂,给传统的合金强化、选材及强度设计带来了无法克服的困难。材料断裂力学的出现及其进展,尤其是它提出的有关金属断裂强度的力学模型,为解决这些难题提供了理论依据。1.金属的理论强度——Frenkel 模型     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

固体表面蛋白质吸附理论研究进展

对近年来蛋白质吸附的理论研究成果进行了回顾,对所提出的蛋白质吸附模型进行了总结,分析了这些模型的适用条件和局限性.指出了蛋白质吸附研究面临的困难和需要解决的问题.     

面向实现的智能控制系统建模

为了高效、可靠地实现一个智能控制系统,需要对该智能控制系统从实现的角度进行系统化描述,清楚系统涉及的变量、关系和时序.在理论和实践的结合上,从功能和运行方式的角度,分析了智能控制系统的特点;讨论了智能控制系统的模型结构;阐述了智能控制系统建模应该解决的问题和解决这些问题的方法;提出了一个面向实现的智能控制系统的建模方法.     

内蒙古烟草行业IT运维知识库建设的研究与探索

分析了当前内蒙古烟草IT运维的状况及存在的问题.根据现代信息系统运维模型标准,提出运维知识库建设的具体方案.可有效解决当前IT运维存在的问题,提升故障处理能力.     

广义特征根问题求解的神经网络方法分析

讨论了广义特征根问题求解的神经网络方法,包括网络模型,稳定性问题等.在很一般的条件下证明了网络的总体稳定性问题,这些对于网络的可靠运行与有效运行提供了理论基础.与已有的神经网络模型相比较,这里提出的网络模型克服了它们的一些基本缺陷:其一,基于罚函数的网络模型所得到的解可能不是真解,甚至可能都不是可行解;其二,它们的共同缺陷是有一个需要调节的参数,但是参数的选择并没有一个可供参考的准则;其三,这些模型的稳定性无法证明,但这是网络能否可靠运行的关键问题.由于这里所提出的网络模型解决了这些关键问题,因此,特征根问题求解的神经网络方法可以通过此模型得到很好的实现.     

当代句子理解理论述评

在简要介绍当代句子理解理论提出的背景之后,回顾了两阶段模型、基于制约的模型、参照支持模型、同时作用模型与三阶段神经认知模型等当代句子理解理论.为解决这些理论之间的分歧,提出了三点建议.     

关于语义网格环境中异构数据资源整合的研究

目前,许多电子政务系统面临着一个共同的问题,这就是所谓的“信息孤岛”问题,解决该问题的关键是如何将现有数据资源进行有效的整合.而语义网格理论的提出,为这一难题的解决提供了一个新的思路.应用语义网格理论,针对劳动力市场信息化的应用需求,构造了语义网格模型LF-Grid,并且实现了一种利用本体整合分布式异构数据库资源的机制,有效地解决了这一问题.     

客户敏感信息在开放域环境中的保护

人们普遍关注的是在传统的Client/Server模型中服务器上资源的安全性保护,而往往忽视了对客户端信息的保护,尤其是对客户端敏感信息的保护.本文以公钥基础设施、权限管理基础设施和X.509标准中发布的属性证书为理论基础,提出了在开放域环境中与服务器端逻辑地位对等的、保护客户端敏感信息的安全访问控制模型.该模型可以很好的解决现在的一些系统中存在的种种安全问题,并且可以可以扩展成多域之间的安全互访问模型.     

基于技能空间理论的计算机自适应测试组卷策略研究

本文从当前技能测试中存在的问题出发,通过对技能问题解决模型的分析,基于技能空间理论提出了计算机应用技能测评的计算机自适应测试组卷策略.     

强子对撞机上中性top-pion介子产生过程(pp(p)→Π_t~0Π_t~0,bΠ_t~0)的研究

描述电弱相互作用的电弱统一模型即Glashow-Weinberg-Salam(GWS)模型和描述强作用的量子色动力学(QCD)组成了粒子物理学中的标准模型(SM).迄今为止,它是大家普遍承认的最好的描述弱、电、强3种相互作用的理论,大量实验成功地验证了这一模型.但是,其电弱理论中为产生电弱对称性破缺而引入的Higgs粒子,至今仍未在高能物理实验中发现,电弱对称性破缺(EWSB)机制还不清楚.因此,人们认为:电弱对称性破缺机制问题很可能涉及超出标准模型的新物理,并为最终解决质量起源问题提供线索.这个问题是当前粒子物理中最重要的问题之一,也是当前和未来…     

最优指派问题的动态规划模型及算法

考虑了指派问题:有m项工作和n个人.若m与n是相同的,并且每一项工作只能由一个人来做;同时,每一个人只能做一项工作;符合这一条件的指派问题称为标准指派问题;若m与n不相同, 则称为非标准指派问题.本文在充分考虑了指派问题性质的基础上,建立了求解标准指派问题的动态规划模型,并给出了其求解算法;同时在标准指派问题的动态规划模型的基础上给出了求解非标准指派问题的动态规划模型.最后,通过实例说明了本文提出的方法的基本步骤和计算方法的可靠性.