实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

宝钢研制的全氢罩式炉控制系统分析

对宝钢研制的全氢罩式炉计算机控制系统的逻辑结构、工作原理及硬件配置进行了分析.该系统与引进的系统相比,在通讯方式、程序结构、操作分析、报警和开放性等方面都有所改进.     

雷达仿真系统中电磁干扰环境的仿真设计和实施

雷达仿真系统是为检测雷达设备的抗干扰能力以及在各种电磁环境下的工作性能而设计的，包括有源干扰和无源干扰的模拟仿真。本文阐述了无源干扰即杂波的散射模型和仿真过程；从同步脉冲干扰的基本原理出发，阐明在雷达工作环境仿真系统中距离拖引、速度拖引、虚假目标等同步脉冲有源干扰的设计和实施过程；并针对工作在搜索和跟踪交替模式下的相控阵雷达提出自适应综合干扰方式；最后分析并总结了系统仿真时为真实、有效地模拟电磁干扰环境应注意的关键问题。     

建安工程扣件式钢管脚手架作业中安全技术的应用

扣件式钢管脚手架应用代表着建筑工业化的一个重要发展方向 ,如何安全、规范地使用扣件式钢管脚手架将是我们标准化施工的新课题     

锗酸铋（Bi4Ge3O12）单晶热物理性质的研究

本文用不同的测试技术和方法测定了锗酸铋(BGO)单晶的比热(300～800K)热膨胀系数(100～1100K)和导温系数(140～700K),进而导出了 BGO 单晶不同温度下的导热系数、定容比热、德拜温度和格虑内森数。本文还对 BGO 单晶热物理性质的变化规律作了理论解释。     

SC-3000智能均流测试仪在整流供电系统中的应用

论述了均流仪在整流机组均流管理中的功效.     

信息管理系统中的工作流技术研究与设计

介绍了工作流的应用背景,分析了某校教务系统中采用的工作流技术的原理和设计思想。提出可编辑、管理和监控的工作流模型,并重点介绍了工作流程运行机制。工作流技术使单位内部业务流程自动化,信息流转逐步实现无纸化。利用其图形化定义流程的功能,在办公流程越来越严谨的前提下,办公效率也大幅提高。某校在教务系统中运用了工作流技术,取得了良好的效果。     

认知定位系统的自适应精度研究

为了能够实现定位精度的自适应,本文分析了认知无线电定位系统(cognitive positioning systems,CPS)的原理。该系统利用频谱及环境感知等模块中的传感器单元来获取所需的定位参数,并将其与到达时间(time of arrival,TOA)定位估计算法相结合,以克拉美罗下界(Cramer-Rao lower bound,CRLB)为准则分析最大似然(maximum likelihood,ML)定位精度自适应算法。本文还对单径和多径环境条件下定位精度自适应性能进行了比较。仿真结果表明,该算法能够实现定位精度的自适应,并能通过改善系统可用的频带带宽、分散频谱的数目、信号的调制方式等因素来提高定位精度。     

Granular multiple kernel learning for identifying RNA-binding protein residues via integrating sequence and structure information

Neural Computing and Applications - RNA-binding proteins play an important role in the biological process. However, the traditional experiment technology to predict RNA-binding residues is...     

Improved stability conditions for systems with interval time-varying delay

The paper is concerned with the stability of linear systems with interval time-varying delay. Through constructing a new augmented Lyapunov-Krasovskii functional (LKF) which contains some quadruple-integral terms and estimating the time derivative of the LKF less conservatively, new stability criteria are derived without introducing any free matrices. Moreover, by proving the positive definiteness of the LKF with some integral inequalities, the constraints on some functional parameters are relaxed and the conservatism of the obtained results are further reduced. Numerical examples are also given to demonstrate the effectiveness and reduced conservatism of the obtained results.