高强混凝土T形截面双向压弯构件承载力的研究

对9根T形截面高强混凝土双向压弯构件进行试验研究,揭示了这类构件的破坏形态,并进一步分析T形截面正截面承载力的变化规律.     

Optimal registration of object views using range data

This paper deals with robust registration of object views in the presence of uncertainties and noise in depth data. Errors in registration of multiple views of a 3D object severely affect view integration during automatic construction of object models. We derive a minimum variance estimator (MVE) for computing the view transformation parameters accurately from range data of two views of a 3D object. The results of our experiments show that view transformation estimates obtained using MVE are significantly more accurate than those computed with an unweighted error criterion for registration     

基于智能工程的钟表CAD系统的研究与设计

基于智能工程的思想，提出了一种并行分层结构的集成化智能ＣＡＤ系统，并在钟表ＣＡＤ中得到成功应用，同时还首次将布局理论应用到钟表机芯设计中。     

关于TAP6程序开发及应用

ＴＡＰ６是一个能求解稳态或非稳热传导的程序系统，可解热传导，对流换热，热辐射，热源等问题，又可作为ＳＡＰ６程序的前处理热分析程序，给出结构温度场供ＳＡＰ６进行热应力计算。     

影响冷弯型槽钢临界弯曲角因素综合分析

计算、分析了带材弹性模量，槽钢腿部长度，腰部宽度，厚度，强度极限和弹性极限对冷弯型槽钢临界弯曲角的影响，其结果对提高产品质量，降低生产成本有参考价值。     

Refinement of fair action systems

An action system is a framework for describing parallel or distributed systems, for which the refinement calculus offers a formalisation of the stepwise development method. Fairness is an important notion in modelling parallel or distributed systems, and this paper investigates a calculus for refinement of fair action systems. Simulations, which are proof techniques for refinement, are extended to verify fair action systems. Our work differs from others' in that the additional condition concerning fairness is expressed through termination of related iteration statements. For this purpose, existing proof rules for termination are extended. In the tradition of the refinement calculus, our approach to fairness is based on techniques developed mainly for sequential programming. Received: 16 March 1995 / 16 April 1997     

基于网络数据管理的研究与设计

基于网络的数据管理是网络存储领域中的关键性前沿技术，在讨论网络数据管理的体系结构、信息流和其工作机制的基础上，分析了目前网络数据管理协议的不足，由此提出了myNDMP原型．对该原型的设计原理及其实现机制进行了阐述．研究结果表明，该原型提高了网络数据管理的可扩展性．     

低温冷冻干燥装置的研制

冷冻干燥过程的研究对实验室用小型冷冻干燥装置提出了新的性能要求。笔者设计并制作了一台低温冷冻干燥装置 ,首次应用新型的自动复叠循环作其制冷系统。该装置最低制冷温度低于 - 80℃ ,并且能对温度、真空度以及制品质量进行准确地测量和控制 ,可用于多种制品冷冻干燥过程的研究和优化     

Dynamic parallel machine scheduling with mean weighted tardiness objective by Q-Learning

In this paper, we discuss a dynamic unrelated parallel machine scheduling problem with sequence-dependant setup times and machine–job qualification consideration. To apply the Q-Learning algorithm, we convert the scheduling problem into reinforcement learning problems by constructing a semi-Markov decision process (SMDP), including the definition of state representation, actions and the reward function. We use five heuristics, WSPT, WMDD, WCOVERT, RATCS and LFJ-WCOVERT, as actions and prove the equivalence of the reward function and the scheduling objective: minimisation of mean weighted tardiness. We carry out computational experiments to examine the performance of the Q-Learning algorithm and the heuristics. Experiment results show that Q-Learning always outperforms all heuristics remarkably. Averaged over all test problems, the Q-Learning algorithm achieved performance improvements over WSPT, WMDD, WCOVERT, RATCS and LFJ-WCOVERT by considerable amounts of 61.38%, 60.82%, 56.23%, 57.48% and 66.22%, respectively.     

考虑前馈作用的BTT导弹自动驾驶仪设计方法研究

针对BTT导弹自动驾驶仪的设计要求,文章提出了一种考虑前馈作用的导弹自动驾驶仪控制器设计方法。基于该型导弹三通道弹体数学模型,建立了自动驾驶仪控制系统数学模型。应用增益技术和递推设计方法,并基于过载稳定跟踪控制的设计要求,提出了一种全局非线性稳定控制策略,设计了连续的非线性自动驾驶仪,解决了该导弹俯仰通道的前馈问题;对于偏航通道,通过设计三通道协调控制律,将有前馈的自动驾驶仪设计问题转化为无前馈的设计问题;同时也利用滑模变结构控制原理解算出了横滚通道的舵偏角指令。数字仿真结果表明,所设计的自动驾驶仪控制系统可有效克服前馈问题所产生的稳态误差以及不确定性因素的影响,同时也提高了跟踪精度,并具有良好的动态特性和稳态品质。