简介：AfterJohn'sreturnfromcollege,allofthefamilymembersgatheredintheircozydiningroomtohavedinner.

简介：~~

简介：ＦｕｚｚｙＩｎｔｅｒｖａｌＶａｌｕｅＬｏｇｉｃａｎｄＦｕｚｚｙＤｉｓｔｒｂｕｔｅｄＶａｌｕｅＬｏｇｉｃTXＦｕｚｚｙＩｎｔｅｒｖａｌＶａｌｕｅＬｏｇｉｃａｎｄＦｕｚｚｙＤｉｓｔｒｉｂｕｔｅｄＶａｌｕｅＬｏｇｉｃＨｅＸｉｎｇｕｉＢｅｉｊｉｎｇＩｎｓｔｉｔ...

简介：Inthispaper,wepresentadetectiontechniqueofand-parallelisminlogicprograms.Thedetectionconsistsofthreephases:analysisofentrymodes,derivationofexitmodesanddeterminationofexecutiongraphexpressions.Comparedwithothertechniques^[2,4,5],ourapproachwiththecompile-timeprogram-leveldata-dependenceanalysisoflogicprograms,canefficientlyexploitand-parallelisminlogicprograms.Twoprecompilers,basedonourtechniqueandDeGroot'sapproach^[3]respectively,havebeenimplementedinSES-PIMsystem^[12],ThroughcompilingandrunningsometypicalbenchmarksinSES-PIM,weconcludethatourtechniquecan,inmostcases,exploitasmuchand-parallelismasthedynamicapproach^[13]doesunder“produces-consumer”scheme,andneedslessdynamicoverheadwhileexploitingmoreandparallelismthanDeGroot'sapproachdoes.

简介：

简介：<正>1.IntroductionInthepreviousdiscussiononthelogicofthinkingofZhouYi,wehaveattemptedtoexaminetheevolutionfromtheeightdiagramstothesixty-fourhexagrams,inthehopeoffindingoutwhatittriestoconveytoitsreadersandhowitachievesitsaim.1Ourconclusionis:ZhouYisetupathinkingmodelwhichdeeplyinfluencedtheChinesetraditionalcultureandwecanseeitsinfluencesintoday’sChina.Moreover,theinterpretationsofthesymbolicdiagramsprovidedby

简介：Thevaluesfoundationofhumanrightsoriginatesfrompeople'sdignity,whiletheformationofpeople'sdignitywascloselyrelatedtocertainsocialsystemandhistoricalconditions.Fromthisaspect,wecansaythathumanrightshasnaturalattributeandsocialattribute

简介：Sustainabledevelopment,aconceptwhichhasbeenbuiltwiththesustainabilityofeconomicprogressionasamainthrust,hasbeenawidelypreferredmodeltotraditionaldevelopmentalmodels.However,therealmeaningofwhatsustainabledevelopmentisandshouldincludehasbeenanobjectofdebate.Ontheonehand,differingfromtraditionaleconomicdevelopmentalmodels,economicprogressdoesnotnecessitatethepracticeof‘sustainabledevelopment'.Ontheotherhand,currentlevelsofscienceandtechnologyarestillunabletosolveseveralproblemsthatarisewitheconomicdevelopment.Sustainabledevelopmenthastransferredtheresponsibilityofenvironmentaldestructiontothatofdevelopingcountries.Lastly,insteadofutilizingthebesttechnologyandleadershipintoformulatingexcellentenvironmental-protectionpolicies,itismoreimportanttocreatewidespreadawarenesstothepublicontheneedtoprotecttheenvironmentandtherebyengagetheirparticipationindecision-makingtoactuallyrealizewhatistruly‘sustainabledevelopment'.

简介：Inthispaper,thelimitationoftheGNYlogicaboutitsinabilitytodetectthereflectionattacksagainstsomeauthenticationprotocolsisgiven.Animprovementisproposedwhichtakesintoaccountthepossiblemultipleinstances(principals)ofthesameidentityinthemodel.

简介：

简介：

