Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

岩电实验饱和度模型在探明储量中的应用

合油饱和度是评价砂岩油气层最主要的参数。确定合油饱和度的方法较多，确定储层原始合油饱和度的方法主要有直接法和间接法，直接法是指应用密闭取心或油基泥浆取心井获得的资料，通过实验室分析直接获得原始合油饱和度的方法；间接法是指应用测井曲线、毛管压力曲线、类比等资料间接获得原始含油饱和度。阿尔奇公式是测井定量解释饱和度的理论基础。在实验室条件下，通过作模拟地层条件下的岩电实验，取得地层的真电阻率，对深侧向视电阻率进行厚度校正，建立正确的饱和度解释模型，使岩电实验所建立的饱和度模型在探明储量中得到了广泛的应用。     

Development of a fuzzy decision model for manufacturability evaluation

A manufacturability evaluation decision model is formulated and analyzed based on fuzzy logic and multiple attribute decision-making under the concurrent engineering environment. The study emphasizes on the treatment of the linguistic and vagueness at the early product development stage. The study also considers the function integration of the total life cycle of a product. Hence, the integrated decision model covers the multi-level, multi-goal requirements of the products. Multiple criteria such as the goal space, the decision space, the function space, the development (i.e., product & process design) space, and the activity space, are then applied under different analysis of decision-making methods. For instances, the fuzzy multiple attribute decision-making (FMADM) combined with activity-based costing (ABC) can be used in the activity decision space. The fuzzy logic decision model can be applied in the goal decision space. The results of this study point out the importance of early decision making capability. An example of a high-pressure vessel is provided to demonstrate the proposed model for evaluating the manufacturability.     

太钢不锈冷轧工程防腐蚀施工技术

防腐蚀施工工艺掌握的好坏，直接影响到工程投入生产后的使用寿命，为保证工程质量，以太钢不锈冷轧改造工程冷线防腐为例，对其常发生的质量通病进行认真分析，总结出一套行之有效的施工技术。     

A global output-feedback controller for stabilization and tracking of underactuated ODIN: A spherical underwater vehicle

This paper presents a method to design an output-feedback controller that simultaneously solves global asymptotic stabilization and tracking of an underactuated omni-directional intelligent navigator—a spherical underwater vehicle moving in a horizontal plane (i.e. at a constant depth). The vehicle does not have a sway actuator and has only position and orientation measurements available. The control development is based on Lyapunov's direct method, backstepping technique and use of interconnected structure of the vehicle dynamics. Numerical simulations demonstrate the results.     

Interfacial hybridization kinetics of oligonucleotides immobilized onto fused silica surfaces

Fused silica optical fibers have been used in an intrinsic mode optical configuration as biosensors for fluorescence based detection of hybridization of nucleic acids. In this work, the kinetics of hybridization of single-stranded oligonucleotides that were covalently immobilized were studied. The probe DNA was dT₂₀, and the target was Fluorescein-labeled non-complementary (dT₂₀) or complementary (dA₂₀) oligonucleotide. Chronofluorimetric monitoring of the adsorption and hybridization processes was used to investigate oligonucleotide films of different density, in different salt concentrations, at temperatures of 25 and 40 °C, with the concentration of the target DNA being 0.005–0.1 μM. Mathematical models based on first- and second-order Langmuir adsorption have been examined to describe both the adsorption and the hybridization processes. Experimental data were processed using the models, and the hybridization kinetics were calculated. Hybridization kinetics on these optical fiber DNA sensors was found to be up to three orders faster than results presented for a number of other experiments using different immobilization chemistries.     

关于变压器二次额定电压的计算

推导了变压器二次负载电压的计算公式,建议由此公式代替以往原理书中惯用的近似公式。利用此公式绘制和分析了不同功率因数额定负载时的相量轨迹图。     

一种高精度的CMOS带隙基准电压源

设计了一种采用0.25 μm CMOS工艺的高精度带隙基准电压源.该电路结构新颖,性能优异,其温度系数可达3×10-6/℃,电源抑制比可达75 dB.还增加了提高电源抑制比电路、启动电路和省功耗电路,以保证电路工作点正常、性能优良,并使电路的静态功耗较小.     

基于USB接口的射频IC卡系统

介绍了一种带有USB接口的射频IC卡系统,阐述了该系统的工作原理.经过方案对比,选用USBN9603作为USB接口控制芯片,构成USB接口电路,可以使设计简单,尤其适合于产品的改型设计.给出了USB设备的软件设计方法,并给出了单片机与上位管理机通信的程序流程.由于采用USB接口,可以克服以往IC卡系统不支持热插拔和不能灵活与外设连接的缺点.     

网上考试系统中指纹验证模块的研究与算法实现

网上考试中运用指纹认证方法,可以有效地杜绝代考现象的发生.文中探讨了网上指纹验证过程中的算法实现,综合运用图像处理和模式识别技术,研究了指纹识别的理论和技术,建立了一对一的指纹识别系统.整个系统框架采用浏览器/服务器(B/S)结构,用户在客户端提交指纹图像,而服务器端则完成指纹图像的预处理、匹配算法等,再将识别信息反馈给客户端.