树上路径过程的随机路径条件概率的极限性质

本文研究了树上路径过程的极限性质.利用构造鞅的方法得到了树上路径过程的条件概率调和平均的极限性质.所得结果推广了树上非齐次马氏链随机转移概率和任意随机变量序列随机条件概率的调和平均极限性质.

关于选择函数路径无关性条件的一个注记

通过对选择函数路径无关性条件 LPI和 L SPI的分析 ,重新确定了条件 LPI和LSPI间的相互关系 ,所得结论表明 :条件 LSPI和 LPI相互独立而非条件 LSPI隐含

浅谈大学生创业的路径条件与实施方案

调查发现目前发达国家大学毕业生创业率在20-30％，而我国仅为1-2％。面对我国当前如此严峻的就业形势，探索大学生就业的新途径迫在眉睫，而加强大学生创业教育，转变大学生的就业观念，理清大学生的创业思路，拓展创业实践基地，是一条可行而有效的道路。文中从当前的大学生就业形势出发，分析了大学生实现创业的必要途径。

树上路径过程的随机路径条件概率的强极限定理

本文研究了树上路径过程随机转移概率和状态序偶出现频率的强极限定理.通过利用若干重要不等式,获得了树上路径过程的随机路径条件概率用不等式表示的几何平均强极限定理以及树上路径过程关于状态序偶出现频率的用不等式表示的强极限定理,所得结果推广了树上马氏链及非齐次马氏链中的结果.

路径条件生成中的优化策略

为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。

复杂约束条件下求解带权最短路径方法

为了解决复杂网络条件下带权最短路径问题,提出了基于压缩图的禁忌搜索算法。通过基于约束条件的图压缩算法,将复杂约束条件下的带权最短路径问题转化为旅行家问题(TSP),并通过优化禁忌搜索算法来求解复杂约束条件下带权最短路径问题。仿真结果显示,基于压缩图的禁忌搜索算法具有求解快、时间复杂度低、收敛快、对图规模和约束条件不敏感的优点。

不确定条件下交通网络的动态最优路径求解算法

针对不确定性条件下的最优路径问题,引入行驶时间波动性及路段间相关性,定义最优路径为一定概率保证程度下行驶时间期望值最小的路径.以Dijkstra算法为基础,从不同路段行驶时间相互独立及相互关联两个角度,分别建立动态路径寻优模型和时间期望函数模型;设计适用于不确定条件下搜寻最优路径的BEST算法,并通过仿真实验验证模型的可行性.结果表明:时耗方差选择的差异化会导致最优路径解的多样化;考虑路段间相关性后绕城公路对市区公路的选择替代性增强.

关于Plott路径无关性条件的注记

研究了选择函数的路径无关性问题 .探讨了路径无关性问题的起源 ,给出了Plott路径无关性条件的形式化表示 ,并对各种路径无关性条件的相互关系进行分析 ;在此基础上 ,探讨路径无关性条件与理性选择函数间的相互关系 .所得结论表明 :社会选择的路径无关性要求并不能导致群 (社会 )的完全理性假设必然成立 .

关于高校德育管理者生成哲学素养的思考

哲学素养是人们在言行举止中体现出的哲学意识和修养,具有反思批判性、实践性和超然性等特点,是高校德育管理者必备的基本修养。哲学素养影响着德育管理者的精神境界、专业发展以及学生观的确立。深厚的教育情怀以及潜心修学是个体哲学素养形成的主观条件,相对自由的精神成长空间是哲学素养形成的客观条件。研读哲学经典,注重实践积累以及养成批判反思习惯是哲学素养的基本生成路径。

审批流程模型的路径选择策略研究

审批流程作为工作流应用的实例,将业务和流程进行了解耦,有效地支撑了业务单据的审批、流转,在企业信息系统中应用广泛。在审批流程的执行过程中,为了使得设计的审批流程模型能够灵活应对各种审批需求,例如流程撤回、委托代理,提出了一种基于有向图的审批流程模型,并探讨了模型的路径选择策略。将流程路径划分为条件路径、缺省路径和默认回退路径,给出了各自的定义、优先级划分和匹配策略,基于三种路径形成了流程通过的路径选择策略和流程退回的路径选择策略。这些策略使得流程模型的灵活性得到了提高,使之能够支持流程撤回、委托代理、条件分支流程、子流程等复杂审批业务,通过一个请假流程的实例描述,验证了该策略的有效性。

K最短路径算法综述

为了进一步推广应用K最短路径(K shortest paths,KSP)算法并为深入研究该类算法提供相关资料。根据路径限制条件,将KSP问题分为一般KSP问题和限定无环KSP问题,归纳总结了求解每类KSP问题的基本思路、研究现状和研究进展。KSP问题非常复杂,在实际应用中所需处理的数据规模非常庞大,使得算法效率成了评价KSP算法的一个重要指标。在分析各种KSP算法时尤其关注其时间复杂度,指出KSP问题未来的研究方向,将为满足多约束的最短路径等问题的研究提供有益的参考。

