一种优化的智能合约模版生成方法

针对业务流程智能合约部署到以太坊时Gas成本消耗问题,设计了一种优化的业务流程智能合约模版生成方法.通过将业务流程BPMN模型扩展为Petri网后,利用Petri网的化简规则进行化简,找出BPMN模型中可以视为融判任务的节点组合后,对原业务流程BPMN模型进行化简.提出一种BPMN模型到Solidity智能合约代码的映射规则,将化简后的业务流程BPMN模型翻译为优化的智能合约模版.经过以太坊部署测试,验证了优化的智能合约模版能够降低智能合约部署时的Gas消耗.     

抽象论域到数据结构的转换

给出了函数式语言到过程式语言转换的关键技术,即抽象论域到具体数据结构的转换技术.抽象论域的转换是抽象表达式到具体表达式转换、模式匹配处理的前提.函数式语言到过程式语言的转换,解决了函数式语言在具体实现和时间方面存在的大量动态函数复制的问题.这种转换技术可用于开发指称语义到解释器、指称语义到编译器、属性文法到过程式语言、属性文法到YACC(Yet Another Computer Compilier)输入文件的各种自动生成器.     

区域管制员认知过程风险分析方法研究

空中交通管理系统是一个典型的高交互、高分布式和具备联合认知特性的复杂系统。在总结区域管制员日常工作任务基础上,考虑流程中的消息和协作模式,采用UML活动图刻画认知过程中各个活动之间的逻辑关系,提出利用BPMN语言的规范性,建立区域管制员"确定/更新MP"任务模型,结合事件树分析方法拓展BPMN模型,实现风险定量分析。结果表明,此方法通过对管制员认知过程的跟踪和训练,根据计算得出的风险值可以确定流程中影响安全的薄弱环节,为空管风险识别与分析提供支持。     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

医学英语汉译的词性转换分析

汉语与英语在词法和语言结构方面都存在着很大的差异.因此,为了达到既忠实于原文又准确流畅的目的,翻译时应掌握一些必要的翻译技巧,词性转换即是其中之一.医学文献尤其要求语言的严谨周密,本文即通过举例,说明了医学英语汉译中词性转换的常见类型,以期使译文达到医学文献的特殊要求.     

基于BPMN和BPEL的流程管理技术柔性原理分析

从体系结构和技术标准本身分析了面向服务的,基于BPMN和BPEL的新一代流程管理技术柔性实现的原理。     

流程图与类C语言实时转换方法

为了融合图形化和文本语言2种编程方式的优点,提高教育机器人编程平台的直观性和通用性,结合编程平台要求,设计出流程图与类C语言双向实时转换方法.在进行流程图到类C语言转换时,实时根据各个模块间的父子关系遍历模块树,并根据功能模块封装的库函数和语句完成转换,在转换过程中实时进行类c语言规则检查.在进行类c语言到流程图转换时,首先通过词法分析、语法分析和语义分析生成XML代码,再进行统一解析生成流程图.在转换过程中实时进行错误检查,出现错误所在行会高亮显示以提示用户,并给出错误原因以便于用户修改程序.最后,通过典型结构转换实例和应用,验证了所提出方法的有效性和正确性.     

从文化差异看英语习语的翻译

习语是语言的精华,在体现语言的文化差异上,习语比其他语言成分更具有典型性、代表性.翻译过程既是语言的转换过程,也是不同文化的转换过程,在翻译习语时,必须了解其文化差异并采用适当的翻译方法.     

试论翻译的可译性限度及转换策略

本文从语言和文化方面来探讨可译性限度存在的理论依据并试图探讨如何解决可译性限度的一些可行的转换策略.     

西方语言学理论中转换生成语法的发展

以美国乔姆斯基为代表的转换生成语言学,主要是运用转换生成的理论和方法研究语言.转换生成语法的研究价值和意义重大,在于生成语法主要研究人类普遍的获得和识别语言的内在能力.在研究方法上,生成语法主要建立对语言规划演绎推导的解释程序.在研究目标上,主要追求语言分析的形式化和精密化,使语言学成为有充分解释力和演算力的实用科学和自然科学.     

