Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

Sliding mode identifier for parameter uncertain nonlinear dynamic systems with nonlinear input

This paper presents a sliding mode(SM) based identifier to deal with the parameter idenfification problem for a class of parameter uncertain nonlinear dynamic systems with input nonlinearity. A sliding mode controller (SMC) is used to ensure the global reaching condition of the sliding mode for the nonlinear system;an identifier is designed to identify the uncertain parameter of the nonlinear system. A numerical example is studied to show the feasibility of the SM controller and the asymptotical convergence of the identifier.     

具有波动算子的非线性Schroedinger方程的谱方法

本文讨论了一类具有波动算子的非线性Schroedinger方程的周期初值问题，构造了半离散和全离散的Fourier谱格式，利用有界延拓法，证明了格式的收敛性与稳定性，并给出了误差估计，为该模型的数值分析提供了理论基础和一个有效的算法。     

实施技术创新工程发展高新技术产业

近几年来，我局围绕我市制定的“实现二次推动，促进二次创业”的发展目标，把开展科技进步和技术创新工作作为促进我市块状经济升级和产业结构调整优化、加快经济发展的重要抓手，具体制订了诸暨市“2233”技术创新工程计划，即力争通过二至三年的努力，培育和发展20家技术创新示范企业，与20家大专院校、科研机构建立产学研联合体或基地，重点扶持30个技术创新示范项目，培养和造就30名技术创新优秀人才，并相继出台一系列激励技术创新的政策，使全市企业出现了技术创新和开发高新技术产品的热潮。目前，我市已有省级以上高新技术企业24家…     

浅谈玉林师院图书馆的文献资源建设

本文提出专升本后高师图书馆在文献资源建设方面的一些设想以及具体做法。     

SWOT模型分析方法在天津电力发展战略中的应用

面对激烈的市场竞争和复杂多变的社会环境，确定企业的战略方向已成为企业经营管理的首要任务。本文采用定性分析与定量分析相结合的方法构造了一个用于制定企业战略的SWOT战略分析模型，并结合天津电力公司发展现状，应用此模型分析确定了天津电力公司所应采取的发展战略。     

现代农业de希望田野—记昌平国家现代化农业科技园

农业是国之根本,科技是第一生产力,用科技推动农业是发展的必由之路。     

一维核废料污染问题的一个二阶格式

利用降价法研究了多孔介质中一维核废料污染问题，此模型由一非线性抛物－椭圆耦合偏微分方程组的初边值问题来描述，对此问题给出了一个关于时间和空间均具有二阶精度的差分格式，并进行了理论分析。     

CAD网络教学系统研究

本文从当前CAD教学现状入手,结合网络和多媒体技术,详细阐述了架构CAD网络教学系统的必要性,并结合当前互联网模式,设计出基于B/S结构的CAD网络教学系统模型.     

结合梁剪力连接件剪拔受力的非线性分析

探讨了结合梁剪力连接件在复杂受力情况下的非线性分析模式与分析方法，计算结果与剪拔试验模型实测结果吻合良好。在此基础上，计算了广州内环中山一路结合梁剪力连接件的受力行为，为设计单位提供了设计参数。