英汉延伸路径虚构运动表达的路径及方式

Matsumoto认为英语虚构运动表达中存在路径条件和方式条件。路径条件表明运动路径的一些特性在表达中必须被体现出来。方式条件表明运动方式的特征不能体现在表达中,除非运动方式用来表明路径特性。通过对汉语的研究发现,汉语虚构运动表达中也存在路径条件,但是方式条件在汉语中却存在一定的局限性,因为表达不能完全排除主体运动方式的体现。研究表明语言现象背后的认知模式具有人类普遍性和基于不同文化的特异性,而认知模式的异同又导致语言表现的多样性。

道路转向延迟的动态对偶图模型

传统的道路转向延迟对偶图表达法缺乏对交通网络时间依赖特性的考虑,不适合动态路径规划问题的求解。本文将时间因素引入到对偶图中,发展了一种动态对偶图模型,将交通路网表达为动态对偶网络,并为之定义了FIFO(先进先出)条件,推导了满足FIFO条件的动态行程计算方法,设计了时间依赖的标号设定最短路径算法。实验结果表明,利用该对偶图模型和动态对偶网络,能有效表达路网转向延迟,在以出行时间为标准的动态路径规划中,基于动态对偶网络的路径规划结果可节省约16%的出行时间。

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义。实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化。

用于连续体的间隙非线性参数辨识方法

间隙在机械系统中是不可避免的,由间隙引起的接触非线性会严重影响系统的动态响应,使其偏离理想状态,进而降低机械系统的性能和使用寿命。若能利用系统的动态信息识别出间隙非线性参数,就能为机械系统的间隙控制提供依据。针对含间隙连续体系统,提出一种改进的恢复力-位移曲线和条件逆向路径法相结合的间隙非线性参数辨识方法。将哈密尔顿原理推导得到的微分方程简化为空间缩减模型,在获取系统输入和输出的基础上,使用改进的恢复力-位移曲线方法识别连续体系统的间隙值,再利用条件逆向路径法识别间隙接触刚度。整个识别过程在Matlab软件中进行仿真,并在设计的含间隙悬臂梁试验台上进行了参数辨识试验,仿真和试验结果均显示了较高的识别精度,验证了该方法的有效性。

人民币国际化进程面临的挑战与选择

在全球经济更加复杂的环境下,人民币国际化迎来绝佳的历史机遇。目前,中国在具备经济规模、政治实力、贸易支撑等条件的同时也存在金融市场不发达、人民币尚未自由兑换等障碍。人民币的国际化,两个"三步走"已基本达成共识,但其时间进程等方面仍有待细化、深入。

针对复杂路径条件的固件测试方法改进

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法。该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检查这一复杂路径条件。使用该方法改进了固件测试方案p2im(processor-peripheral interface modeling)。真实场景下的固件测试结果表明,改进的方案(improved processor-peripheral interface modeling,Ip2im)在固件测试中基本块覆盖率和函数覆盖率都有提升,可以成功绕过固件的校验和检查。

关于锅炉NO_x生成机理及科学超低排放的理论研究

应用化学反应和燃烧学的基础理论,研究锅炉烟气中NO_x的生成条件和路径,认为NO_x主要是在燃料完全燃烧之后生成的。其生成的主要原因是:烟气温度高于1 500℃;烟气中含有多余的氧;含氮燃料挥发分挥发太快;燃烧组织不合理。提出了锅炉NO_x超低排放的方法。

基于相遇紧密程度估测的延迟容忍网络路由

针对延迟容忍网络中节点运动状态变化频繁、通信路径不完整,使得转发消息仅能通过节点相遇而获得连接机会来完成,以及在不知节点间相关性的延迟容忍网络中盲目转发消息易导致其转发成功率较低等问题,提出了基于相遇紧密程度动态估测的延迟容忍网络路由策略。通过设计节点间的条件相遇时间间隔和连接持续时间的计算模型,来确定节点间关系的紧密程度;定义延迟容忍网络模型,构造最短路径择取机制,动态地选出条件最短路径,对消息进行转发。仿真数据对比显示,所提策略可有效改善网络性能,提高消息成功投递率,降低传输时延和负载率。

软件开发企业如何进行纳税筹划

伴随着市场经济的发展,我国软件行业呈现出全面进步的态势,整体企业发展体系初见规模,不仅实现了市场竞争力的优化,相应的收入水平和盈利能力也在增加,基于此,要想提升市场竞争优势,就要建立科学统筹的纳税管理模式,确保能从根本上强化企业发展实力。本文集中分析了软件开发企业纳税筹划的条件,应对具体的纳税筹划方式展开了讨论,仅供参考。