基于可接受性标准的复杂产品仿真系统在线评估框架

针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量AC到指标的映射模型来建立评估指标体系;引入指标集和评估函数,提出了仿真评估流程有限自动机七元组模型,给出仿真流程到评估自动机的映射关系和基于数据驱动的状态转移机制,实现评估过程自动化执行过程;基于上述成果设计了在线评估工具,通过案例验证了在线评估方法的有效性,表明该方法能够有效解决仿真系统评估滞后性问题。     

Atomic and efficient e-cash transaction protocol

Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the classical e-cash scheme is presented. The delivery of digital goods is incorporated into the process of payment in the protocol. Apart from ensuring all three levels of atomicity, the novel protocol features high efficiency and practicability with unfavorable strong assumption removed. Furthermore, the proposed protocol provides non-repudiation proofs for any future disputes. At last, analysis of the atomicity and efficiency is illustrated.     

Analysis of minimum numbers of linearly active S-boxes of a class of generalized feistel block ciphers

For a class of generalized Feistel block ciphers,an explicit formula for the minimum numbers of linearly active S-boxes of any round r is presented.     

计算E型方杯压敏电阻最佳位置的一种有效方法

采用有限元法计算了Ｅ型方杯的挠度及应力分布,并从应力差计算出了压敏电阻设置的最佳位置．     

最优资金流施工进度计划的风险分析

本文以合成事件技术为基础,研究进度计划中非关键路径对于关键路的时间干扰问题,定义了安全使用时差的新概念,以便对松驰时间和资金最佳运用情况作出可靠的风险决策。     

松嫩平原海伦农区种植业与草食动物兼营规模及效益分析

根据松嫩平原农区特点,运用经济分析的方法,对国家农业攻关和重大项目海伦试验基地基点村－胜利村的种植业怀草食动物兼营户的经济效益、规模进行评估分析。在目前生产力水平下,松嫩平原农区兼户的经济效益普遍高于单一种植业户,其生产规模：种植业２ｈｍ＾２－４ｈｍ＾２养牛４－６头 。     

Range walk and array rotation in space-time adaptive processing: effects and compensations

This paper proposes a unified clutter model incorporating the effects of range walk and array rotation for space-time adaptive processing (STAP) in airborne multi-channel early-warning radar. Based on this clutter model, STAP performance is then analyzed from the perspective of covariance matrix tapering (CMT). For STAP performance degradation due to array rotation, a determinate compensation method is proposed based on the CMT method. Numerical examples are provided to verify the analysis and the proposed compensation method.     

An equivalency condition of nonsingularity in nonlinear semidefinite programming

<正> In this paper,an equivalency condition of nonsingularity in nonlinear semidefinite programming,which can be viewed as a generalization of the equivalency condition of nonsingularity for linearsemidefinite programming,is established under certain conditions of convexity.     

Coordinated Bayesian optimal approach for the integrated decision between electronic countermeasure and firepower attack

The coordinated Bayesian optimization algorithm (CBOA) is proposed according to the characteristics of the function independence, conformity and supplementary between the electronic countermeasure (ECM) and the firepower attack systems. The selection criteria are combinations of probabilities of individual fitness and coordinated degree and can select choiceness individual to construct Bayesian network that manifest population evolution by producing the new chromosome. Thus the CBOA cannot only guarantee the effective pattern coordinated decision-making mechanism between the populations, but also maintain the population multiplicity, and enhance the algorithm performance. The simulation result confirms the algorithm validity.     

Process capability analysis and estimation scheme for autocorrelated data

<正>Autocorrelation is prevalent in continuous production processes,such as the processes in the chemical and pharmaceutical industries.With the development of measurement technology and data acquisition technology,sampling frequency is getting higher and the existence of autocorrelation cannot be ignored.This paper analyzes five estimation schemes of process capability for autocorrelated data.Comparisons among these schemes are discussed for small sample and large sample.In conclusion,this paper gives a procedure of process capability analysis for autocorrelated data.