基于身份的指定确认者签名

利用椭圆曲线上的双线性对,构造基于身份的指定确认者签名方案,并对其安全性进行了分析。指定确认者签名可以应用在公平交换和合同签名等协议中。

一种新的采用指定的确认者签名的公平交易协议

提出一种新的公平交易协议，允许相互不信任的两个当事人在Ｉｎｔｅｒｎｅｔ上公平地交换数字签名。本协议基于离线的可信任的第三方（ＴＴＰ），除非某一方不遵守协议或者系统发生故障，ＴＴＰ不参与交易。本协议采用指定的确认者签名来实现公平交易，极大地提高了协议的效率。将指定的确认者承诺和普通的Ｓｃｈｎｏｒｒ签名相结合，提出一种高效的指定确认者签名方案。还分析了本协议的安全性，保证了协议的公平。

生态修复目标司法确认的类型化构造

生态环境修复目标决定了生态环境修复责任的配置程度。司法确认生态环境修复目标的实践中存在损害前状态和功能的适用不合理、可接受风险水平被基本弃用和具体指向笼统模糊等问题,其原因在于司法中恢复原状思维的影响难以消弭以及现实危害的规制被过度关注。司法应当将生态环境修复目标划分为基线水平、人体健康可接受风险水平和生态环境可接受风险水平,然后根据生态环境的特质确认适宜的修复目标。对于价值较高的生态环境应当将其修复到基线水平,对于价值特殊的生态环境,即便在经济不合理的情况下,也应当将其修复到基线水平。对于人类密切相关的受污染生态环境应当将其修复到人体健康可接受风险水平。当生态环境可接受风险水平较为宽松之时可以考虑将其作为修复目标进行适用。

企业数据资源的会计确认、计量与披露探析——兼评《企业数据资源相关会计处理暂行规定》

数据资源提升了企业创新能力与竞争实力,对国家经济以及企业高质量发展至关重要。然而,决定企业价值创造的关键性资源的数据资源,因会计确认、计量等条件限制,“游离”在传统财务报告之外,严重制约了数据资源要素市场的发展。鉴于此,文章系统分析了企业数据资源会计确认、计量与披露中存在的难点,并结合财政部发布的《企业数据资源相关会计处理暂行规定》探讨其尚待改进之处,从而为企业规范数据资源确认、计量和披露提供有益借鉴,不断提升会计信息可靠性与相关性,助推我国数字经济的高质量发展。

产权视角下林业碳汇资产的属性确认与计量探讨

“双碳经济”新格局下,林业碳汇作为当下成本最低的“碳吸收”手段已成为学术研究中的“新宠”。解决林业碳汇在碳汇交易过程中的会计核算问题有助于实现林业碳汇多重效益。文章基于产权理论,探讨了林业碳汇资产的会计属性及计量方式。首先,作为一项特殊自然资源,林业碳汇具备确认为资产的特征,依据交易过程可“二分”会计主体:碳汇需求方与开发经营方分别以“环境资产”与“交易性环境资产”为资产确认类型。其次,在计量方式上,以森林碳储量和市场价格为基础进行林业碳汇资产技术计量和经济计量,获得实物产权和财权对应的实物量和价值量。最后,在公允价值模式下探究了碳汇买卖双方针对林业碳汇资产的初始计量和后续计量。

论农村集体经济组织成员资格确认标准

农村集体经济组织成员的资格确认标准必须既有理论解释力,又具备可操作性。探寻成员资格实质所依据的土地社会保障标准、法律行为标准和财产对价标准缺乏可操作性,且理论解释力不足;而以可操作性见长的户籍或者户籍优先标准、固定生产生活标准和综合标准,很少讨论成员资格的理论依据且其实践适用优势逐渐丧失。同时具备两项要求的现有土地权利标准,以现有土地权利的双重属性作为成员资格确认的理论基础,以土地权利证书所载家庭成员名单作为可操作的制度资源,能够实现推进成员资格确认。可行的方案是尊重土地承包经营权确权成果,确认证书所载的土地权利人为农村集体经济组织成员,可以实现占多数的一般成员的资格确认,也能够解决特殊人员的资格确认难题。

集体成员资格确认需要纳入法治轨道——关于集体经济组织法的思考与建议

论文的核心观点是将群众认定集体成员资格改为依法认定,提出全面纳入法制轨道的三个步骤。2024年4月提交全国人大立法机构。同年十四届全国人大常委会第十次会议6月28日表决通过《中华人民共和国农村集体经济组织法》,删除群众认定成员资格的表述,在成员资格的认定中明确规定依法认定。本刊全文发表供学界参考。

