n值逻辑系统子代数个数之讨论

在广义和狭义两方面分别研究了六个系统L_n,S_n,G_n,K_n,Z_n,W_n的子代数的个数的特征及其计数问题。由此,得到了逻辑系统L_n,S_n,G_n,W_n,K_n,Z_n的子代数个数及其性质。     

确定型格值有限自动机的最小化

给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFA M=Q,Σ,δ,q₀,σ的实质是求取Q/R_k。由此以可到达状态为基础引入了等价关系R_k、S_k与商集Q/S_k,证明了R_k=R_k-1∩S_k,由此得到Q/R_k的等价类为Q/R_k-1中等价类与Q/S_k中等价类的非空交集全体。引入了H_k,并证明了可由H_k求取Q/S_k,从而得到仅利用集合运算便可求取Q/R_k的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。     

基于Vague等价关系的粗糙集分解

首先,提出了基于Vague等价关系的（α_t,α_f）-等价类,并在（α_t,α_f）-等价类基础上定义了（α_t,α_f）-粗糙集,得到（α_t,α_f）-粗糙集是λ-粗糙集的推广,研究了（α_t,α_f）-等价类和（α_t,α_f）-粗糙集的性质。其次,给出（α_t,α_f）-等价类分解、（α_t,α_f）-粗糙集分解以及（α_t,α_f）-粗糙集的边界的概念。最后,分别得到等价类、粗糙集以及粗糙集的边界基于Vague等价关系的分解结构。     

风向标

Intel,近期CPU市场的价格没有大的变化,首先Intel处理器的价格在最近这段时间始终保持小幅变化,充分体现了市场的波动。目前Pentium 4主流产品1.8A/2/0A/2.4B/2.66/2.8/2.4C/2.6C/2.8C/3.0C的报价分别为940/980/1290/1320/1600/1410/1410/1750/2600元。赛扬方面,个别产品价格小幅调整,其中赛扬1.8GHz的盒装CPU价格下调了20元,目前市场售价为490元。Intel上一次价格调整后,赛扬2.2GHz性价比大幅下滑,被赛扬2.4GHz取代,逐渐淡出市场。目前赛扬1.7/1.8/2.0/2.2/2.4GHz的报价分别为400/480/500/540/545元。     

利用Ghost实现网络教室的高效管理

1.快速规划磁盘Symantec Ghost7.5企业版提供了一个高效的磁盘工具GDISK,它能让我们以许多不同的方式来建立分区,初始化主引导记录,删除和清除整个磁盘。下面以30G的磁盘为例予以说明:⑴制作DOS启动盘,并把GDisk.exe程序复制到该盘。⑵在前面制作的DOS启动盘上建立一个文本文件,文件名自定,本例为Test.txt。内容如下:1 /del /all /y1 /cre /pri /sz:8000 /for /q /y1 /cre /ext /y1 /cre /log /sz:8000 /for /q /y1 /cre /log /sz:8000 /for /q /y1 /cre /log /for /q /y⑶在DOS的批处理文件autoexec.bat中加入一句:GDisk /batch:…     

软BCK代数再研究

给出了软BCK代数的广义交运算和广义并运算,证明了一个集合X上的一族软BCK代数{(F_i,A_i)}_#em/em#∈I的广义交和一族软BCK代数{(F_i,A_i)}_#em/em#∈I（对任意#em/em#,j∈I,#em/em#≠j有A_i∩A_j=?)的广义并仍然是X上的软BCK代数,集合X上的软BCK代数(G,B)的一族软子代数的交、广义交和广义并仍是(G,B)的软子代数。     

环F2+uF2+u2F2上的线性码及其Gray像

记R=F₂+uF₂+u²F₂,R₁=F₂+uF₂,定义了从Rⁿ到F³ⁿ₂的Gray映射Ф以及从Rⁿ₁到Rⁿ的映射f。通过对环R上线性码C的生成矩阵的研究,给出了线性码C的对偶码C^⊥和Gray像Ф（C）的生成矩阵,并且Ф（C）与Ф（C^⊥）是F₂上的对偶码。通过映射f将环R₁上的线性码与环R上的一类线性码对应起来。     

不同蕴涵算子下三I方法的解

以R_M、R_Z、R₀三个蕴涵算子为基础,研究了11种形式的三I算法的解,并在此基础上给出了这11种解的同一形式：B*（y）=SUP{A*（x）∧φ（x,y）},其中φ：X×Y→[0,1]表示某一函数,而且φ（x,y）与E_Y的选取依赖蕴涵算子R_i的选取。     

