格值上下文无关语言的运算性质

在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,并研究了格值上下文无关语言在正则运算下的封闭性。     

RS图像处理自动机

RS为3S(RS、GPS、GIS)技术提供主要的数据支持。RS图像处理,中值滤波、平滑、锐化、增强等一直是GIS做的主要工作。文章提出了RS图像处理自动机,为通过求图像卷积处理RS图像提供了一个统一的数学模型——RS图像处理自动机;并分析了在该自动机下处理RS图像的复杂度。RS图像是海量数据,算法复杂度尤为重要。文章将模糊数学相关原理引入,提出了模糊RS图像处理自动机,证明了模糊RS图像处理自动机处理RS图像速度比经典处理方法提高了至少一个数量级;同时增强了RS图像处理的效果。     

可逆要求的应用

分析了可逆要求在实际工作中的应用。     

台式钻床可逆电路的改进

在台式钻床上对工件的孔攻螺纹时,当丝锥达到所需深度时,必须迅速反向转动,退出丝锥。否则会折断丝锥。它的控制电路,实际是正反转控制线路,即可逆控制电路。在应用中常发生短路故障,熔断器熔丝熔断,接触器主触头烧坏,甚至完全熔焊在一起。分析原因有以下两种可能： （1）控制线路不完善,主要是线路中操作开关没有联锁。操作开关用的是两个位置开关。其控制线路如图1所示,在脚踏位置开关时,SQ1、SQ2两个开关常会被同时踩下,这往往发生在改变台钻转向时。如当SQ1刚复位,接触器KM1刚断开,此时脚又同时踩下了SQ1、SQ2,致使…     

道路交通的元胞自动机模型及其分析

应用元胞自动机理论构造道路交通仿真模型,并根据道路交通的元胞自动机模型分析了交通需求变化、随机减速规则和驾驶者习惯对道路交通系统的影响.交通需求越大,道路出现堵塞的可能性就越大,这种堵塞主要是由于系统的随机减速引起的,暗示了交通系统的复杂性来源于大量个体参与者的随机行为;随机概率越大可以导致整个交通系统的平均速度的降低;驾驶者习惯对交通系统运行也有很大的影响.     

R-典型线性李代数为R-单李代数的充要条件

由于域上的典型线性李代数都是单李代数,而交换幺环上的典型线性李代数未必仍为单李代数,而单李代数的结构分类对研究半单纯李代数的结构分类,以及可解、幂零李代数的研究至关重要,在这里我们得出了交换幺环上典型线性李代数为R-单李代数的充要条件。     

一种可逆配仓皮带机的改造设计

本文介绍了一种可逆配仓皮带机的改造设计方案,该设计方案完成了由B=800mm的可逆配仓皮带机在运行轨道及安装空间不变的情况状态下改为B=1000mm的可逆配仓皮带机的改造设计方案,对于同类型的皮带机的改造具有借签作用。     

基于差分图像的高容量可逆水印算法研究

可逆水印技独有的一个特点,是在提取出水印数据之后,还能够完全修复由于水印嵌入所造成的原始载体数据的损坏.在分析了前人基于直方图域的可逆水印技术后,运用一种基于图像自身差图的直方图修改的可逆水印算法.本算法在保证嵌入容量的同时,还能保持很高的峰值信噪比.     

有限自动机在自动柜员机测控程序设计中的应用

本文介绍了有限自动机的概念,形式化定义及基本组成,通过举例阐述了有限自动机在自动柜员机上的应用.     

基于细胞自动机的菌落识别的研究

本文介绍使用细胞自动机的方法,对菌落的二值图像进行识别的研究.实验证明这种方法能够判别被检查菌落图像与样本库中样本的一致性,并且可以判断它们的相似度,从而达到较好的识别效果.该方法对提高我国食品安全、食品卫生的水平具有重要意义.     

城市交通拥堵的经济学分析和元胞自动机模拟