数字经济背景下数据资产会计确认与计量问题研究

在数字经济时代发展环境下,“数据就是企业的资产”这一全新理念在社会层面达成了共识,数据资产逐渐受到各个行业的高度重视。现行会计准则尚未对其处理作出严格规定,目前相关会计处理仍然存在较多的问题。为客观、准确反映企业数据资产的状况,如何对其进行会计确认与计量已经成为当下亟须解决的重大会计事项。因此,文章在明确数据资产的特点、分类及其适用的会计准则的基础上,根据相关会计政策详细分析现行会计准则下数据资产会计确认与会计计量方法,结合案例进一步分析确认与计量存在的问题,并从多个层面提出相应优化建议。

核电厂安全级数字化仪控系统故障缺省值的验证与确认

安全级数字化仪控系统中故障缺省值的设置对核电厂安全具有至关重要的作用,但其验证与确认的难点在于具体实施时缺乏明确的细则指导。基于IEEE Std 1012,结合对法规标准、缺省值设计原则及以往项目实施经验的分析,同时考虑到漳州核电一期项目数字化仪控系统平台及设计开发流程的特点,提出了一套针对安全级数字化仪控系统故障缺省值的验证与确认策略和方法。经过漳州核电一期的实践验证,这套策略和方法能够充分、高效地验证缺省值设计的正确性和完整性,有效缓解了验证与确认过程中缺乏详尽标准、理论及相关成熟经验可借鉴的困境。对于后续核电安全级数字化仪控系统故障缺省值的验证与确认工作,该策略和方法具有一定的参考价值。

软件验证与确认技术和标准化研究

软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准在软件生存周期的应用,促进软件质量提升。

老年人如何正确认识年龄

前不久,在社区参加“小手牵大手,欢乐度重阳”活动,我问现场参与者:“当一个人多大年龄时,我们就说他是老年人了?”在场的六十多人异口同声地说道:“60岁!”接下来再问:“当一个人多大年龄时,我们就说他是青少年了?”有的说6岁,有的说10岁,还有的说12岁,答案林林总总,五花八门。

乏燃料水池严重事故管理导则验证与确认

首先介绍了典型压水堆乏燃料水池的严重事故管理导则,并为了使理论分析工具更贴近实际,基于SAAT-SFP程序分析导则中的关键措施,对其进行了验证与确认(V&V)。发挥SAAT-SFP程序在乏燃料水池安全分析中的作用,进一步拓展SAAT-SFP程序的实际应用,对于发展和完善乏燃料水池的严重事故导则也具有重要的参考价值。

传输控制中的确认机制研究

Internet传输层协议需要依赖于确认(ACK)机制提供的反馈信息,实现拥塞控制和可靠传输等功能.以Internet传输协议演化的历史为线索,回顾传输控制领域中的确认机制,并讨论现有确认机制中需要解决的问题;基于“类型-触发条件-信息”三要素,提出按需确认机制及其设计原则,重点分析确认机制和拥塞控制、丢包恢复等传输协议子模块之间的耦合关系;结合设计原则,详细阐述一种可行的按需确认机制实现——TACK机制,并对相关概念进行系统的、深入的分析和澄清.最后结合按需确认机制面临的挑战,给出几个有意义的研究方向.

正确认识传染病

自有人类以来,人们就受到各种传染病的困扰,可以说人类的发展史也是一部与传染病作斗争的历史。我国关于传染病的记载最早可以追溯到战国时期的医学著作《黄帝内经》中的《素问刺法论》,文中提到,“五疫之至,皆相染易,无问大小,症状相似”。

数据资产的确认、计量和报告:从理论到实践

数据被纳入生产要素,体现了数据作为生产要素的重要性,发挥了数据要素的价值。党的二十大报告再次强调“加快建设数字中国”,数字经济的不断发展使得商业模式开始发生变化。数据资产作为企业重要的资产,其价值如何评估、应该如何进行会计处理、信息如何披露等成为困扰会计人员的重点和难点问题。为了加强企业数据资产管理,规范企业数据资产相关会计处理,强化相关会计信息的报告,使企业的实际价值得以充分体现,文章首先分析了《企业数据资源相关会计处理暂行规定》中数据资产的相关会计处理规定,然后深入探析企业应如何对数据资产进行会计确认、计量和报告,以期为我国数据资产的会计处理提供理论支持和实践指导。

企业数据资产会计确认与计量问题研究

