非化学计量Li6F5团簇的几何结构和电离能

基于非化学计量Li6F5团簇的电离能的实验测量值,从第一性原理出发间接地确定了这个团簇的几何结构．首先选取若干可能的初始结构,然后在密度泛函理论框架内,使用B3LYP泛函和6—311＋G（d）基组优化所有初始结构,从而获得能量较低的同分异构体．对该团簇本文找到8个同分异构体,其中最低能量结构是一个对称性为Cs的三维构型．其计算的绝热电离能3．9eV与实验值4．1±0．1eV符合很好,表明本文找到的最低能量结构是可靠的．     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

非衍射波X-wave的仿真

X-wave是一种超声脉冲非衍射波,它在传播过程中保持一定能量分布局域性而不发散,具有良好的非衍射性,因此可以用于雷达和通信、医用成像和组织识别.为了探讨X-wave波物理实现的有效途径,该文对非衍射X-wave进行了仿真,提出了用环行超声传感器发射声场,采用瑞利--索末菲时域衍射公式计算声场,并讨论了结果.该文对X-wave波的物理实现具有一定的指导意义.     

非离子表面活性剂烷基多苷的合成和应用

烷基多苷（APG）是葡萄糖（或淀粉）与天然脂肪醇在催化剂作用下缩合得到的一种非离子表面活性剂。APG具有优良的表面性能和环境相容性,已经成为新型的绿色表面活性剂,成为近年来的研究热点。对近年来APG的合成方法及其在诸多领域的应用进行了综述。     

模拟爆炸地震波及其对框架结构的影响

基于能够描述爆炸地震波的非平稳随机过程模型进行爆炸地震波的模拟研究,给出能够考虑装药量和爆心距影响的单点爆炸地震波实用模拟方法。以15层框架结构为例,运用有限元分析软件建立空间板梁结构的有限元模型,计算结构的固有频率和固有振型,分析高层框架结构在模拟爆炸地震波作用下的动力响应。根据结构动力响应结果,判断结构的薄弱层,为工程抗震设计提供参考依据。     

非负线性最小二乘问题的一种严格可行内点算法

给出了非负线性最小二乘问题的一个新算法。首先,把非负线性最小二乘转化为线性互补问题,结合牛顿方向和中心路径方向,通过求解一个线性方程组得到搜索方向;进而获得了求解非负线性最小二乘问题的一种严格可行内点算法,并证明该算法经过多项式次迭代之后收敛到原问题的一个最优解,数值实验表明此方法是有效的。     

基于非量测相机的大坝三维模型的建立

以肖岭水库为例,探索并实践了利用非量测相机获取影像,并研究了建立三维模型的方法.首先利用拓普康全站仪获取控制点的三维坐标,使用非量测相机拍摄具有一定重叠度的像片,并利用拓普康公司的PI-Calib软件进行相机标定;然后采用MapMatrix软件进行影像的数据处理,通过自动相对定向、绝对定向,自动生成DEM和DOM以及三维模型.试验结果表明,该方法是可行的.     

Banach空间四阶边值问题的拟上下解方法

通过构造拟上下解的单调迭代过程,在拟解对之间利用Sadvoskii不动点定理获得了Banach空间四阶边值问题解的存在性     

商品零售价格指数的非参数自回归预测模型

为了更好地捕获我国商品零售价格指数的非线性特征,本文基于局部线性估计理论,建立了我国商品零售价格指数的非参数自回归预测模型,并应用此模型对我国2004—2007年的价格指数进行了预测分析.结果表明,相对于传统的ARMA模型,非参数自回归模型能够更好地解决我国社会商品零售价格指数预测这一非线性问题,而且预测精度较高.     

平衡序列图的结构

考察了平衡序列图的结构,给出了平衡标号与序列标号的关系,提出了用二部划分确定平衡标号的方法,得到了平衡标号特征与导出边标号最小值的关系式,给出非平衡的序列树。