切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
使用时序逻辑检测软件需求阶段的特征干扰
使用时序逻辑检测软件需求阶段的特征干扰
来源 :计算机应用 | 被引量 : 13次 | 上传用户:Ryanshel
【摘 要】
:
针对需求阶段的特征干扰问题,提出了使用时序逻辑语言XYZ/E检测特征干扰的方法。最后给出了一个简单的升降机系统的实例。
【作 者】
:
费丽娟
胡金柱
李敏
【机 构】
:
华中师范大学,华中师范大学
【出 处】
:
计算机应用
【发表日期】
:
2004年03期
【关键词】
:
时序逻辑
XYZ/E语言
特征干扰
需求分析
temporal logicXYZ/E systemfeature interactionrequirement
【基金项目】
:
国家重点实验室基金,湖北省科技攻关项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对需求阶段的特征干扰问题,提出了使用时序逻辑语言XYZ/E检测特征干扰的方法。最后给出了一个简单的升降机系统的实例。
其他文献
实施质量强省战略 扎实推动质量提升
为全面推动实施质量强省战略,福建省市场监管局牵头组织制定并报经省政府同意,以省质量强省工作联席会议办公室名义出台了《关于开展质量提升加快建设质量强省的实施意见》(2
期刊
质量提升
质量强省
副局长
质量安全监管
行动方案
人民政府门户网站
牵头组织
联席会议
水利工程建设影响下的生物多样性保护策略浅析
随着国家经济水平的逐渐提高,水利工程建设也蓬勃发展,在大量水利工程的建设过程中由于缺乏生物多样性的保护意识,造成了严重的生态问题,本文通过揭示水利工程建设对水体生物
期刊
水利工程
生物多样性
保护
2011农机市场:谨慎中乐观
如何看待2011年农机市场?业内充满期待。目前,唱高的声音仍是主流,甚至有观点认为在2010年调整后,超过2009年的历史记录不是没有可能。由于农机市场的长期利好,而潜伏着看不见
期刊
农机市场
乐观
2010年
2009年
历史记录
调整
利好
内皮素与神经病关系
期刊
内皮素
神经病
生理学作用
分布
代谢
三大专项计划
“我出生在一个偏远的乡镇,从小对外面的世界心怀向往,所以我把清华北大视为自己的目标,一直努力学习,相信自己值得拥有更精彩的人生。很多人不理解,嘲笑我是痴人说梦。但冲
期刊
专项计划
寒门学子
名校
鼓励
冲刺
努力学习
刻苦
湖南大学:这所大学“住”在景区里
在景区里读书,乾隆真迹挂在教室“报湖大吧!”高考那年,老爸替我拍了板。在崇尚冲向北上广的90后眼里,二线城市长沙真的不是首选。“好好去山上积淀积淀,年轻人太浮躁了。”
期刊
湖南大学
景区
“住”
文化积淀
二线城市
90后
年轻人
大学生
Java^TM 2平台安全策略动态绑定机制研究与实现
JavaTM2平台采用基于Principal的细粒度访问控制机制(即JAAS访问控制体系)和动态与静态相结合的安全策略绑定机制,可以让本地应用程序或远程Applet在运行时环境中动态地改变安全策略,进而重新确定程序的运行权限,这种动态绑定策略的方式也有利于在分布式环境中实现对权限的动态分配。应用这种策略绑定方式到应用程序中,加强了应用程序的安全性和灵活性。
期刊
Java^TM
2平台
安全策略
动态绑定
实现
施工场地周围的绿化保护
搭施工搭脚手架应注意房屋周围的绿化树木,必要时可采取底排挑出或“过街”方法,以免损坏树木。
期刊
施工场地
绿化保护
绿化树木
施工搭脚手架
山东省成武县农业机械有限公司2012年10月主要农机商品销售情况
<正>~~
期刊
无线Ad Hoc网络中的功率控制问题
分析了Adhoc网络中节点的能量消费模式 ,详细论述了几种MAC层的功率控制技术和网络层具有能量意识的路由的主要度量准则 ,并提出了一些有前景的研究方法
期刊
无线AD
Hoe网络
功率控制
能量节省
MAC协议
路由协议
wireless Ad Hoc network power control energy sav
与本文相关的学术论文