While in pratical applications , the esd method still has drawbacks in graphical modeling capability , connections with products " structures , size control of esd models , and etc . through in - depth study of the esd method , this paper systematically describes the framework and its basic modeling elements of esd , explains the principles of risk modeling , gives the mathematical model of the basic modeling elements of the esd framework to support the quantitative analysis of the esd model . based on the research above , this paper expands the esd framework , which includes : to overcome the drawback in graphic modeling capability of the esd method , the paper invents some new logical modeling symbols like " n / k " gate , sequence gate , expandable gate and constraint , those enrich the modeling capability of the esd method . to overcome the drawbacks in connections with products " structures and size control , the paper explains the multi - layered modeling principles based on the esd 在上述研究基础上，对esd框架进行了扩展，包括：针对esd图形建模能力的不足，提出了“ n中取k门” 、 “顺序门” 、 “可扩展门”以及“限制”等新的逻辑建模图形符号，丰富完善了esd的建模元素；针对esd模型与产品结构关联及规模控制方面的局限，提出了基于esd的层次化建模原理，使得可基于esd进行层次模块化建模；针对esd与其它安全风险分析技术的综合运用问题，分别讨论研究了与故障树分析技术、马尔科夫状态转移图集成的esd ft和esd m方法，提高了esd建模的灵活性；针对动态系统风险评价模型的求解问题，讨论提出了运用esd求解动态概率风险评价问题的解析解或近似解析解方法，并予以了示例说明。
China marine oil spill contingency plan is now in the process of improvement . the inland waterway oil spill is another important area remain to be explored in term of increasing accident rate and booming shipping amount in yang tzi river . the need for inland waterway oil spill contingency plan is imperative . at strategic level , this paper compares several existing oil spill risk analysis methods including " historical date analysis " and " comparative risk indexes " , pointing out limitation of them , and then apply the " comparative risk indexes " approach to " river segment " spill risk analysis , developing " river segment oil spill comparative risk assessment framework " this paper also take new approach to collision and grounding in river by stochastic modeling tanker traffic in narrow waterway 本文在内河溢油反应战略规划层次上，分析现有的溢油风险评估方法，包括历史数据统计法和比较风险评估法，指出相关方法的适用性和局限性；基于长江下游水道采用“区段”和“河段”双层评估的思路，提出“长江下游河段比较溢油风险评估模式” ；将马尔科夫状态转移的思想应用到船舶运动描述中，从随机过程角度分析船舶在水道中的运行和事故发生，得出船舶事故概率计算模型。
The final results obtained in this paper contained that the optimal interpolation scheme highlighted by the covariance that the correlation between different time and the correlation between different place being considered ; that the simplification of kalman filter with the singular - value decomposition ( svd ) and the direct construction of state transition matrix pfeceded with " inverse vector expression " ; and that the analysis of t / p data and its blending with theoretical model 这些成果包括：建立考虑了时间相关的方差矩阵和时空相关的最优插值算法；对卡尔曼滤波算法进行了svd简化以及建立了显式的状态转移矩阵；将t p实时卫星数据进行调和分析并与数值模型进行同化处理。
By use of a kind of flow chart , we can easily and clearly describe many complexed control system , this paper also probe into testing technique of industry control software , when hardware ca n ' t meet the need of test , we can refer to software simulate , the following is the main content of this dissertation 并提出了一种基于c语言的状态转移图( sfc ) ，用来描述系统的控制流程。论文还探讨了控制软件的测试技术。在硬件条件无法满足测试的情况下，采用软件仿真模拟来代替各种硬件进行系统测试，并在实践中取得了成功。
The essay discusses the existence of mobilizable resources and the means of managing them through analyses of the work systems of civilian economic resources , macro management and , micro cost - effectiveness . the essay also demonstrates the feasibility of employing input - output analysis / models and state transition models in the management of mobilizable resources 通过对社会经济系统资源运作、宏观管理与微观投入产出分析,论述了可动员资源存在的客观性及可调节性,并探讨了投入产出分析与模型及状态转移模型用于可动员资源管理的可行性。
Test vector generation based on ant algorithm is presented and implemented , the pheromone computation formula for sequential circuits and status transfer rules are given , and the test results are compared with the results of the other existing test generators - hitec , gatest , cris , digate and strategate , based on standard sequential circuits iscas ' 89 and other synchronous sequential circuits 提出并实现了基于蚂蚁算法的测试矢量生成，给出了针对时序电路测试矢量生成的信息素计算公式和状态转移规则。在iscas ’ 89标准时序电路和几个同步时序电路上实现了测试生成，并将生成结果和其它现有测试生成器( hitec ， gatest ， cris ， digate ， strategate )的生成结果作了比较、分析。
I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien 前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。
First , using the scale - invariant property of multiscale model , i . e . markovian among scales , a method of qth - order tree - based for multiscale representation of a class of 1 - d stochastic process is presented . the multiscale stochastic model is established . the representation forms of parameter matrices , such as , the state transition matrix , the disturbance matrix , the initial state and the corresponding covariance matrix are deduced in detail 本文在已有工作的基础上，开展了以下几个方面的研究工作： 1 、根据多尺度模型尺度不变性，即利用尺度间的markov性，给出了一类1 - d随机过程基于一般q阶树的多尺度表示方法，建立了相应的多尺度动态模型，详细推导了多尺度模型中的状态转移阵、扰动阵、初始状态和相应的协方差阵，并通过计算机仿真给出了不同阶树的多尺度采样路径。
Meanwhile , different work - flow administer patterns are advanced in this paper in order to regulate the workflow administer service and exemplified the workflow process model . the author also advanced that in order to get the instruction for analysis research about the workflow engine this paper had navigated the administer of workflow by applying techniq ues involving motive node and control node drive and the conditional transfer of node 同时提出不同的工作流执行模式，对工作流执行服务进行规范，将工作流过程模型实例化，提出利用活动节点和控制节点的驱动、及节点的状态转移技术对工作流的执行进行导航，从而指导了对工作流引擎的分析研究。
The search space is divided into many small areas , and each area is given a certain pheromone value . according to the state transition rules , the artificial ants move to the next solution which is generated randomly or calculated by particle swarm optimization . local search strategy is also added into psaco so that the search speed and precision is enhanced 该算法首先将连续对象定义域平均分成许多边缘相互重叠的小区域,区域的稠密程度决定了算法解的精度,每个区域赋予一定的信息素值;蚂蚁根据状态转移规则在随机生成的可行解与利用微粒群算法得出的可行解之间选择下一步要去的位置;引入局部寻优策略,加强近似最优解邻域内的局部搜索,提高搜索速度和精度。