寄存器传输级存储器工艺映射算法

给出了用库中的一组存储器模块来综合一个源存储器模块的方法，该方法支持使用高层次综合和设计再利用的现代VISI设计方法学。定义存储器的映射为端口映射、字长映射和字数映射。最后把这3个子问题综合起来形成完整的算法。实验结果表明，寄存器传输级工艺映射（RTLM）在高层次综合中对存储器的设计再利用是一种有效的方法。     

双相机结构光系统中两相机定标与映射计算

研究双相机结构光系统中两相机图像的对应关系，基于结构光系统平面约束DLT模型，分析了两相机成像的对应关系，推导了两相机图像映射计算公式，提出了双相机结构光系统中两相机的定标算法，实验结果表明此算法可以达到较高的精度，证明了分析的正确性。     

基于多物品拍卖的网格资源映射算法

提出基于多物品拍卖的资源映射算法.该算法借鉴市场模型中的拍卖机制,通过用户代理、资源代理和资源的交互作用,限制资源的欺骗行为,得到资源映射结果.证明了该算法的收敛性、真实性和收益最优性,给出了无效边界的大小.对GridSim网格仿真包进行了修改,建立了模拟实验环境.模拟实验表明,算法需要较少的交互量,与传统算法相比,该算法能够有效地配置资源和满足用户的服务质量需求.     

多项式隐函数在一点邻域里的近似显式算法

利用隐函定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式，使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用。     

XML模式到关系模式的递归结构映射算法

分析现有XML模式到关系模式的各种映射算法的不足,提出针对递归结构的映射算法:XML2DB-recursion- mapping.该算法可以保留递归结构,建立符合范式的关系模式.递归关系从关系模式恢复到XML模式的实验证明,XML2DB-recursion-mapping具有可逆无损的算法特性,具有比已有算法更好的映射结果.     

基于DTD元素树的XML与RDB的双向映射算法研究

分析了XML文档到关系数据库的映射方法,并提出了元素树和元素树节点与其他类型数据之间的映射算法.在此基础上建立了XML模式和关系模式之间的双向映射模型,并给出了双向映射模型算法,从而完成了XML与RDB数据转换.     

基于无向图转有向图的同构判别

无向同构图指的是在两个图中寻找顶点之间的映射关系,通过映射使原本形式各异的两图中的各条边保持对应的关系.为了有效提高寻找无向同构图的时间效率、简化操作,首先研究了无向图同构的矩阵存储方式,并针对性地提出了把无向图转换为有向图的同构算法.与矩阵存储算法相比,该判定算法的时间更为简短.最后给出了实现该算法的相关程序以及用该算法对无向图进行判定的过程和结果.     

基于分布式加权多维定标的节点自身定位算法

提出了一种基于对称K最邻近（SKNN）传感器网络节点分布式精确定位算法．该算法首先采用SKNN方法选择每个节点的邻居节点，通过接收信号强度（RSS）方法测得每对节点之间的距离，构建节点距离矩阵，并以距离矩阵为输入，应用分布式多维加权算法对矩阵进行处理，从而获得传感器网络节点之间的局部映射关系．最后，根据参考节点的坐标对节点局部映射关系进行匹配，以获取节点坐标的全局映射．仿真实验表明，采用所提算法可以加强定位精度，提高计算效率，在有25个节点的传感器网络中，定位误差要比dwMDS方法低大约5%。     

复杂曲面上任意方向曲线映射的计算

针对在ＣＡＤ／ＣＡＭ 中经常需要在复杂形体上描绘曲线,提出了由自曲面上映射曲线的计算方法。通过把沿任意方向曲线向曲面映射的问题,转化为一系列等参数曲线与一般柱面的求交问题,减少了工作量,提高了计算效率,由于该方法通过计算参数空间的映射曲线来求出模型空间的映射曲线,使最终结果更加准确,同时采用了ＮＵＲＢＳ方法,使所有的曲线曲面表示都统一在同一种形式之下,更有利于后续的处理工作