基于计算解语义的逻辑程序测试和调试框架

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.     

基于P-不变量的Petri网并行化方法的研究

为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的.     

基于Web的工作流表单的柔性建模

针对基于Web的工作流管理系统中表单建模存在的数据结构不合理、维护困难、效率低、缺乏数据柔性和结构柔性等问题,分析了表单数据特点及传统表单建模方法的缺陷,提出一种基于XML和关系数据库的表单柔性建模方法,给出基于表单的流程推动模型及实现方法,引入了数据集控件和自定义函数控件,增强了系统的可扩展性和柔性,满足了工作流管理系统中对表单定义处理灵活性的要求.     

基于超声传感器阵列的陆地自主车测距

目前,超声波传感器主要用于低速运动的自主式移动机器人短距离测量,采用的测距方法多把串音干扰看作有用信号的干扰项,尽可能排除.基于远距离超声波传感器,本文利用串音干扰设计了一种适用于高速行驶的陆地自主车进行远距离测量的方法.实验结果表明此方法的可靠性和精度都能满足陆地自主车的距离探测要求.     

分布式发电技术在大型电网事故中的作用

研究分布式发电技术在电网事故中的作用,探讨适合中国发展的分布式发电方式。分析了分布式发电在电网事故中建立区域小电网的方法和意义。通过分析认为:负荷中心的分布式发电可以保证大中城市的重要用户用电安全;分布式发电在电网事故中的安全运行可以为大电厂黑启动提供启动电源;热电联供的分布式电源在电网事故中优先进行黑启动对重要用户和电网恢复至关重要。但是热电联供的机组在黑启动中要注意直流电源供电的可靠性、高压厂用变的容量、负荷恢复过程中的逐渐性等问题。     

亚甲基[6,6]-Fullerene[C60]单羧酸衍生物的合成

以溴乙酸乙酯、硫醚和Fullerene[60]为原料合成Fullerene[60]羧酸乙酯,再经水解、酸化得到亚甲基[6,6]-Fullerene[C60]单羧酸,并进一步反应得其酰胺。这些新化合物的结构经IR和1HNMR确证。     

负色散镜的设计、制备及在掺钛蓝宝石激光谐振腔内的使用

根据钛宝石激光器的要求设计了性能优良的两种负色散镜(NDM1和NDM2)。NDM1同时引入啁啾效应和G-T效应产生大的群延迟色散量以减少光在负色散镜上的反射次数。NDM2仅引入G-T效应产生较小的群延迟色散以补偿腔内自相位调制带来的部分啁啾。选用离子束溅射法制备了这两种负色散镜。用分光光度计测试了它们的透射率。结果表明,所制备的负色散镜的性能与设计性能非常接近。使用这两种负色散镜进行掺钛蓝宝石激光谐振腔内色散补偿实现了飞秒脉冲锁模,获得了15 fs的超短脉冲。     

基于矩阵束方法的传输线系统瞬态响应分析

带有频变负载的传输线系统的瞬态响应分析是电磁兼容领域的一个重要内容,特别是对于频变负载网络较为复杂或内部结构不清晰的情况,其瞬态响应的分析较为困难。本文首先在采样频率点处对频变负载端口导纳进行测量或计算得到相应的采样导纳,并采用有理函数逼近的方式对端口导纳进行等效;之后采用矩阵束(MPM)方法求解出有理逼近函数所需的极点和留数,并将其代入到分段线性递归卷积(PLRC)技术中,实现传输线和频变负载连接点处电压的分段线性递归卷积表达;最后,结合传输线方程实现带有频变负载的传输线系统的瞬态响应分析,并通过2个算例对所提方法的性能进行验证。结果表明,所提方法在计算精确度上具有明显的优势。     

水热合成铌酸锂超细粉体的反应条件及其性能研究

以LiOH和Nb2O5为原料,用水热法合成了铌酸锂纳米粉体.通过XRD、SEM、TEM及FTIR等方法对所制备的超细粉体进行了表征.研究结果表明:当x(Li):x(Nb)为1.10,水热合成温度为260℃,反应时间为24h时,能够合成出结晶完好的50～200nm的铌酸锂超细粉体.     

杂萘联苯聚醚砜酮/环氧树脂共混体系固化反应动力学

采用热熔法制备了杂萘联苯聚醚砜酮(PPESK)/环氧树脂(E-51)共混物,利用差示扫描量热仪(DSC)对共混物的固化反应动力学进行了研究。借助Ozawa和Kissinger等方法确定了PPESK增韧E-51体系的固化动力学参数,包括反应的表观活化能E,指前因子A和反应级数n;结果表明,采用新型高性能热塑性树脂PPESK增韧环氧树脂不仅在工艺上具有可行性,而且PPESK的加入降低了固化反应的表观活化能,促进了固化反应的进行。