简介：AhomomorphismψoflogicprogramsfromPtoP'isafunctionmappingAtoms(P)toAtoms(P')andpaper,thecomplexityofthedecisionproblemsonhomomorphismandisomorphismfordefinitelogicprogramsisstudied.Itisshownthatthehomomorphismproblem(HOM-LP)fordefinitelogicprogramsisNP-complete,andtheisomorphismproblem(ISO-LP)isequivalenttothegraphisomorphismproblem(GI).

简介：CirrusLogic公司继推出CobraNet网络数字音频技术之后，再次推出新产品开发平台CobraCom。在美国旧会山举行的AES大会上，CirrusLogic全面展出其专为开发基于CobraNet技术的数字音频网络设备而设计的CobraCorn平台。

简介：

简介：基因子集选择为microarray数据的分类和分析是必要的。然而，自从基因表示数据，基因选择被知道是一项很困难的任务不仅有高维数，而且包含冗余的信息和噪音。应付这些困难，这份报纸介绍基于的预处理途径二个主要步骤填写了的模糊逻辑。首先，我们使用模糊推理规则把给定的数据集的基因表达式层次转变成模糊的值。然后，我们把一种类似关系用于这些模糊价值定义模糊等价组，包含强烈类似的基因的每个组。尺寸减小被基于相互的信息为每组类似的基因考虑一个单个代表完成。为了估计这的实用性，来临，广泛的试验用三个统计过滤器和三个分类器与一个联合分类模型一起在三著名公共数据集上被执行。

简介：

简介：ThesecondaryusageofspectrumhasbeeninvestigatedinCognitiveRadio(CR)networktoresolvingthespectrumscarcityissueinwirelesscommunication.WhenPrimaryUsers(PU)whoownthespectrumappear,spectrumhandoffisneededtomaintainthecommunicationsofSecondaryUsers.ButthedecisionmakingofspectrumhandoffisachallengeissueforCRnetwork,becausetheinputofdecisionmaking,whichobtainthroughspectrumsensing,isheterogeneousandinexact.Inthispaperwewillusefuzzylogiccontroltheorytosolvethisissueandmakeuseofnewinformationforhandoffoperation:theprobabilityofPU'soccupancyatacertainchannel.Ournewalgorithmcanmakemoreintelligentdecisioncomparedtosimpletraditionalspectrumhandoffdecisionmakingandreducetheprobabilityofspectrumhandoff,alsotheperformanceofSU'scommunicationcanbeenhanced.

简介：Logicqubitplaysanimportantroleincurrentquantumcommunication.Inthispaper,weproposeanefficiententanglementconcentrationprotocol(ECP)foranewkindoflogicBellstate,wherethelogicqubitistheconcatenatedGreenber-Horne-Zeilinger(C-GHZ)state.OurECPreliesonthenondemolitionpolarizationparitycheck(PPC)gatesconstructedwithcross-Kerrnonlinearity,andcandistillonepairofmaximallyentangledlogicBellstatefromtwosamepairsofless-entangledlogicBellstates.BenefitfromthenondemolitionPPCgates,theconcentratedmaximallyentangledlogicBellstatecanberemainedforfurtherapplication.Moreover,ourECPcanbercpeatedtofurtherconcentratetheless-entangledlogicBellstate.ByrepeatingtheECP.thetotalsuccessprobabilitycanbeeffectivelyincreased.Basedonabovefeatures,thisECPmaybeusefulinfuturelong-distancequantumcommunication.

简介：Globalpropertyisthenecessaryconditionwhichmustbesatisfiedbytheprovableformulas.Itcanhelptofindoutsomeunprovableformulathatdoesnotsatisfysomeglobalpropertybeforeprovingitusingformalautomatedreasoningsystems,thustheefficiencyofthewholesystemisimproved.ThispaperpresentssomeglobalpropertiesofvalidformulasinmodallogicK.Suchpropertiesarestructurecharactersofformulas,sotheyaresimpleandeasytocheck.Atthesametime,someglobalpropertiesofKunsatisfiableformulasetarealsogiven.

简介：