基于双向核实机制的移动通信终端防伪验证

针对现有手机防伪方法存在的不足,提出一种新的移动通信手机终端防伪验证方法,并设计实现了基于短信平台和手机数据库的防伪验证系统。系统通过手机预置短信和开机超时自动发送的方式，实现对已售手机信息的主动采集,并利用基于数据加密保护和数据库查询校验的信息双向核实机制进行防伪确认。与传统方法相比，系统大大提高了手机防伪的可靠性,便于对销售信息进行及时、准确地采集和分析。     

一种加法交换律和结合律的验证方法

依据"数位对齐、逢十进一"的运算法则,结合十进制加法表,给出了验证加法交换律与结合律的一种方法。     

监管新政下保险资金运用的新进展

针对近来保险监管在保险资金运用方面的一些政策变化,特别是对险资进入资本市场投资的若干新政策以及逐步推进的险资投资不动产等问题进行深入分析;针对近来热议的险资投资不动产新规特别是投资保障房的问题,用理论和案例相结合的方式进行详细剖析。认为完善险资运用法律制度,加强资产-负债匹配管理和加强人才建设有助于促进这两个热点问题的合理化发展。     

如何在工程竣工结算过程中控制工程造价

随着我国经济建设的发展,建筑企业的规模越来越大,工程结算又是决定工程造价最关键的一步,如何在这最关键的一步控制好工程造价。工程造价直接关系着建设单位和施工单位效益的问题,这就需要双方共同努力,所以文章就作者在这几年工作中总结的几点经验进行论述。     

基于PLC-200的大功率直流电动机调速系统的设计

以大功率直流电动机调速系统为研究对象,采用西门子PLC-200作为主要控制器件,西门子6RA70作为执行单元,罗升触摸屏作为上位机,同时采用增量式PID控制算法实现大功率直流电动机自动直流调速系统的设计.     

日本泡沫经济分析及其对中国的启示

阐述了泡沫经济的概念及其成因,分析了日本泡沫经济形成的国际背景、产生的内部因素、主要表现形式以及泡沫破灭对日本的负面影响,探讨了日本泡沫经济对我国的启示.     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

双齿围沙蚕体积调节的研究：Ⅱ.体积调节的稳态参数

本文对双齿围沙蚕(Perinereis aibuhitensis)体积调节的稳态参数——渗透压、氯离子浓度、水含量等进行了研究,发现在低盐度下,体液渗透压高于环境,在高盐度下基本与环境等渗;体中氯含量曲线与渗透压曲线相似,说明渗透压与盐度紧密相关;盐度越低,体內水含量越高,三者是相互关连的。     

真核生物的热击反应及转录调控的研究现状

真核生物受热击及其他应激作用后能诱导产生ＨＳＰ。ＨＳＰ在生物体内起着重要的生理功能。研究热击反应有助于搞清植物基因表达调控的机理，这也是科学家们近几年来研究的热点。随着植物基因工程技术的完善和发展，这一研究进展很快。ＨＳＥ、ＨＳＦ和ＨＳＰ在热击基因转录和调控过程中起着非常重要的作用。