一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

基于小波包与模糊神经网络的刀具状况监控

在自动化制造中,线监控刀具状况以保护刀具与加工工件显得越来越重要。近年来,许多研究者在此领域进行了广泛的研究,然而由于加工过程的不确定性,现有的刀具监控系统的可靠性还有待提高。本文提出了一种基于小波包分析与模糊神经网络的自适应刀具监控系统,该系统利用小波包分析方法将加工过程振动信号分解为不同的频率段,并在此基础上,建立了正适应特征提取方法,为模型神经网络提供最优的特征输入,然后模糊神经网络据此进行     

山丹湖环境水化学特征的主因子分析

用因子分析法和相关的统计方法研究了山丹湖的富营养化特征．从原始数据的相关矩阵出发,提取了占总方差８２％的两个主因子,并对主因子作出了合理的解释．主因子分析的结果表明,由氮营养化引起的污染是控制山丹湖富营养化水化学特征的主要因子．     

将乐县科协“金桥工程”活动成效显著

福建省将乐县科协4年来组织实施“金桥工程”项目67项,有1218名科技人员参与,项目内容涉及农业、畜牧、经作、环保、建筑、水电、乡镇企业、微机等行业．创经济效益近4100万元。其中上报省市科协232项．荣获省科协金桥工程项目二等奖1项,表扬奖4项。被县政府授予一等奖2项、二等奖10项《三明日报》曾三次报道了将乐县实施金桥工程的情况。     

曲霉型豆豉中高产酒精酵母菌的定向筛选及分子鉴定

从传统曲霉型豆豉发酵阶段的微生物用TTC培养基进行分离、初筛和复筛,获得1株高产酒精的菌株,用重铬酸钾法测定该菌株产乙醇的能力为2.14 mg·m L~(-1).将该菌株进行形态学鉴定及将所获得的ITS序列输入NCBI中进行Blast比对和构建系统进化树等分子鉴定,发现该菌株与酿酒酵母(Saccharomyces cerevisiae)的相似度高达100%,联合形态学鉴定和分子生物学鉴定,鉴定该菌株为酿酒酵母.研究结果为制作风味良好的豆豉提供基础,同时也为豆豉工业化生产提供良好的菌源.     

含钒钢渣在熔融NaOH体系中的焙烧过程

研究含钒钢渣在熔融NaOH体系中的焙烧过程,考察焙烧温度、碱矿比(NaOH与含钒钢渣的质量比)、焙烧时间对含钒钢渣中钒提取率的影响;获得最佳反应条件,并对反应机理进行解析,建立反应动力学模型。研究结果表明:含钒钢渣在熔融NaOH体系中的焙烧过程最佳反应条件为焙烧温度450℃,碱矿比5:1,焙烧时间60min,在此条件下,钒提取率稳定在90%以上。对钒提取率影响最大的为碱矿比,其次是焙烧温度和焙烧时间;含钒钢渣在熔融NaOH体系中焙烧过程受固体产物层扩散控制,表观活化能为39.4 k J/mol,动力学方程为2/31-2a/3-(1-a)(28)1.239exp[-39.4/(RT)]t。     

铁皮石斛“岩上仙”基本营养成分分析

铁皮石斛是名贵的中药材之一,含有丰富的营养成分。分析了春季和秋季收获的三年生仿野生栽培的铁皮石斛“岩上仙”茎和叶的水分、可溶性蛋白质、总蛋白质、粗纤维、脂肪、多糖、矿物质元素和氨基酸的含量。检测结果表明,与春季相比,秋季石斛茎中的水分(863.10mg/g)、多糖(289.90mg/g)、铁(71.10mg/kg)和硒(1.07mg/kg)质量分数较高;与茎相比,叶中的多糖质量分数虽然较低(秋季叶中多糖质量分数为162.30mg/g),但叶中有较高的可溶性蛋白质(4.20mg/g)、总蛋白质(67.03mg/g)、粗纤维(204.60mg/g)和脂肪(14.70mg/g),且氨基酸含量也明显高于茎,其中天冬氨酸和谷氨酸的质量分数最高,分别达到13.60mg/g和13.80mg/g。由此可见,不仅铁皮石斛的茎具有多种营养成分,而且叶也具有一定的营养价值,该资源不容忽视。     

某微型面包车正面碰撞变形控制与结构耐撞性优化

为提高微型面包车型在正面碰撞中的结构耐撞性能,针对GB 11551—2014《汽车正面碰撞的乘员保护》的相关技术要求,以某量产微型面包车为例分析此类车型车身结构在设计上可规避的弊端,并给出前期总体指导建议。然后运用LS-DYNA软件进行碰撞模拟仿真分析,结合微型面包车的结构特点,并考虑工艺可实施性给出合理的优化方案。通过整车试验验证,此优化方案有效地改善了车身结构耐撞性,碰撞效率值达到55.7%。同时,结果表明为减小乘员舱入侵量和门框变形量,最大限度地保障乘员的逃生空间,微型面包车前端至少应留有450 mm的可压缩吸能空间。研究成果可为其他此类结构的车型整车耐撞性开发提供参考。     

过表达veA对橘青霉美伐他汀生物合成的影响

在丝状真菌中,全局性调控因子VeA广泛存在并高度保守,调节多个次级代谢基因簇和生长发育.在橘青霉中克隆veA的基础上,通过农杆菌介导的转化获得了OE∷veA菌株.结果显示:veA过表达后,分生孢子产量下降61%,美伐他汀产量提高3倍.光照能促进橘青霉中veA的表达从而抑制橘青霉生长发育.这些结果提示在橘青霉中veA和孢子形成、美伐他汀合成密切相关.     

带时变时延效应的模糊神经网络均方指数输入的状态稳定性

在本文中,我们对一类带随机和时变时滞效应的模糊Cohen-Grossberg神经网络的均方指数输入对状态稳定性进行了研究。通过利用Razumikhin技巧和构造新的时滞微分不等式,我们得到了神经网络系统均方指数输入对状态稳定性的充分性判定条件。并给出了一个例子用来说明我们得到的结果的有效性。