非Horn子句在PROLOG中的表示与处理

1.非Horn子句向Horn子句的转换问题子句的一般形式为 R_1∨R_2∨…∨R_q←P_1∧P_2∧…∧P_k (1)其中R_i(i=1,2,…,q)和P_j(j=1,2,…,k)都为原子公式,当q=1或q=0时,称(1)为Horn子句,而当q>1时,称它为非Horn子句(non-Horn Clause)。     

非最小相位AR模型的Lp反褶积

本文讨论y_n=h_n*X_n为AR(q)模型,输入{X_n)为零均值独立同分布平稳序列,脉冲响应{h_n}为非最小相位的线性系统,如何由输出{y_n}的样本序列y_1,y_2,…,y_n估计系统的自回归系数a_0,a_1,…,a_q的反褶积问题,提出L_p(1相似文献   

国防科技大学研究生院八九年硕士生单独入学考试程序设计与数据结构试题

门5分)一、从供选择的答案中选出应填人下列流程图中(a)、(e)处的适当答案。 流程图说明如下: l)数组K(I)(I=l,2,3…,N)中存放着从2开始的自然数2,3,4,…, N+l。 2)此流程图求这N个自然数中素数的个数万。 3)处理方法是,从2开始消去2的倍数,剩下的数中最小为3。再消去 3的倍数,剩下的数中最小为5,再消去5的倍数,…;依次类推,最 后剩下的数便是素数。 供选择答案: ①八N②I:J③办N④N:I⑤N:J⑥<⑦> ⑧(⑨>⑩二⑧今⑩J+1*J⑩J屹‘J ⑩J十K,(J)⑩J+K(I),J┌──┐│0,M││0今I│└──┘(7分)二、(7分)三、下列二至六题均以标淮PA…     

电工技术问答

<正> 1、交流接触器衔铁卡住时,线圈容易烧毁;而直流接触器衔铁卡住时,则线圈不会烧毁。是什么原因?直流接触器。当电源电压(U)不变时,其励磁电流(I)的大小仅取决于接触器线圈的电阻(R)、如:I=U/R,因此,励磁电流 I 是恒定值,当接触器衔铁卡住时,气隙增大磁阻则增大,由于接触器的磁动势 F=NI(N—线圈匝数)     

关于RSA不动点的注记(Ⅱ)

以 T=T(p,q,e,α)表示 RSA(p,q,e)的 α阶不动点的个数 ,A和 B分别是满足 x1

2 x1 ,y2 >2 y1 ,x1 →∞ ,y1 →∞时成立 ,其中 eα- 1=rm1 1 rm22 … rmtt =∏ti=1rmii =∶ ∏ rm 是 eα- 1的标准分解式 .     

机器人动力学与控制——讲座连载之四

§4 李雅普诺夫方法 RM系统的动能为 T=1/2q~TD(q)q (4.1)记广义冲量为p p=(T/q)~T=D(q)q (4.2) 式(4.1)、(4.2)中的q为RM系统的广义坐标q=[q_1,…,q_n]~T,设系统的势能为V(q),H=T+V(q)为系统的哈密顿函数,则RM动力学方程为     

求合取范式可满足性问题全部解的一个算法

设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:     

关于QL-、D-蕴涵的分配性方程的解

研究了[r→（t∧s）]≡[（r→t）∧（r→s）],[r→（t∨s）]≡[（r→t）∨（r→s）],[（p∧q）→r]≡[（p→r）∨（q→r）],[（p∨q）→r]≡[（p→r）∧（q→r）]4个分配性方程,它们在模糊集理论中的形式分别是I（r,T₁（t,s））=T₂（I（r,t）,I（r,s））,I（r,S₁（t,s））=S₂（I（r,t）,I（r,s））,I（T₁（p,q）,r）=S₁（I（p,r）,I（q,r））,I（S₁（p,q）,r）=T₁（I（p,r）,I（q,r））,其中p,q,r,s,t∈[0,1],T₁、T₂为任意三角模,S₁、S₂为任意三角余模,给出了I为QL-、D-蕴涵时满足分配性方程的充要条件。     

方酸菁染料结构与电子性质的分子轨道法研究

采用改进的半经验分子轨道法(PPP—SCF—MO)计算了8种吲哚方酸菁染料分子的电子结构和电子光谱,计算得到的最大吸收峰波长与实验值较好的一致,计算得到的荧光跃迁能ΔE_(fl)与荧光峰波数υ_(fl)存在如下关系:υ_(fl)=10.664ΔE_(fl)-3.1299(k·cm~(-1)),r=0.9721。计算得到的前线轨道能量E_(HOMO)和电子跃迁能E_(abs)与氧化电位E_(1/2,OX)存在如下关系:E_(1/2,OX)=0.520(-E_(HOMO))+4.291E_(abs)-11.100,r=0.909。并讨论了电子结构与光谱性能的关系。     

多接收多重认证码的新构造

基于(n, w, q)集和纠错码给出(w, k, n)多接收多重认证码的新构造。这种构造使得阶欺骗攻击的成功率Pdu达到了下界1/q,还使最大接收者人数和信源个数分别为m(k, q)和m(w, q),与前人构造中的 对比发现,当k, w=2时,改进的数量为1或2,当k, w≥q时,改进的数量为w-q+1。此外当q为素数幂时,改进的下界为1。     

国防科技大学研究生院八八年研究生入学考试计算机原理程序设计试题(答案)

一、解:其FORTRAN程序为: DO 101二2,SQRT(7568),210 JF(I*(I+2).EQ.7568)WRITE(6,一)I,I+2 END二、解:牛顿迭代公式为劣。=z卜;f(:卜,)f‘(x卜1) 当}:,一介一,}<10一5,:。即为近似根。 其BASIC程序为:10 LET劣1二0.620 LET劣0==忿l30 LET劣1==劣0一(3一念0一eos(劣0)一1)/(3+SIN(劣0))40 IF ABS(:1一:0)<0.00001 GOTO 6050 GOTO 2060 PRINT二l70 END三、解:其FORTRAN程序为:、, INTEGER SCORE(300),S丈10) DO 101=6,9105(I)二0 DO 201=l,300 K== INT(SCORE(I)/10.0)205(K)==S(K)+l WRITE(6,一…     

重根循环码

在循环码理论中,通常要求码字的长度n与有限域Fq的特征p互素,即(n,p)=1,这样才能保证循环码的生成多项式g(x)没有重根。使用离散傅里叶变换（DFT）,得到长度为N=psn的q—元重根循环码的谱表示和重根循环码的结构,这对重根循环码的构造及译码有重要作用。     

人工神经网络BP算法通用程序

前言 尽管人工神经网络BP算法仍然存在着某些问题,但它还是一个非常有效的算法,得到了广泛的应用。本文介绍一个通用的BP算法程序。 1.BP算法 对于全连接的BP网络,假设网络共有N层,其中,输入节点为n个,输出节点为m个,网络有N—2个隐层,第i层的神经元数为N_i,则有N_1=n,NN=m;规定第i层第q个神经元的输出为y(i,q),阈值为θ(i,q),其中第1层的输出为输入的样本;从第i层的第s个神经元到第i+1层第q个神经元的连接权为W(i,s,q)。各层神经元的输出满足:     

仪表工问答

60.测温仪表的允许基本误差如何计算? 答测温仪表的允许基本误差常用公式有配热电偶仪表和配热电阻仪表两种。这两种公式的符号和单位不同,但符号意义相同。 (1)配热电偶测温仪表的基本误差以毫伏(mv)表示,不应超过仪表的允许基本误差δE_允=±K(E_终-E_始)% 式中δE_允——仪表的允许基本误差,mv; E_终、E_始——与标尺终点、始点标度线上示值相对应的电压值,mv; K——仪表精确度等级。例1 设有一台精确度等级K为0.5、分度号为EU2、测量范围为0～1100℃(相应热电势为0～45.10 mv)的电子电位差计,其允许基本误差: δE_允=±K(E_终-E_始)%=±0.5×(45.10-0)%=±0.23mv 例2 设有一台精确度等级K为1.0、分度号为LB3、测量范围为0～1600℃(相应热电势0～16.688mv)的XCT-101动圈式指示调节仪,其允许基本误差δE_允=±K(E_终-E_始)%=±1.0×(16.688-0)%=±0.167 mv     

Terrain topographic inversion using single-pass polarimetric SAR image data

1IntroductionFullypolarimetricSARimagerytechnologyisoneofthemostimportantadvance-mentsforspace-borneremotesensing.Ithasbeenextensivelyappliedtoterrainsurfaceclassification.The22-D(Dimensional)complexscatteringamplitudefunctionsFpq(p,q=v,h),and44-DrealMuellermatrixMij(i,j=1,…,4)canbemeasured[1].Co-polarizedorcross-polarizedbackscatteringsignatureisthefunctionoftheincidencewavewiththeellipticityanglecandorientationangley.Recently,twoflightsofpo-larimetricSARimagedatahavebeenutilizedtogene…     

有趣的数字三角形——QBASIC中循环的嵌套使用

用 QBASIC 编程可以解决一些有趣的问题。比如下面这道题:编程打印 N 行(N≤9)的数字三角形,要求1)每列数字左对齐2)N 由键盘输入。举例来说,即当 N=5时,打印如下图形     

