简介：Inmanyapplicationsanddomains,temporalconstraintsbetweenactions,andtheirprobabilitiesplayanimportantrole.Weproposethefirstapproachintheliteraturecopingwithprobabilisticquantitativeconstraints.Toachievesuchachallenginggoal,weextendthewidelyusedsimpletemporalproblem(STP)frameworktoconsiderprobabilities.Specifically,weproposei)aformalrepresentationofprobabilisticquantitativeconstraints,ii)analgorithm,basedontheoperationsofintersectionandcomposition,forthepropagationofsuchtemporalconstraints,andiii)facilitiestosupportqueryansweringonasetofsuchconstraints.Asaresult,weprovideuserswiththefirsthomogeneousmethodsupportingthetreatment(representing,reasoning,andquerying)ofprobabilisticquantitativeconstraints,asrequiredbymanyapplicationsanddomains.

简介：这篇论文提供复合条件质问(CCQ)和基于空格从踪迹代数学导出的踪迹信息使用要求引导的一个形式化方法的应用程序问题的一个形式化的定义。与解决CCQ的应用程序问题的形式化的进程，CCQ的申请的正式要求说明被给，一形式化，到正式要求说明的要求引导的结果的自动印射被执行，软件系统模型和应用程序代码被开发。通过住房信息上的全面质问的一个样品应用程序，可行性形式化，为CCQ的应用程序问题的自动软件开发被证明。结果关于形式化和自动软件开发为另外的问题有重要含意。

简介：反碰撞的技术是在收音机频率鉴定(RFID)的一个关键点系统。避免数据碰撞，有二条途径：阿罗哈基于算法，二进制树(BT)基于算法。然而，这些不能完全解决碰撞问题，特别当标签数量大，标签标志长时。在这篇文章，我们在场一个多分支询问树(MBQT)协议基于平衡的不完全的块设计(BIBD)，代码，和使用16位向量作为RFID的询问前缀符号源于BIBD阅读器。与常规反碰撞算法相比，理论上的分析和模拟证明建议协议改进鉴定效率。