简介：Givennpropositionalvariables,letKn(i,j),0≤i≤j≤n,betheset(ordisjunction)ofallconjunctionsofiliteralsofwhichexactlyjliteralsarenegative.DunhamandWangconjecturedthatitmayrequireexponentialtimetodecidethateverydisjunctionKn(i,j)isnotvalidbytheresolutionmetho.Thispapergivesaproofoftheconjectureandthenexhibitsanewcounterexampletothefeasibilityoftheresolutionorconsensusmethod.

简介：根据杀毒软件公司的统计，目前全球有25万多种病毒，如果按照基本类型划分，可归结为6种类型。

简介：

简介：日本的NTTDoCoMo公司于5月28日宣布将开始进行第4代移动通信系统(4G)无线接入系统的户外试验。当天．该公司即获得了在神奈川县横须贺市的实验许可证。NTTDoCoMo于2002年10月成功地进行了下行速度最高为100Mbit/秒．上行最高速度20Mbit/秒的室内传送试验。此次户外试验是该项研究的后续试验。

简介：AnewmethodforrecognizingChinesecharactersisproposed.Itisbasedontheso-calledfeaturepointsofChinesecharacters.Thefeaturepointsweuseincludethoseonthestrokeofacharacter.i.e.,endpoints.turningpoints,forkpointsandcrosspoints.andthekeypointsonthebackgroundofcharacter.ThismethoddiffersfromthepreviousonesforitcombinesthefeaturepointsonstrokewiththoseonbackgroundanditusesfeaturepointstorecognizeChinesecharactersdirectly.AChinesecharacterrecognitionsystembasedtotop-downdynamicalmatchingoffeaturepointisdeveloped.Thesystemcanrecognizenotonly6763printedsampleSongfontChinesecharactersofsize5.6×5.6mm^2withhighrecognitionrate,butalsothegeneralprintedbooks,magazinesanddocumentswithasatisfactoryrecognitionrateandspeed.

简介：

简介：如果没有漫画的话，我也许会是个画家。如果没有漫画的话，我也许会是个音乐家。如果没有漫画的话，我也许会是个医术精湛的医生……但不幸的是，逸菲既不是画家也不是音乐家、更不是医生，只是一个热爱漫画的狂热发烧友。

简介：

简介：为了增加考试的信度和效度．一些学校和单位借助于专门的考务软件对考生按照一定的条件进行大排序．随机生成准考证号。我们用Excel也同样可以轻松实现准考证的随机排序。