分析了城市道路系统的公共性和外部性。使用均衡分析的方法对城市交通拥堵进行了经济学分析,认为当城市道路的使用者超过一定数量时,道路交通的外部性凸显出来,由于这种外部性,道路交通系统总数处于过度使用的状态。最后使用元胞自动机对城市交通拥堵现象进行了模拟,发现为了改善城市交通堵塞,虽然需要增加交通供给,但是更为重要的是如何优化车流使得现有的交通供给得到充分的利用。     

基于混杂自动机的装备仿真训练机理建模方法研究

在装备操作仿真训练的机理模型建模过程中,由于训练内容较多、装备工作状态复杂,难以建立表达明确的面向操作训练的机理模型。针对这种情况,基于混杂自动机理论提出适合装备操作系统的自动机模型,并对其建模实现方法进行研究,提出了一种利用Simulink/Stateflow建立离散系统模型,并且按照不同的训练内容和装备工作状态建立多个连续系统模型的机理建模解决方案,在实际应用中,提高了建模及工作效率。     

潮汐车道的设置条件分析及运行效果评价

为深入研究潮汐车道的设置条件及开通后其运行效率及相关安全性情况,文章从潮汐车道道路状况、方向分布系数值、潮汐车道路阻模型三个方面分析了潮汐车道设置条件,并以上海市包头路(嫩江路—民星路)作为研究对象,运用VISSIM仿真软件和SSAM软件对其进行效率与安全的评价,得到设置潮汐车道后的总行程时间减少了8.38%,交通冲突数减少了22.72%,设置潮汐车道后运行效率及安全性都有显著提高。     

Coincidence of Agreement between Probabilistic and Algebraic Choosers

Algebraic choosers make precise responses to pairwise preference comparisons on alternatives that are based on the relative rankings of the alternatives over some set of n attributes of comparison. Probabilistic choosers are less precise than algebraic choosers are, and they give pairwise preference responses that have some probability of being in agreement with the response of an algebraic chooser. The magnitude of this probability reflects the degree of discriminatory power of the probabilistic chooser. The current study significantly expands earlier work on the probability that algebraic and probabilistic choosers will select the same maximal alternative. Three factors are found to have an impact on this coincidence probability: the number of attributes of comparison that are being considered, the discriminatory power of probabilistic choosers, and the degree of dependence between attribute rankings. A preliminary version of this paper was presented at the European Operational Research Society Meeting, Budapest, Hungary, July 2000. Support for that initial work was received from the Center for International Programs at the University of Delaware.     

浅谈偶数的性质

本文利用偶数的一些常见性质,讨论了用整除来判断偶数可分拆为几个连续奇数之和的判别方法。这些判别方法在今后的整数研究和数学教学的过程中都会起到十分重要作用。     

过程能力指数4个基本特性

根据过程能力指数Cp定义发现了过程能力指数的4个基本特性,即：过程能力指数的对半特性、可计量特性、零判据和基准。这4个特性为研究各种情况下过程能力指数公式提供了理论依据。     

宝钢四种钢渣微粉对水泥性能的影响

钢渣是一种重要的可回收资源,具有潜在水硬性。本文为探索宝钢四种钢渣以微粉形式回收利用的可行性,研究了该四种钢渣的易磨性,以及在不同掺量条件下钢渣微粉水泥的性能特点。     

球墨铸铁组织与性能关系的探讨

通过对工作中积累的QT450—10金相组织与力学性能、化学成分诸多数据进行比较,探求组织和性能以及化学成分的内在关系。尝试说明在不满足制取抗拉试棒,只能利用本体取样做金相和化学成分分析的情况下,如何判定零件是否合格。试验结果表明,球化分级小于等于3级,石墨大小6级,珠光体数量小于等于珠30时QT450—10的抗拉强度和伸长率都能满足国家标准要求。在一定程度上可以用本体取样的试验结果代表该批铸件的质量。