对时间输入/输出自动机一致性测试的改进

Jan.S等提出了对时间输入／输出自动机（TIOA）模型进行黑盒一致性测试的算法。针对其生成的测试序列数量太大这一问题，提出用可最小化的时间自动机（MTA）模型来描述稠密的实际系统，并用递归算法实现了对测试序列的首部即转换覆盖P的构造。由分析得出结论：使用MTA模型可使上述测试算法生成的测试序列的数量大大减少，从而在不影响其完全性的情况下使该算法更具实用性。     

二元Poisson求和公式及Shannon型样本定理

经典的Shannon样本定理是关于用可数个样本点的信息对有限带(Band-hmited)信号函数进行恢复.文章利用二元Poisson求和公式证明了未必带有限的二元函数的Shannon型样本定理.文中所有结论不难推广到n(＞2)元函数中去.     

有限变形非线性的变形能原理及功的互等定理与变分原理的关系

首先导出了直角坐标系有限变形非线性弹力力学的变形能原理，然后应用有限变形的功的互等定理分别导出了有限变形的热能泛函和余能泛函，从而证明了上述两原理的正确性，并建立了它与变分原理的联系。     

有限变形非线性弹性力学的倒易定理

建立了直角坐标系有限变形非线性弹性力学的倒易定量并给出了大挠度弯曲薄板的倒易定理。     

拉压性能不同材料全量型本构关系及环板的应力分析

将经典全量理论作了推广，考虑了应力状态对拉压性能不同材料塑性行为的影响，并用其计算了环板的应力分布，结果表明，应力状态塑性体积变形对环板的环向应力影响较大，因此，不能将拉压性能不同材料简化成体积不可压缩的理想材料。     

一类抛物型方程的能控性

研究了一类由抛物型偏微分方程描述的分布参数系统的能控性问题 ,通过构造凸泛函 ,用与Sakawa不同的方法 ,得到了系统的全局近似能控性 ,并进一步证明了系统具有有限维精确能控性 ,改进了Sakawa已有的结果。     

视被劳358例屈光状态分析

目的探讨视疲劳在不同年龄段发病率及与屈光状态的关系.方法选取资料完全视疲劳患者358例,常规散瞳后在全自动电脑验光仪验光后检影验光.结果视疲劳在30～50岁间最易发生,且与屈光状态关系密切.结论轻度远视及逆规性散光易产生视疲劳.     

侧向受荷桩的有限元——弹性理论分析法

采用非文克尔地基模型,依据Mindlin的弹性理论解,建立地基的柔度矩阵,将桩视为由侧向弹簧支承的连续梁,弹簧的刚度为变刚度,采用逐次迭代的方法求解,并与实测结果对比,其吻合程度较好。     

应用激光闪光法测量薄膜材料的热扩散率

目的是将用于测量片状试样的热扩散率的激光闪光法推广至测量薄膜试样。应用 1 5纳秒脉冲 Nd:YAG激光及响应时间 0 .9微秒的 (Hg,Cd) Te红外探测器等建立了闪光法热扩散率测量系统 ,并应用此系统对微米量级厚度的不锈钢薄膜进行了测量。同时针对将激光闪光法应用于薄膜时所出现的问题 ,如激光的有限脉冲时间及有限吸收厚度效应 ,测量系统的滞后效应 ,以及增强红外吸收及辐射用表面黑化膜的影响进行了分析并提出了解决方法     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性