风向标

CPU市场:货源补充及时 价格稳中有降 早些时候,由于CPU货源紧张,市场一度出现价格上扬局势。近日,CPU货量得到补充,价格在逐渐回稳的同时也露出了少许走低的趋势。目前,Intel主流Pentium4 CPU1.8A/2.0A/2.4B/2.4C/2.8C的报价分别稳定在930元/910元/1100元/1310元/1450元;高端Pentium 42.8E/3.2E售价为1400和2450元。赛扬方面,价格回落较为明显,目前,散包赛扬1.7/1.8/2.0/2.2/2.4/2.5/2.6GHz的价格分别为455元/465元/530元/520元/575元/590元/660元。另外,新品赛扬2.7GHz杀入市场,报价为690元。近期,AMD货源迅速补充,个别产品降幅较为明显。目前,     

市场风向

CPUAMD方面:AthlonXP1700 /1800 /2000 /2200 /2400 /2500 /2600 /3000 报价分别为350/380/430/505/560/630/670/1100元。Athlon64处理器,3000 /3200 报价分别为1880/2380元。分别为1880/2380元。Intel方面:IntelP41.8A/2.0A/2.4B/2.4C/2.6C/2.8C/3.0CGHz的报价分别为900/925/1010/1280/1350/1470/1740元。IntelCeleron2.7/2.6/2.4/2.0/1.8/1.7GHz的报价分别为690/675/555/490/420/415,CeleronD325/320报价为590/555元。内存内存具体价格为,DDR266现代256MB内存报价为310元。金邦、金士顿、宇瞻(普通)和KingMax256/512MB容量的DDR333内存报价分别为350/730元、380/710元、355/705元和345/690元。KingMax、金士顿、金邦、宇瞻和现代256MB容量的DDR400内存报价为360元、385元、355元、...     

点圈并图的匹配等价图数

若两个图G和H的匹配多项式相等,称图G和H匹配等价用δ（G）表示图G的所有不同构的匹配等价图的个数。文[5]在{m₁,m₂}∩{6,9,15}=Φ准的条件下计算了δ（sK₁∪t₁C_m1∪t₂C_m2）,在该文中计算了δ（sK₁∪t₁C₃∪t₂C₆）、δ（sK₁∪t₁C₆∪t₂C₉）是文[5]的完善和补充。     

一种用于大整数因数分解的多相位粒子群算法

如果大整数N的两个因数p与q满足p=x_p×D+y_p,q=x_q×D+y_q,D>y_p×y_q约束,那么该大整数N将有可能被轻易分解。因此,根据该约束及相关定理,提出了一种用于求解大整数因数分解问题（IFP）的尾数多相位粒子群搜索算法,MMPPSO。数值实验证明,MMPPSO算法对IFP具有良好的求解能力。同时,建议依赖于大整数N分解问题的密码系统做上述约束条件测试,从而保证密钥和系统的安全性。     

一类具有低相关特性和较大线性复杂度的序列集

对于p=3和偶数n=2k,构造了一类周期为3ⁿ-1大容量序列集S^(r),这里r与3^k-1互素。这类序列集的相关函数取-1±3^k,-1,-1+2•3^k四值,并完全确定了相关值的分布。通过选取适当的参数r,证明了这类序列集具有较大的线性复杂度下界。     

关于Hilbert空间量子效应下确界的研究

量子的下确界问题是量子计算和量子信息中的一个重要问题,对于这一问题,首先运用一种简单的方法证明了Kadison的一个结果：设A,B∈Her（B（H））,则A∧B在Her（B（H））存在当且仅当A和B可比较;然后讨论了B（H）⁺和Hilbert空间效应代数ε（H）中的下确界问题。最后,通过一个例子给出：对于两个量子效应A和B,虽然A∧B和A²∧B²在ε（H）中存在,但是A²∧B²≠（A∧B）²。     

硬件市场价格传真

(12月10日北京中关村,仅作参考)如有什么建议请来信或E一m ail告知大天使:areh一angel@btamai一net.en口产品型号AMDK7一550/650/700/800雷鸟750/800/850毒龙650/700/750/800Ifltel赛扬11 566/600/633/667铜矿550E/667EB/650E /733EB/80()EB老赛扬533/466/433性能参橄价格(元)S10tASOCketASoCketA670/840/720/1 180 950/1 170/13604 10/530/650/850Soeket370,SOCket370Soeket3707V 6()0/610/630/660 1 180/l20()/1240/ 1480/1640 590/570/390‘694X一Slotl694X,Soeket370BX,Socket370,DMAl0()8 15E,Socket370,DMAI(X)产…     

