安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

Internal standardization for the determination of cadmium,cobalt, chromium and manganese in saline produced water from petroleum industry by inductively coupled plasma optical emission spectrometry after cloud point extraction

In the present paper a procedure is proposed for the determination of traces of Cd, Co, Mn and Cr in petroleum industry produced water by inductively coupled plasma optical emission spectrometry. The procedure is based on cloud point extraction of these metals, as their dithizonate complexes, into the surfactant-rich phase of octylphenoxypolyethoxyethanol surfactant (Triton X-114). Extractions were carried out in solutions with salinities between 10‰ and 70‰. Since residual salinity in the surfactant-rich phase caused differences in its transport to the plasma, yttrium was used as an internal standard to correct for this effect. The simultaneous metal extraction procedure was optimized by response surface methodology using a Doehlert design and desirability function. Enhancement factors of 21, 21, 9 and 19, along with limits of quantification of 0.093, 0.20, 0.73 and 1.2 μg L^− 1, and precision expressed as relative standard deviation (n = 8, 20.0 μg L^− 1) of 5.8, 1.2, 1.7 and 5.7% were obtained for Cd, Co, Mn and Cr, respectively. The accuracy was evaluated by spike recovery tests on the high salinity water samples with salinity of 40 and 63‰.     

Pseudoaffinity, de Boor algorithm, and blossoms

In order to ensure existence of a de Boor algorithm (hence of a B-spline basis) in a given spline space with (n+1)-dimensional sections, it is important to be able to generate each spline by restriction to the diagonal of a symmetric function of n variables supposed to be pseudoaffine w.r. to each variable. We proved that a way to obtain these three properties (symmetry, n-pseudoaffinity, diagonal property) is to suppose the existence of blossoms on the set of admissible n-tuples, given that blossoms are defined in a geometric way by means of intersections of osculating flats. In the present paper, we examine the converse: do symmetry, n-pseudoaffinity, and diagonal property imply existence of blossoms?     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

3000TEU巴拿马型集装箱船设计探讨

围绕一艘３０００ＴＥＵ巴拿马型集装箱船设计中提出的主尺度确定、船型和快速性、稳性和装载等若干问题进行探讨，给出了可供参考的解决问题的途径．     

单涂层吸波材料的优化设计及偏差研究

本文通过对单涂层吸波材料内电磁波传输损耗机理的细致研究，提出了单涂层吸波材料优化设计的两项原则。结合具体实例详细说明这两项原则的具体应用，最后讨论涂层电磁参量在偏离匹配条件的情况下，对涂层吸波性能影响的具体结果分析。图３．表１，参３。     

我国跨国经营的发展构想

本文在系统阐述当代跨国经营战略调整与发展趋势的基础上，简要剖析了现阶段我国企业跨国经营的主要问题，重点探讨了我国跨国企业发展战略的基本构想。     

锁具装箱方案

讨论了锁具装箱问题，首先用穷举法统计符合要求的一批锁具的数量，然后根据奇数和偶数的转换关系，给出装箱的销售方案。应用本方法比较完满地解决了锁具装箱问题，而且经过简单改动，可以进行推广。     

A New Integrated Design Method Based on Fuzzy Matter-Element Optimization

This paper puts forward a new integrated design met ho d based on fuzzy matter-element optimization.On the based of analyzing the mod el of multi-objective fuzzy matter-element , the paper defines the m atter-element weightily and changes solving multi-objective fuzzy optimization into solving dependent function K(x) of the single-objective optimization according to the optimization criterion. The paper particularly describes the realization approach of GA process of multi -objective fuzzy matter-eleme...