浅谈歧化反应及其方程式的简捷配平方法

本文总结了歧化反应的有关内容，并对其中的某些问题作了较好的解释。最后，西文给出了歧化反应方程式的简捷配平方法。     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

Cd-Pb-Sb三元系垂直截面平衡相图的理论计算与实验测定

本文计算了Cd-Pb-Sb三元合金体系的垂直截面相图,同时采用差热分析(DTA)方法测定了该体系中四个垂直截面的平衡相图。计算结果与实验测定的相图和文献报道的结果符合得较好,表明所用的计算方法是可靠的。     

基于数据场联合决策图改进的GMM聚类

针对传统聚类方法在处理复杂电磁环境下的雷达信号时存在的聚类质量低、参数需要人为设置、易受孤立噪声脉冲干扰等问题, 提出一种基于数据场联合决策图改进的高斯混合模型(Gaussian mixture model, GMM)聚类算法。将数据场理论应用于数据对象密集程度的表征, 生成势能距离决策图, 进而自动实现聚类数目和中心点的选择, 最后结合GMM聚类实现对数据对象的聚类划分。仿真实验结果表明, 在脉冲到达角、脉宽、载频等参数存在较大抖动, 测量误差以及存在孤立噪声脉冲干扰和脉冲丢失时, 本文方法相较于现有典型分类方法具有更好的分选效果。     

一个切换Lorenz混沌系统的特性分析

为使混沌系统更好地应用于工程实践,通过构造由2个子系统组成的切换Lorenz型混沌系统,分析子混沌系统和自动切换混沌系统的Lyapunov指数谱和分岔图,利用拓扑马蹄引理从理论上证明了切换混沌系统吸引子的存在性,基于模拟电路和数字电路2种实验手段实现了混沌系统,分析结果表明,在相同参数下,切换系统具有与子系统的不同的动力学特性,切换系统比子系统具有更大的混沌参数区间.实验结果与仿真结果完全一致,在理论和实验两方面证明了切换混沌系统的存在性.     

可编程序控制器梯形图编程的一种通用方法

本文针对可编程序控制器用户程序的编制问题,给出了一种用阶段过渡控制图作为桥梁来编制梯形图的通用方法,并对若干实例在PLC-2/30可编程控制器上全部验证通过,说明这种方法正确无误。该方法严密清晰,简单实用,有规可循,因此是解决PC用户编程很有实用价值的一种通用方法。     

A DOMINANCE APPROACH FOR PLANE PARTITIONS

By developing the dominance technique of nondecreasing integer sequences into a multifoldform,we introduce a new approach for the enumeration of plane partitions,which can be used togenerate most of classical theorems in this field.The treatment presented here may be more accessibleto readers than the earlier methods of algebra,analysis and algorithm.     

冷轧板材厚度在线测量的研究

本文在比较各种板厚测量方法的基础上，根据成象原理着重论述了差动式激光三角法测厚技术，讨论了聚光透镜和成象系统结构参数的设计，分析了板材料动产生的动态测量误差，并提出自动补偿的途径。     

城市轨道交通列车运行图编制的数学模型及方法

在对城市轨道交通线路属性进行数学描述的基础上,以车辆段设置地点为核心,提出两站图及三站图理论,设计分层顺序和反序推点算法计算列车在中间站的到发时刻,并以分时段列车等间隔运行为目标函数,构建城市轨道交通列车运行图通用数学模型.利用北京城铁13号线数据,通过计算机模拟方法验证了论文提出的城市轨道交通列车运行图编制理论的正确性和实用性.     

采用标准系统方块图实现OTA—C滤波器的设计

提出了一种采用现代控制理论中的状态空间表达式的系统方块图直接实现了ＯＴＡ－Ｃ滤波器的方法,ＳＰＩＣＥ程序模拟结果验证了设计方法的正确。