基于Mix-Net的电子投票系统的安全需求矛盾及解决办法

电子投票系统的安全需求存在内在的矛盾性.矛盾1:一方面,投票系统需要向投票者提供证据,表明前者正确地理解了后者的意图;另一方面,投票系统不能提供给投票者任何票据,使投票者能够向第三方证明自己的投票内容.矛盾2:一方面,投票系统需要向公众提供证据表明所有的选票都被正确的计数;另一方面,这些证据不能损害投票者的匿名性.介绍了基于Mix-Net的电子投票系统的安全需求矛盾的解决方案,并提出了所面临的研究挑战.

电子投票系统中mix-net安全性改进

现有基于mix-net的电子投票系统在选票提交阶段存在选票提交重复、混合阶段存在欺骗的混合服务器、计数阶段存在无效的选票计数等问题.为此,从匿名性和抗重复性2个方面对mix-net的安全性进行改进.匿名性方面,提出了无序mix-net和置换矩阵.抗重复性方面,在HTDH2密码系统的基础上,增加过滤阶段,删除攻击者克隆的选票;增加删除重复的选票阶段,删除欺骗的混合服务器克隆的选票.新方案能够删除mix-net输入端重复的选票、检测出混合服务器"克隆"的选票及攻击者修改的选票.与现有方案相比,该方案具有选票提交独立和有效计数的优势.

混合数据驱动的轻量化YOLOv5故障选线方法

针对传统选线方法精度低、实时性差、易受噪声干扰的问题,提出一种混合数据驱动的轻量化YOLOv5选线方法,简记为MSE-YOLOv5。首先,以零序电流作为区分故障线路与非故障线路的判断依据,为了增强二者间数据对比差异性,利用小波变换将零序电流信号映射为二维时频图;其次,为了扩充样本数量,利用搭建的小电流接地系统仿真模型,通过改变故障点位置、初相位以及接地电阻等参数生成仿真数据,与真实数据构成混合数据集;然后,为了减少选线时背景噪声对微弱故障信号特征的影响,在所搭建检测网络的颈部网络中引入通道注意力模块,从而增强故障特征的表达能力;最后,为了提高选线实时性,在网络中引入轻量化网络以减少其参数量与运算量。为了验证所提出方法的优势,利用某变电站真实故障数据进行测试,并与4种经典算法进行比较。结果表明:所提混合数据驱动的轻量化YOLOv5故障选线方法具有较高精度,其选线精度可达95.2%,即使在噪声干扰条件下,选线精度依然可以保持在90%以上;具有更轻的体量及更快的选线速度,参数量下降至原网络的1/5,计算量下降至1/7,检测速度可达7.7 ms。因此,混合数据驱动的轻量化YOLOv5故障选线方法具有体量小、速度快、精度高的优点,有利于后期将其部署到现场设备中。

PrivCode:代码生成隐私保护策略

为解决用户使用Copilot等代码生成工具时面临的数据隐私泄露的问题,提出一种在线代码生成隐私保护策略PrivCode。考虑到当前机器学习隐私保护策略往往是基于白盒的前提设计的,难以适用不可知结构下的大型模型,将Copilot视为黑盒并引入代理服务器,通过Mix-Net混淆多个用户的请求,打破用户和代码生成请求之间的映射关系。1-out-of-N不经意传输确保用户接收代码提示的安全。该策略满足定义的3条性质,实验测算结果表明,协议在实际场景中可用。该策略兼顾了用户的安全以及使用需求。

基于正交投影的线性混合效应模型的弹性网变量选择

本文考虑线性混合效应模型的变量选择问题.通过结合QR分解和弹性网惩罚方法,提出了一种线性混合效应模型中固定效应的变量选择方法.先通过QR分解技术消除随机效应对模型的影响,再利用弹性网构造固定效应的惩罚最小二乘目标函数,从而同时进行回归系数的估计和变量选择,证明了所得估计的组效应性质.所提出的变量选择过程不仅可以将固定效应和随机效应分离,使得两者之间互不影响,而且拥有弹性网方法的组效应性质.模拟研究了所提出方法的有限样本性质.

基于高光谱遥感技术的生态伪装监测应用研究

对生态修复中存在挂防航拍伪装网的“虚假造绿”现象进行分析,采集当前市面上主要的迷彩伪装网光谱信息并建立伪装网光谱数据库。以高分五号高光谱影像数据为基础,绿色伪装网光谱数据为目标端元,采用LSU、CEM、ACE、OSP、MTMF、FCLS及SAM等方法进行混合像元分解与波谱识别检测实验。将检测定位结果与高空间分辨率影像进行叠加分析提取目标地物信息,改变以往基于高空间分辨率遥感影像,人工逐屏比对分析目视判读提取地物信息的方式,将大量的人工判读影像工作交给计算机去搜索完成,再对结果进行少量的人工干预,可极大地提高工作效率和准确性。

基于Petri网和改进遗传算法的多资源调度问题

