一种加入有效期的离线电子现金方案

电子现金作为物理货币的电子等价物，已经成为一种安全方便的电子支付手段。由于电子货币容易被复制，所以防止电子现金的重复花费是设计电子现金方案必须考虑的安全问题。现有的电子现金方案中，一般的做法是银行保留所有已经花费的电子货币，然后与新花费的电子货币比较，以发现重复花费。这样就带来了一个问题，即银行的存储花费会无限增大，对其的查询和管理效率也会降低。基于RSA盲签名和Schnorr一次性知识证明设计了一个新的离线电子现金方案，在电子现金中加入了使用有效期，减少了银行历史花费数据库的存储规模，加快了重复花费检测速度。     

Mutilated chessboard problem is exponentially hard for resolution

Mutilated chessboard principle CB_n says that it is impossible to cover by domino tiles the chessboard 2n×2n with two diagonally opposite corners removed. We prove lower bound on the size of minimal resolution refutation of CB_n.     

防渗渠道的防冻胀措施

介绍了哈尔滨市防渗渠道的衬砌型式；分析了防渗渠道的破坏原因，并提出了抗冻胀措施。     

电磁场法向分量边界条件非独立性的微分法证明

电磁场的法向分量边界条件不独立 ,但先前关于这一命题的微分法证明有局限性 .文中指出了这一局限性 ,给出了对任何光滑界面普遍适用的微分证明法 .     

轧钢主电室空调设计方案的改进

介绍了轧钢厂电气控制室空调冷水系统、风系统及风管布置；根据电气室工艺要求特点，确定合理方案。新方案的运行结果表明该方案合理可靠，运行效果良好。     

Parallelization of entanglement-resistant multi-prover interactive proofs

Multi-prover interactive proof systems are said to be entanglement-resistant if the soundness holds even when provers are allowed to share an arbitrary quantum state before the interaction starts. This letter proves that every entanglement-resistant multi-prover interactive proof system can be parallelized to two rounds without ruining its entanglement resistance at the expense of adding one prover.     

粉尘爆炸机理及粉尘防爆电气设备标准介绍

分析了粉尘爆炸产生的机理,介绍了我国粉尘防爆电气设备国家标准的制定、发展和逐步完善等内容。     

某型指挥控制组合的设计

指挥控制组合属于某型火控计算机系统中的一部分，用来接受火控计算机主机以及雷达送来的工作状态信号（有／无诸元，跟踪／搜索，最佳射击）和飞行状态信息（ D、V；H、tf；D、DK；）。接受的同时，实时显示并报读，供指挥员观察和决策，以选择最佳时机发出击发命令。     

浅谈煤矿井下电气设备的管理

该文结合作者在义马煤业集团孟津煤矿有限责任公司机电科及机电区的工作经验,分析了如何从健全管理组织、抓好防爆性能、加强现场管理、提高安全保护性能等方面,切实搞好井下电气设备的管理工作。