基于界面状态有效性的GUI自动测试模型 被引量：4

1

作者 吴恒山 王金红 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第12期34-36,共3页

针对图形用户界面 (GUI)自动功能测试存在的问题 ,提出了一种基于图形用户界面状态有效性的有限自动机 (FSM )测试模型 ,给出了建模方法和测试方法 .该模型不仅能提高测试脚本的重用性 ,而且能够自动产生GUI测试路径和测试输入数据 .

关键词 gui测试 界面状态 有效性 FSM

在线阅读 下载PDF 职称材料

基于有限状态机模型的GUI设计及其应用 被引量：6

2

作者 吴春波 苏厚勤 《计算机应用与软件》 CSCD 2010年第11期141-144,共4页

为了提高GUI(graphic user interface)程序的开发效率和质量,比较了Moor机与Mealy机模型的优缺点,提出了一种适用于GUI设计的有限状态机模型,并将其成功应用于轨道交通AFC(自动售检票)系统的半自动售票机中。应用结果表明,基于这一状态... 为了提高GUI(graphic user interface)程序的开发效率和质量,比较了Moor机与Mealy机模型的优缺点,提出了一种适用于GUI设计的有限状态机模型,并将其成功应用于轨道交通AFC(自动售检票)系统的半自动售票机中。应用结果表明,基于这一状态机模型设计的GUI程序具有开发速度快、可扩展性和可靠性高等技术特点。 展开更多

关键词 gui 有限状态机 Moor机 MEALY机 自动售检票

在线阅读 下载PDF 职称材料

一种Windows应用程序的GUI自动化遍历方法 被引量：1

3

作者 朱方祥 顾乃杰 《计算机应用与软件》 北大核心 2018年第11期26-32,共7页

基于模型驱动的自动化测试研究大多需要事先对应用程序GUI进行遍历进而构建模型。然而以往自动化遍历的研究大部分局限于移动端并且GUI覆盖率并不高。为此,提出一种Windows应用程序的GUI自动化遍历方法。该方法基于事件触发动态探测应... 基于模型驱动的自动化测试研究大多需要事先对应用程序GUI进行遍历进而构建模型。然而以往自动化遍历的研究大部分局限于移动端并且GUI覆盖率并不高。为此,提出一种Windows应用程序的GUI自动化遍历方法。该方法基于事件触发动态探测应用程序GUI,通过对比应用软件窗口集合判断GUI状态是否迁移,提出步骤回溯以及样式过滤思想,解决了GUI遍历过程中的回环、遍历不充分、遍历效率低三个关键问题。基于Pwinauto实现了可以自动遍历Windows应用程序GUI的原型工具。实验表明,该方法平均近似GUI覆盖率可以达到57. 8%～74. 3%。 展开更多

关键词 图形用户界面 自动化 WINDOWS应用程序 遍历 gui状态模型 平均近似覆盖率

在线阅读 下载PDF 职称材料

基于事件驱动模型的GUI数据流异常分析方法 被引量：3

4

作者 杨广 郭泽 《计算机工程与设计》 北大核心 2016年第1期146-151,253,共7页

针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代... 针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中。实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题。 展开更多

关键词 gui软件 数据流分析 状态迁移 别名分析 事件序列

在线阅读 下载PDF 职称材料

基于Matlab GUI的埋地管道结构状态监测数据分析系统 被引量：1

5

作者 龚士林 冯新 +2 位作者 王子豪 韩阳 刘洋 《石油工程建设》 2018年第1期81-85,共5页

分布式光纤传感技术可以实现对埋地管道任意位置温度和应变的分布式测量,但其后期数据处理过程颇为繁琐。为了对管道结构状态监测数据进行更加高效、合理的分析处理,尽量减少人为操作,开发了基于Matlab GUI的埋地管道结构状态监测数据... 分布式光纤传感技术可以实现对埋地管道任意位置温度和应变的分布式测量,但其后期数据处理过程颇为繁琐。为了对管道结构状态监测数据进行更加高效、合理的分析处理,尽量减少人为操作,开发了基于Matlab GUI的埋地管道结构状态监测数据分析系统,从而实现了监测数据处理过程中智能化、可视化的操作环境。某地煤气管道的实际应用表明,该系统能够很好地对监测数据进行分析处理,进而评估管道的结构状态,极大地提高了对监测数据的分析效率,为管道结构状态监测数据的处理分析提供了技术支撑。 展开更多

