搜索筛选:
搜索耗时0.8610秒,为你在为你在102,285,761篇论文里面共找到 79 篇相符的论文内容
发布年度:
[期刊论文] 作者：戎玫,
来源：计算机工程与应用 年份：2010
UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT（T...
[期刊论文] 作者：戎玫,
来源：计算机科学 年份：2013
信息物理融合系统（CPS）是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的.如何有效保证软件在动态环境下的正确......
[期刊论文] 作者：戎玫,
来源：计算机科学 年份：2008
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系...
[期刊论文] 作者：戎玫,
来源：中文信息 年份：1991
...
[期刊论文] 作者：戎玫,
来源：中文信息 年份：1990
...
[期刊论文] 作者：戎玫,
来源：计算机科学 年份：2004
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统...
[期刊论文] 作者：戎玫,,
来源：计算机应用研究 年份：2009
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到......
[会议论文] 作者：戎玫,
来源：2014全国理论计算机科学学术年会 年份：2014
信息-物理融合系统(Cyber-Physical System,CPS)建模是当前CPS研究中的一个重要研究方向,由于CPS体系结构复杂,对其整体建模十分困难,针对这一问题,本文采用组合建模方法,但C...
[期刊论文] 作者：谢峰,戎玫,
来源：中国电信建设 年份：2001
电信行业两大发展趋势，移动通信和数据通信的融合，促成了一项崭新的业务一移动数据业务。尽管目前移动数据业务尚不臻完善，但己显示出其发展潜力。例如，日本NTTDoCoMo公司的“i-m......
[期刊论文] 作者：徐诚,戎玫,
来源：广播电视信息 年份：2003
本文简要介绍了一种基于有线电视网的数字电视用户管理系统的基本架构、主要功能以及与相关系统的接口,如CA系统、银行系统、信息广播系统以及第三方用户管理系统等。This...
[会议论文] 作者：戎玫,沈一栋,
来源：中国电子学会首届青年学术年会 年份：1995
...
[期刊论文] 作者：戎玫,张广泉,
来源：计算机工程 年份：1999
提出一种将第一原理与启发式知识相结合的故障诊断系统，该系统将基于第一原理的方法与传统的基于经验知识的方法协调统一起来。因此兼具两种方法的优点。...
[期刊论文] 作者：张思杰,戎玫,
来源：数理医药学杂志 年份：1995
本文描述了用ＥＳ开发工具ＣＭ．１开发的冠心病诊断系统的特点、设计和实现。该系统主要分为三个模块，它能根据患者的症状或检查结果诊断疾病类型、打印病历以及给出进一步的建议。......
[期刊论文] 作者：戎玫,张广泉,
来源：重庆大学学报：自然科学版 年份：1998
国际上现有的诊断推理方法可归纳为两类：基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理，由于这两种方法各有其优缺点，因此如何将两种方法有机地结合起来成为近年来......
[期刊论文] 作者：戎玫, 张广泉,
来源：计算机科学 年份：2005
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型.本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构...
[期刊论文] 作者：戎玫,张广泉,
来源：计算机科学 年份：2003
Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software...
[期刊论文] 作者：戎玫,张广泉,
来源：计算机科学 年份：2003
Model checking is an algorithmic verification technique that checks automatically whether a given finitestate concurrent system satisfies its temporal specifica...
[期刊论文] 作者：戎玫,张广泉,
来源：重庆大学学报：自然科学版 年份：1999
提出了一种基于第一原理的定性诊断探测法，该方法将经验知识纳入算法中，与国际上典型的ＧＤＥ系统中的Ｓｈａｎｎｏｎ熵预测法相比更快速，简单，有效，并且对探测值与新候选的关系进行了仔细分析，利用所得......
[期刊论文] 作者：张广泉,戎玫,
来源：重庆大学学报：自然科学版 年份：1999
分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型，并给出该模型与转换系统之间的对应关系；将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性......
[会议论文] 作者：戎玫,张广泉,
来源：第二届中国计算机教育与发展学术研讨会 年份：2008
本文对培养适应社会和产业需求的软件人才新模式进行了探讨，阐述了如何加强学生的实践创新能力，培养适应企业需求的高质量、实用性软件人才的做法。...
相关搜索：
