SDLSD:基于状态图的智能合约描述语言

智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基于状态图的智能合约描述语言SDLSD。该语言使用状态图描述合约条款与行为之间的逻辑结构关系,并通过词法、语法及语义分析生成可执行的Solidity语言。SDLSD实时支持语法检查、合约库引用和合约模板使用,同时跨平台编译和运行。测试结果表明,该语言不仅具有自然语言的简单性与可读性,还展现出更高的抽象语义,相较于已有方法具有明显优势。

卷积码盲识别树图遍历算法研究与仿真实验

针对现有卷积码盲识别算法在校验矩阵相同的情况下识别性能不佳的问题,提出一种基于树图遍历的卷积码盲识别算法,并对算法识别准确率进行仿真实验。算法基本思想是:遍历所有可能的输入序列,并依据输入序列构造下一状态,根据输入序列和状态这两个参数在卷积码树图中寻找符合要求的路径,识别出卷积码的输入⁃状态⁃输出转移表,然后构造方程组,估计出生成矩阵。实验结果表明,该算法能够有效地对卷积码进行盲识别,规避了从校验矩阵反推生成矩阵的过程中存在多个可能的生成矩阵的问题。

输变电工程中的一体化融合模式分析

阐述输变电工程中的进度控制方法优化,基于单代号网络图对两个前期的管理流程分析,实现两个前期的一体化融合管理,提升输变电工程管理的效率。工程实践表明,提出的融合管理模式具有较强的实用价值。

图形化网络图流程设计与计算软件

为实现便捷高效的工作流程辅助设计和参数优化,针对双代号网络图,设计箭线、节点等图形元素参数配置的面向对象类型和图形化编辑界面,在用户编辑完成网络图形的同时自动生成图形元素相互关系模型。运用拓扑遍历方式自动判断网络图规范性,计算关键路径和时间参数,为用户优化工作流程提供便利工具。结果表明,该设计能够为多领域工作流程优化提供辅助。

基于波像差理论的实数编码遗传算法优化XUV光学系统

由镜和光栅组成的XUV光学系统具有平面对称的性质,结合Lu平面对称光栅系统的波像差理论和均方根像差评价函数得到用以优化XUV光学系统的多参量目标函数。为求解该多自变量且大取值区间的目标函数,提出了一种基于十进制的实数编码遗传算法,并将其用于两种XUV光学系统的优化求值。将求得的优化值用光学仿真软件Shadow进行追迹,并和参考文献进行对比。结果显示本文优化后的光学系统在成像质量上有明显上升,表明波像差理论及本文的实数编码遗传算法可以有效地优化XUV光学系统,为此类系统的优化设计提供了新的思路。

地球化学填图与地球化学块体的谱系分析——编号系统及谱系树图的自动绘制

中国的地球化学填图研究工作起步较早并发展成为在国际上具有明显优势的学科。在此基础上提出的地球化学块体理论通过一定的编号系统绘制谱系树图来追索某元素在块体内部逐步浓集成矿的轨迹。通过谱系树图可以发现不同级别的子块体之间的亲缘关系,研究它们在时间和空间上的分布规律,结合已发现矿床的信息,预测潜在矿床的分布及其储量,从而指导找矿工作。提出了一种全新的谱系编号系统并编制了在计算机上自动绘制谱系树图的软件,同时实现了与原有编号系统的一致,解决了长期以来谱系树图不能自动绘制的问题,为地球化学块体的研究提供了一个很好的工具。

不同认知水平的解答编码对数学公式学习的影响研究

图形编码、示意编码和标签编码对公式学习具有不同的影响.高认知水平的图形编码在公式以情景方式呈现时,作业成绩最优;无论是否图形提示,在7天之后的回忆实验中,图形编码的回忆成绩最优,且图形编码对于图形提示极为敏感.

基于质性分析的装配式建筑激励政策研究

合理的激励政策制定与实施对推动装配式建筑的发展具有重要意义。文章采用质性分析方法对全国各地已发布激励的政策类型及具体措施进行了归类和梳理,建立了不同受益主体激励政策构成体系树状图,并对政策类型及具体措施进行编码统计,从而定量化分析了激励政策的倾向性。研究表明,现阶段针对企业的激励政策类型和措施比例较高,针对科研机构及消费者的激励政策比例较低,且存在政策类型制定不完善和具体措施指标不量化的问题。后期应完善不同受惠主体的政策类型,并量化政策措施指标;同时应根据不同的发展阶段制定和实施针对不同受惠主体的激励政策,逐步发挥激励政策在装配式建筑发展不同阶段的作用,从而促进装配式建筑的发展。

R6规范中安全裕量计算方法分析

首先阐述了双判据R6规范中安全裕量与单判据规范中安全系数之间的区别,然后分析了R6规范中安全裕量的计算方法,并给出了分析案例。由于单判据分析方法的限制,安全系数并不能表示结构能承受的载荷与结构允许承受载荷的比值;对于给定的安全系数,不同结构的安全裕量也存在着较大的差别;R6规范中安全裕量的取值与设备的结构和评估参数值的概率密度分布等因素相关,所以R6规范中并没有给出安全裕量的统一取值。