关键词 埋地管道 结构状态监测 MATLAB gui 数据处理 分布式光纤传感器

在线阅读 下载PDF 职称材料

基于HFSM模型的GUI自动测试

6

作者 姜文君 李建涛 《计算机工程》 CAS CSCD 北大核心 2009年第3期94-95,129,共3页

针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据... 针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。 展开更多

关键词 gui自动测试 分层有限自动机 数据驱动 增量测试

在线阅读 下载PDF 职称材料

莒侯少子簋与莒国灭亡问题新探 被引量：1

7

作者 鄢国盛 《四川文物》 北大核心 2025年第1期88-96,共9页

关于莒国的灭亡,蒙文通曾考证其在战国中期为齐所灭,学者多不采信,仍坚持《史记》战国早期楚简王灭莒之说。莒侯少子簋是现存少有的几件莒国铜器,无论器形还是铭文字体、内容皆与陈侯午簋相似,时代当属战国中期。“莒侯”之称是东夷莒... 关于莒国的灭亡,蒙文通曾考证其在战国中期为齐所灭,学者多不采信,仍坚持《史记》战国早期楚简王灭莒之说。莒侯少子簋是现存少有的几件莒国铜器,无论器形还是铭文字体、内容皆与陈侯午簋相似,时代当属战国中期。“莒侯”之称是东夷莒君僭用中原诸侯的称号。战国早期莒是小国,依附于晋、越两国,长期与齐对抗以求自存,随着晋、越对齐作战取得关键性胜利,三晋向周天子邀功列为诸侯(前403年),莒才效仿三晋僭号称侯。此后不久,三晋失和,越国南徙,齐威王复兴,莒失去依靠,为齐所灭,时间在齐威王九年至十四年间(前348—前343年),故蒙氏之说更为可信。 展开更多

关键词 莒侯少子簋 莒国 战国

原文传递

格姬簋铭文试释

8

作者 王占奎 《考古与文物》 北大核心 2025年第10期116-119,128,共5页

本文对出土于山西翼城大河口西周墓地M2002的格姬簋铭文进行了讨论,将铭文中的“㢭”读作“攻”,意为以线锯攻玉,攻玉犹治玉,故铭文“㢭厥家”即治其家。解“不能”“弗能”为无乃、“讯”为询。铭文大意是:在霸国立新君的过程中,周王室... 本文对出土于山西翼城大河口西周墓地M2002的格姬簋铭文进行了讨论,将铭文中的“㢭”读作“攻”,意为以线锯攻玉,攻玉犹治玉,故铭文“㢭厥家”即治其家。解“不能”“弗能”为无乃、“讯”为询。铭文大意是:在霸国立新君的过程中,周王室派遣使臣进行了征询、讨论,最后认可了器主格姬的意愿。 展开更多

关键词 西周 格姬簋 霸国 晋国

在线阅读 下载PDF 职称材料

苓桂术甘汤活性相态的物质解析及对梗阻肾的保护作用

9

作者 吴雪 冒银苹 +3 位作者 王丹 高坤 乔宏志 狄留庆 《药学学报》 北大核心 2025年第7期2342-2351,共10页

中药汤剂是由多重相态构成的多分散体系。在相态拆分基础上开展化学成分解析和药效评价,有助于明晰中药药效物质的传变规律。本研究以经典方剂苓桂术甘汤为对象,追踪了煎煮过程中汤液粒径的实时变化;采用离心和超滤法分离不同相态,并对... 中药汤剂是由多重相态构成的多分散体系。在相态拆分基础上开展化学成分解析和药效评价,有助于明晰中药药效物质的传变规律。本研究以经典方剂苓桂术甘汤为对象,追踪了煎煮过程中汤液粒径的实时变化;采用离心和超滤法分离不同相态,并对其各类型化学成分进行分析;通过建立小鼠梗阻肾模型,评价了汤剂及其代表相态的治疗活性。结果显示,苓桂术甘汤煎煮过程中粒径分布的混杂度下降,最终稳定在200 nm附近;经相态分离后,小分子、多糖、蛋白、脂质、RNA等成分主要分布在胶体相中;全方和胶体相在减轻梗阻肾纤维化进程方面表现出几乎相当的活性。本研究进一步证实,苓桂术甘汤煎煮过程中不同药味的化学成分重新分布并聚集于胶体相,成为全方发挥药效的主要作用形式,为从相态角度认识和研究中药提供了依据。动物实验获得南京中医药大学动物实验伦理委员会批准(No:202501A012)。 展开更多