驱动更新公告板

显卡ATi冶天Radeon 9500/9550/9800/9700/9800/X300/X600/X700/ X800/X850/X1300/X1800/X1900/X1950/Mobility Radeon 9550/9600/9700/9800/X300/X600/X700/X800/X800 XT/X1300/X1400/X1600/X1800系列显卡最新催化剂驱动7．2版更新内容:1．改进了Radeon X1000系列显卡在Windows Vista操作系统中的Open GL性能,其中Doom3性能最大提升25%,Quake4性能最大提升48%,Prey性能最大提升21%。2．修正了在将AA设置为4×,AT设置为8×,分辨率为2560×1600的模式下运行Doom3,会出现游戏画面显示不正常的问题。3．解决了驱动安装方面存在的问题。4．修正了在简体中文Vista系统中,催化剂控制中心不能正常启动的问题。     

市场价格传真

协切贾。 ,尸~~,,.甲,Itsum.己。口北京中关村2002年2月15日八MO Athlm冷1马印/16的/】7的/980/990/1090/ t.如/1匀帕(傲)1 470/1550.岛幼加/1以扣/11的/1200/495/680/690/740/ t容加/,喇扣《傲!795/950套龙7印/以幻/璐即日加/日动/llXx,/3的/325/345/370/385/465/ 11的212加《橄)590/680I献.l日仁l韵伟盯.的对33/,以洲〕《傲)906/925/945/955翻拓7的/733/7舫/日加/860/366/455/465/480/495/ 以均/润的/10的(傲)545/550/610P4暇冲俐1.《升穿1‘义比/1,叱比/1 .7。电《盒)1 190/1285/13加/16的P4 42冲钊1妮比/1.阴比/1用比/1.7口七(傲)11…     

风向标

近期,CPU市场比较平静,Intel和AMD两大厂商的主流产品售价均比较稳定,高端产品都表现出一定的降价趋势。目前,Intel主流Pentium 4 CPU 1.7GHz/1.8A/2.0A/2.4B/2.4C/2.8C的报价分别下滑至850元/880元/910元/1080元/1335元/1445元。高端的3.0C售价降至1835元,降幅比较明显。赛扬方面,货源比较紧张,价格小幅攀升。目前散包赛扬1.7/1.8/2.0/2.4/2.6GHz的价格分别为     

市场风向

★CPU近期各主流CPU均有不同程度缺货,主要是最近处于淡季情况,各代理纷纷调整库存导致价格小幅反弹。Intel表现最为明显,ntelCeleronD320/325/330近期报为525/645/675元;IntelPentium4.4C/2.8C/3.0CGHz报价为1165/ ★CPU近期各主流CPU均有不同程度缺货,主要是最近处于淡季情况,各代理纷纷调整库存导致价格小幅反弹。Intel表现最为明显,elCeleronD320/325/330近期报为525/645/675元;IntelPentium4C/2.8C/3.0CGHz报价为1165/60/1590元。AMD的表现就要相对平稳一些,绝大多数产品是稳中有降。盒装SEMPRON2400 /2500 /3100 的近期报为500/590/1030元;Athlon642800 /300 /3200 报价为00/1350/1660元。★内存最近以来,内存价格相对稳定,虽出现波动,但幅度不大。代DDR400256MB/512MB价格为315/620元;Apace...     

市场价格传真

北京中关村10月15日价格仁p以----一新速龙导002踢八.IG/1.钻龙竹O/800/850/的O ~Pllls的Ei幻鉴弱(盒装)ZG/L理GPlil 733/8。O翩拍66拍。佣B/ 的3/玲/1几试散包)新赛扬6么3/挑宁/700/7貂了7右6/ 80D/850/900/95D/IGR4 423PTN 1. 4GH,八,5姗z/ 1,7GHz(散包):粼带l,7GH武散包)4了SP工N职SG取/1‘5姗么Z5阳么Z7GHz(盒装)舫昭翼黯:镭 1肠0/n印920/1。士5广1100入13口/ 招印/1阳0/14肋310/32。乃45/36云才3752435/4了5/52。肠515/的0 99D了1 135/ 1590 1030/1 37D/一_价册 n35/招郎/ 1620 1370/1720内存SDRAMK角gma,128劝/266M…