关于代数数cosπ/m的次数问题

不算出cos(π/m)的值,直接根据整数m去计算cos(π/m)的次数是本文讨论的问题。我们将cos(π/m)的次数简记为R(π/m),如cos(π/6)=3~(1/3)/2是2次代数数,记为R(π/6)=2等     

基于数字证书识别及校验的物联网固件安全检测系统的设计与实现

设计并实现了一种基于数字证书识别及校验的物联网固件安全检测系统。针对下载的不同厂商的固件，研究了在固件中识别公钥、私钥、签名等数字证书文件的方法，设计了对证书内容进行有效性校验的模型，构建了证书管理数据库，在此基础上实现了完整的固件安全检测系统。实验结果表明，该系统可对固件中的证书进行高效识别和有效性校验，并对样本外存在数字证书安全缺陷的固件进行了成功检测。     

方幂和直接计算公式

本文给出如下一类方幂和。一幻开(d;k+j+“一‘) 门矛l了1…l开(“‘+,+,,一‘,璐’禽一0J止一1直接计算公式.引理设二:,:、为正整数(:一1,2,…,:)M二艺成.则有.1,+里乏(一:),灸芝(一1)畜(拢+l乏(尤2一i)爪‘(x:一i)”2…(劣‘一i)m‘=0(1)拼+l沉1艺A:(x卜‘”‘-‘.0 州211【艺,,么“:一‘,·,一,耍 j么一0一r盯t、1/1=0 、 mt1艺F!:(:‘一‘,’ j公.0!一l一0(2)附+1证明1)乏(一1)!(m+l)(X:一‘,丫‘…‘X一‘,盆一0八针引引创、少r,+Im1!艺(一‘)叉‘一‘”:(优+l艺(一,,』1(州夏)x:”‘一”‘」‘}12一0):2·,一注‘三卜l叉(一1,了‘(…     

可编程序控制器梯形图编程的一种通用方法

本文针对可编程序控制器用户程序的编制问题,给出了一种用阶段过渡控制图作为桥梁来编制梯形图的通用方法,并对若干实例在PLC-2/30可编程控制器上全部验证通过,说明这种方法正确无误。该方法严密清晰,简单实用,有规可循,因此是解决PC用户编程很有实用价值的一种通用方法。     

从蓝脑计划到人脑计划:欧盟脑研究计划评介

正最近欧盟和美国分别启动和准备启动耗资巨大的两个脑研究计划——"人脑计划"和"尖端创新神经技术脑研究计划"。本文介绍欧盟人脑计划的背景、目标、内容及方法,也介绍学术界对此的见解和争议。关于脑和心智的研究已成为对当代科学最大的挑战之一。2000年,诺贝尔生理学或医学奖得主埃德尔曼(Gerald M.Edelman)说:"脑科学的知识将奠定即将到来新时代之基础。凭这些知识我们可医治大量疾病,建造模仿脑功能的新机器,而且更深入地理解我们自己的本质以及我们如何认识世界。""心智的生物学研究在21世纪的地位,正相当于基因研究在20世纪的地位,这已成为当前科学界的共识。"2013年春季,欧盟和美国分别启动和准备启动耗     

低铬奥氏体焊接新材料产生

由我校材料系王来教授负责主持的国家“九五”重点科技攻关项目“低铬奥氏体焊接材料的开发与应用”通过教育部专家组的鉴定 .他们历经三载多的艰苦钻研和上千次的反复试验才研制成功的低铬奥氏体焊接材料基本解决了 2 0世纪六七十年代以来国内外关于异质接头在高温服役过程中提前失效这一难题 ,填补了该领域的国内外空白 ,并达到了国际领先水平 ;其开发与应用的经济效益和社会效益及国内外市场的前景广阔 .新开发的低铬奥氏体焊接材料已进行了中试生产和现场应用考核等过程 ,其产品可替代目前国内外大量使用的Ａ30 2及Ａ30 7奥氏体不锈钢焊…     

一类Lucas数与三角函数乘积的封闭形和式

用发生函数的方法得到和式∑nk=0Ur tkdk及∑nk=0Vr tkdk的封闭形计算公式,利用复数De.Moivre公式给出Lucas数与三角函数乘积的和式∑nk=0Ur tkcoskα及∑nk=0Vr tkcoskα的封闭形计算公式.