检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

一种基于有限运行时间自动机的基因网络模型

阐述了最近几年来国外基因网络系统逻辑行为的研究新进展——基于有限状态自动机模型的方法,针对该方法的局限性,提出了一种基于有限运行时间自动机的基因网络模型,以描述网络行为的时间约束.     

Estimating time to contact during pursuit eye movements: Comparison between geometric model prediction and human performance

While an object is approaching a particular location, we can make an estimate of the time when the object will arrive at that location. A geometric model predicts that the estimate of time-to-contact (TTC) is greatly improved by using the rate of change of visual direction of the object when the object is moving with a slow velocity toward a point of nearest approach at a distance far from the observer. It has been shown that pursuit eye movements provide the rate of change of visual direction of an approaching object. We conducted psychophysical experiments, and compared TTC estimates during pursuit eye movements to those during fixation. We found that the differences in TTC estimates between fixation and pursuit show a qualitatively similar pattern to the geometric model prediction. However, the results also show that the magnitudes of the TTC estimation errors are greater than the theoretical values from the geometric model, indicating that the human visual system has a perceptual bias in estimating TTC. These results suggest that the human visual system estimates TTC during pursuit eye movements in a different way from the geometric model, although the effect of these eye movements on TTC estimates in human performance is qualitatively consistent with the model prediction.     

CSP工艺生产低碳钢中的纳米碳化物及其对钢的强化作用

用化学相分析及X射线小角散射法研究了CSP工艺生产HSLC钢中碳化物的成分、数量及粒度分布，发现尺寸小于18nm的碳化物含量大于文献中测定的CSP含Nb的HSLA钢中尺寸小于18nm的Nb(CxNy)含量。对纳米级碳化物对钢的强化作用进行了讨论。     

轧制工艺对ZJ400 热轧板带组织和性能的影响

研究了3种ZJ400 CSP热轧板材工艺规程与组织、力学性能的关系,实验结果表明：当变形量增大时,晶粒组织的不均匀程度增大,含有粗大的铁素体晶粒和残留的热轧织构,引起力学性能的各向异性,导致了抗拉强度和延伸率的降低。     

Preparation and chromatographic characteristics of a novel 2,6-dimethyl-β-CD bonded HPLC chiral stationary phase

A novel 2,6-dimethyl-b-CD bonded and silica based HPLC chiral stationary phase（CSP） was prepared.The diphenylmethane diisocyanate（MDI） was applied for the first time in the immobilization of 2,6-dimethyl-b-CD onto the surface of aminized silica gel under mild conditions. The composite materials obtained were used as the CSP for chiral separation processes and this kind of CSP exhibits good enantioselectivity for a variety of chiral compounds under reversed-phase conditions.     

基于CSP与SVM算法的运动想象脑电信号分类

针对基于两种不同意识任务(想象左手运动和想象右手运动)的脑机接口,使用共空间模式(common spatial pattern,CSP)算法对BCI 2003竞赛数据进行特征提取;基于滑动时间窗,利用CSP方法对C3,Cz和C4位置的脑电信号进行处理.利用支持向量机对特征进行分类,获得最大分类正确率82.86%,最佳时间点4.09 s,最大互信息0.47 bit,最大互信息陡度0.431 bit/s.与BCI 2003竞赛结果相比,最大互信息陡度有了显著提高,证明该方法更适合BCI实时系统的要求.     

薄板坯连铸连轧工艺与产品质量

分析了不同薄板坯连铸连轧紧凑式热带生产法(CSP)生产线的工艺流程特性,对2种典型CSP生产流程的产品与常规薄板带产品进行了对比.研究结果表明:从生产钢种来看,CSP可生产12种热带钢产品中的10种;从生产规格来看,CSP可生产比传统热轧更薄的产品;其产品具有显微组织细小、均匀、力学性能优良等优点;要提高CSP产品质量,必须严格控制从钢水冶炼、CSP连铸及连轧全过程的工艺与质量管理.     

产品开发过程管理中协调组件研究

针对目前产品开发过程中时间上相互关联任务之间缺乏有效调度和管理的现状,介绍了时间上相互关联的任务之间的关系;以广义模糊时间Petri网为理论基础,根据关联任务之间不同的关系,建立了相应的协调机制,并引入组件理论,在工作流的系统中构建了协调组件,减少了并行和串行环节的等待时间,提高了工作效率,而且从一定程度上降低了系统的死锁概率,为实际系统进行模拟、性能评价和优化提供了强有力的支持.     

以TEOS为硅源的聚硅硫酸铁中铁的形态分布研究

利用正硅酸乙酯代替传统硅酸钠制备活性硅酸,使之与聚合硫酸铁反应而得到聚硅硫酸铁絮凝剂。 由于正硅酸乙酯水解很缓慢,容易控制,可得到铁硅分布均匀、重现性好的产物;这有利于进行聚硅硫酸铁中铁的形态研究。采用Fe-Ferron逐时络合比色法和红外光谱法研究了聚硅硫酸铁絮凝剂中铁和硅的形态分布。研究结果表明：聚硅硫酸铁絮凝剂中Fe(a)形态较多,Fe(b)和Fe(c)含量相对较少。在一定时间内,随着熟化时间的延长,Fe(a)和Fe(b)含量有所下降,Fe(c)含量有所增加;但是当熟化时间到达5 d后,三种形态的变化不大。研究还显示聚硅硫酸铁絮凝剂中铁和硅的形态与其在聚合硫酸铁和聚硅酸中是不同的;聚合硫酸铁与活性硅酸并非简单的复合,而是发生了复杂的化学反应,生成了一种重现性好的新型无机高分子聚硅硫酸铁絮凝剂。