基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题.前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定.通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败.分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定.     

认知无线电Mesh网络路由选择的动态分层图模型

为了能够对认知无线电网络路由协议进行有效的分析,特别针对其动态频谱特性,需要一个动态的路由模型。提出了动态分层图模型,通过子节点的划分,用子节点的状态反映信道的可用性,并将每个子节点的状态看成一个随时间变化的随机变量,通过子节点状态的动态性,建立认知无线电网络的拓扑和连通性动态模型,并对动态分层图的性能进行了仿真分析。仿真结果表明,动态分层图模型在适应频谱的动态变化和描述认知网络的拓扑结构方面,表现出比静态分层图模型更加优异的性能,能够有效地适应认知无线电网络的动态频谱特性。     

水平地震力作用下钢筋混凝土异形柱框架结构设计

由于钢筋混凝土异形柱截面几何性质的特殊性,需考虑不同地震作用方向下结构的反应.结合工程实例,对钢筋混凝土异形柱框架结构在不同方向的水平地震作用下进行受力分析,对自振周期、轴压比、柱底层剪力和层间位移角进行分析.结果表明,L形异形柱方向性较强,应考虑45°和-45°地震作用方向的计算,同时应调整异形柱平面布置形式,使其刚度中心尽量与形心重合,以此减小扭转效应对结构的不利影响.     

梁桥非线性随机地震响应的概率特性

为了分析随机地震作用下桥梁结构非线性响应的概率特性,采用Monte-Carlo数值模拟的方法,并利用弹塑性纤维梁柱单元模型模拟梁单元的非线性行为,对连续梁桥在不同地震峰值加速度作用下的非线性位移及内力时程响应进行了研究.得到了:墩顶位移非线性包络响应服从对数正态分布;桥墩轴力非线性包络响应的概率分布介于对数正态分布和极值I型分布之间;墩底剪力和弯矩非线性包络响应近似服从正态分布;墩底曲率非线性包络反应服从对数正态分布.研究表明:在相同场地条件下,地震峰值加速度的变化不影响结构非线性响应的分布类型,但对非线性响应的变异性影响较大.     

我国会计规范体系建设的探讨

：加入WTO后，我国企业要从事跨国经营参与国际竞争，必须按照国际惯例建立适合我国国精的会计规范体系。会计准则是国际通用合计惯例的一个组成部分，而会计制度的规范形式符合我国广大会计人员的思维方式和习惯。现阶段，会计制度在实践中仍起到重要作用，不能彻底废除，必须把准则与制度两有机结合起来。     

东莞市推行"三个集中"的实践和成效

本文介绍了东莞市推行“三个集中”的做法，即集中财力、集中支付和集中核算，并总结了推行“三个集中”的成效。     

羊毛细度测试方法综述

简要介绍了3种测试羊毛细度的方法，包括它们的测试原理、适用范围及采用标准、测试指标、影响浊试结果的主要因素以及各自的优、缺点。     

馈能型悬架结构参数的分析与试验

提出了一种馈能型悬架来回收悬架间的振动能量，为研究其使用性能和馈能性能，根据液压传动理论对静液式馈能装置的力学特性进行了分析和台架试验．研究表明馈能装置的力学特性由其结构确定的粘性阻尼参数和类似库伦阻尼参数来体现，同时得到了它们的数学表达式．馈能装置力学特性的试验测定结果与理论分析结果相吻合，从而完成了对馈能装置力学特性的解析，为对馈能型悬架进行更深入的理论与试验研究提供了基础．     

智能技术在电子公务中的应用分析

着重介绍了电子公务中使用的或将要使用的智能技术，包括基于智能学习的智能信息检索(Intelligent Information Search)、智能信息检索、智能网上监控和学习智能体(Learning Agent)。     

卡尔曼滤波理论及其在地震勘探资料处理中的应用

本文给出了卡尔曼滤波的理论描述,从一个动态系统的状态空间表示法出发,给出了随机过程的卡尔曼滤波方程,说明它仍是一种最小平方滤波,但这种滤波方程不仅适用于线性时不变系统,而且适用于非线性时变系统。采用递推方法计算,既方便又简洁,而且保证其收敛性。这种方法非常适用于地震资料的处理,诸如滤波、反滤波和预测滤波等,可以大大提高地震资料的信噪比和分辨率,文中给出了应用实例。