图版及图的CNMARC书目数据编制的规范化

图版及图是书目数据的描述内容,其涉及的CNMARC字段主要有105和215字段。对比分析《中国文献编目规则》和CNMARC105字段的"图表代码"可得,图版及图的CNMARC书目数据编制应以《国际标准书目著录》(统一版)为指导,进一步加强《中国文献编目规则》与CNMARC的协调性,将图版列为215字段$a子字段的描述内容,以重要性、顺序性和对应性等原则和方法著录215字段$c子字段,填写105字段的"图表代码"。

基于UML和．NET技术的高校科技信息管理系统实现

为提高学校科技处的工作人员的工作效率,实现数据共享,使工作人员能在浏览器上方便地录入、查询、修改、统计相关科技信息,普通老师能以远程方式上传、查询、修改自己的相关信息,设计并实现了高校科技信息管理系统。主要介绍了应用面向对象的UML建模技术设计的高校科技信息管理系统,ASP.NET下的MVC设计模式实现,以及ASP.NET关键技术在系统的应用,包括应用代码分离技术实现界面设计和程序设计分离,ADO.NET访问数据库的技术以及数据绑定技术。完成的系统已经在高校中得到使用。

基于前馈神经网络的分组码译码方案

在构造出分组码格图的基础上，利用一种基于前馈神经网络的多输入最小值选择网络实现分组码的软判决及硬判决译码．计算结果表明，前馈神经网络总能找到全局最优解，从而使该译码算法的性能同于最大似然译码．由于该前馈网络的计算时延非常短，且基于它的译码器与传统译码器相比硬件实现简单，从而使译码的复杂性降低，时延减小．

单音干扰对QPSK解调性能影响分析

QPSK调制技术具有误码性能好、频谱利用率高的优点,但在工程中杂散直接影响了其误码特性。在窄带系统中将杂散等效为单音干扰,建立了带单音干扰的QPSK模型,从理论上分析了单音干扰各种参数对QPSK解调性能产生影响的机理。指出单音干扰会导致QPSK星座图形变,甚至引起系统假锁,从而导致比特误码率升高,仿真结果分析了BER特性受各种参数的影响程度。指出卷积编码可以有效地抑制杂散,提高QPSK的误码性能,并通过仿真研究了卷积编码改善误码特性的适用条件。

基于内容结构图的鲁棒图像哈希

为提高拷贝检测系统的鲁棒性和效率,提出一种鲁棒图像哈希算法.用Gabor变换系数构建图像内容结构图,将它从笛卡尔坐标系变换到极坐标系进行归一化.将归一化的结构子图加权,求得特征向量,最后通过量化得到二值哈希码.基于Gabor系数的内容结构图有很强的鲁棒性和独特性,量化中采用的失真哈希码融合和双密钥进一步提升了算法的鲁棒性、独特性、紧凑性.利用公开数据库分别对所提出的算法和多种代表性算法进行对比实验,比较对象包括非负矩阵分解哈希、形状上下文哈希、圆环分割与不变向量距离哈希.实验表明,该算法在查准率和查全率方面均表现突出,匹配效率也有大幅提升,整体性能优于对比算法.

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。

自动洗车机可编程控制器的控制系统

根据自动洗车机的工艺过程和控制要求，采用C－60P型可编程序控制器设计了自动洗车机的控制系统。利用梯形图设计了条件编码顺序控制程序、时间控制程序、锁存控制程序及输出控制程序，硬件配置包括行程（限位）开关、电磁阀、交流接触器、电动机等电气设备。实践表明，该系统工作可靠，性能良好。

自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.

活动图并发语义代码自动生成算法设计

针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.

基于相似度的手写汉字笔划鉴别方法实验研究

针对手机和平板电脑上手写汉字主流的xml存储格式,提出了一种对识别用户手写汉字笔划的算法。算法首先从三种结构特征对手写汉字进行编码,然后计算用户字笔划、模板字笔划之间不同编码集合的相似度,最后组合多种相似度识别手写汉字的笔划,并通过三种应用实验验证方法的有效性。笔顺的判别一直是手写汉字识别的难点,文章中提出的方法笔顺的识别率高达95%以上。此算法在用户字的多笔、少笔判别、笔顺判别、整字的正确性以及美观性判别等方面都有着广泛的应用。

成卷系统图形代码化技术

本文根据电类学科的特点 ,对当前的成卷系统的图形处理情况进行改进 ,提出图形代码化概念 ,并设计出实现它的技术方案 ;提高了成卷系统的集成度 ,亦即降低了系统对其它制图软件的依赖程度 ,而且提高试题库中图形的复用率 ,更有利于成卷的自动化。该方案还可以推广到其它学科。