论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
针对传统分析方法的不足，提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑，定义了时间Petri网中变迁之间的各种解发规则，在这些规则的基础上，提出了时间Petri网运
【机 构】
：
上海交通大学自动化研究所,200030
【出 处】
：
计算机研究与发展
【发表日期】
：
2000年12期
【基金项目】
：
国家自然科学基金!(项目编号 6 0 0 740 11),,上海市计算机理论基础研究基金
其他文献
词汇的学习一直是英语学习者非常关注的问题,也是学好英语的重要因素。英语泛读课是高校里英语专业的必修课,其目的之一是要扩大学习者的词汇量。但是据笔者的随机调查,效果
推算定位（ｄｅａｄ ｒｅｃｋｏｎｉｎｇ，ＤＲ）技术是大型分布交互仿真（ＤＩＳ）系统的关键技术，在研究传统的一阶、二阶和高阶ＤＲ算法基础上，针对民航飞行、领航和地面管制综合训练的空、地协同分布交互仿真系统（ＤＡＧＩＳ），提出了基于模
在一个变革的年代，城头变幻大王旗，你方唱罢我登场。作为底层知识青年张治中的崛起，此刻看不见一点影子，从16岁少小离家谋生到36岁身兼八职，张治中用20年的时间让人生上扬。那时，36
财务管理是公立医院管理系统的重点和难点,也是直接关乎医院发展战略和未来前景的大事。在如今的新医改背景下,新医改对公立医院的财务管理工作提出了更多的改革要求和更为严
<正> 沉淀资金是马克思在阐述固定资本流通特点时提出的一个理论概念,它是指折旧基金在固定资产更新期限到来之前处于生产过程之外的一种“闲置资金”.研究沉淀资金与企业融
剥削新论——现代市场经济条件下剥削的新特点及启迪郑文哲经过十几年的改革开放，我们对当代资本主义有了更多的了解，对现代市场经济的认识也日益深刻，尤其是三资企业与私营经济
介绍了网络的小世界特性,分析了小世界特性下多代理体系结构和路由算法的特性,分别提出了自组织结构中的资源发现算法和基于聚集度的簇头选举算法并作了定性分析.
目前事业单位普遍存在办公管理落后、应用的人才引进模式僵化、人事管理信息化处理效率低、人事档案的管理存在漏洞等等问题,需要事业单位引起重视,探析有效的解决办法,确保
于教师系统传授知识和培养技能技巧,但这种教学模式的本身却常常使学生处于被动接受灌输的位置,难以持久地保持学习的主动性与积极性。而就总体而言,小学生学习热情高,好奇心
随着当前全面改革的进一步深化,企业在市场中的竞争也日益激烈,企业转型发展愈来愈重要.转型发展中工商管理工作的实施对企业良好发展有着保障作用,本文先就企业转型中工商管