为促进数据资产会计核算实务操作落地,完善数据资产从产生到形成利润并增加股东价值的核算链条,促进企业财务报告更加准确解释企业利润和股东价值增加的来源及形成过程,文章在分析数据资产定义、内涵及类型基础上,研究了数据资产的确认条件和计量属性问题。研究表明:数据资源只有实现了“从不能带来经济利益到可以带来经济利益”的转变,才具备在会计上确认为资产的基础,应从资产的会计定义、会计确认条件判断数据资源是否属于企业的资产;数据资产是企业获得的在一定业务领域、地域或时期的数据使用权,属无形资产范畴,经营数据资产可理解为以数据资产提供内外服务,不宜做存货核算;数据资产初始计量应采用成本法,后续计量可根据内外服务和未来收益确定难度选择收益现值法或成本法。

基于路径语义表示的静态警报自动确认方法

尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集中于利用手工设计的特征或语句级的抽象语法树标记序列来表示缺陷代码,难以从报告的警报中捕获语义.为了克服传统方法的局限性,利用深度神经网络强大的特征抽取和表示能力从控制流图路径中学习代码语义表征用于警报确认.控制流图是程序的执行过程抽象表示,因此控制流图路径序列能够引导模型更精确地学习与潜在缺陷相关的语义信息.通过微调预训练语言模型对路径序列进行编码并从中捕捉语义特征用于模型构建.最后在8个开源项目上与最先进的基线方法进行大量对比实验验证所提方法的有效性.

液态金属冷却快堆堆芯物理分析软件LoongSARAX的验证与确认

NECP-SARAX是西安交通大学核工程计算物理实验室自主开发的先进反应堆中子学分析计算系统。在此基础上,西安交通大学针对液态金属冷却快堆的堆芯物理工程设计与安全审评,定制开发了LoongSARAX。为了实现LoongSARAX的工程应用,规范性、系统性的验证与确认是该过程的重要一环。为此,本文针对LoongSARAX验证与确认研究,在搜集整理国际上关于液态金属冷却快堆物理计算基准题的基础上,建立了其验证与确认矩阵,并将程序分成不同模块,分别进行了模块验证、子系统验证和系统确认,范围涵盖冷却剂为钠和铅的快堆,如JOYO、ZPPR17A等。程序验证与确认表明LoongSARAX程序对于液态金属冷却快堆具有较高的计算精度,同时针对中国实验快堆(CEFR)开展了不确定度量化研究。结果表明,在99%置信度下,有效增殖因数计算结果的不确定度有90%的概率落在[-389 pcm,300 pcm]以内。

面向中文短语音的文本无关说话人确认新框架

相较于文本相关说话人确认,文本无关说话人确认由于验证文本内容不受限制,结合语音识别能够有效避免录音欺诈等常见攻击。然而,文本无关说话人确认系统在短语音验证上会出现严重的性能下降。为此,文章首先提出了一种改进的端到端模型,通过长、短语音说话人分类损失增强网络对不同时长语音段的说话人分类识别能力;同时,在嵌入码空间中增大同一说话人的短语音和长语音之间的相似度,减小不同说话人的短语音之间的相似度,增强网络对短语音的特征提取能力。此外,还提出了一种基于注意力机制的验证词选择方法,选择具有高注意力权重的中文词作为系统验证提示词。实验结果表明,文章提出的改进的端到端模型结合softmax预训练使得模型在短测试语音上的等错误率相对降低29%,基于注意力机制的验证词选择方法也能筛选出具有更好识别结果的验证词,二者结合能够有效提升说话人确认系统对于短中文语音的识别性能。

基于Group-Res2Block的智能合成语音说话人确认方法

针对现有说话人确认任务基于自然语音条件下并不适用于智能合成语音的问题,提出一种基于Group-Res2Block的智能合成语音说话人确认方法。首先,设计了Group-Res2Block结构,在Res2Block的基础上将当前分组与相邻前后分组进行合并形成新的分组,以增强说话人局部特征的上下文联系;其次,设计了并行结构的多尺度通道注意力特征融合机制,利用不同大小卷积核实现同一层级的特征在通道维度的特征选择,以获取更具表现力的说话人特征,避免信息冗余;最后,设计了串行结构的多尺度层注意力特征融合机制,构建层结构,将深浅层特征整体进行融合并赋予不同权重,以获取最优的特征表达。为验证所提出特征提取网络的有效性,构建了中英文两种智能合成语音数据集进行消融实验和对比实验。结果表明本文方法在该任务的评价指标精确度(accuracy,ACC)、等错误率(equal error rate,EER)和最小检测代价函数(minimum detection cost function,minDCF)上是最优的。此外,通过对模型泛化性能进行测试,验证了本文方法对未知智能语音算法的适用性。