关键词 苓桂术甘汤 相态 药效物质解析 胶体相 单侧输尿管梗阻 肾纤维化 结构中药学

原文传递

五代十国时期归、峡二州归属考辨 被引量：2

10

作者 曾育荣 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2008年第3期122-125,共4页

五代十国时期,归、峡二州前后归属颇有不同,后梁至后唐庄宗伐蜀前,归、峡隶于前蜀;后唐明宗天成元年(926),归、峡二州方始改属南平(高氏荆南),其间又屡有反复,归州归属尤其如此;逮至天成、长兴之际,归州重入南平,南平以荆、归、峡三州... 五代十国时期,归、峡二州前后归属颇有不同,后梁至后唐庄宗伐蜀前,归、峡隶于前蜀;后唐明宗天成元年(926),归、峡二州方始改属南平(高氏荆南),其间又屡有反复,归州归属尤其如此;逮至天成、长兴之际,归州重入南平,南平以荆、归、峡三州为基本疆域范围的格局至是最终得以确立。其后的后晋、后汉、后周三朝,沿而未改,并一直延续到乾德元年(963)南平亡于北宋。 展开更多

关键词 五代十国 归州 峡州 归属

在线阅读 下载PDF 职称材料

《燕侯载簋》考释二则 被引量：3

11

作者 何家兴 《考古与文物》 CSSCI 北大核心 2015年第4期101-102,共2页

燕侯载簋是十分重要的燕系文字资料。本文考释了其中的"卬"和"无争"两个疑难字词,讨论了它们的含义,对于探讨燕国世系以及燕文化与中原文化之间的关系具有重要的价值。

关键词 燕侯载簋 卬 无争

在线阅读 下载PDF 职称材料

小邾国墓地出土昆君壶及其相关问题考论 被引量：2

12

作者 贾一凡 《枣庄学院学报》 2020年第3期70-75,共6页

昆君壶2002年出土于枣庄小邾国墓地,该壶铭文中的“昆”,即与小邾国同宗的昆吾国,“妇”是“弟妻”的称谓,器主媿霝来自鬼方,其部族与小邾国君有联姻的传统,媿霝为小邾国君夫人,为了拉近两国关系自称昆吾弟妻。昆吾为己姓国,其地望初在... 昆君壶2002年出土于枣庄小邾国墓地,该壶铭文中的“昆”,即与小邾国同宗的昆吾国,“妇”是“弟妻”的称谓,器主媿霝来自鬼方,其部族与小邾国君有联姻的传统,媿霝为小邾国君夫人,为了拉近两国关系自称昆吾弟妻。昆吾为己姓国,其地望初在许,后被命为夏伯,迁于卫,被商灭后又迁至鬼方。西周早期,成王伐鬼方,昆吾迁往西域,最终被周穆王征服。小邾与昆吾为兄弟之国,与鬼方为姻亲之国,昆君壶的发现证明了三者的密切关系。 展开更多

关键词 昆君壶 昆吾国 小邾国 鬼方氏 媿霝

在线阅读 下载PDF 职称材料

拉线式输电塔初始状态下预应力的分布研究 被引量：5

13

作者 孔伟 党剑 +1 位作者 单良 杜海 《吉林电力》 2010年第5期19-22,共4页

