流敏感的跨过程指针别名分析

对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。

一种基于契约的跨过程安全分析方法

针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法.该方法自下而上分析遍历程序中的函数体,将跨过程分析转变为过程内分析.通过为变量和函数附加契约以记录其前置和后置条件,并在程序分析的过程中按照规则更新契约,使得在程序分析时自动进行安全检查.该方法具有代价小,灵活性强的特点,可用来检查程序中指针非法引用、内存泄漏及其他资源泄漏等安全漏洞.

跨组织业务过程协同并行建模

为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。

跨组织过程集成的业务过程管理框架研究

集成管理已经逐渐成为了研究领域的热点问题。国内很少文章从过程集成的角度,整体考虑业务过程管理。然而,过程集成已经变得相当的重要。本文先总结过程集成等有关概念,然后概述过程集成管理的实施框架。在此基础之上,提出面向跨组织的过程集成管理框架,一定程度上,指导BPMS的实施,从而达到跨组织业务过程的无缝集成。

一种多视角的跨组织业务过程建模方法

为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。

CO_2跨临界循环吸热过程换热性能理论分析

通过对两相流型和干涸现象进行分析 ,发现 CO2 在吸热沸腾过程中 ,环状流是主要的流型 ,液滴夹带和沉降是支持环状流最可能的机理。与其他制冷剂相比 ,CO2 出现环状流以及发生干涸时的干度值要低得多。并且干涸前和干涸后的传热特点 ,以及关联式形式存在很大差别 ,应该区分对待。因此 ,研究能淮确描述 CO2流动沸腾换热关联式 ,为 CO2 跨临界制冷循环蒸发器的优化设计提供理论依据 ,是非常必要的。

一种跨边界业务过程集成平台

针对分布式异构环境下业务过程集成效率低、动态性差等问题,文章提出了一种跨边界业务过程集成模型,通过将跨边界业务过程集成模型构建为包含业务过程层、自治域内业务过程集成层以及跨边界业务过程集成层三个层次的层次模型,将每层问题简化,并通过层次间的紧密耦合解决复杂的实际问题。基于层次模型构建基于WebService的业务过程集成平台的体系结构,并利用业务过程动态协商技术,动态选择可提供个性化服务的服务提供者,按照合作双方协商结果进行实际业务过程集成,以提高跨边界业务过程集成的效率和动态适应能力。

跨组织业务过程协同多视图模型

为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。

跨组织业务过程建模

跨组织业务过程使组织能够彼此进行交互和合作,以达成各自的商业目标。提出了一种跨组织业务过程的建模方法。首先,该方法使用有穷状态机建模参与组织的业务过程;其次,定义异步通信;最后,在异步通信模型下,将业务过程组合为跨组织业务过程。

中国留学生跨文化适应过程和影响因素研究

本文基于跨文化适应过程的U型模式,通过对在世界9个国家和地区学习的29名中国留学生进行问卷调查及深度访谈,探究赴外中国留学生的跨文化适应过程及影响因素。研究结果显示,无论是否实现跨文化适应,这些中国留学生都经历了跨文化适应过程中的蜜月期、危机期和恢复期。其中,语言能力和文化距离是最影响该过程的因素。

大跨度拼装式钢桥桥跨推送过程典型工况动力学特性研究

采用环境激励法进行了大跨度拼装式钢桥桥跨推送过程典型工况结构的模态测试,得到了自振频率、振型和阻尼比等振动参数,将模态试验结果与有限元计算结果进行对比分析,结果表明计算结果与实测结果基本吻合,验证了有限元模型的正确性。利用有限元模型进行了结构谐响应分析,根据结构整体竖向动力特性相等的原则,提出了桥跨推送过程典型工况的简化动力学模型。

业务过程仿真联邦的设计与实现

