基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

对无机化学教材中引进锰的自由能——氧化态图的探讨

本文对无机化学教材中引进锰的自由能——氧化态图进行了讨论.这对无机化学的教材改革是十分有意义的.对氧化态图直观性的分析和绘制氧化态图的研究对教学更具影响.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于工程项目风险分析的模糊影响图方法

本文综合应用模糊集与影响图理论建立了模糊影响图方法，并以工程项目风险分析系统为背景进行了初步应用研究，取得一定成效。     

正交双向网格图及方向优先算法

目前建筑工程的工程量计算基本上采取的是“统筹法”和“公式法”,这两种方法对工程的概算、预算的精确度及工作效率都产生了那样或这样的问题。本文从建筑图的正向分析开始,进而讨论了工程量计算模型的定义,在定义基础上给出了轴线的方向函数以及方向优先算法和具体实现过程。     

关于我国铁路组织按图行车现状和问题的研究

组织“按图行车”是实现铁路运输管理现代化的重要方面。本文根据调查资料,研究了当前我国铁路实现“按图行车”的现状、货物列车晚点的一般规律,并据以提出了进一步提高我国铁路组织“按图行车”水平的意见。     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。     

新疆阿克提什坎金-多金属矿床微量元素地球化学

系统地研究了新疆阿尔泰诺尔特地区阿克提什坎金－多金属矿床的微量元素组成特征,并应用Ｇｒａｎｔ等位线方法讨论了热液蚀变作用过程中微量元素的行为。认为在热液蚀变作用过程中,微量元素尤其是Ａｕ、Ａｓ等,活动强烈,围岩为成矿提供了部分物质来源。文章还进行了质量迁移的定量计算。     

对数浓度图在氧化还原滴定分析中的应用

文中就对数浓度图在氧化还原滴定分析中的绘制及其应用进行了较为详细的讨论。     

1673K下BaO-BaF_2-Cr_2O_3渣系的热力学性质

１６７３Ｋ下,采用－ＭｏＣｒ＋Ｃｒ２Ｏ３ＺｒＯ２（ＭｇＯ）｛Ｃｕ＋Ｃｒ｝ａｌｏｙ＋（Ｃｒ２Ｏ３）ｓｌａｇＭｏ＋固体电解质电池测定了ＢａＯＢａＦ２Ｃｒ２Ｏ３渣系中Ｃｒ２Ｏ３的活度．研究结果表明,Ｃｒ２Ｏ３的活度随其浓度升高而升高,随ＸＢａＯ／ＸＢａＦ２升高而降低．根据实验及Ｘ射线衍射结果推测了该渣系的等温相图,并作出了该渣系中Ｃｒ２Ｏ３的等活度图．