针对混流装配线工序加工资源需求多样、工艺复杂、装配工期长等问题,采用Petri网和改进遗传算法对该问题进行优化求解。建立混流装配线赋时库所Petri网(timed place Petri net, TPPN)调度模型,基于模型激发序列,采用基于工序的编码方式进行染色体编码;采用精英保留策略选择优异个体,改进遗传算法的交叉、变异操作,用改进后的遗传算法求解混流装配线调度问题。通过对比案例及实例数据计算结果验证了方案的有效性。

基于多源遥感数据的省域XCO_(2)变化与分析

利用卫星监测XCO_(2)变化已成为一种有效手段。根据2009—2021年的GOSAT卫星数据并结合夜光遥感数据、净初级生产力遥感数据,探究辽宁省近13年XCO_(2)变化趋势,获取XCO_(2)变化的影响因素及XCO_(2)变化造成的影响。研究表明,自2009年起辽宁省XCO_(2)便处于稳定增长趋势,且辽东地区XCO_(2)总体高于辽西地区;通过相关系数计算得,夜光遥感数据与GOSAT数据相关系数较高,说明人类活动与XCO_(2)变化关系密切;NPP数据与XCO_(2)相关系数较低,说明植物的固碳能力并不是影响XCO_(2)变化的主要因素。相关研究可为省域范围的大气CO_(2)排放监测与治理提供一定的决策支持。

一个基于Mix net的电子投票方案

电子投票是电子政务活动中的一项基本功能 .本文设计了一个新的具有 (t- 1,N - 2 ) AA弹性的可验证Mixnet协议 ,该协议具有秘密性、正确性和可验证性 .协议所需的通信量和计算量优于已知方案 .利用它给出了一个电子投票方案 ,具有选举的秘密性、唯一性、完整性、匿名性、可公开性、可验证性等优点 ,适宜于大规模选举 .

太阳辐射对长白山阔叶红松林净生态系统碳交换的影响

太阳辐射是植物进行光合作用的前提条件,因此成为影响植被吸收大气CO2的重要环境因子。该研究基于30min通量和常规气象数据,以相对辐射和晴空指数为指标,分析了2003～2006年生长旺季(6～8月)太阳辐射的改变对长白山阔叶红松(Pinus koraiensis)林净生态系统碳交换(Net ecosystem exchange,NEE)的影响。结果表明:天空有一定云层的覆盖对阔叶红松林碳的净吸收有明显的促进作用。4年里6～8月间生态系统最大光合速率在天空有云覆盖时较晴空条件下分别提高了34%、25%、4%和11%。在晴空指数约为0.5的中等辐射条件下,该生态系统的NEE达到最大。对生态系统碳的净吸收有促进作用的临界相对辐射约为37%,而使该生态系统NEE达到最大的最适相对辐射约为75%。进一步分析表明,天空云量的增多和云层厚度的增加会引起散射辐射比例的增加、大气温度和水汽亏缺程度的降低等环境效应,由此可能会导致冠层光合作用的增加和地上部分呼吸的减弱,从而共同决定了净生态系统碳吸收作用的增强。

马尾松-阔叶树混交异龄林生物量与生产力分配格局

在25年生的马尾松林下分别套种1年生火力楠、闽粤栲、苦储、格氏栲、青栲和拉氏栲幼苗，经过16a的培育后形成了郁闭的针阔混交异龄林。应用分层平均标准木收获法，建立相对生长方程，对上述6种混交林及马尾松纯林的生物量与生产力分配格局进行了研究。6个混交林的林木总生物量分别为216．41、260．06、221．92、221．65、246．13t／hm^2及201．04t／hm^2，而马尾松纯林的生物量为204．37t／hm^2；其中地上部分占81．4％～83．7％，林分之间差异较小。在混交林中，处于主林层的马尾松生物量占林分总生物量的比例为73．5％～85．4％。在各林分生物量组成中，干材生物量最大，占总生物量的56．4％～64．8％，其它组分所占的比例依次为根（16．3％～18．6％）〉枝（9．O％～16．9％）〉皮（4．9％～7．3％）〉叶（1．1％～4．3％）。生物量的空间结构在马尾松纯林和混交林之间存在明显差异，混交林中0～9m高度的生物量分配比例（67．1％）明显大于马尾松纯林（53．7％）；混交林中，在2～3m高度就出现了枝、叶的分布，而马尾松纯林中则出现在13～14m。混交林中，阔叶树根系的生物量主要集中于0～40cm土层，占根系总生物量的74％～99％，60cm以下土层则根系分布很少，而马尾松的根系则主要分布于土壤表层（0～20cm）和60cm以下土层，分别占总生物量的26％和49％。各混交林分的净初级生产力为10．60～15．25t／（hm^2·a），而马尾松纯林的生产力仅7．34t／（hm^2·a）。林分净初级生产力（NPP）与光合器官／地上部分生物量比（X1）、细根生物量／地下部分生物量比（X2）存在显著的非线形关系：NPP=5．5745＋1．1985 X1＋2．6479X2^2。在所研究的林分中，细根（d〈2mm）生物量占林分总生物量的平均比例为0．2％，但细根生产力占林分净生产力的平均比达2．9％。

华北低丘山地人工混交林净生态系统碳交换的变化特征

