%0 Journal Article
%T An overview of Duration Calculus<br>An Overview of Duration Calculus
%A Zhou Chaochen
%A <br>Zhou
%A Chaochen
%J 计算机科学技术学报
%D 1998
%I 
%X TheDurationCalculus(abbreviatedDC)representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic,andusestherealnumberstomodeltime,andBoolean-valued(i.e.{0,1}-valued)functionsovertimetomodelstatesandeventsofreaLtimesystems.Thedurationofastateinatimeintervalistheaccumulatedpresencetimeofthestateintheinterval.DCextendsintervallogicwithacalculustospecifyandreasonaboutpropertiesofstatedurations.TheresearchofDCwasintroducedintheProCoSproject(ESPRITBRA3104and7071),whent…
%K 逻辑设计
%K 实时系统
%K 数学模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=0BD724EC006C854FDF18E48C34F25C93&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=B31275AF3241DB2D&sid=385E3C2062167B88&eid=385E3C2062167B88&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=1