序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。     

排列复杂性度量应用于脑机接口信号分析

在排列分划的基础上,应用Lempel-Ziv复杂性和最新定义的格子复杂性分析脑机接口信号.由于对非线性时间序列的排列分划进行了重要改进,使这种粗粒化方法具有了普遍的适用性.与经验模式分解结合,将排列分划与常用的均值分划作了比较.实验表明,基于排列分划的复杂性度量可以取得较好的效果,甚至超过了均值分划经经验模式分解所能达到的最好结果,说明排列复杂性度量可作为脑电信号分析的新方法,尤其适用于需要快速处理的场合-比如脑机接口.     

修正的RDP逻辑系统中子代数的广义重言式理论

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[～]同余的一个分划。     

光学瞄具分划倾斜与像倾斜现代测试系统研究

分划倾斜与像倾斜是考核光学瞄具性能的重要指标之一.本文依据其测试要求,在分析传统检测原理与方法的基础上,设计了一套应用CCD摄像技术、光学技术、光电自动调焦技术、精密机械技术、计算机控制与图像处理技术的现代测试系统.结果表明,该测试系统具有易操作、高效率、客观性强、准确度高等特点,由于采用了基于图像处理的自动调焦技术和Sobel图像边缘检测技术,测试不确定度可达3′,测试范围为±10°.     

一种有理保形插值及其收敛阶

给出了一种具有某种特性的有理保形插值函数,讨论了它的收敛阶,这对有关问题无论是理论研究,还是实际应用都具有一定的意义。     

Goedel逻辑系统中F（S）中的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中,得到了（1）在逻辑系统G∧-、G中,重言式不可能由对非重言式进行有限次升级算法得到;（2）在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;（3）在逻辑系统Gn中,{C（Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F（S）的一个关于→同余的分划,在逻辑系统G∧-中,{C（G∧-）,[（1/2）-]-C（G∧-）,[1/2]-C（G∧-）,[1∧-]-C（G∧-）,[0∧ ]-T（G∧-）,[1/2]-T（G∧-）,[（1/2∧ ]-T（G∧-）,T（G∧-）}是F(S)的一个关于→同余的分划,（4）在[0]-T（R）（R∈{G∧-,G,Gn}）中引入了一种降级算法并讨论了其性质。     

Godoel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Godel逻辑系统G、G、Gn中,得到了(1)在逻辑系统G、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,是F(S)的一个关于-同余的分划;在逻辑系统G中,是F(S)的一个关于-同余的分划.(4)在[0]-T(R)(R∈|G,G,Gn|)中引入了一种降级算法并讨论了其性质.     

照相制版的计算机处理

本文介绍了应用计算机辅助制版工艺代替传统的刻制红膜或人工绘制放大底图的工艺并展望了新工艺的前景。     

修正的Kleene系统中子代数的广义重言式理论

将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F（S）关于┐同余的一个分划。