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

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

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

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

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

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

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

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

考虑针对变电站网络攻击风险的脆弱元件筛选方法

随着通信设备的广泛部署以及信息技术的不断发展,新型电力系统所面临的网络风险不可忽视。考虑攻击者从设备商提供的远程维护配置接口侵入,继而通过智能电子设备(IED)向断路器发送命令导致多条线路跳闸的过程,提出一种考虑网络风险的紧急故障筛选方法。首先,利用广义随机Petri网对变电站受到网络攻击的动态过程进行建模,计算变电站内不同异常状态的稳态概率。然后,给出电力系统所面临IED网络攻击风险的定义,并建立双层混合整数非线性模型来筛选可能被攻击的变电站、IED以及其所控制的线路。最后,基于对偶理论并结合取对数、分段线性化等线性化方法,将该双层模型转化为可由商业求解器Gurobi直接求解的单层混合整数线性优化模型。基于IEEE RTS 24节点和IEEE 118节点系统的算例分析结果验证了该方法的有效性,并证明了经典的N-K以及概率N-K双层混合整数优化模型不适用于IED网络攻击场景下的故障筛选。

匿名网络综述

匿名网络旨在公开网络环境中保护用户通信隐私.自Chaum提出Mix网以来,相关研究在几十年中不断取得进展.如今,匿名网络已发展成以Mix网、DC网或PIR(private information retrieval)为基础,并结合多种设计要素,使之适用于各种应用场景和威胁模型.从匿名概念出发,介绍匿名网络领域的发展情况,分类阐述代表性研究工作及其设计选择,并系统地从匿名性、延迟和带宽开销等角度进行分析.

不同旱养方式对鹅睾丸及外生殖器组织形态学的影响

旨在探究不同旱养方式对公鹅生殖系统发育的影响。以同批孵化、健康的100只四川白鹅公鹅为试验对象,于120日龄时从中挑选60只体重相近的公鹅等分为2组(每组30只),分别进行笼养和网上地面混合平养,继续饲养至270日龄时屠宰并采集鹅睾丸及外生殖器进行组织形态学分析。形态学结果显示:笼养组鹅左侧、右侧和双侧睾丸重量及其器官指数极显著高于混合平养组(P<0.01),笼养组鹅右侧睾丸长径以及两侧睾丸短径显著高于混合平养组(P<0.05);笼养组鹅外生殖器的自然长度和基部直径显著高于混合平养组(P<0.05),拉直长度极显著高于混合平养组(P<0.01)。组织学结果显示:笼养组鹅睾丸中精原细胞数量显著高于混合平养组(P<0.05),睾丸实质间质比、生精上皮厚度、支持细胞数量和生殖细胞数量极显著高于混合平养组(P<0.01);笼养组鹅的外生殖器角化上皮厚度显著低于混合平养组(P<0.05)。相关性分析结果显示:鹅睾丸或外生殖器的形态学与组织学指标之间存在显著相关性(P<0.05),且两种饲养方式下鹅睾丸与外生殖器的组织形态学指标之间均存在显著相关性(P<0.05),但笼养组鹅睾丸与外生殖器组织形态学指标之间的相关性更强。综上,两种旱养方式下鹅睾丸与外生殖器的发育过程均密切相关;相较于混合平养,120日龄上笼且持续150 d的笼养方式显著促进了公鹅生殖系统发育及睾丸生精能力。

橡胶-萝芙木-肉桂复合林的植物生长及其生物量动态

