非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F+G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F·G=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到{F=1F=0:若逻辑方程组、的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应G=1{G=0用此结论可解非0型、非1型及相关的逻辑方程.

0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。

非0非1型逻辑方程构成的逻辑方程组的解法

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法，证明了若两个0型逻辑方程的解集分别为S1，S2，则对应的逻辑方程组的解集为S1＋S2；若两个1型逻辑方程的解集分别为S3，S4，则对应的逻辑方程组的解集为S3＋S4，从而可应用此结论解非0非1型逻辑方程构成的逻辑方程组。

基于非0比特个数特征的冗余转移图像加密安全性分析

Qin等人提出的基于冗余转移的高容量加密域可逆信息隐藏算法,有效提高了抵抗现有已知明文和唯密文等攻击的能力.在分析该算法的冗余转移图像加密特性的基础上,提出一种基于非0比特个数(non-zero-bit number,NZBN)特征的已知明文攻击方法.首先,定义给出了图像块的NZBN特征,分析指出了图像块NZBN特征在冗余转移图像加密前、后的恒定不变性;然后利用NZBN特征的恒定不变性,依次估计块置乱密钥和每个图像块的位平面置乱密钥;接着,给出了多对明密文图像条件下的块置乱密钥估计方法,以进一步提高块置乱密钥的估计正确率;最后,分析讨论了在不同分块大小下的密钥估计正确率和时间复杂度.实验结果表明,算法的密钥估计正确率和时间复杂度依赖于分块大小.分块大小不小于4×4时,1对明密文图像得到的块置乱密钥正确率超过89%;即使分块大小降至2×2,2对明密文图像可导致信息泄露.

万氏对虾非0-1群霍乱弧菌病的病原研究

1998年 6月和 1999年 6月澄海和汕头养殖的万氏对虾 (Penaeusvannamei)分别患病出现死亡 ,病虾呈浅红色 ,行动呆滞 .从病虾体内分离到 5株细菌 ,革兰氏阴性短杆菌 ,生化特性与霍乱弧菌几乎一致 ,但霍乱红反应阴性 ,与霍乱弧菌 0多价血清不发生凝集 ,经鉴定为非 0 - 1群霍乱弧菌 .药物试验表明 :菌必治、氟派酸、氯霉素等药物对该病原菌有很显著的抑制效果 .

非全序R_0代数的存在性及其构造

通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.

非交换BR_0-代数与其上的Quantale

提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。

Cu吸附ZnO(10ī0)非极性表面的第一原理计算

采用基于密度泛函理论的第一性原理平面波赝势方法,计算并分析了Cu在ZnO(10ī0)表面的吸附.通过分析比较不同吸附位的吸附能,最稳定位的差分电荷密度和态密度,发现:1)Ot位的吸附最稳定,ZnBri位置处是亚稳态吸附;亚稳态的ZnBri位吸附极易受到微扰发生键断裂,使得该处吸附的Cu移到Ot或OBri位.与Olga Dulub的STM实验发现吻合很好.2)差分电荷密度图显示出Cu-O方向有明显的电荷转移,这是Cu与ZnO(10ī0)面有较强作用的主要原因.3)Cu原子的Ot位吸附改变了ZnO(10ī0)面的成键平衡,使得呈电中性的ZnO(10ī0)面出现活跃的金属态,这应该就是Cu/ZnO吸附体系具有很强催化活性的根本原因.

查新结果的非“0”化处理技术

通过对查新结果为“0”现象的分析,提出了对检索结果非“0”化的处理方法,以达到保证查新质量的目的。

二维非相干光码分多址系统信息侦听技术

以二维非相干光码分多址(OCDMA)系统为例,设计不同的信息侦听方案,开展了信息侦听技术探讨。假设窃听者对整个系统的编/解码方式,地址码字的构造方式,系统的传输速率以及采用的频率片数量、大小等信息有足够的了解,利用光电检测技术获取OCDMA系统中光信号在不同波段、不同时间的能量分布情况;利用获取的能量分布矩阵有效地破译出系统中存在的地址码字。分别将两种侦听方案在利用Optisystem和MATLAB软件搭建的采用了7个用户和7组二维地址码的二维非相干OCDMA软件平台上进行分析。分析结果表明,两种侦听方案均能有效地破译出用户的地址码字,实现对整个系统的信息窃取。由此可见,二维非相干OCDMA系统仍然存在安全性问题。

