生物碱类化合物的抗肿瘤研究概况

多种生物碱类化合物显示了良好的抗肿瘤作用。本文综述了近年报道的生物碱化合物及其修饰物的抗肿瘤作用及机制,以冀为抗肿瘤药物的开发提供依据。     

基于模糊二元对比决策的青稞发糕感官评定体系的建立

为了建立适用于青稞发糕的感官评定体系,本文基于模糊二元对比决策,通过咨询调查的方法,先后确定了青稞发糕感官评定体系的优选指标及其优先级和权重。根据调查统计的结果,青稞发糕感官评定的优选指标分别为:表皮光滑度、瓤孔均匀度、香气、滋味、硬度、弹性、黏性、咀嚼性;通过模糊优先级排序法确定了8项优选指标的优先级顺序为:香气、滋味、硬度、弹性、黏性、瓤孔均匀度、咀嚼性和表皮光滑度;并确定了各项优选指标的权重分别为21%、16%、15%、14%、12%、10%、9%、3%。在此基础上,根据评价指标反馈确定了各项优选指标的评语论域集以及感官评定方法,最终建立了青稞发糕的感官评定表。该研究为青稞发糕的感官品质评价分析以及产业化推广提供了基础数据以及理论支持。     

钻孔压水试验测试仪及其在古贤水利枢纽工程中的试验应用

工程地质勘察中进行干深孔的常规性压水试验是长期困扰水利水电钻孔压水试验的技术难题,为解决该问题,自行研制了钻孔压水试验测试仪,并在古贤水利枢纽工程中进行了试验应用,取得了很好的效果。结合工程实践,综合分析了钻孔压水试验测试仪在古贤水利枢纽中的试验应用情况。     

用硅酸聚沉法防止煤灰矿浆萃取过程中三相物生成

本文针对煤灰矿浆萃取时产生三相物和有机相损失高的问题,研究了用硫酸制备矿浆过程中硅酸聚凝的一些规律;提出了防止三相物生成及降低有机相损失的方法——硅酸聚沉法。方法的主要特点是利用硅酸聚凝与酸度的关系特性,控制浸出过程中一定pH值,使浸出矿浆中的硅酸发生聚凝并沉降,将矿浆中亲油性的固体微粒载带下来,使其呈亲水性质,从而防止了三相物生成,降低了有机相损失。     

ContractGuard：面向以太坊区块链智能合约的入侵检测系统

以太坊智能合约本质上是一种在网络上由相互间没有信任关系的节点共同执行的已被双方认证程序。目前,大量的智能合约被用于管理数字资产,使智能合约成为黑客的重要攻击对象。常见的攻击方法是通过利用智能合约的漏洞来实现特定操作的入侵攻击。ContractGuard 是首次提出面向以太坊区块链智能合约的入侵检测系统,它能检测智能合约的潜在攻击行为。ContractGuard 的入侵检测主要依赖检测潜在攻击可能引发的异常控制流来实现。由于智能合约运行在去中心化的环境以及在高度受限的环境中运行,现有的IDS技术或者工具等以外部拦截形式的部署架构不适合于以太坊智能合约。为了解决这些问题,通过设计一个嵌入式的架构,实现了把 ContractGuard 直接嵌入智能合约的执行代码中,作为智能合约的一部分。在运行时刻,ContractGuard通过相应的context-tagged无环路径来实现入侵检测,从而保护智能合约。由于嵌入了额外的代码,ContractGuard一定程度上会增加智能合约的部署开销与运行开销,为了降低这两方面的开销,基于以太坊智能合约的特性对 ContractGuard 进行优化。实验结果显示,可有效地检测 83%的异常行为,其部署开销仅增加了36.14%,运行开销仅增加了28.17%。     

一种验证分布式协议活性属性容错机制的模型检测方法

云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行.因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上.由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的.为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制.为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作.由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证.现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战.采用抽象模型检测方法会引入模型与实际系统不匹配的问题.同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题.本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证.同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题.此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径.LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工具进行轻微的修改;LTMC可以系统地发现分布式协议中指定类型的所有Bug.在本文最后,我们将LTMC应用到ZooKeeper和Cassandra的几个协议中,并与深度优先搜索作对比,可以发现LTMC有3.7～594.4倍的状态空间约减率.     

发酵时间对青稞全粉浆香气成分的影响

该研究采用顶空-固相微萃取-气质联用仪分析了青稞全粉浆中挥发性成分,研究了经过不同的发酵时间后青稞全粉浆中的挥发性成分的组成,并探讨了其对粉浆香气的贡献程度和呈味表现.结果表明:未发酵粉浆中检测出14种挥发性成分,其中6种为关键成分,贡献程度最大的是正己醛;发酵3 h粉浆中检测出22种挥发性成分,壬醛是唯一的关键挥发性...     

开源软件库生态治理技术研究综述：二十年进展

在“人-机-物”三元融合、泛在计算的时代蓝海下, “开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望. 为进一步推动构建可信软件供应链生态, 围绕泛在计算模式、打造自主可控的技术体系, 聚焦于开源软件库管理生态, 收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文, 对开源软件库生态治理技术的研究工作进行梳理. 讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作, 总结研究现状、问题、挑战与趋势.     

厚大飞轮铸件的无冒口铸造

长期以来,厚大飞轮铸件生产完全依赖大冒口和大冒口颈补缩工艺,存在如下问题: (1)工艺出品率低,由于选用的冒口体积过大,熔化浇注的铁液增加,造成原材料和能源的消耗增加 (2)冒口颈尺寸过大,清整打冒口时易掉肉,打磨费工时。 (3)冒口直接放在铸件热节部位,对铸件热节产     

软件体系结构模型单层化的一致性保障方法

在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.