关于RSA加密方法不动点的注记

设n=P1P2……Pk,其中诸pi是互不相同的素数,e是满足（e,φ（n))=1的整数,φn)=(p1-1)…（Pk-1),以RSA（n,e)表示以n和e为公开钥的RSA公钥加密体制,利用孙子定理,给出院 计算RSA（n,e)的与n互素的a阶不动点的方法,以T（n,e,a)表示这个加密体制的与n互素的a阶不动点的个数,记S（n,e,K)=Ⅱa=1^kT(n,e,a)^1/k,则logS(n,e,K)=ωn)log2 1/K∑p/n∑q/p-1∑r^m|plogr[K(indge,r^m-1(r-1))/r^m-1(r-1)]。     

Periodical Stability for a Class of Uncertain System Under Process Perturbation

Controlled object for a class of m × n flow show with infinite buffers, is a linear state space model in the sense of ordinary max-algebra R , ⊕, ? . S open[1~3]: ( ) ( ) ( )( ) ( ) X k A X k B u kY k C X k??? == ?? ⊕ ? , k = 1,2,L (1) where A ∈ R p × p , B ∈ R p × q ,C ∈ Rq ×p, p = mn, q = m + n. k denotes the processing batch of jobs J 1, J 2, …, J n; X = [ x1 1 , L , x1 n , x2 1 , L , xm 1 , L , xmn]T denotes the state vector; xi j is the time when job J j was processed…     

L1/2正则子在Lq (0 < q < 1)正则子中的代表性: 基于相位图的实验研究

近期, 正则化方法吸引了越来越多的关注. 在L1正则子之后,Lq (0 q 1) 正则子被提出用于更好的求解稀疏性问题. 一个自然的问题是:在所有Lq (0 q 1) 正则子中, 哪一个q是最好的选择？通过采用相位图, 以及一组关于信号恢复与误差校正问题的实验, 我们表明: (i) 随着q减小, Lq正则子得到更稀疏的解; (ii) 当1/2L1/2正则子始终产生最好的稀疏解,且当0 q 1/2时,正则子的性能没有显著的区别. 因此, 我们认为L1/2正则子可被看作是一个Lq (0 q 1) 正则子的代表.     

擂台赛

1998年第1期擂台赛点评 试题A 问题:试编一程序将1至N(N≤30)的自然数序列1,2,…N重新进行排列,使任意两相邻自然数之和为素数。 例如:N=5的一种排列方案为:3,4,1,2,5。 解题分析:解这道题的基本思路是:列举自然数1到N的所有可能排列,从中选出符合条件的排列方