共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
通过对多媒体数据模型、多媒体CAI写作工具及教学模式的研究,提出了一种适用于CAI写作工具实现的多媒体数据模型,使多媒体更好地应用于CAI领域。 相似文献
3.
链下支付通道网络存在用户节点无法根据实际需求选择转账方式、单次路由中仅使用单一路径发起交易导致的容错率低等问题。为此,提出一种基于链下支付通道网络的可选择多路径支付方案,可以为用户节点提供基于实际需求的距离最短优先、手续费最低优先以及距离和手续费综合度量3种转发选择;同时基于链下支付通道网络改进了开放最短路径优先协议,并根据节点所选的不同优先级构建多条路径以并行转发支付,相对于已有的方案显著提升了单次路由下转账支付的成功率;最后还设计了接收方节点确认转账成功后可主动释放其他路径的功能,以适当提高支付性能。 相似文献
4.
链下支付通道网络存在用户节点无法根据实际需求选择转账方式、单次路由中仅使用单一路径发起交易导致的容错率低等问题。为此,提出一种基于链下支付通道网络的可选择多路径支付方案,可以为用户节点提供基于实际需求的距离最短优先、手续费最低优先以及距离和手续费综合度量3种转发选择;同时基于链下支付通道网络改进了开放最短路径优先协议,并根据节点所选的不同优先级构建多条路径以并行转发支付,相对于已有的方案显著提升了单次路由下转账支付的成功率;最后还设计了接收方节点确认转账成功后可主动释放其他路径的功能,以适当提高支付性能。 相似文献
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
以太坊智能合约若存在安全漏洞,则会导致无可估量的损失。为缓解该问题,提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树,并翻译为XML中间表示;以几个经典漏洞的特征为例,书写自定义的XPath规则库;将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配,最终得到漏洞检测的报告。该文测试了3个经典合约,充分展示了SlightDetection具有更快、更准确的检测特性;对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证,进一步证明了该工具的有效性。 相似文献
15.
杨华斌 《湖南师范大学自然科学学报》1988,(2)
本文以具有相同的对角三角形的二次曲线的内接四点形和外切四线形的图形为基础,建立一个PG(2,3)的模型;在这个模型上扼要地讨论有限二维射影几何。 相似文献
16.
17.
18.
19.
<正> 一种新型的机械设计万能工具尺,近日已向中国专利局申请了专利。该工具尺主要是将现有的《机械设计手册》上、下两本,《六项互换性标准》、《紧固件手册》等数千页的手册综合起来,缩编为四把一套的拉尺。具体内容包括:公差与配合、形位公差、螺纹直径与螺距系列、配合与标准等。尺上所有图例、代号、尺寸标准、标准方法、数字等都一目了然,不用心算或口算,一看即得,从而改变了过去那种查阅麻烦、携带小便的状况,因而在 相似文献
20.