分析逻辑程序的一种有效工具—推导格式

本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。     

Proxy Multisignature Scheme with （t, m） Threshold Shared Verification

A proxy multisignature scheme with （t, m） threshold shared verification is first proposed based on elliptic curve. In proposed scheme, a proxy signer can sign a message on behalf of n original signers for specific group of verifiers and only any t or more verifiers together in the specific group of verifiers are able to verify the validity of the proxy multisignature on behalf of the group of specific verifiers, but t-1 or fewer verifiers can not. Since the proposed scheme is constructed based on elliptic curve, it requires smaller bandwidth and achieves more secrecy of data transmission; it is more etffcient for signature and verification etc.     

知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

再论逻辑程序并行解释的Conery模型

举例说明经 Woo N S 和 Choe K M 修正的 Conery AND/OR 处理模型可能陷入无穷循环,并分析其成因,然后给出算法 SEND 2来克服它。     

液压挖掘机铲斗振动掘削功率消耗研究

液压挖掘机工作时,铲斗液压缸无杆腔的油液压力间接反映了土壤的挖掘阻力.针对实验液压挖掘机独特的双阀芯液压系统及铲斗液压缸两腔所采取的控制策略,以“铲斗液压缸瞬时挖掘功率=无杆腔油液瞬时压力×无杆腔瞬时输入流量”为数学模型,探讨了液压挖掘机的功耗规律,将功耗规律对时间积分得到能耗规律;最后开展了大量的现场挖掘实验.结果表明,振动掘削相对于静态掘削不但可以有效地提高工作效率,而且还可以有效地降低挖掘阻力和功率消耗,且正弦波振动载荷的掘削效果明显优于三角波载荷.