【目的】探明橡胶-萝芙木-肉桂复合林与同龄橡胶纯林的植物生长与生物量动态及其差异,为橡胶复合林合理的结构组建以及环境友好型橡胶园的建设和热带退化山地的恢复与可持续利用提供依据。【方法】在16年生橡胶林按行距2 m×2 m的规格种植2行萝芙木和1行肉桂构建了橡胶-萝芙木-肉桂复合林,在同一坡面的橡胶复合林和橡胶纯林的上、中、下三个地段分别建立3块长期定位观测样地,自2010—2018年每隔2年对橡胶-萝芙木-肉桂复合林与橡胶纯林样地中植物的基径、胸径、高度等因子进行了定期观测。根据野外观测数据计算了两种不同林分中橡胶、萝芙木和肉桂的高度、胸径和基径年均生长量。同时采用已建立的橡胶、萝芙木、肉桂的生物量回归方程估算了两种林分的生物量,并对其组成、生物量动态与分配特征及林分的年净生产量进行了分析。【结果】复合林中橡胶的年均胸径生长量和年均高度生长量均稍大于橡胶纯林,其生物量(113.20 t·hm^(-2))为橡胶纯林的1.06倍(P>0.05);萝芙木的年均胸径生长量和年均高度生长量随种植时间而逐渐减少,其生物量则随种植时间而增加,从0.21 t·hm^(-2)增长到2.91 t·hm^(-2);肉桂的年均胸径生长自种植6年后呈现下降趋势,年均高度生长和生物量则随种植时间而增长,其生物量从0.27 t·hm^(-2)增长到0.47 t·hm^(-2)。橡胶复合林的总生物量(116.58 t·hm^(-2))也稍大于橡胶纯林,是橡胶纯林的1.1倍(P>0.05),但两个不同林分生物量的器官分配比例均为:茎>根>枝>叶。随着林龄的增加,复合林及橡胶纯林的总生物量均呈增长趋势,但复合林的年均净生产量是橡胶纯林的1.26倍(P<0.05)。【结论】橡胶林的复合种植有利于橡胶树的生长,橡胶复合林比橡胶纯林具有更大的生物量积累、更高的年均净生产量及更快的生物量积累速率。

基于改进Double U-Net的秀丽隐杆线虫显微图像端泡分割

针对秀丽隐杆线虫显微图像噪声较多,端泡区域像素与虫体及周围环境相似,标准Double U-Net分割效果较差的问题。该研究提出一种改进的Double U-Net网络的秀丽隐杆线虫端泡分割方法,在网络中引入密集连接,并采用改进的损失函数,解决了传统网络无法进行精确分割的问题。实验表明:改进后算法对线虫端泡的分割,Dice Coefficien、准确率和召回率达到了90.12%、87.45%和91.53%。

基于BoBGSAL-Net的文档级实体关系抽取方法

文档级实体关系抽取的主要任务是提取文档中实体之间的关系.相较于句内实体关系提取,文档级实体关系抽取需要对文档中多个句子进行推理.为了解决文档中不同实体之间的复杂信息交互问题,提出一个混合提及级图MMLG(Mixed Mention-Level Graph)策略,用于拟合文档中不同实体之间的复杂信息交互,提高模型对于文档级实体关系的感知能力.此外,为了应对实体关系中存在的关系重叠问题,构建了实体关系图ERG(Entity Relation Graph)模块,该模块融合了路径推理机制,主要针对实体间的多个关系路径进行推理学习,更准确地识别提及级节点实体及关系.通过将MMLG策略与ERG模块聚合到实体关系抽取模型中,构建BoBGSAL-Net(Based on Bipartite Graph Structure Aggregate Logic Network)模型,并在公开数据集DocRED和作者实验室构建的数据集AlSiaRED上开展实验,结果证明BoBGSAL-Net在文档级实体关系抽取任务中性能得到提升,其中BoBGSAL-Net+BERT模型在AlSiaRED数据集上的关系抽取任务中F1指标达到66.04%,和其他模型相比,整体性能提升了4.4%,泛化能力突出,综合效果最优.

矿山岩土工程中深基坑支护施工技术

为控制深基坑支护施工累计变形,以某矿山岩土工程为例,对此类工程的深基坑支护施工展开设计与研究。明确该工程的主要施工形式为锚杆联合咬合桩,引进DENEBLOA计算程序,设计深基坑支护结构参数;结合矿山岩土工程现场勘察报告及工程实践数据,设计支护施工中的降水处理、搅拌桩定位与喷锚网支护施工。实践应用成果证明:设计的施工方案可以有效控制基坑沉降与变形,避免竣工后深基坑出现失稳等方面的安全问题。

一个基于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方法进行静态校正。