嵌入式软件形式化建模方法

随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,提出采用状态变迁矩阵（STM）对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏。针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表（DT）模型对复杂多条件判断分支问题进行建模。在模型建立后进行验证,最后自动生成代码。通过对紧急制动控制建模实验,说明方法的正确性。     

溶解性有机物对超滤膜装置过滤性能的影响

选择3种分子量大小、电性、亲憎水性不同的有机物单宁、腐殖酸、海藻酸钠作为模型化合物,在装置间歇性运行和气水反冲洗条件下分别运行98 h,结果表明：有机物的电性、分子大小、亲憎水性对超滤膜的过滤通量影响有细微差别,对色度、紫外吸光度和总有机碳的检测结果表明其去除率分别为34.4%、35.5%、35%,非常接近且稳定,而装置的间歇式运行有利于超滤膜通量恢复。     

Stephenson型平面六杆机构的运动领域识别法

Stephenson型平面六杆机构，可分解为平面四杆机构和一个Ⅱ级杆组，其运动领域可分离为连杆轨迹曲线上的两个边界点或边界转向点。将这些分支的运动领域映射在数轴上，用雅可比矩阵的系数行列式的符号和相应构件角位移的正弦符号来识别。     

Design of digital controllers for double-loop systems based on series expansions

A method of designing digital controllers for a double-loop system is presented based on series expansions of pulse transfer functions. The controllers can achieve approximately an arbitrarily specified response. Simulation studies are performed for some plants, and the results are compared with those for single-loop systems reported before. Both systems give similar responses to a step reference input. However, the double-loop system gives a smaller response to a step disturbance.     

PARTIAL PURIFICATION AND CHARACTERIZATION OF TROPOMYOSIN-BOUND SERINE PROTEINASE FROM THE SKELETAL MUSCLE OF YELLOW CROAKER (PSEUDOSCIAENA CROCEA)

A myofibril‐bound serine proteinase (MBSP) in the skeletal muscle of yellow croaker (Pseudosciaena crocea) was isolated from myofibril by heat treatment and chromatographies on Sephacryl S‐200, fast performance liquid chromatography (FPLC) on Mono Q column and high performance liquid chromatography (HPLC) using a Bio‐Sil SEC‐125 column. A single protein band with a molecular weight of 34 kDa was observed on sodium dodecyl sulfate‐polyacrylamide gel electrophoresis (SDS‐PAGE). Optimum temperature and pH of the purified protein was 55C and 8.0. Inhibitor susceptibility analysis indicated that the enzymatic activity was effectively suppressed by serine proteinase inhibitors such as Pefabloc 4‐(2‐aminoethyl)‐benzenesulfonyl fluoride hydrochloride and aprotinin, while inhibitors for other proteinases (namely cysteine, asparatic and metallo) did not show any inhibitory effect. At the last purification stage, the electrophoretic study revealed that the proteinase associated with tropomyosin, as the N‐terminal amino acid sequence of the 34 kDa main band protein, exhibited high sequence homology (90%) to α‐tropomyosin from white croaker, human and rat. This result suggested that yellow croaker MBSP is an α‐tropomyosin‐binding proteinase.     

12Cr-ODS钢中氧化物强化相（Y2O3）辐照损伤行为研究

本文采用电子束（e^－） 氦离子（He⁺）、氢离子（H⁺）束同时复合辐照方式研究12Cr-ODS铁素体钢中氧化物弥散强化相（Y₂O₃）辐照损伤行为,对不同辐照方式下辐照区内的氧化物形貌变化进行原位观察。研究结果表明,15dpa辐照后,氧化物周围出现微小高密度空洞,相界面变得不规则,氧化物在此特定条件下发生体积收缩或长大,尺寸有少量变化,但无明显溶解现象,对钢的性能不会产生影响。     

Interaction Between Ovomucoid and Lysozyme

The interaction between ovomucoid and lysozyme was investigated by precipitation experiments, polyacrylamide gel electrophoresis and inactivation experiments on ovomucoid. The ovomucoid-lysozyme mixture produced turbidity at low salt concentrations over the pH range 6–11. Although both ovomucoid and lysozyme solutions (0.2%, pH 8.5) yielded no precipitation when heated separately at 80°C for 10 mm, about 40% of the proteins in the 0.2% solution of the ovomucoid-lysozyme mixture (2:3, in weight; 1:3, in mole) was precipitated by the same treatment. Ovomucoid was found to form complexes with lysozyme, some of which were precipitated by centrifugation (2000 ×g, 20 mm), and it was presumed that ovomucoid and lysozyme molecules were brought close together by the electrostatic attractive force, unfolded by heating, and then aggregated through intermolecular forces such as hydrophobic forces, hydrogen bonds and disulfide bonds.     

Application of the singular control test to periodic control problems of a continuous distillation process

The singular control test is applied to periodic control problems of a continuous distillation process in order to determine if the optimal periodic control is proper. It is also shown that the singular control test is easier to apply than the w-teat for the problems of concern. Some numerical calculations are carried out for seeking the optimal periodic controls.     

Steady-state error covariances of fixed-point smoothers

The estimation error covariance of a fixed-point smoother in the steady-state, which has the steady-state solution of the Kalman filter as the initial condition, is considered for both continuous- and discrete-time systems. Applying some results on a stabilizing solution for a forward-pass fixed-interval smoother, a necessary and sufficient condition is given for assuring the existence of a unique stabilizing solution for such a fixed-point smoother. It is then shown that the resulting condition is equivalent to a well-known condition for the existence of a unique stabilizing solution of the Kalman filter or of the backward information filter.     

Studies on numerical site calibration over complex terrain for wind turbines

The estimation of wind turbine performance over complex terrain is very difficult because of the document of standard IEC61400-12 is adapted for flat or slightly complex topography.And the cost of constructing a meteorological mast is higher with scaling wind turbine up.We have proposed a numerical site calibration(NSC) technique in order to estimate the inflow velocity at the position of wind turbine by using CFD tool to calculate the flow field around the site.The present paper shows the problems for the ...