国家自然科学基金(60173033)
- 作品数：18 被引量：78H指数：5
- 相关作者：尤晋元戚正伟李明禄薛广涛姚文胜更多>>
- 相关机构：上海交通大学中北大学江西师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划山西省青年科技研究基金更多>>
- 相关领域：自动化与计算机技术交通运输工程生物学电子电信更多>>
- 使用时间化自动机形式化带有时间扩展的UML状态图被引量：20
- 2003年
- 严格建模是嵌入式实时系统设计的核心技术,通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(TimedAutomata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UML与形式化方法的结合构造了桥梁作用。带有时间扩展的UML状态图用于嵌入式系统动态模型的建模,从时间化自动机模型得到形式化规范将更容易。UML状态图的形式化分为两部分完成:层次状态图的平面化以及时间化自动机的构造。
- 赖明志尤晋元
- 关键词：嵌入式系统UML状态图
- 自动生成GEF图形编辑器的研究与实现被引量：4
- 2006年
- 针对当前GEF编辑器开发难度大、开发周期长的问题,设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge,以及EMF.edit提供的适配器机制,生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中,引入了配置元模型和视图元模型。
- 张文毅尤晋元
- 关键词：EMFGEF
- SATA及ADMA控制器Linux操作系统驱动的设计与实现
- 2006年
- 信息时代,数据的存储及远程备份尤为重要。为了满足用户对存储系统产品的高性能及低费用的需求,设计和实现了一种新型存储外设的操作系统驱动,该存储系统采用SATA磁盘及ADMA控制器并基于L inux系统。着重于如何驱动SATA磁盘及ADMA控制器并实现一些关键功能,以大幅提升数据存储性能。实验结果表明,性能已远超过采用IDE磁盘的存储系统,对于大批量数据存取,性能更为显著。
- 孙文波尤晋元
- 关键词：ADMANCQ热插拔
- 基于重写逻辑的Web服务事务处理形式化描述被引量：4
- 2005年
- Web服务的事务处理研究越来越活跃，对于 Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出了一种基于重写逻辑的 Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的 Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析.
- 戚正伟毛宏燕尤晋元
- 关键词：WEB服务事务处理重写逻辑形式化方法细胞膜演算
- 基于任务复制的进化调度算法
- 2004年
- 并行程序任务调度是NP完全问题.已有的进化调度算法不能很好利用任务复制这一重要手段.为此,利用染色体直接编码和间接编码的优点,并结合任务图的知识,使进化调度算法的搜索能力得到增强,同时染色体的解码过程也得到简化.通过与同类算法的性能比较,表明了本算法在调度问题中的有效性.
- 姚文胜薛广涛张冠华尤晋元
- 关键词：任务调度遗传算法
- 在操作系统中实现处理机进程和存储进程的分离
- 2002年
- 通过为进程分配和回收处理机资源和存储器资源 ,传统操作系统实施对处理机和存储器的管理和控制 .在多处理机操作系统中 ,当处理机和存储器之间的互连方式比较复杂时 ,仅仅构造唯一一种进程抽象 ,不能很好地实施对处理机资源和存储器资源的管理 .基于以上思想 ,在操作系统中应该构造两类进程抽象 :处理机进程和存储进程 ,并实现处理机进程和存储进程的分离 .首先分析了构造两类进程抽象 (处理机进程和存储进程 )并实现二者分离的原因 ,根据分析提出了实现处理机进程和存储进程分离的方法 .
- 刘福岩尤晋元
- 关键词：操作系统资源管理
- .Net平台上松耦合分布式应用模型的设计和实现被引量：1
- 2006年
- .NET提供了新的分布式对象访问技术。在此基础上,本文提出了用简单消息方式构建的一个松散耦合分布式应用模型;探讨了该模型的静态结构和动态结构;并对模型的特点进行了分析。基于该模型的系统已经投入应用并取得了良好效果。
- 吕礼胜杜宇尤晋元
- 关键词：.NET松耦合分布式
- 基于规则引擎的Web框架被引量：10
- 2007年
- 面对目前J2EE分布式应用越来越庞大易变的特点,提出了一种基于规则引擎的Web应用框架RStruts,论证了其处理应用逻辑的高效性和维护软件的便捷性,最后给出了该框架的实现。
- 尤俊欣饶若楠詹晓峰
- 关键词：规则引擎SERVLETRETESTRUTS框架
- 移动代理技术在生态系统仿真中的应用被引量：1
- 2003年
- 本文将移动代理及协调技术引入真实世界的仿真 ,通过确定草原各物种之间的关系 ,在移动代理系统中仿真了一个简单的草原生态系统 ,验证了移动代理技术是一种特别适合仿真真实世界的新型分布式计算模式。
- 余敏石海鹏尤晋元
- 关键词：生态系统系统仿真移动代理数据驱动生态学
- 基于信任逻辑的PKI互通信任模型形式化被引量：1
- 2004年
- 为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI互通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI互通模型是否满足特定需求提供了一种有效的形式化方法.
- 李柏岩姚文胜尤晋元
- 关键词：信任逻辑信念信任模型