针对拉线式输电塔在安装、运行过程中的受力特点,将初始状态的概念引入拉线式输电塔的受力分析中,利用有限元基本原理,推导出基于双重非线性的杆单元刚度矩阵,建立了拉线式输电塔的有限元平衡方程。利用ANSYS软件建立输电塔的索梁桁混... 针对拉线式输电塔在安装、运行过程中的受力特点,将初始状态的概念引入拉线式输电塔的受力分析中,利用有限元基本原理,推导出基于双重非线性的杆单元刚度矩阵,建立了拉线式输电塔的有限元平衡方程。利用ANSYS软件建立输电塔的索梁桁混合单元的非线性有限元模型,计算出拉线式输电塔初始状态下预应力的分布,最后通过模型试验验证了数值分析结果的正确性。 展开更多

关键词 拉线式输电塔 初始状态 预应力 非线性有限元

在线阅读 下载PDF 职称材料

极点配置和状态观测器辅助设计工具开发

14

作者 周灿丰 邓双成 +2 位作者 林顺英 张明昆 张微 《控制工程》 CSCD 2003年第z1期115-117,共3页

开发了一个运行于MATLAB环境的极点配置和状态观测器设计GUI辅助工具,帮助设计人员快捷、直观地完成相应的系统设计与仿真任务。在论述有关理论的基础上,以MatlabGUIDE为开发手段,进行该GUI辅助工具的设计。该设计的图形用户界面由GUID... 开发了一个运行于MATLAB环境的极点配置和状态观测器设计GUI辅助工具,帮助设计人员快捷、直观地完成相应的系统设计与仿真任务。在论述有关理论的基础上,以MatlabGUIDE为开发手段,进行该GUI辅助工具的设计。该设计的图形用户界面由GUIDE中的控件编辑、组合而成,控制算法通过调用ControlSystemToolbox中的命令函数来实现,为了实现不同控件callbacksubfunction代码之间的数据传输,采用global将要求共享的变量申明为全局变量。该GUI辅助工具可以做为MatlabSISODesignTool的有益补充。 展开更多

关键词 极点配置 状态观测器 gui CALLBACK subfunction

在线阅读 下载PDF 职称材料

周代胡国历史与地理论考 被引量：1

15

作者 金荣权 《信阳师范学院学报（哲学社会科学版）》 2012年第3期120-122,共3页

胡国,归姓,本是北方媿(隗)姓赤狄部族的后裔。夏、商时媿姓的一支南迁至黄河南岸而进入中原腹地,西周时在淮河两岸建立胡国和弦国。西周的胡国位于河南省漯河市境,在春秋初期受郑武公的军事压迫而被迫向东南迁移至安徽阜阳境内,故城在... 胡国,归姓,本是北方媿(隗)姓赤狄部族的后裔。夏、商时媿姓的一支南迁至黄河南岸而进入中原腹地,西周时在淮河两岸建立胡国和弦国。西周的胡国位于河南省漯河市境,在春秋初期受郑武公的军事压迫而被迫向东南迁移至安徽阜阳境内,故城在今安徽阜阳西北的颍水西岸、泉河北岸一带。至春秋中后期,胡国成为楚人的附庸,完全丧失了主权。春秋后期胡国转而依附齐、鲁,公元前495年为楚所灭。 展开更多

关键词 胡国 归姓 娩姓 漯河 阜阳

在线阅读 下载PDF 职称材料

略论昔鸡簋铭文 被引量：7

16

作者 黄益飞 《中国国家博物馆馆刊》 CSSCI 北大核心 2018年第3期53-59,共7页

本文对周原遗址贺家村出土的昔鸡簋铭文的关键字词、所记礼制及相关问题进行了初步研究。认为昔鸡簋铭中的"▉"应读为遏,训为止。"遏偪姞于韩",义即嫁偪姞于韩。昔鸡为送者,故韩侯用贝、马傧赠昔鸡。昔鸡簋铭文所... 本文对周原遗址贺家村出土的昔鸡簋铭文的关键字词、所记礼制及相关问题进行了初步研究。认为昔鸡簋铭中的"▉"应读为遏,训为止。"遏偪姞于韩",义即嫁偪姞于韩。昔鸡为送者,故韩侯用贝、马傧赠昔鸡。昔鸡簋铭文所记与《仪礼·士昏礼》相合。昔鸡簋为西周国族研究提供了新史料,偪或即姞姓之密须,其地在今甘肃灵台附近;韩乃武之穆,初封或在冀北之固安,西周末徙至晋南;昔氏为周大夫封昔者,其地或在今河北巨鹿附近。昔鸡簋之年代在西周昭王、穆王之际,簋铭所见王姒究系时王之后,抑或先王之后,还需再做讨论。本文指出,周代嫔妃的称谓不仅关系周代礼制,更涉及西周铜器的断代研究,是一个值得深入研究的课题。 展开更多

