共查询到20条相似文献，搜索用时 203 毫秒
1.
杨继明 《玉溪师范学院学报》1986,(2)
本文以初等方法,探讨不定方程x~p+y~p=z~p与x~(2p)+y~(2p)=z~(2p).1977年,法国数学家Terjanian得到了费尔马猜想偶指数情形的最好结果,他证明了不定方程x~(2p)+y~(2p)=z~(2p),xyz≠0,(x,y)=1,p>3是奇素数(1)如果有整数解x、y、z,那么一定有2p|x或y.1981年,Rotkiewicz(发表于Colloq.Math.45(1981),1:101—102;参见《Math.Rev.》84h:10024)把这个结果改进为8p~3|x或y. 相似文献
2.
为建立航标助航体系,开发航标综合助航信息服务系统.根据国际航标协会(InternationalAssociation of Lighthouse Authorities,IALA)的相关规定和决议,提出助航信息系统的体系结构.该系统以Web-ECDIS平台为基础,整合航标遥测遥控数据和AIS数据,通过AIS网络或互联网向海区船舶发布航标动态信息及相关安全信息.用户通过互联网可以获得该系统的4项实时服务:(1)各种比例尺辖区电子海图信息服务;(2)动态航标信息服务;(3)港口水文气象、航行环境信息服务;(4)AIS信息服务.该成果可为新型助航体系建设及AIS二进制电文的助航应用提供技术支持. 相似文献
3.
刘全振 《承德职业学院学报》2003,8(2):75-75
反证法是间接证法的一种。如果我们把欲证的命题写成“若 A则 B( A→ B)”的形式 ,则反证法就是从需证命题结论 B的相反结论 B出发 ,通过正确的逻辑推理导出矛盾 ,推翻 B,从而断定待证结论 B成立。反证法有下面几种逻辑形式 :1.A→ B B→ A.证明 :A→ B A∨ B B∨ A B∨ A B→ A.例 1.已知 p3 +q3 =2 求证 p +q 2 .证明 :假设 p +q >2则 p3 >( 2 -q) 3 =8-12 q +6q2 -q3 p3 +q3 >2 ( 4 -6q +3 q2 )所以 p3 +q3 ≠ 2如若不然 ,有 2 ( 4 -6q +3 q2 ) <2 3 ( q2 -2 q +1) <0 . ( q -1) 2 <0 .矛盾故 p +q 2 .2 .A… 相似文献
4.
在STOC2003上,提出了一个公共参考串模型(CRS)下的非交互的可重用的统计绑定的非延展承诺方案。该方案的CRS由4部分构成:承诺的公钥、签名方案的公钥、广义单向哈希函数和一个对串0的承诺。我们使用2个签名方案构造了一个此类方案,方案中CRS只有2部分:模糊承诺的公开参数和签名方案的公钥。因此,新方案的CRS更短些。 相似文献
5.
杨继明 《玉溪师范学院学报》1986,(2)
1975年,Crescenzo提出了这样的一个问题;是否有无穷多对素数p,q适合p~2- 2q~2=1(1)或p~2-2q~2=-l(2)这是一个尚末解决的问题、本文以初等而简洁的方法,证明了满足(1)式的素数对只有一组p=3,q=2:若素数p,q满足(2)式,则p≡±1(mod 8)、此外,本文还很简洁地证明了当(k+8)~(1/2)为素数时,不定方程 相似文献
6.
高住低练大鼠肝细胞凋亡与bax,bcl-2和HIF-1α之间的关系 总被引：1，自引：0，他引：1
探讨"高住低练"肝细胞凋亡与凋亡调控基因(包括HIF-1α)之间关系,为低氧训练提供科研资料。方法:健康成年雄性SD大鼠60只,随机分为6组。安静对照组(C)不训练,不进行低氧暴露;低氧暴露组(HE)和高住低练组(Hilo)每天低氧暴露(氧浓度12.6%,相当于海拔4 000 m)8 h和12 h,5 d/周,共4周;常氧运动组和高住低练组每天均以25 m/min的速度训练1 h,5 d/周,共4周。采用免疫组织化学方法和计算机显微图像分析系统分析bax、bcl-2和HIF-1α阳性表达、阳性物质的定位及定量。结果:1)与C组相比实验各组细胞凋亡指数著性升高(p0.01),Hilo组凋亡指数显著高于HE组和T组(p0.01),但12Hilo与8Hilo之间无显著性差异;2)Hilo组的bax蛋白表达与HE组和T组相比显著增加(p0.05),随着低氧暴露时间的延长,呈增长趋势;TUNEL与bax呈正相关(r=0.693,P0.01);3)HE组bcl-2蛋白表达显著高于C组,12 hHE组的bcl-2蛋白表达比8hHE组显著下降(p0.05);12Hilo组bcl-2蛋白表达比8Hilo组显著下降,但明显高于C组(p0.05);4)肝组织bax/bcl-2值显示,C组与12 hHE组和12Hilo组相比具有显著性意义(p0.05);T组与Hilo组相比具有非常显著性意义(p0.01);5)HIF-1α与bax呈高度正相关(r=0.958,p0.01)。结论:bax、bcl-2与HIF-1α基因参与调控肝细胞的凋亡;HIF-1α与肝细胞凋亡呈正相关,HIF-1α可能调控bax和bcl-2,并与bax呈高度正相关,调控bax高表达而促进肝细胞凋亡。 相似文献
7.
张广 《大同职业技术学院学报》1994,(3)
1、引言 如下我们考虑中立型微分方程 (y(t)+p(t)y(h(t)))~((n))十q(t)f(y(t)),y(g_1(t)),…,y(g_m(t)))=0,t≥t_0 (1),其中,p(t),h(t),q(t),g_i(t)∈([t_0,∞),R),1≤i≤m,q(t)>0,limh(t)=limg_i(t)=∞,n≥2,p(t)有无界零点,不失一般性,我们所关心的(1)的解为正则解。如果方程一正则解有无界零点我们称为振动解,否则称为非振动的。 相似文献
8.
针对协作通信(cooperative communication)的重传问题,提出了在2个用户和基站之间的通信过程中,用户之间如何协作进行混合ARQ(hybrid ARQ)的方案. 通过分时发送机制,每个用户都保存对方上一次发送的数据,在收到基站的ACK/NACK后,根据基站的指示,从存储的上一次发送数据包中,寻找需要重传的数据包,并插入自己需要传送的新数据包,在下一个发送时隙中进行传输. 通过协作通信系统所实现的空间分集增益,提高了HARQ的性能. 比较2个用户分别独立与基站通信和相互协作与基站通信的HARQ方案,并通过理论分析和仿真,比较不同信噪比(SNR)下的吞吐量(throughput)和误包率(PER)以及平均时延,证实了本系统在可提高系统传输时延的前提下,具有更高的吞吐量和更低的PER. 相似文献
9.
目的:了解BMI(体质指数)和社会焦虑的关系。方法:采用社会焦虑问卷(SAD)调查了52名大学生。结果:1)BMI在性别间存在显著差异(t=4.32,p=0.0000.05,d=1.120.8);2)BMI与社会焦虑间无显著性相关(r=0.19);3)以BMI为标准形成的效标间社会焦虑成显著性差异(F=4.029,p=0.0130.05,η2=0.194),通过事后检验发现,偏瘦组、肥胖组被试均同正常组有显著性差异;4)曲线估计显示BMI与SAD在二次、三次方程模型中能够最大拟合数据,预测曲线为y∧=57.837-3.989x2+0.092x。结论:BMI与社会焦虑呈曲线相关,可以通过BMI预测社会焦虑水平。 相似文献
10.
介绍了数字图书馆的数字对象体系结构,它提供对分布式数字对象的持久保存、安全访问、管理以及索引服务,它的组成部分有 :名录服务系统、仓储服务系统、索引服务系统和用户接口网关。名录服务系统在整个Internet范围内为用户提供安全的名录解析和分布式的句柄管理服务。仓储服务系统的基本存储单元是数字对象,整个系统就是为了如何存储、访问、管理数字对象而设计的。索引服务系统进行资源发现,从而使用户能够很容易地从馆藏中寻找和发现所需的对象 (内容 )。用户接口网关提供以人为中心的数字图书馆功能入口点。 相似文献
11.
普通的多级代理签名体制存在着诸多缺陷,如：原始签名人与各级代理签名人之间的抵赖问题,多级代理签名过长,签名验证计算量过大等等。作者就此诸多问题,基于离散对数这一数学难题,提出了一种安全的多级代理签名方案。该方案把各级代理签名人的秘密密钥嵌入最终的代理签名密钥中,解决了原始签名人与各级代理签名人之间互相抵赖的问题;把验证过程中的部分计算量移植到密钥生成过程中,从而降低了中间级验证和最终签名验证过程中的计算量,同时也缩短了多级代理签名的长度,实现了一种安全、高效的多级代理签名方案。 相似文献
12.
证明了文[1]提出的盲代理签名方案是不安全的. 管理中心无法确认代理签名人的身份,而且管理中心和原始签名人合谋后可以任意产生有效的代理签名并利用身份确认方程把它强加给任一代理人. 相似文献
13.
群签名是对一般数字签名的一种扩展, 有很多重要应用. 最近提 出的一种高效的群签名, 被声称没有采用知识签名, 从而签名和验证的计算 量远远少于著名的ACJT 方案. 在本文中, 我们指出该方案其实采用了知识 签名, 但是由于使用上的不当, 使得该方案完全不安全, 即两个群成员合谋 就可以伪造出对任意消息的群签名, 且打开算法是无效的. 相似文献
14.
许倩霞 《广西广播电视大学学报》2003,14(1):38-41
电子商务、虚拟企业要求合作、分布计算、跨平台信息共享。移动Agent满足Internet应用程序移动性和开放性的要求,XML则是Internet数据描述的标准,保证异构环境下的高度互操作性。XML和移动Agent技术对移动计算中的用户交互提供了最好的支持。本文提出了应用XML和移动Agent实现的用户交互模型。 相似文献
15.
曹正军 《中国科学院大学学报》2007,24(2):253-256
群签名允许每个成员代表整个群体作出签名,它是构造电子现金、电子拍卖、电子选举方案 的基本工具. 本文通过极其简单的攻击方法证明Zhang et al.在2003年和 Kim et al.在1996年提出的两个群签名方案是不可追踪的。与Wang et al.提供的攻击方法相比,本文所发展的技巧十分新奇有趣。 相似文献
16.
宋凡 《贵阳金筑大学学报》2012,(4):32-33
ECDSA作为一种十分常用的椭圆曲线数字签名算法,其改进算法已成为人们研究的热点。通过对顾大刚提出的改进ECDSA方案的研究。有必要对ECDSA的安全问题进行改进。 相似文献
17.
作为一种新的密码学工具,基于属性的签名方案使得用户可以使用其属性信息作为公钥进行签名而无需证书绑定.该签名随后可被验证满足特定的访问控制结构,同时不会暴露用户的具体身份和属性信息.上述性质使得基于属性的签名在有效保护用户隐私的同时,实现了基于属性的访问控制,因此得到了许多关注.在本文中,我们对当前基于属性签名方案的效率进行了改进,提出了一个可以实现常数签名长度的门限式基于属性签名方案,并在随机预言机模型下对方案的安全性进行了证明.与现有方案相比,本方案在保持其它参数长度可实用的情况下,缩短了签名长度,提高了通信效率. 相似文献
18.
19.
首先对ISC、SCSN与CRN地震目录进行地方时转换,并进行序列统计,建立了地方时地震时间频度分布,然后对地震地方时序列做了频谱分析,以提取地震序列中的特征周期成分.地方时统计结果显示:(1)地震频度在地方时9时和19时附近最低,0时和13时附近最高;(2)存在以12h和24h为主的周期;(3)较大地震和小地震有不同的活动规律.频谱分析的结果表明,ISC、SCSN与CRN地震地方时序列除了存在12h、24h等特征周期对应日潮和半日潮之外,还存在117a、1a与175a等的周期,分别对应太阳黑子的活动周期、地球公转及接近对应月球升交点的回归年. 相似文献
20.
摘要：目的：本研究旨在研究不同强度的急性运动对骨骼肌蛋白合成信号的影响,以期能深入阐明运动对骨骼肌蛋白合成代谢的调控机理。方法：8周龄SD雄鼠分别进行不同强度的跑台运动,于运动后即刻、6h 和12h 取材白腓肠肌。BCA法测肌肉蛋白浓度,Western Blot法测肌肉MHC和AR、mTOR、p70S6K、4EBP1、MEK、ERK和p90RSK的磷酸化。结果：①骨骼肌AR磷酸化在中强度运动后即刻、恢复期6h和12h分别增加13%、20%和14%,而在高强度运动后分别增加16%、57%和37%;②mTOR磷酸化在中强度和高强度运动后3个时间点均显著增加,分别增加19%、37%、4%和28%、53%、4%;p70S6K磷酸化分别增加28%、76%、18%和33%、96%、25%。4EBP1磷酸化分别增加18%、33%、7%和25%、44%、5%;③MEK磷酸化在在中强度和高强度运动后3个时间点均显著增加,分别增加74%、22%、3%和106%、51%、24%。ERK磷酸化分别增加39%、29%、11%和55%、32%、22%。p90RSK磷酸化分别增加22%、16%、4%和35%、20%、6%。结论：①骨骼肌AR活性、mTOR通路和MAPK通路的活性均存在运动强度依赖性,前两者均于运动后恢复期6h达到最高值,后者于运动后即刻达到最高值。②在运动后的恢复期中,AR活性在mTOR通路和MAPK通路大幅回落之后,仍保持较高的活性。 相似文献