Entwicklung und Anwendung von mathematischen Optimierungsmethoden zur Ableitung von vereinfachten Prüfungen für Fahrwerksbauteile

Testing the fatigue life time of chassis components is necessary during the development process and for quality supervision during the period of series production. In many cases a simplified test is done to reduce the complexity of the test. The development engineer has to develop the specification of those simplified tests. According to the task different approaches are possible: Looking for an adaquate test load or for a simplified mounting ore both. This paper deals with several numerical methods for test specification development. Especially a numerical optimization routine is presented for detection of a signifcant load case. Also the iterative searching for a simplified mounting in combination with damage based selection of load channel is shown. Exemplary the application of the routines is demonstrated by Porsche PANAMERA wheel carrier and a suspension‐strut receiving. The actual stage of development of the numerical routines is presented. In addition intended upgrades of the software are shown.     

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

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

The number of pessimistic guesses in Generalized Black-peg Mastermind

Mastermind is a famous two-player game, where the codemaker has to choose a secret code and the codebreaker has to guess it in as few questions as possible using information he receives from the codemaker after each guess. In Generalized Black-peg Mastermind for given arbitrary numbers p, c, the secret code consists of p pegs each having one of c colors, and the received information consists only of a number of black pegs, where this number equals the number of pegs matching in the corresponding question and the secret code. Let b(p,c) be the pessimistic number of questions for Generalized Black-peg Mastermind. By a computer program we compute several values b(p,c). By introducing some auxiliary games and combining this program with theoretical methods, for arbitrary c we obtain exact formulas for b(2,c), b(3,c) and b(4,c) and give upper and lower bounds for b(5,c) and a lower bound for b(6,c). Furthermore, for arbitrary p, we present upper bounds for b(p,2), b(p,3) and b(p,4). Finally, we give bounds for the general case b(p,c). In particular, we improve an upper bound recently proved by Goodrich.     

派生诉讼中的取证与举证问题研究

派生诉讼中的原告和被告存在严重的信息不对称,这导致原告举证困难.对涉及举证问题的前置请求阶段和审判阶段均从举证责任归属、举证程度要求以及获取证据途径几个方面进行了研究,力求在便利股东提起派生诉讼的同时对公司的经营管理不造成过度的干扰.     

On a new formal proof model for RFID location privacy

We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model.Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.     

低压防雷技术在水电站工程中的应用

分析了浙江丽水英川水电站遭遇的几次雷击事故。在后续工程消缺中通过完善电站接地系统、采用低压防雷技术，以及在配电系统、信号采集传输系统、通信系统等处按照层层设防的原则加装必要的抗浪涌装置和防过电压装置，实施了较为全面的综合防雷解决方案。实践证明该方案是经济、可行的，对类似水电站的设计或改造工程具有一定的参考价值。     

探讨港口大型装卸设备的防雷性能

叙述了雷电的形成、种类以及雷电对于大型机械设备尤其是港口大型装卸设备的危害,提出,针对港口大型装卸设备的防雷性能提出探讨意见,以求能够逐步降低与减少雷击事件的发生。     

拥有DSA数字签名的零知识证明

提出一种拥有DSA数字签名的零知识证明方案。签名者不向签名接收方显式提供信息的DSA数字签名,而是给出一个拥有该DSA数字签名的零知识证明。方案可以限制数字签名的任意传播,适用于电子产品的版权保护。     

本质安全型防爆控制按钮在防爆起重机上的应用

介绍了防爆起重机的发展现状及本质安全型防爆技术的设计应用,阐述了防爆安全栅的工作原理及控制电路组成,分析了系统电气控制设计原理及优越性。通过实践证明,其使用性能良好。     

基于delta码的乘除法运算错误检测改进算法

为确保安全苛求系统中程序执行的正确性,研究人员将差错控制理论用于对计算机指令进行编码,但由于编码大多涉及模运算,导致复杂度大量增加,应用于实时系统有困难。针对复杂度问题对delta码的乘除法运算算法进行改进。算法在乘法运算中引入冗余编码及差异化思想,从而确保安全性;在除法运算中引入逆元,将除法运算转化为低复杂度的乘法运算,避免了模运算带来的开销,降低了复杂度并提高了算法安全性,并对安全性进行理论论证。理论分析表明：所提算法漏检率可达2.3×10^-10。测试结果表明,所提算法的漏检率与理论值相符,且复杂度是未编码运算6.4~7.2倍,比原delta码降低了7%~19%,在漏检率与复杂度方面均满足安全苛求系统的应用要求。