【摘 要】
：
使用控制是最有希望的下一代数字资源使用保护技术，Petri网能够描述使用控制模型的分布、并发、同步等特征，是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和
【基金项目】
：
江西省自然科学基金资助项目（0511062）,江西省教育厅科技计划基金资助项目（赣教技字[2005]240）
论文部分内容阅读
使用控制是最有希望的下一代数字资源使用保护技术，Petri网能够描述使用控制模型的分布、并发、同步等特征，是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则，采用Petri网进行了表达，分析了Petri网模型能够表达授权控制模型的使用授权策略，给出了使用控制授权模型的有色Petri网表示。
其他文献
杜鹃花(Rhododendronsimsill Planch),别名映山红、山石榴、红踯躅等,是我国十大传统名花之一,素有"木本花卉之王"的美称。白居易在《山石榴寄元九》中赞曰:"闲折二枝持在手,
简述了高速公路实验室标准化建设的重要性,介绍了高速公路实验室标准化建设指导思想与要求,分析了工地实验室临时自制与场地建设要点,并从驻地建设、人员配置、实验室技术文
IPO，即新股首次公开发行。IPO定价合理化是指通过一系列适当的机制发现合理的发行价格。合理的IPO价格能够使得企业顺利的进行融资和高效的分散经营风险，也对证券市场的资源配
2016年冰箱压缩机销量持续增长,尤其是第三季度,冰箱压缩机销量同比增幅达到15.6%,超过预期。表面看起来,冰箱压缩机市场呈现一片繁荣的景象,不过这背后的辛酸,大家也都是看
本文中对风景园林工程施工要点及其管理对策进行分析和探究,希望提供参考和借鉴。
In this paper, the construction of landscape architecture points and management str
目的：探讨内镜下口底-颌下径路气管内插管麻醉在颅面部多发性骨折手术中的应用。方法：运用该技术方法治疗颅面部多发骨折且有鼻腔插管禁忌症的患者8例,本文对该技术方法麻醉过
根据接触非线性理论,建立了某高速电机转轴、套筒和转子铁芯之间的过盈配合计算模型,较为精确地计算了多个配合接触面之间的接触压力和相应构件的应力与变形情况及从静止到旋
20多年来的计划生育政策降低了我国的人口增长率,也使我们逐渐进入了老龄化社会。农村老人,原本可以发挥更多的余热,他们原本是和谐垢乡村社会不可或缺的建设者。但现实情况
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
核心素养是校园足球运动的重要组成部分,也是贯彻"立德树人"的具体实践,通过分析校园足球运动中核心素养的内涵,在新疆地区校园足球运动中开展的必要性,提出边疆地区校园足球