Simulation of X-ray pulsar signals with multiphysical properties

In view of the few and discontinuous X-ray pulsar data, based on the physical properties of the X-ray pulsar real data from the Rossi X-ray Timing Explorer (RXTE) spacecraft, this paper adopts the fast iterative method and the 10 μs time transformation model, simulates the X-ray pulsar signals which have the periodic property, spectral property, and the background noise property as well as a variety of delay effects. We design and implement simulation software which can simulate the X-ray pulsar signals with multi-physical properties. The results of comparing the real data and simulation data in the same situation show that the simulation noises and the actual noises have the same distribution, that the period stability of the simulated X-ray pulsar data agrees with the real data, with the error of only 0.43％, in different energy levels, that the simulated data's integrated profile and the real data's standard profile are highly correlated with the Pearson correlation coefficient of 0.99, and that under the 10μs time transformation model, the time conversion accuracy of the simulation data can reach 10^-7s, the error between the simulation and the real data being just only 10^-7s, which meets the time transformation accuracy. Therefore, the proposed method can realize the high-fidelity simulations and generate the continuous pulsar signal with many physical properties.     

抗层状撕裂钢16MnR—Z25的研制

舞钢首次为需方提供的１６ＭｎＲ－Ｚ２５钢板用于连铸机设备，通过试制和生产，舞钢已向需方提供了２０～１２０ｍｍ九个厚度规格的１６ＭｎＲ－Ｚ２５钢板，对该钢的研制与生产，说明所制定的工艺是可行的，在严格执行生产工艺的前提下，钢板质量，各项性能均满足技术条件的要求，并有一定的富裕量。     

影响羰基铁粉电磁性能的几个因素

介绍了羰基铁粉的电磁性能及其影响因素,对实际生产有参考价值。     

软件漏洞模糊测试的关键分支探索及热点更新算法

在软件开发及应用中,由于具有可复现性,模糊测试能够帮助发现漏洞和有针对性地对漏洞成因进行分析。为了解决模糊测试过程的效率及测试力度等问题,提出了软件漏洞模糊测试的关键分支探索及热点更新算法。该方法通过捕获、分析和利用受检程序在处理测试用例时的执行位置的关键信息,以指导模糊测试过程的探索方向和测试用例的生成。实验结果表明,提出的方法相较于传统随机发散的模糊测试方法在漏洞发现能力上有较大提升,在Otfcc、Swftools等14个开源程序中发现了100余个未被公布的漏洞,为模糊测试用于软件漏洞检测提供了新的可靠途径。     

金矿矿源层和含金建造刍议

在矿源层评价中,相对于岩石中的金丰度,金的赋存状态具有更重要的意义,因此在工作中应恢复岩石的原始含金性,并计算区域金丰度值.本文还讨论了含金建造的概念、分布和评价准则等问题.     

89C51单片微机在自动定位系统中的应用

针对枕式包装机定位系统存在的问题，提出并研制了基于单片机机的控制系统，该系统使包装定位精确，实现袋长和袋速的予置和实时检测等功能，实际运行平稳可靠，效果良好。     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

浇注型耐热聚氨酯树脂材料的合成及性能

以二异氰酸酯(4,4’-二苯甲烷二异氰酸酯MDI;4,4’-二环己基甲烷二异氰酸酯Hl2MDI),聚醚多元醇(PPG),小分子交联扩链剂,催化剂及助剂合成了一系列耐热聚氨酯树脂材料。用FT-IR表征了结构,用X射线衍射分析了微观结构,用DSC,TGA对其热稳定性进行了分析测试,对力学性能也进行了测试。结果表明,合成的聚氨酯材料具有高耐热性和卓越的力学性能。     

纳米SiO2润滑油添加剂的摩擦学性能研究

以醇盐水解沉淀法制备了40nm左右的二氧化硅粒子;用四球摩擦试验机测定了纳米SiO2作为润滑油添加剂的摩擦性能,并利用SEM照片观察磨斑表面形貌,探讨了纳米SiO2的抗磨机理.研究结果表明:400SN基础油的承载能力在加入纳米SiO2后得到很大提高,并且纳米SiO2的加入量有一最佳值.当加入量为1.5%时,PB值增大了近1倍,达到最佳.