简介：Atpresent,thereisnoformalizeddescriptionoftheexecutingprocedureofworkflowmodels.Theprocedureofworkflowmodelsexecutinginworkflowengineisdescribedusingoperationalsemantic.Theformalizeddescriptionofprocessinstancesandactivityinstancesleadstoveryclearstructureoftheworkflowengine,haseasycooperationoftheheterogeneousworkflowenginesandguidestherealizationoftheworkflowenginefunction.Meanwhile,thesoftwareofworkflowenginehasbeencompletedbymeansoftheformalizeddescription.

简介：由使用Ringel大厅代数学途径，我们调查谎言代数学L的结构(不能分解的constructible产生的螞)为任何东西在模块的变化设定有限维?代数学螞。我们获得通用包围代数学R的一条几何认识(L的螞)(螞)，这概括Riedtmann的主要结果。我们也为任何东西在一种几何形式获得格林鈥檚公式有限维?代数学螞和使用它在R给comultiplication公式(螞)。关键词Ringel大厅代数学-constructible集合-变化-通用包围代数学先生(2000)题目分类14M99-16G20-中国(资助号码10631010)的NSF并且由NKBRPC(资助号码2006CB805905)支持的17B35在他的第80生日的场合上奉献了给J·A·格林教授

简介：我们为为一个洞模式认识到Kerr类型非线性建议一个计划。在计划，洞模式散地与一个单个三水平的原子交往。Undercertain条件，洞地的进化，从自由的原子度的decoupled，对应于克尔效果。计划能被概括为二个洞模式实现cross-Kerr效果andtwo-qubit阶段门。

简介：Knowledgereuseisaprocessfordesigningnewproductbasedontheembeddeddesignknowledgeandexperienceofexistingproducts.Inordertoimprovequalityandefficiencyofproductdesign,amethodtoextractrelatedknowledgefromusingstandardpartsinproductdesignisintroduced.Basedonthecharacteristicsofstandardpartsandtheirapplication,knowledgereusablestandardpartslibrarywasbuiltupthroughanalysisofkeytechniquesofstandardpartmodelingsuchasknowledgeexpression,knowledgereuseandknowledgesearching.

简介：

简介：

简介：平行程序与不同线级的并行(TLP)由代码节的系列组成。作为结果，在一个平行程序的一个线程例如在CUDA程序的一个GPU内核，仍然包含顺序的代码和平行的环，是相当普通的。为了利用如此的平行，循环，最近的开普勒·恩威迪亚体系结构介绍动态并行，它允许一个GPU线程开始另一个GPU内核，从而减少从一个中央处理器运行内核的开销。与动态并行，然而，一个父母线程能仅仅通过全球存储器与它的孩子线程交流，运行GPU内核的开销甚至在GPU以内是重要的。在这份报纸，我们首先学习包含这些基准没有的平行的环，和热点的一套GPGPU基准一个很高的环计数或TLP的高度。因而，用动态并行利用如此的平行的环的好处也被限制抵消它的开销。我们然后介绍我们的建议答案在CUDA利用嵌套的并行，叫作CUDA-NP。与CUDA-NP，当一个GPU程序开始时，我们开始启用线程的一个高数字，并且使用控制流动为不同代码节激活线程的不同数字。我们用一条基于指令的编译器途径实现我们的建议CUDA-NP框架。为一个GPU核，一个应用程序开发者仅仅需要为可并行化的代码节增加象OpenMP一样编译指示。然后，我们的CUDA-NP编译器自动地产生优化GPU内核。它支持减小和扫描原语，探索不同方法散布平行的环重复进线程，并且高效地管理在薄片上资源。我们的实验证明为一套GPGPU基准，它已经被优化了并且包含嵌套的并行，我们的建议CUDA-NP框架进一步平均到多达6.69次和2.01次改进表演。

简介：

简介：

简介：OnOctober18—19,2018,threeR&DachievementsforrealizingtheChinesecontentofcoalchemicalindustry,includingtheDCSsystemforSinopec’slargecoaldeepprocessingproject,themethanolsyngascompressortrain,andthelargewater-cooledandgas-cooledmethanolsynthesisreactors,hadpassedtheappraisalinOrdoscityofInnerMongolia.ItislearnedthatthesethreeprojectsarebeingappliedforthefirsttimeinChina’scoalchemicalindustrytosymbolizenewbreakthroughsintheChinesecontentofmajorequipmentownedbytheSinopecCorp.,whichboastsarangeofindependentintellectualpropertyrightstopushforwardthetechnicaladvancementofnationalindustry.

简介：Thispaperproposesaschemewhereonecanrealizequantumcloningofanunknowntwo-atomentangledstatewithassistanceofastatepreparerincavityQED.Thefirststageoftheschemerequiresusualteleportation.Inthesecondstageofthescheme,withtheassistanceofthepreparer,theperfectcopiesofanunknownatomicentangledstatecanbeproduced.