四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

带弱内射的Hopf代数结构中的特例

设smash积A#H为双代数，H为A#H的商双代数，且具有弱内射i：H→A#H，上述结构可通过α，β，γ，△A，个映射来刻画。对此取特殊同态，证明此种构造推广了双积、双交叉积和双交叉余积等结构，有较广的覆盖面。     

基准面旋回格架内砂体开发响应

通过岩心、测井曲线研究,在濮城油田沙三中6～10识别出超短期、短期、中期、长期4级基准面旋回,建立了储层格架,以短期旋回为单位讨论了层序格架内油气分布和砂体开发响应.基准面旋回格架对油气的分布、砂体的开发响应和剩余油分布有明显的控制作用.油气富集部位与基准面位置相关,基准面低位处的砂体油气储量和储量丰度均较高,而基准面高位处砂体油气储量和丰度较低.基准面低位处砂体物性较好,较易动用,采出油气数量和采出程度较高,但由于其本身的储量较大,剩余油仍占据着主要的地位.基准面高位处砂体物性较差,储量较难动用,采出油量和采出程度均较小,但受其本身储量的限制,其剩余油量在剩余可采储量中的比例较小.     

一类星染色的临界图

研究了图的星染色的临界图的性质，得到了x^*临界图的一些必要条件和充分条件，并给出一类星染色的临界图，它在星染色中的作用如同正常染色中的完全图。     

基于Viterbi算法计算TCM码欧氏自由距离的有效方法

提出了计算格形编码欧氏自由距离的一种有效算法，该算法是依据Viterbi算法，取全零路径为参考路径进行计算，求得准规则码的欧氏自由距离，它适用于搜索高斯信道中的TCM好码。     

Observable Algebra in Field Algebra of G-spin Models

Field algebra of G-spin models can provide the simplest examples of lattice field theory exhibiting quantum symmetry. Let D(G) be the double algebra of a finite group G and D(H), a sub-algebra of D(G) determined by subgroup H of G. This paper gives concrete generators and the structure of the observabl ealgebra AH, which is a D(H)-invariant sub-algebra in the field algebra of G-spin models F, and shows that AH is a C^*-algebra. The correspondence between H and AH is strictly monotonic. Finally, a duality between D(H) and A. is given via an irreducible vacuum C^* -representation of F.     

关于LF拓扑空间中的Lindeloef覆盖性质

本文证明了LF拓扑空间中的(准)Lindeloef覆盖性质被连续的广义Zadeh型函数所保持，并且获得了Lindeloef空间的一些基本性质．     

一致空间中的群结构

一致空间作为介于拓扑空间与度量空间之间的一类空间 ,它与拓扑空间和度量空间有着密切的联系 .文章从群这个侧面去研究了一致空间的代数特征 ,在一致结构上建立了群结构 ,讨论了它与一致空间和拓扑群的联系 ,即当拓扑中有群结构时便可产生一致结构 ;并给出了一致空间的同态定理 ,这为进一步探讨拓扑空间以及度量空间的关系和结构创造了一定的条件 .     

双诱导映射下的TL-子群

讨论了在双诱导映射下TL子群的性质。     

改进伽罗华有限域上的数乘算法

研究椭圆曲线加密体系中的数乘运算.通过分析数乘运算的特点发现,减少椭圆运算次数可以大幅提高数乘运算速度.针对数乘运算中占比重较大的基点数乘,改进了带符号窗口算法,并设计了权表法.采用改进的数乘算法使得倍运算次数大大减少.通过预计算建立基点的2k权表,改进了基点的带符号窗口算法,并对权表法进行复杂度分析.实验证明,该算法显著提高了椭圆曲线-厄格玛尔算法(EC-ElGamal)加密体系的运算速度.在微机上运行113 bit的EC-ElGamal体系,与宽度为4的窗口算法相比,系统加密速度提高了1/3.