业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

社交网络交通信息出行者使用意向分析模型

为解决出行者对社交网络交通信息的使用意向缺少定量描述方法的问题,在技术接受模型的基础上,以感知有用性、感知易用性、感知风险性、使用意向等7个潜变量描述出行者的心理感受,构建社交网络交通信息使用意向分析模型,运用结构方程模型定量分析潜变量对使用意向的直接或间接影响效应。最后将模型应用于重庆市出行者实例分析中,结果表明：感知风险性(-0.41)对使用意向具有负向影响,其余变量对使用意向均为正向影响,其中感知易用性(0.48)、感知有用性(0.46)对使用意向的影响总效应最为显著。     

基于分层递阶模型的多轴加工过程分析与运动度量规划

针对复杂曲面多轴数控加工过程的复杂性,提出了一种面向多轴加工的分层递阶构造模型,即利用铣削过程的几何、运动学与力学模型综合分析多轴加工规律.切削工件几何模型采用深度元素法,通过分析刀具与工件接触区域,得到刀具在不同瞬时的轴向范围及沿轴向各微元的切入角和切出角,转换为铣削力模型所需的几何信息,同时运动学模型又为几何与力学模型提供计算依据.采用序列二次规划法优化进给速度,使机床工作在多个约束条件的最大范围值内.五轴螺旋桨加工实验表明,在满足加工精度条件下,优化的进给速度使零件加工效率提高约20%.     

Proposed Methodology for Generation of Building Information Model with Laserscanning

For refurbishment and state review of an existing old building, a new model reflecting the current state is often required especially when the original plans are no longer accessible. Laser scanners are used more and more as surveying instruments for various applications because of their high-precision scanning abilities. For buildings, the most notable and widely accepted product data model is the IFC product data model. It is designed to cover the whole lifecycle and supported by various software vendors and enables applications to efficiently share and exchange project information. The models obtained with the laser scanner, normally sets of points ("point cloud"), have to be transferred to an IFC compatible building information model to serve the needs of different planning states. This paper presents an approach designed by the German Research Center in Karlsruhe (Forschungszentrum Karlsruhe) to create an IFC compatible building information model from laser range images. The methodology through the entire process from data acquisition to the IFC compatible product model was proposed in this paper. In addition, IFC-Models with different level of detail (LoDs) were introduced and discussed within the work.     

人工神经网络与计算机

探讨人工神经网络的计算机实现,从软件和硬件两方面阐述其实现过程,并从其数学算法中导出了计算机的实现算法.     

基于神经网络的时变时滞系统自适应内模控制

将基于人工神经网络的时变时滞系统参数辨识算法与内模控制相结合,提出了时 滞系统自适应内模控制算法,理论分析及仿真结果表明,该算法能克服时滞及参数的变化,具有鲁棒性好,抗干扰能力的特点。     

农民工养老保险的模型分析及政策建议

本文根据精算价值方程建立农民工养老保险模型。假设农民工养老保险缴费金额随工资的年增长率的变动而变动,采用基金的年保值增长率来抵消因通货膨胀带来的消极作用。并对模型进行分析和应用,得到了较为合理的结果。最后,针对本文模型提出了关于帐户类型、缴费方式、退休金发放的一系列问题的政策建议。     

具年龄结构的metapopulation的空间分布模型

运用Leslie矩阵和Markov链建立了一个具年龄结构的集合种群随时间动态变化的空间分布模型,给出了集 合种群持续存在以及灭绝的条件.     

复杂储层三重孔隙结构评价方法及其应用

复杂储层储集空间由孔、缝、洞组成,具有很强的非均质性。正确认识和评价复杂储层的形成机制、控制因素和分布规律,关系到油气勘探的成败和油气开发效率的高低。运用常规测井资料,建立了符合非均质各向异性特点的三重孔隙结构测井解释与评价模型,利用双重孔隙指数对孔隙度进行了校正,无须高新测井技术即可对复杂储层进行有效的评价。此方法在富台潜山油气藏应用中经试油检验,与实际符合率超过80%,证实该研究思路对复杂储层油气勘探具有推广应用前景。     

一种均一孔结构模型的制备和表征

对于８５～１０００ｎｍ的无孔单分散二氧化硅颗粒,采用重力沉降、离心沉降和压片等方法制备了孔结构模型,并采用扫描电镜（ＳＥＭ）、Ｎ２吸附法和压汞法考察了模型的结构特点。这种孔结构模型完全排除了微孔的存在,孔分布集中,孔径大小随着颗粒粒径的变化而变化,但孔隙度与粒径基本无关。由这３种方法得到的孔结构模型的孔隙度均小于３５％,孔径都没有超出球形颗粒不同的有序排列形式的间隙孔尺寸的理论范围（０．１５５～０．７３２倍粒径）。颗粒粒径的大小、制备方法对孔结构模型的结构有一定的影响