企业各软件的数据共享和整合分析浅谈

本文主要根据大多数企业存在各种软件各自独立运行,各软件之间数据不能相互共享,一些旧软件或不适用的软件与目前主流操作系统不兼容等问题,分析问题并用接口和整合方法解决,此平台利用云计算技术,解决大多数企业建设信息平台投资大的问题,同时方便企业使用和维护.     

光学薄膜元器件外观特性机器视觉检测系统

本系统利用工业级摄像头及开发包的机器视觉功能与计算软件编程控制技术相结合,通过与输入控制系统中的标准膜片模板外观品质进行对比,实现高速高效、准确识别检测光学薄膜器件中滤光片的外观缺陷。可在生产线上根据外观品质标准模板中设定的类别进行自动分类装盒。     

Petri网与数字系统设计

日益复杂的数字系统设计,须由各种专业的设计人员分工完成。他们之间需要一种描述系统的“共同语言”来沟通,这对于提高设计质量、缩短设计周期、减少设计费用具有积极意义。Petri网十分适合担任这一“共同语言”的角色。文章给出了数字电路测试仪器中的硬件设计的部分实例。     

Design and analysis of turnover platform for welding robot北大核心CSCD

A turnover platform for welding robot was designed for the application of welding robot with lower accuracy requirement, which was of low cost and higher position accuracy. In this turnover platform, the pneumatic motor was used as the power output, and the indexing mechanism with high accuracy was the transmission system with high transmitting ratio based on worm and wheel. The position information was acquired by using the photoelectric encoder, and the turnover motion with high accuracy was realized through the closed-loop controller. Simulation results showed that the maximum speed of the welding platform approached 14 r/min, and the platform could meet the requirements of most welding products. Such a turnover platform can offer the application program of the welding robot with low cost for the middle and low level products, and reduce the cost of welding robot and improve welding productivity.     

基于积件思想的高职计算机课程项目式教学探索——以C语言程序设计为例

基于积件思想,对五年制高职计算机课程项目式教学进行探索,以C语言程序设计为例研究分析,并组建C语言程序设计课程知识点积件库,编写高职C语言程序设计课程项目式校本教材,分析C语言程序设计课程教学项目“阶梯电价计费”.并借助开源平台Moodle实现了教学项目的应用.     

On the estimation of adequate test set size using fault failure rates

Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. We define the failure rate of a program as the fraction of test cases in an available test pool that result in execution failure on that program. This paper investigates the relationship between failure rates and the number of test cases required to detect the faults. Our experiments based on 11 sets of C programs suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of adequate test set size with respect to fault detection and should therefore be one of the factors kept in mind during test set construction. Furthermore, the model proposed herein is fairly robust to incorrect estimations in failure rates and can still provide good predictive quality. Experiments are also performed to observe the relationship between multiple faults present in the same program using the concept of a failure rate. When predicting the effectiveness against a program with multiple faults, results indicate that not knowing the number of faults in the program is not a significant concern, as the predictive quality is typically not affected adversely.     

Conformance Tests for Real-Time Systems with Timed Automata Specifications

A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented. Received October 1999 / Accepted in revised form November 2000     

Kinematic analysis of 3SPS+1PS bionic parallel test platform for hip joint simulator based on unit quaternion

As a novel parallel hip joint simulator, the 3SPS+1PS bionic parallel test platform with 4 degrees of freedom including three rotations and one translation is proposed. SPS denotes the spherical-prismatic-spherical leg and PS denotes the prismatic-spherical leg where only the prismatic joint is actuated and hence underlined. By means of the unit quaternion method, the formulae for solving the inverse/forward displacement, the inverse/forward velocity and the inverse/forward acceleration kinematics are derived. Using the unit quaternion to represent the position and orientation of a moving platform, singularities caused by Euler angles can be avoided. Combining the topological structure characteristics of the 3SPS+1PS bionic parallel test platform and letting the three-dimensional (3-D) motion of a human hip joint as its output movement, the displacement trajectories of three active legs are constructed based on the inverse displacement kinematics. The forward kinematic tests whose data are recorded by a 3-D orientation capture system are carried out on the developed parallel hip joint simulator. Moreover, the results of the forward kinematic tests prove that the 3SPS+1PS bionic parallel test platform can approximately represent human hip joint motion and provide more reliable experimental data for hip joint prostheses in clinical application.     

在线自学与考试系统的设计

本文将现有的在线自学与在线考试系统相结合,设计出一个具备教学与测试的完整的学习系统,并实现学习者学习进度记录、进度相互比较及经验交流等功能,使学习者在学习过程中并不孤独。     

高校党建工作网络信息化探索与实践

论述高校党建工作网络信息化的重要意义,指出构建党建工作信息化平台要体现三个特征,从信息化观念、信息素养水平、高校特色、师生党员归属感等方面,对网络平台的搭建和党建信息化的开展进行了探讨,并提出了相应的对策。