低硒与柯萨奇病毒B_(3/0)毒性突变

目的 : 体外观察低硒培养柯萨奇病毒非致病株 B3 / 0 ( CVB3 / 0 )的毒性突变。方法 : 筛选低硒胎牛血清 ,制备低硒细胞培养基 ,利用 CVB3 致病株和非致病株感染人脐静脉内皮细胞( human umbilical vein endothelial cells,HUVEC)后结局不同 ,先于体外连续传代观察的毒性突变情况 ,然后于敏感动物体内鉴定突变株的致病性。结果 : CVB3 / 0 在低硒细胞培养液中培养的脐静脉内皮细胞 2 0次传代后 ,可出现细胞病变效应 ,该突变株接种 Balb/C小鼠后可使其心肌组织出现损伤。结论 : CVB3 / 0 非致病株不仅在低硒小鼠内可突变为致病株 ,在体外相对低硒 + H2 O2 培养基中培养的人脐静脉内皮细胞中也可发生。

非O:1群霍乱弧菌菌血症

非O∶1群霍乱弧菌与O∶1群霍乱弧菌在形态学和生化方面不易区别,但它对O∶1群弧菌抗血清不凝集,因此被称为非霍乱弧菌(NCV)或不凝集弧菌(NAG)。非O∶1群弧菌可引起胃肠道炎性疾病,从轻度水样泻到伴发热的血性腹泻。O∶1群弧菌很少引起胃肠外感染,而非O∶1群弧菌则可引起全身性感染。

基于三步脉冲生长方法制备的高质量非极性a面AlN模板特性的研究

采用金属有机物化学气相沉积(MOCVD)技术及三步脉冲生长方法,在半极性r面(22ˉ04)蓝宝石衬底上成功制备了非极性a面(112ˉ0)氮化铝(AlN)模板,并对其结构和光学性质进行了系统研究。与采用传统单一固定温度及单步脉冲方法制备的非极性a面AlN模板相比,本方法制备的非极性a面AlN模板的晶体质量、光学性质和表面形貌均得到较大改善。实际上,通过可变温度及三步脉冲生长方法制备的非极性a面AlN模板,不仅其X射线摇摆曲线和A_(1)(TO)拉曼散射峰的半峰宽均显著减小,且在对应的紫外-可见吸收光谱中也观察到较强的相对透光率和陡峭的吸收边。在5×5μm^(2)的原子力显微镜检测区域内,相应的均方根值最小低至3.4 nm,且非极性a面AlN模板样品呈现优异的表面形貌和较少的表面形变。以上研究结果揭示了采用可变温度及三步脉冲生长方法能够有效地制备高质量的非极性a面(112ˉ0)AlN模板,而该AlN模板在AlGaN基III族氮化物的外延生长中起着至关重要的作用。

巩膜瓣非吸收缝线小梁切除术与常规小梁切除术治疗青光眼的疗效观察

目的对比采用巩膜瓣非吸收缝线小梁切除术和常规小梁切除术治疗青光眼患者的临床效果。方法回顾性分析2019年1月至2020年12月江西省高安市人民医院收治的60例青光眼患者的临床资料,根据手术方案的不同将其分为对照组和试验组,各30例。对照组采用常规小梁切除术治疗,试验组采用巩膜瓣下5-0非吸收缝线小梁切除术治疗,比较两组术前、术后不同时间的平均眼压及功能性滤过泡产生率。结果术前,两组的平均眼压比较,差异无统计学意义(P>0.05);术后,两组的平均眼压均低于术前,且试验组术后1 d、术后1个月、术后1年的平均眼压均低于对照组,差异有统计学意义(P<0.05);试验组的功能性滤过泡产生率高于对照组,差异有统计学意义(P<0.05)。结论巩膜瓣下5-0非吸收缝线小梁切除术可显著降低青光眼患者的眼压,增加功能性滤过泡的产生。

一类逻辑方程组的解法研究(英文)

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F+G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F+G=0和F-+G-=0的解集分别为S3、S4,则F=G的解集为S3+S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′+S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.

几种逻辑方程的解集关系研究

给出了逻辑方程F=GF、+G=1、FG=1的解集关系定理和相应的推论及证明。得到了若逻辑方程F+G=1和FG=1的解集分别为S1、S2,则逻辑方程F=G的解集为S1-S2的结论。从而可应用结论解非0型、非1型和某些有关的逻辑方程。