简介：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.

简介：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平台。

简介：

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

简介：

简介：

简介：

简介：基于逻辑的联合的A和在一个爬墙的机器人的一个吸脚控制系统的差错察觉和鉴定(FDI)的基于模型的途径在这篇论文被介绍。为控制系统，一些差错模型被kinematics分析导出。而且，系统状态的逻辑关系预先被知道。首先，一棵差错树被用来由评估基本事件(基本原因)分析系统，它能导致一个根事件(一个特别差错)。然后，一个多重模型的适应评价算法被用来检测并且识别知道模型的差错。基于机器人的系统状态和评价的结果，最后，模型未知的差错也用逻辑推理被识别。实验证明建议途径在机器人的FDI基于逻辑推理并且模型估计的联合是有效的。

简介：Workflowmanagementaimsatthecontrolling,monitoring,optimizingandsupportingofbusinessprocesses.Welldesignedformalmodelswillfacilitatesuchmanagementsincetheyprovideexplicitrepresentationsofbusinessprocessesasthebasisforcomputerizedanalysis,verificationandexecution.PetriNetshavebeenrecognizedasthemostsuitablecandidateforworkflowmodeling,andassuch,formalmodelsbasedonPetriNetshavebeenproposed,amongthemWF-netbyAalstisthemostpopularone.ButWF-nethasturnedouttobeconceptuallychaoticaswillbeillustratedinthispaperwithanexamplefromAalst'sbook.Thispaperproposesaseriesofmodelsforthedescriptionandanalysisofbusinessprocessesatconceptuallydifferenthierarchicallayers.Analyticgoalsandmethodsat.theselayersarealsodiscussed.Theunderlyingstructure,sharedbyallthesemodels,isSYNCHRONIZER,whichisdesignedwiththeguidanceofsynchronytheoryofGNT(GeneralNet.Theory)andservesastheconceptualfoundationofworkflowformalmodels.Structurally,synchronizersconnecttaskstoformawholewhiledynamicallysynchronizerscontroltaskstoachievesynchronization.

简介：“英雄”折戟奥斯卡，它在中国国内超乎寻常的辉煌、终于没有能延伸到国界以外。其实，在以形式华美著称的“英雄”中，与一众导、演者的“星光熠熠”相比，海外后制公司参与创作的视效内容丝毫不显逊色。这几家参与幕后创作的海外视效公司包括澳洲的AnimalLogic和美国的TweakFilms、TheOrphanage，“CG杂志”有幸获得了与前两家公司对话的机会尘埃落尽、英雄回首，或许这是个合适的时机，重去追寻这部红极一时影片的幕后真实情况了。

简介：CirrusLogic公司针对音频放大器应用推出高性能的音频系统级芯片（SoC）CS47048。CS47048在单个IC中集成了先进的32位音频DSP、高性能多声道音频编解码器和数字音频接收器／发射器，极大地减少了整个电路板空间，降低了系统成本。

简介：近日SpectraLogic公司为其T系列磁带库特制了BLUESCALE软件环境。这种成熟的软件已经经历了10多年的行业应用验证。BLUESCALE本身就具有灵活性与智能性，并支持未来新的功能与技术的发展。

简介：CirrusLogic公司拓展了其ApexPrecisionPower产品系列，面向压电驱动器市场推出性能更高的高电压、高速功率放大器PA107DP和MP103FC。