基于DNA计算自组装模型的Diffie-Hellman算法破译(英文)

DNA自组装计算模型是近年来引人关注的计算模型,已有基于自组装模型的二进制加法、乘法以及有限域中的加法和乘法的讨论．文中利用DNA自组装模型设计的模乘系统,实现了素数P的本原根g连续乘方后模p的数的排列,从而可以在线性时间内求解离散对数,为破译Diffie—Hellman密钥交换算法提供了新的生物方法．该模乘系统使用了Θ（p）种自组装类型,组装的时间复杂度为Θ（p-1）．系统最后组装结果提取出报告链后,经过PCR和凝胶电泳读取离散对数结果．该模型扩展了DNA自组装计算模型的应用,为求取离散对数提供了新思路．     

考虑不确定性的结构性市场力评估方法

市场力评估是电力市场化改革的关键环节。随着大规模新能源接入电力系统,电力市场不确定性激增,现有的确定性市场力评估模型向概率性模型转化。由于确定性模型无法考虑新能源的不确定性特征,市场力误判现象频发,严重威胁电力市场的安全运行。为考虑新能源与负荷不确定性的重要影响,提出了一种结构性市场力指标——考虑不确定性的发电机最小期望发电集(UEMGI)。基于机会约束理论,以发电机出力期望最小为目标,提出了考虑不确定性的市场力评估优化模型。然后,基于潮流方程对不确定性的灵敏度分析,通过引入松弛变量对机会约束的非线性部分进行二阶锥松弛,提出了所提机会约束优化模型的二阶锥快速求解方法。最后,采用PJM 5节点和IEEE 39节点系统进行仿真计算。仿真结果表明,所提方法能有效反映系统整体不确定性水平与市场参与者市场力之间的复杂关系,为新能源背景下电力市场的结构性市场力评估提供有效手段。     

液氢温区脉动热管实验研究

为了研究脉动热管用于冷却Mg B——2超导磁体的可行性,对一台自行研制的液氢温区脉动热管实验台开展了实验研究工作。充液率为34.2%时,随着加热功率的增大,脉动热管经历了启动、脉动、极限3个阶段,启动阶段中脉动热管传热温差波动很大,传热性能差,而脉动阶段中脉动热管传热温差很小,传热性能好。脉动热管在加热功率为1.28 W时具有最高的有效热导率为19 k W/m·K,此时蒸发段与冷凝段温差为0.28 K。     

DC流对液氦温区斯特林型脉管制冷机的影响

理论研究表明DC流(Direct Current flow)存在于大多数双向进气结构的脉管制冷机中。开展了10 K以下多级斯特林脉管的实验研究,考察了在液氦温区斯特林脉管内直流流动对制冷机性能影响的规律。在采用双向进气结构对DC流流向及流量适当控制时,制冷机性能得到明显提升,在8—7 K温区适当的DC流下冷端由7.42 K降低至7.16 K。     

基于VXI总线的噪声测试系统设计与应用

武器发射时产生的脉冲噪声对人员和仪器会造成很大的危害,因此噪声测试在武器勤务性能考核巾具有重要意义,针对脉冲噪声信号特性,开发了一套基于VXI总线的噪声测试系统;详细介绍了系统硬件结构设计、基于LabWindows/CVI虚拟仪器开发平台的软件设计和系统功能;设计的系统具有存储容量大、采样率高和软件功能强等特点,能够用于各种武器单发或连发射击时的噪声测试,也可以用于武器非行驶状态下的稳态噪声测试;通过在试验中的应用,表明本系统操作简便,工作可靠.     

SDG故障诊断中的分层建模递阶推理方法

针对采用符号有向图(signed directed graph,SDG)对石化工业系统进行故障诊断时,经常存在SDG建模和推理过程十分繁琐、困难的问题,提出了一种基于控制回路分解系统的SDG分层建模及递阶推理方法.在建立SDG模型时将整个系统分解为含有系统层、子系统层和回路层的多层次模型架构,进而利用递阶推理在分层SDG模型中搜索相容通路来实现故障诊断.该方法能清晰表述工业系统的SDG模型,减少了建模和推理的复杂度.以Tennessee Eastman仿真系统为例进行了验证,证明了方法的有效性.     

计算机系列研究生暑期学校办学体会

阐述了暑期学校的办学基本理念,介绍具体的办学方案和经验。通过分析问卷调查结果表明,该次办学收到了良好的教学效果,为今后继续打造暑期学校品牌提供了依据与参考。     

计算机类课程小班教学模式研究

本文阐述了计算机类课程开展小班教学的基本理念,提出小班教学具体实施原则。针对推广小班教学面临的各种障碍,结合国内高校计算机教学实际情况,提出了若干建设性意见与措施方法。     

XML在SU_PDM1.5产品数据管理系统中的应用

本文介绍了XML技术实施中的体系结构和主要技术难点,XML与数据库的连接,XML数据在客户端与服务器之间的交互,客户端对XML结构的解析。     

电力系统结线分析的有色Petri网方法

从离散事件动态系统角度考虑电力系统结线分析问题,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法,Petri网中的令牌代表结线分析中的结点,令牌的颜色表示连接在同一个结点上的元件,变迁将包含相同元件的结点连接在一起,论文对基于Petri网的结线分析算法及传统的算法进行了比较,并计算了一个模型系统各变电站的结点及网络的结线,表明了该方法的可行性及有效性。