简介：Thispaperpresentsafactoringalgorithmforcomputingsource-to-Kterminal(SKT)reliability,theprobabilitythatasourceacansendmessagetoaspcifiedsetofterminalsK,inacyclicdirectednetworks(AD-networks)inwhichbothnodesandedgescanfail,BasedonPivotaldecompositiontheorem,anewformulaisdevivedforcomputingtheSKTreliabilityofAD-networks.ByestablishingatopologicalpropertyofAD-networks,itisshownthattheSKTreliabilityofAD-networkscanbecomputedbyrecursivelyapplyingthisformula,TwonewReliabilityPreservingReductionsarealsointroduced.Therecursiontreegeneratedbythepresentedalgorithmhasatmost2^(|V|-|K|-|C|leafnodes,where|V|and|K|arenodessatisfyingsomespecifiedconditions.ThecomputationcomplexityofthenewalgorithmisO(|E|·|V|·2^(|V|-|K|-|C|)intheworstcasewhere|E|isthenumberofedges.Forsource-to-all-terminal(SAT)reliability,itscomputationcomplexityisO(|E|).ComparisonofthenewalgorithmwiththeexistingonesindicatesthatthenewalgorithmismoreefficientforcomputingtheSKTreliabilityofAD-networks.

简介：OneofthecentralquestionsinCAGE^[1]isblendingsurfaceswhichprovidesthetheoreticalbasisforthedesigntechnologyofspacesurfaces.Wewilldiscussthegeneraltheoriesandalgorithmsformultivariatehyperfiniteinterpolationandtheirapplicationtotheblendingofimplicitalgebraicsurfaces,andinvestigatetheexistenceconditionsofhyperfiniteinterpolation.BasedonWu'stheoryonblendingimplicitalgebraicsurfaces,theproblemofblendingtwoquadricsurfacesisstudied.TheconditionsforthecoefficientofgiunderwhichthereexiststhecubicblendingsurfaceS(f)(thelowestdegree)areobtainedandtheconcreteexpressionsoffarepresentedistheyexist.TheseresultscanbeapplieddirectlytoCAGD.

简介：Amethod,calledTwo-DimensionalExtendedAttributeGrammars(2-DEAGs)fortherecognitionofhand-printedChinesecharactersispresented.Thismethodusesdirectlytwodimensionalinformation,andprovidesaschemefordealingwithvariouskindsofspecificcasesinauniformway.Inthismethod,componentsaredrawninguidedandredundantwayandreductionsaremadelevelbylevejustinaccordancewiththecomponentcombinationrelationsofChinesecharacters.Themethodprovidsalsopolysemousgrammars,coexistinggrammarsandstructureinferringswhihconstrainredundantrecognitionbycomparisonamongsimilarcharactersofcomponentsandgreatlyincreasethetoleranceabilitytodistortion.

简介：

简介：

简介：当业内纷纷猜测3G牌照发放时间时、上海的3G建设也已进入试验成熟阶段，“中庸派”的移动其3G大楼已在建，“激进派”的电信已试验开发了近百个3G应用，联通则宣称CDMA能平滑过渡到3G，移动设备供应商上海贝尔阿尔卡特更是在上海建立了5个3G试验基站。

简介：Inthispaperanewtext-independentspeakerverificationmethodGSMSVisproposedbasedonlikelihoodscorenormalization.Inthisnovelmethodaglobalspeakermodelisestablishedtorepresenttheuniversalfeaturesofspeechandnormalizethelikelihoodscore.Statisticalanalysisdemonstratesthatthisnormalizationmethodcanremovecommonfactorsofspeechandbringthedifferencesbetweenspeakersintoprominence.Asaresulttheequalerrorrateisdecreasedsignificantly,verificationprocedureisacceleratedandsystemadaptabilitytospeakingspeedisimproved.

简介：Animportantconceptproposedintheearlystageofrobotpathplanningfieldistheshrinkingofarobottoapointandmeanwhiletheexpandingofobstaclesintheworkspaceasasetofnewobstacles.TheresultinggrownobstaclesarecalledtheConfigurationSpace(Cspace)obstacles.Thefind-pathproblemisthentransformedintothatoffindingacollision-freepathforapointrobotamongtheCspaceobstacles.However,theresearchexperienceshaveshownthattheCspacetransformationisveryhardwhenthefollowingsituationsoccur:1)boththerobotandobstaclesarenotpolygons,and2)therobotisallowedtorotate.Thissituationgetsevenworsewhentherobotandobstaclesarethreedimensional(3D)objectswithvariousshapes.Forthisreason,directpathplanningapproacheswithouttheCspacetransformationisquiteusefulandexpected.Motivatedbythepracticalrequirementsofrobotpathplanning,ageneralizedconstrainedoptimizationproblem(GCOP)withnotonlylogicANDbutalsologicORrelationshipswasproposedandamathematicalsolutiondevelopedpreviously.Thispaperinheritsthefundamentalideasofinequalityandoptimizationtechniquesfromthepreviouswork,convertstheobstacleavoidanceproblemintoasemi-infiniteconstrainedoptimizationproblemwiththehelpofthemathematicaltransformation,andproposesadirectpathplanningapproachwithoutCspacecalculation,whichisquitedifferentfromtraditionalmethods.Toshowitsmerits,simulationresultsin3Dspacehavebeenpresented.

简介：

简介：

简介：磐正日前推出了一款全新的915G主板，型号为EP-5EGA＋。采用了Intel的915G+ICH6R芯片组，支持LGA775处理器．支持800／533MHZ外频和超线程技术．支持双通道DDR400内存。5EGA+集成了Intel最