为了解决跨企业业务过程的仿真问题,将高层体系结构应用于业务过程仿真领域。给出了业务过程仿真联邦的体系结构,将业务过程仿真联邦分为业务过程仿真联邦对象模型、管理联邦成员、业务过程仿真联邦成员和仿真运行监视联邦成员4个组成部分;提出了业务过程的仿真联邦对象模型;讨论了业务过程仿真联邦生命周期的管理方法、各个联邦成员的职责和时间管理方法以及联邦成员订阅和发布的对象属性和交互,给出了链式、嵌套式和并行同步3种互操作模式下,业务过程仿真联邦成员订阅和发布对象属性和交互的原则。最后,结合某型号直升机旋翼虚拟设计过程,给出了建立业务过程仿真联邦的实例。

结合Petri网与进程代数的业务过程协同模型研究

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。

孙子兵法研究对于跨考生的启示与思考

随着我国研究生教育规模的不断扩大,招生人数呈逐年上升趋势。跨学科报考研究生的现象也日益突出。由于跨考又是一项掺杂着感情、理性、抉择、喜忧的工作,其中涉及很多关于心理、谋略、博弈、权衡的知识。而孙子兵法就是这样一部暗含着人生哲理、谋略心理和博弈抉择论的书籍。作者运用分析比较法和访谈法窥探跨考之路,旨在将孙子兵法中的精髓融入到跨考中,从而给“准跨考生”们提供借鉴和指导。

业务过程的同步通信合成

为实现共同的商业目标,业务过程间需要进行交互和协作。同步通信模型是一种经典的通信模型。本文以Petri网为形式化基础,讨论了同步通信模型下,业务过程模型间的同步通信合成,并通过例子,说明了该方法的有效性。

业务过程的异步通信合成

为实现共同的商业目标,业务过程间需要进行交互和协作。基于消息缓冲区的异步通信模型是被广泛用于并发分布式系统中。本文以Petri网为形式化基础,讨论了异步通信模型下,业务过程模型间的异步通信合成,并通过例子,说明了该方法的有效性。

大斜角桥梁的跨径拟定方法

在分离交叉设计中，经常遇到桥梁和道路的斜角和桥涵标准图的斜角不相同，或所成的斜角〉450，此时选用适当的桥涵跨径比较困难。若不经过认真繁琐的绘图计算，会使桥梁跨径偏小不适用或偏大不经济。本文从平面几何原理，按单幅双幅桥设计分成4种情况分别讨论跨径的计算公式和分跨计算过程，以求能比较方便地处理这种情况下的设计问题。

滨江城市跨江发展模式、过程及驱动机制

跨江发展是滨江城市拓展生长空间、实现跨越式发展的重要举措。在对国内外跨江发展城市分析的基础上,从跨江主体组织方式的视角,探讨了城市跨江发展的一般模式和过程,分析了城市跨江发展的影响因素和驱动机制。研究表明:(1)城市跨江发展可分为独立跨越、组合跨越、兼并跨越和联合跨越四种模式,其中,独立跨越和兼并跨越是我国较为常见的两种跨江发展模式;(2)城市跨江发展一般经历初始、生长、加速发展和稳定发展四个阶段。小江河流域城市的跨江发展为渐进过程,多为城市自组织结果,而大江河流域城市的跨江发展主要集中在加速发展期,多为他组织结果;(3)城市跨江发展受自然、经济、社会、政治、科技等多种因素影响;(4)跨江发展过程受需求力、保障力、引导力和驱动力等共同驱动,其中,政策引导下的体制创新、区划调整下的空间整合、园区带动下的区域发展、交通引导下的空间组织是当前城市跨江发展最为重要的引导和驱动因素。

从两个关系因素看过渡语僵化

僵化是过渡语体系明显的特征,指的是过渡语中的某些语言项目、语法规则和系统知识还没有达到目的语状态时就停止发展,某些语言错误已经作为一种语言习惯固定下来,进一步学习也不能改正。对此,外语教师在考虑其它因素的同时,应该努力创建良好的课堂交往氛围,提高对学生的外语输入质量,以积极、恰当的方式对学生的外语输出进行反馈,不断加强目的语文化的输入,以避免或减少僵化的出现。

基于数据流的指针别名分析

文中提出了一种跨过程指针别名分析的框架,研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信息的方式,并且在不同调用上下文函数调用点处指针指向模式相容的函数体无需重新分析。