软件可靠性概要

本文概述作者对软件可靠性的若干总体看法,具体技术问题不作深入讨论,甚至许多问题仅仅提及而不加展开,数以千计的有关文献也不加列举。本文试图阐述软件可靠性理论研究和工程实践的基本范畴,内容包括软件可靠性与软件工程的关系、软件可靠性的含义、软件可靠性的基本问题、国内外软件可靠性研究现状、当前软件可靠性面临的主要问题,以及当前我国软件可靠性领域应开展的工作。     

低频水力振动器解堵原理及现场应用

对油、水井施加振动处理是解除近井地带堵塞的有效途径之一。理论研究和实践表明 ,施加的振动能量越大 ,振动频率越低 ,其处理深度就越大 ,处理效果越好。介绍了一种可实现低频率、大振幅振动的水力振动器的工作原理 ,并导出了可为振动器设计提供依据的参数计算公式。为了满足现场施工压力变化范围大的要求 ,结合室内模拟试验进行参数优化 ,研制出了一种低频水力振动器。将振动器应用于现场 11口水井的解堵施工 ,其应用实践证明 ,这种低频水力振动器工作性能可靠 ,解堵效果明显 ,可以推广使用。     

Recent progress in the determination of gallium, indium, and thallium

Recent progress in the determination of gallium, indium, and thallium     

面向知识管理的案例教学系统设计

知识经济环境下,高校学生面临着知识快速更新和创新能力培养的挑战,本文从知识管理的角度,对现 有的网络教学系统进行了分析,提出了基于KM的案例教学系统架构．     

Learning-based force servoing control of a robot with vision in an unknown environment

A learning-based control approach is presented for force servoing of a robot with vision in an unknown environment. Firstly, mapping relationships between image features of the servoing object and the joint angles of the robot are derived and learned by a neural network. Secondly, a learning controller based on the neural network is designed for the robot to trace the object. Thirdly, a discrete time impedance control law is obtained for the force servoing of the robot, the on-line learning algorithms for three neural networks are developed to adjust the impedance parameters of the robot in the unknown environment. Lastly, wiping experiments are carried out by using a 6 DOF industrial robot with a CCD camera and a force/torque sensor in its end effector, and the experimental results confirm the effecti veness of the approach.     

Robust stability test for 2-D continuous-discrete systems with interval parameters

It is revealed that the dynamic stability of 2-D recursive continuous-discrete systems with interval parameters involves the problem of robust Hurwitz-Schur stability of bivariate polynomials family. It is proved that the Hurwitz-Schur stability of the denominator polynomials of the systems is necessary and sufficient for the asymptotic stability of the 2-D hybrid systems. The 2-D hybrid transformation, i. e. 2-D Laplace-Z transformation, has been proposed to solve the stability analysis of the 2-D continuous-discrete systems, to get the 2-D hybrid transfer functions of the systems. The edge test for the Hurwitz-Schur stability of interval bivariate polynomials is introduced. The Hurwitz-Schur stability of the interval family of 2-D polynomials can be guaranteed by the stability of its finite edge polynomials of the family. An algorithm about the stability test of edge polynomials is given.     

使用.net实现P2P应用

Peer-to-Peer(P2P)网络被喻为第三代网络,采用的是点对点分散式网络架,它不需要服务器的中转,使 用户与用户之间的连接更加方便、直接．net是微软公司近年来推出的新的软件开发平台,能简单、方便地构 造P2P应用．本文介绍了如何使用．net实现P2P应用的方法．     

基于混沌吸引子的时间序列预测

本文提出一种新的时间序列预测技术。对于一个经诊断存在混沌吸引子的时间序列,根据相空间中混沌吸引子的分形等特性,建立依赖于预测点邻界状态的预测模型;综合存在于原时间序列中确定线性趋势的外推结果,实现对原时间序列的短期预测。     

从一个案例看电子数据库的版权保护*

电子数据库的版权保护的问题是目前计算机技术版权保护中的一个热点，本文通过一个软件版权纠纷的案例，讨论了其中存在的问题，即在现阶段，末有专门保护数据库法律的情况下，可否把电子数据库与程序一起纳入软件程序的范围的问题，并提出实施方法建议。     

关于特型插齿刀制造技巧与模型研究

本文介绍特型插齿刀延长使用寿命的一种技巧、相关模型与实例，因尼实践检验，故有较广泛的实用价值。