基于桥梁施工网精度的研究和探讨

在桥梁工程施工中，要使桥址地区在勘测阶段的控制测量从精度、点的密度和保存等方面满足施工的要求，必须建立桥梁施工控制网，其作用是用于桥墩放样和主梁架设。     

谈谈"远目标"导线联测方法

本文介绍了一种工程测量控制网建立的导线联测方法，在某些特殊的地区很适用，有一定的实用价值。     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

CORBA系统事务处理的模拟和分析

事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.     

一种改进的混合预测冗余CORDIC算法

CORDIC作为一种计算三角函数的向量旋转的迭代算法,其硬件结构简单,易于并行化处理和VLSI实现,因而在实时信号处理方面有广泛的应用前景。本文提出了一种改进的混合预测CORDIC算法。该算法利用混合预测方法的设计思想,讨论了在具体数据格式下,混合角度集中间值的确定,并给出了算法的实现结构。由分析结果证明此算法具有高运算速度与低资源的优势,在结构上较传统冗余CORDIC算法节省近60%的冗余符号判别运算。     

新的混合智能系统R-FC-DENN

以认知心理学、模型集成理论为基础,构建了集粗糙集理论、聚类理论、模糊逻辑理论、遗传算法理论、人工神经网络理论于一体的一个新的混合智能系统R-FC-DENN。它首先通过粗糙集将输入样本进行约简,然后用聚类技术将简化后的样本进行聚类,对不同的聚类使用经过遗传算法改进了的神经网络进行训练,接着将这些经过不同神经网络训练的样本用模糊权值组合起来,放入新的用遗传算法改进了的神经网络再进行训练,从而完成整个训练过程。最后用UCI下的实际数据库对提出的混合智能系统R-FC-DENN的实用性进行了检验,证明方法是可行的。     

硫酸铁溶液中方铅矿溶解的混合电位振荡现象

通过动态测量混合电位，研究方铅矿电极在不同浓度的硫酸铁溶液中溶解的动力学过程。实验结果表明：在35℃的0．10和0．01mol／L的Fe2（SO4）3溶液中，方铅矿的溶解存在电化学振荡现象，方铅矿电极的混合电位随时间发生有规律的波动；开放体系下由溶解氧驱动的方铅矿表面Fe^3＋浓度的周期变化、方铅矿电极表面单质硫的生成及其进一步氧化溶解、以及已反应方铅矿表面的缺陷层的重新生成和再分解，都将影响每个电极反应的中问步骤，所有这些因素的耦合和反馈，将会导致硫酸铁溶液中方铅矿混合电位的振荡变化。     

社会保障水平发展曲线与养老保险模式选择

中国的养老保险模式经历了从现收现付到统账结合的改革过程。文章从社会保障水平发展的倒U型曲线假说的三个阶段，比较欧洲养老保险制度模式的发展过程，分析了中国的养老保险从现收现付到统账结合的必然转折，并企图预测下一次转折的时间和方式，同时对转折过程中可能遇到的问题和对策进行了研究。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

汇率的混合经典脉冲控制--非对称因素和多边关系因素

该文在AbelCadenillast与FernandoZapatero关于汇率控制的基本框架下,对汇率的混合经典-脉冲控制模型作了改进.其一是考虑了汇率变化对多边关系所产生的不同影响;其二是考虑到汇率高于或低于目标时对经济造成的影响是非对称的;其三是考虑到较高的利率与较低的利率对经济的影响也是非对称的.文章对新模型进行了分析,得出了求简单控制策略的非线性常微分方程,并对其中只考虑随机脉冲控制的情况导出了解析解的形式,给出了充分性的条件.