Detecting Data-flow Errors Based on Petri Nets With Data Operations

来源 :自动化学报:英文版 | 被引量 : 0次 | 上传用户:dfgforrest
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
期刊
野菜虽不起眼,有些野菜的营养价值却不容小,其中内含的一些物质向来令人们乐此不彼。比如,多糖能提高人体的免疫功能,防止感染性疾病与肿瘤;黄酮则能抵制自由基对细胞的损害;皂甙具
MetalComplexesofAntibioticPipemidicAcidQIAOBen-zhi,LUYunandXUANChong-sheng(DepartmentofAppliedChemistry,TaiyuanUniversityofTe...
The electrochemical oxidation of 1, 3-benzenedithiol was investigated in a 0. 100 mol/L tetrabutylammonium perchlorate/acetonitrile electrolyte. The electrochem
为了改善教师课堂教学录像预约的传统人工预约与管理工作模式,根据教师教学录像工作流程和参与者角色之间的协同工作,采用共享资源冲突消解策略,研究并设计教学录像预约系统的一种基于资源冲突消解策略及角色协同的模型。实验结果表明,通过该模型实现的系统能够有效改善传统预约模式带来的不便,提高工作效率,方便教师和录像工作人员的工作,提高高校教师教学工作的信息化水平。
前列腺——人体一个很特别的器官.它的健康与否.直接关系着男性的性健康.也与男性的生育功能密切相关。而正是这个前列腺,又是一个多事之“丘”.易发生多种疾病,如前列腺炎、前列腺
StudiesofLaser-induced-MOCVDZincOxideFilmsRENPeng-cheng,TANZhong-keandLUOWen-xiu(CeiiterforFunctionalMaterialsResearch,Qingda...
2019年10月,马援庄村入选昆山市农村人居环境整治首批“红榜”行政村之列。为进一步巩固、提升村内人居环境,党员干部群众齐心协力,常态化开展房前屋后“周周清零”行动,农村
针对多指数连续相位调制(Multi-h CPM)信号的符号定时恢复困难且算法复杂的问题,提出了一种多指数(Multi-h)CPM信号的非数据辅助的前馈符号定时恢复算法。该算法基于Multi-h CPM信号的调制指数同步偏差和符号定时偏差的联合似然函数,通过平均可能的调制指数同步偏差所对应的期望函数将其联合似然简化,得到符号定时偏差似然函数以及符号定时偏差估计值,并给出了其定时偏差估计算法的修正的C
期刊