采用涡度相关技术对华北低丘山地30年生栓皮栎-刺槐-侧柏人工混交林生态系统进行连续2年的碳通量观测。结果表明:人工混交林净生态系统碳交换(NEE)的年际和季节变化都很明显,但日变化只在生长季(4—10月)才变得显著。2006和2007年人工混交林NEE的变化范围分别在-27.1～8.1和-24.4～9.8gCO2·m-2d-1,最大月平均CO2吸收量分别出现在5月和7月。生长季净碳吸收约占全年的96%。人工混交林是较强的碳汇,2006和2007年净碳吸收量分别为549.1和445.4gC·m-2a-1。春季干旱是2007年人工混交林净碳吸收显著下降的主要原因。

一个新的(t,N-2)弹性的Mix Net

Mixnet是实现匿名通信、电子投票选举、电子支付以及电子投标的有力工具 .该文建立了 (t,N - 2 )Mixnet模型 ,利用Shamir门限方案、ElGamal公钥体制、零知识证明等密码技术设计了一个基于这个模型的Mixnet协议 .该协议将同一密文组让不同的两个服务器组进行盲化解密示证和比较 ,从而使得该协议具有 (t - 1,N - 2 ) AA弹性及秘密性、正确性和可验证性等优点 ,同时通信量和计算量方面也少于已知的基于ElGamal公钥体制的可验证Mixnet协议 .

南亚热带红椎马尾松纯林及其混交林生物量和生产力分配格局

研究中国林业科学研究院热带林业实验中心28年生红椎纯林、马尾松纯林以及红椎-马尾松混交林的生物量和生产力分配格局。结果表明:红椎纯林、马尾松纯林与红椎-马尾松混交林生物量分别为94.797,212.435和155.638t.hm^-2;3种林分的乔木层生物量均占林分生物量的95%以上,其他各层均表现为凋落物层(0.56%～3.26%)>草本层(0.24%～0.85%)>灌木层(0.25%～0.37%);在3种林分的乔木层各组分中,干材生物量最大,占总生物量的49.31%～62.25%,红椎纯林中其他组分表现为根(17.16%)>枝(11.76%)>干皮(6.84%)>叶(1.99%),而马尾松纯林与红椎-马尾松混交林则为枝(18.39%～19.98%)>根(14.48%～17.72%)>叶(5.55%～8.80%)>干皮(4.19%～5.57%);3个林分的净生产力表现为红椎纯林(3.369t.hm^-2a^-1)<红椎-马尾松混交林(5.628t.hm^-2a^-1)<马尾松纯林(7.781t.hm^-2a^-1)。

基于互联网的匿名技术研究

随着互联网在世界范围内的迅猛发展,通过网络已逐步实现了全社会的信息共享,由此带来的信息安全与隐私问题也逐步受到人们的广泛关注。匿名是指用户身份信息的隐私,已经成为许多网络应用的基本需求。总结了匿名技术二十多年来的研究进展情况,提出了该领域面临的挑战及发展趋势。

一种抗强制的电子投票方案

利用秘密共享、混合网、可否认认证等安全技术,提出了一种抗强制的电子投票方案。该方案满足了电子投票的基本要求,并且较好地解决了电子投票中有关强迫投票和买卖选票的问题。由于强制者无法判断受迫者是否按照自己意愿投出选票,从而提高了电子投票的抗强制性。

C#与Matlab混合编程的CSAMT静态校正软件设计

可控源音频大地电磁法(CSAMT)中的静态校正对于正确识别地质情况,提高勘探方法的有效性具有重要意义。设计一款集合小波、五点、中值、EMAP等常用静态校正方法的软件很有必要。文章提出利用C#与Matlab混合编程来设计CSAMT静态校正软件以弥补Matlab界面开发能力差和C#开发复杂数值运算软件效率低等问题。利用.NET组件实现C#与Matlab之间的通信,解决了com组件之间的版本控制、注册表、GUID等弊端。采用类型安全接口编程,通过接口的多重继承,将数据转换过程进行封装,解决了混合编程时比较繁琐的数据类型转换问题。最后,设计正演模型并利用该软件进行静态校正,结果显示该软件可以实现利用小波、五点、中值、EMAP方法进行静态校正。

洪灾经济损失快速评估的混合式模糊神经网络模型

针对洪水灾害和洪灾损失评估的特点,采用混合式模糊神经网络数学模型对一典型流域洪灾经济损失进行评估,并且与BP网络评估损失模型进行了比较。虽然混合式模糊神经网络模型在洪水经济损失评估中是初次尝试,但评估结果表明模型从收敛速度和评估精度都取得了较好的效果,为洪水经济损失评估提供了新的方法、新的思路。

基于混合学习教学模式的ASP.Net教学策略

主要描述一种新的ASP.Net教学策略。并结合ASP.Net课程分析了实施基于混合学习教学模式的软、硬件环境要求,着重从教学内容、教学步骤、学生个体情况等方面论述了进行混合教学过程中实施的内容分类、教学分步、学生分组等策略。

混合语义时间Petri网模型

提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.