关键词 昔鸡簋 西周婚礼 国族地望 妃嫔称谓

原文传递

史密簋铭文与齐国的方伯地位 被引量：4

17

作者 王健 《郑州大学学报（哲学社会科学版）》 CSSCI 北大核心 2002年第2期98-102,共5页

根据史密簋铭文所透现的史实 ,从师俗、史密的身份、国属入手 ,考证两人是兼地方与中央双重官职身份的西周重臣 ,他们只能来自于齐国 ,故而周王命他们率领以齐师为主力的诸侯国军队合击南夷。齐国是西周的重要方伯 ,拥有对东方的征伐大... 根据史密簋铭文所透现的史实 ,从师俗、史密的身份、国属入手 ,考证两人是兼地方与中央双重官职身份的西周重臣 ,他们只能来自于齐国 ,故而周王命他们率领以齐师为主力的诸侯国军队合击南夷。齐国是西周的重要方伯 ,拥有对东方的征伐大权 ,只要周王命令 ,就可以实行征伐 ,无需周王另派将领统帅自己的军队。当时周王朝衰微 。 展开更多

关键词 史密簋铭文 师俗 史密 齐国 方伯

在线阅读 下载PDF 职称材料

桐城派祖述归有光原因略考

18

作者 兰石洪 周加胜 《黄石理工学院学报（人文社科版）》 2008年第4期9-13,22,共6页

归有光是明代杰出散文家,经过钱谦益广泛介绍,清初散文学唐宋渐成风气。由于特殊时代文化背景和归有光的散文艺术成就,桐城派从众多明代散文家中选择归有光作为祖述典型。

关键词 归有光 桐城派 祖述原因

在线阅读 下载PDF 职称材料

基于集员卡尔曼滤波的智能车定位研究

19

作者 许艳萍 王武 《闽南师范大学学报（自然科学版）》 2014年第3期74-80,共7页

本文针对道路约束的实际问题,应用集员卡尔曼滤波算法对具有状态约束的智能车进行研究.以具有行驶路线约束的Freescale 16位单片机MC9S12DG128B控制的智能模型车为控制对象进行集员卡尔曼滤波算法设计和应用,实验结果表明该算法能有效... 本文针对道路约束的实际问题,应用集员卡尔曼滤波算法对具有状态约束的智能车进行研究.以具有行驶路线约束的Freescale 16位单片机MC9S12DG128B控制的智能模型车为控制对象进行集员卡尔曼滤波算法设计和应用,实验结果表明该算法能有效地减小估计误差,也能够很好的满足实际应用的要求. 展开更多

关键词 状态约束 集员卡尔曼滤波 MATLAB gui 智能车

在线阅读 下载PDF 职称材料

鬼子小说《一根水做的绳子》中的生命状态研究

20

作者 田右英 《柳州师专学报》 2014年第5期19-22,26,共5页

鬼子的长篇小说《一根水做的绳子》在朴素的情感表达中有很多隐喻意味和对生命潜在状态的深层探讨。以生命美学的视角,从小说的叙述节奏和语言、小说的叙事策略和意象的使用等方面进行探讨,解读小说所体现出来的对人性的关怀、对生命本... 鬼子的长篇小说《一根水做的绳子》在朴素的情感表达中有很多隐喻意味和对生命潜在状态的深层探讨。以生命美学的视角,从小说的叙述节奏和语言、小说的叙事策略和意象的使用等方面进行探讨,解读小说所体现出来的对人性的关怀、对生命本质的深度挖掘的精神。 展开更多

关键词 鬼子 《一根水做的绳子》 叙述语言 生命状态

在线阅读 下载PDF 职称材料