期刊文献+
共找到105篇文章
< 1 2 6 >
每页显示 20 50 100
Sex- and Age-Specific Associations of Social Status and Health-Related Behaviors with Health Check Attendance: Findings from the Cross-Sectional Kanazawa Study
1
作者 Hiromasa Tsujiguchi Daisuke Hori +12 位作者 Yasuhiro Kambayashi Toshio Hamagishi Hiroki Asakura Junko Mitoma Masami Kitaoka Anyenda Enoch Olando Nguyen Thi Thu Thao Yohei Yamada Koichiro Hayashi Tadashi Konoshita Takiko Sagara Aki Shibata Hiroyuki Nakamura 《Health》 2017年第9期1285-1300,共16页
Health checks are key features of primary and secondary disease prevention. The aim of this study was to examine the sex- and age-specific association of social status and health-related behaviors with health check at... Health checks are key features of primary and secondary disease prevention. The aim of this study was to examine the sex- and age-specific association of social status and health-related behaviors with health check attendance in eligible persons. Data were derived from the Kanazawa Study 2011 (n = 12,781), a cross-sectional study which investigated all the residents in model areas of Kanazawa City, Ishikawa Prefecture, Japan. We selected participants aged 23 years or older with National Health Insurance (n = 4920). Attendance at health checks was the outcome. We used social status and health-related behaviors as predictor variables. We analyzed them by sex and applied stratified analyses by age groups for each sex. The bivariate analyses were conducted by means of cross-tabs. We calculated health check attendance rates by each variable. We used Pearson’s χ2-test to examine statistically significant differences. We fitted logistic regression models to estimate adjusted odds ratios (ORs) of attendance in the past one year. We computed ORs in a logistic regression model containing all variables described above. Workingmen and women aged 23 to 39 years and aged 40 to 64 years had significantly increased ORs for health check attendance compared with non-working persons. Men, men aged 23 to 39 years and men aged 65 years or older with more physical activity had significantly increased ORs for health check attendance. Male ex-smokers, female ex- and non-smokers, male ex-smokers aged 65 years or older, and female non-smokers aged 40 to 64 years had significantly increased ORs. The findings suggest that population groups with lower social status or increased risks of adverse health effects are less likely to attend health checks than those with higher social status or decreased risks in particular sex and age groups. It indicates that diverse approaches are required to realize the full benefit of health checks. 展开更多
关键词 HEALTH check Social Status HEALTH-RELATED behaviors Secondary Prevention HEALTH Care
下载PDF
Experimental Study on a Single Layer Two-Way Grid Shell with Tension Members 被引量:3
2
作者 Zhonghao Zhang Masumi Fujimoto +1 位作者 Atsuo Takino Katsuhiko Imai 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2015年第4期10-19,共10页
Single layer two-way grid shell with in-plane and out-of-plane tension members is a new type of single-layer latticed shell roofs. Compared with traditional single-layer latticed shells,this new type has a unique mesh... Single layer two-way grid shell with in-plane and out-of-plane tension members is a new type of single-layer latticed shell roofs. Compared with traditional single-layer latticed shells,this new type has a unique mesh form and excellent rigidity. In order to further understand the buckling behaviors of single layer two-way grid cylindrical shell roof with tension members,the buckling experiments have been undertaken to investigate the effect of tension members,in either out-of-plane or in-plane placement. A single layer two-way grid cylindrical shell roof with out-of-plane tension members has been tested under symmetric and asymmetric loading. The tension member placement,the introducing initial axial force to tension members and the load patterns are considered to investigate the buckling behavior. Experimental results indicate that four long out-ofplane tension members work well under symmetrical loading,but only two long out-of-plane tension members work under asymmetrical loading. It can be concluded that the PC bar members used as tension members for this study are useful in the construction of a single layer two-way grid cylindrical shell roof with structural members intersecting at small angles. 展开更多
关键词 single layer two-way grid shell tension members out-of-plane placement buckling behavior truss system
下载PDF
Selection of Support System Type with Detecting Mismatches between Traffic Situation and Driver Behavior
3
作者 庞煜 赖喜德 《Journal of Donghua University(English Edition)》 EI CAS 2014年第6期856-859,共4页
Supposing a typical case of mismatch between human actions and given situation,the appropriate driver support function was investigated in this paper. It was processed by calculating the conditional expectation of dam... Supposing a typical case of mismatch between human actions and given situation,the appropriate driver support function was investigated in this paper. It was processed by calculating the conditional expectation of damage under different degrees of automation. The typical case was that the situation was detected to be in threat while the driver was detected not to take any corresponding action. Considering various realistic factors,preference order among different levels of automation was probabilistically analyzed. Different levels of automation under action type support were differentiated by human's reactions to the autonomous safety control actions which were taken by the computer. 展开更多
关键词 adaptive automation behavior checking human-centered automation levels of automation situation monitoring
下载PDF
基于数据影响的业务流程一致性检查方法 被引量:2
4
作者 白少康 方贤文 钱陈婧 《计算机应用研究》 CSCD 北大核心 2024年第2期540-547,共8页
近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了... 近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号(business process modeling notation,BPMN)模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号(decision model and notation,DMN)决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。 展开更多
关键词 业务流程 一致性检查 数据影响 预期行为 决策模型和符号(DMN) 有效数据更改
下载PDF
签入/签出策略对智力障碍学生课堂参与行为的干预研究
5
作者 生辉 杨柳 袁梅玲 《乐山师范学院学报》 2024年第3期134-140,共7页
为探讨签入/签出策略对课堂参与行为的成效,研究采用多基线跨被试实验设计对三名智力障碍学生实施干预。目视分析及C统计分析表明,签入/签出策略可以改善智力障碍学生课堂参与行为,且干预效果得到较好的维持。同时,签入/签出策略的实施... 为探讨签入/签出策略对课堂参与行为的成效,研究采用多基线跨被试实验设计对三名智力障碍学生实施干预。目视分析及C统计分析表明,签入/签出策略可以改善智力障碍学生课堂参与行为,且干预效果得到较好的维持。同时,签入/签出策略的实施得到家长和教师的肯定。 展开更多
关键词 签入/签出策略 智力障碍 课堂参与行为
下载PDF
分析耳穴贴压技术对胃癌患者心理状态及睡眠质量的影响
6
作者 朱碧云 《世界睡眠医学杂志》 2024年第4期762-764,768,共4页
目的:分析耳穴贴压技术对胃癌患者心理状态及睡眠质量的影响。方法:选取2022年1月至2023年1月就诊于福建省肿瘤医院的胃癌患者80例作为研究对象,按照随机数字表法分为对照组和观察组,每组40例。对照组患者给予一般性护理干预,观察组患... 目的:分析耳穴贴压技术对胃癌患者心理状态及睡眠质量的影响。方法:选取2022年1月至2023年1月就诊于福建省肿瘤医院的胃癌患者80例作为研究对象,按照随机数字表法分为对照组和观察组,每组40例。对照组患者给予一般性护理干预,观察组患者在对照组基础上给予耳穴贴压护理干预。采用匹兹堡睡眠质量指数(PSQI)比较2组患者睡眠质量的差异,采用行为检查表(CBCL)判定2组患者的心理状态。结果:干预后,观察组CBCL量表中的焦虑、退缩、抑郁状态评分均显著低于对照组,观察组PSQI评分显著低于对照组,差异有统计学意义(P<0.05)。结论:在常规干预基础上加用耳穴贴压技术能有效改善胃癌患者心理状态,提高患者睡眠质量,值得临床推广应用。 展开更多
关键词 耳穴贴压 胃癌 心理状态 睡眠质量 行为检查
下载PDF
基于视频追踪的猪只运动快速检测方法 被引量:21
7
作者 肖德琴 冯爱晶 +2 位作者 杨秋妹 刘俭 张哲 《农业机械学报》 EI CAS CSCD 北大核心 2016年第10期351-357,331,共8页
自然条件下猪只日常运动时间、距离、速度等构成的运动数据,可作为猪只健康与舒适度状况分析的重要依据。为快速准确地捕获及检测猪场猪只的各种运动信息,探讨了基于视频追踪的猪只运动信息检测方法,该方法在基于颜色特征与轮廓特征相... 自然条件下猪只日常运动时间、距离、速度等构成的运动数据,可作为猪只健康与舒适度状况分析的重要依据。为快速准确地捕获及检测猪场猪只的各种运动信息,探讨了基于视频追踪的猪只运动信息检测方法,该方法在基于颜色特征与轮廓特征相结合的多猪只目标分割基础上,通过基于最小化代价函数的椭圆拟合和最短距离匹配的目标跟踪,设计了运动位移、运动速度、运动加速度和运动角速度4个运动信息的检测算法。进一步探索了基于运动信息检测猪只日常活跃状态、活动规律及行为识别方面的初步应用。试验结果表明,该算法能够识别多种颜色的纯色猪只;分割粘连猪只成功率达92.6%;通过连续4 d在广州市力智猪场种猪室实时视频测试表明,猪只日常活跃状态、活动规律和行为类别等信息均可通过猪只运动信息表现出来。所提方案可快速、有效检测猪只运动信息,为猪只行为分析、健康与舒适度评估提供了依据。 展开更多
关键词 视频追踪 运动检测 行为分类
下载PDF
支持协商的网构软件体系结构行为建模与验证 被引量:8
8
作者 周立 陈湘萍 +2 位作者 黄罡 孙艳春 梅宏 《软件学报》 EI CSCD 北大核心 2008年第5期1099-1112,共14页
针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工... 针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题. 展开更多
关键词 网构软件 软件体系结构 模型检查 行为模型
下载PDF
基于软件行为轨迹的可信性评价模型 被引量:6
9
作者 田俊峰 韩金娥 +1 位作者 杜瑞忠 王勇 《计算机研究与发展》 EI CSCD 北大核心 2012年第7期1514-1524,共11页
软件动态可信性评价已经成为信息安全领域研究的一个热点问题.为了提高评价的精确性,在充分考虑了软件的运行流程和运行背景的基础上,提出了基于软件行为轨迹的可信性评价模型(CEMSBT).该模型引入软件行为轨迹描述软件行为,软件行为轨... 软件动态可信性评价已经成为信息安全领域研究的一个热点问题.为了提高评价的精确性,在充分考虑了软件的运行流程和运行背景的基础上,提出了基于软件行为轨迹的可信性评价模型(CEMSBT).该模型引入软件行为轨迹描述软件行为,软件行为轨迹由运行轨迹和功能轨迹构成,运行轨迹表示软件运行时的有序操作,表征为有序的检查点向量;功能轨迹则由能够表征软件功能的一系列场景来刻画.为了减少可信性评价的时间和空间开销,给出了软件行为轨迹的化简规则.模型应用检查点的标识评价规则和场景评价规则对实际的软件行为进行评价.考虑到分支给程序带来的随机性很可能被入侵者利用,分支处的检查很必要.模型通过场景确定分支的走向,从而降低了分支处异常情况的漏报率.仿真实验表明CEMSBT具有较高的精确性和效率. 展开更多
关键词 可信性评价 软件行为 行为轨迹 检查点 场景 化简
下载PDF
基于位置的社交网络用户签到及相关行为研究 被引量:20
10
作者 李敏 王晓聪 +1 位作者 张军 刘正捷 《计算机科学》 CSCD 北大核心 2013年第10期72-76,共5页
Web2.0时代,空间定位技术不断成熟,使得基于位置的社交网络(LBSN)快速发展。LBSN用户的典型行为是签到以及针对签到地进行评论等。探索用户签到及相关行为的规律及背后动机,可以更好地了解用户的需求,发现系统设计与用户需求的不匹配之... Web2.0时代,空间定位技术不断成熟,使得基于位置的社交网络(LBSN)快速发展。LBSN用户的典型行为是签到以及针对签到地进行评论等。探索用户签到及相关行为的规律及背后动机,可以更好地了解用户的需求,发现系统设计与用户需求的不匹配之处,这对LBSN类应用的设计和开发具有一定的指导意义。利用在线数据抓取工具GooSeeker抽样国内典型的LBSN嘀咕网的用户数据。通过对获取的数据进行处理、分析,获知用户签到行为特点。同时关注用户发布的签到地评论的内容,并且使用分类工具SVMCLS将用户对麦当劳的评论划分为不同的倾向级别,从而得到用户对麦当劳的主观情感倾向性。结果发现嘀咕网用户签到的时间和地点存在规律性特征。用户趋向于在签到地做出正面的评论,并且评论的内容比较简短。这些发现有助于LBSN类系统设计和开发人员更好地了解用户,获知用户的需求,最终完善自己的设计,为用户提供更好的应用服务。 展开更多
关键词 基于位置的社交网络 签到行为 评论 文本分析
下载PDF
基于软件行为的检查点风险评估信任模型 被引量:7
11
作者 刘玉玲 杜瑞忠 +1 位作者 冯建磊 田俊峰 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第1期179-184,190,共7页
针对当前软件行为可信研究中往往忽略风险因素影响,为提高软件行为可信性评价的准确性和合理性,通过在软件行为轨迹中织入若干检查点,提出一种基于软件行为的检查点风险评估信任模型(CBRA-TM);通过累积多个有疑似风险的检查点,利用风险... 针对当前软件行为可信研究中往往忽略风险因素影响,为提高软件行为可信性评价的准确性和合理性,通过在软件行为轨迹中织入若干检查点,提出一种基于软件行为的检查点风险评估信任模型(CBRA-TM);通过累积多个有疑似风险的检查点,利用风险评估策略,判定有疑似风险的检查点;采用奖励或处罚机制求出软件行为的可信度,最终判断软件行为是否可信.仿真实验结果表明,该模型能够有效地识别软件行为中潜在的风险,能够较准确地计算软件行为的可信度,验证了模型的有效性和可行性. 展开更多
关键词 信任模型 软件行为 风险评估 检查点
下载PDF
青春期发育提前女童行为问题的病例对照研究 被引量:15
12
作者 乔晓红 俞建 谢晓恬 《中国心理卫生杂志》 CSSCI CSCD 北大核心 2008年第4期249-252,共4页
目的:探讨青春期发育提前女童,即真性性早熟及单纯乳房早发育对女童行为问题的影响及相关因素。方法:采用Achenbach儿童行为量表、家庭环境量表及家庭情况调查表对真性性早熟女童46例,单纯乳房早发育女童46例及同龄正常女童50例进... 目的:探讨青春期发育提前女童,即真性性早熟及单纯乳房早发育对女童行为问题的影响及相关因素。方法:采用Achenbach儿童行为量表、家庭环境量表及家庭情况调查表对真性性早熟女童46例,单纯乳房早发育女童46例及同龄正常女童50例进行评定。结果:1.真性性早熟组、单纯早发育组、对照组行为问题检出率分别为45.7%、34.8%、16.0%,两组早发育女童均高于对照组(x^2=9.99、4.51,P分别为0.002和0.034),两组早发育组间检出率差异无统计学意义(x^2=1.13,P=0.288)。2.两组发育提前的女童行为问题总分平均秩次(91.2、82.3)显著高于对照组(43.4),抑郁、体诉、社交退缩等因子得分亦显著高于对照组(如抑郁因子分89.2,79.1/48.2)。3.Tanner分期与抑郁、社交退缩、体诉、违纪、内向因子、外向因子方面呈正相关(r=0.37~0.47,P〈0.05)。4.家庭环境因素中矛盾性、娱乐性影响行为问题评分(β=0.3、0.4)。结论:1.两类发育提前女童行为问题均多于正常女童。2.单纯早发育女童与真性性早熟女童相比,行为问题仍较严重。3.乳房增大可能是引起发育提前女童行为异常的危险因素。 展开更多
关键词 性早熟 儿童行为量表 家庭环境量表 行为问题 病例对照研究
下载PDF
核准制下投资者行为偏差和中国IPO抑价实证研究 被引量:7
13
作者 熊虎 孟卫东 +1 位作者 周孝华 杜俊涛 《软科学》 CSSCI 2007年第4期61-65,共5页
利用行为金融学中投资者行为偏差的观点,对核准制下中国的IPO抑价进行了实证研究。以实行该制度后到股权分置改革前发行并上市的股票为样本,使用Newey—West提出的异方差和自相关一致协方差回归方法,对影响IPO抑价的行为偏差因素进行了... 利用行为金融学中投资者行为偏差的观点,对核准制下中国的IPO抑价进行了实证研究。以实行该制度后到股权分置改革前发行并上市的股票为样本,使用Newey—West提出的异方差和自相关一致协方差回归方法,对影响IPO抑价的行为偏差因素进行了实证分析,得出投资者行为偏差是引起中国IPO抑价的结论。 展开更多
关键词 行为金融 投资者行为偏差 IPO抑价 核准制
下载PDF
护士查对行为研究 被引量:8
14
作者 胡忠华 王国蓉 巴智明 《四川医学》 CAS 2015年第5期748-751,共4页
目的了解护士查对行为质量和影响因素,为规范和提升查对制度落实提供依据,进一步探索护士查对行为的研究方向。方法通过中文万方数据库、CNKI数据库、维普数据库,ACS,EBSCO,OVID,Science Direct,Springerlink数据库,检索与护士查对行为... 目的了解护士查对行为质量和影响因素,为规范和提升查对制度落实提供依据,进一步探索护士查对行为的研究方向。方法通过中文万方数据库、CNKI数据库、维普数据库,ACS,EBSCO,OVID,Science Direct,Springerlink数据库,检索与护士查对行为和患者安全给药查对相关文献,文章时间为2004至2014年。结果按文献内容分为查对制度落实现状研究,查对方式研究和查对培训研究三部分。护理查对制度在方法和要求上随着医疗模式和社会发展不断演变和发展,但给药的查对措施落实现状并不乐观,个人和系统因素对护士查对行为均有影响。发展查对方法和加强护士查对培训是目前研究主要的关注点,但对社会行为学、医院安全文化等组织环境因素对查对行为培养和实施的影响研究较少。结论我国目前还缺乏结合个人、组织、环境因素对不同查对行为的分类研究,使我们在制定针对性的细化查对操作程序和查对内容要点时缺少高质量实证依据。 展开更多
关键词 护士 查对 行为
下载PDF
赛时行为空间理论的研究与测评模型的构建 被引量:8
15
作者 梁建平 吴鸿春 +3 位作者 曾理 范安辉 文亮 王磊 《体育科学》 CSSCI 北大核心 2009年第9期42-49,71,共9页
运用空间学原理,对竞技空间、赛时行为空间以及赛时行为的理论概念进行讨论和界定,并在此理论研究的基础上,通过文献资料调研、问卷调查和数理分析等方法进行分析和研究;结果表明,竞技空间结构是在竞技体育活动中客观存在的第一空间,而... 运用空间学原理,对竞技空间、赛时行为空间以及赛时行为的理论概念进行讨论和界定,并在此理论研究的基础上,通过文献资料调研、问卷调查和数理分析等方法进行分析和研究;结果表明,竞技空间结构是在竞技体育活动中客观存在的第一空间,而赛时行为空间是具有即时性特征存在于第一空间中的第二空间,并对此理论经过相关模型的构建与验证得出:自我实现欲、自我精神状态、目标清晰度、抗外界干扰能力、信念确认度等5个维度是影响赛时行为空间的主要心理因素。 展开更多
关键词 空间理论 赛时行为 即时空间 模型构建 验证分析
下载PDF
基于启发式行为监测的手机病毒防治研究 被引量:14
16
作者 吴俊军 方明伟 张新访 《计算机工程与科学》 CSCD 北大核心 2010年第1期35-38,112,共5页
快速发展的移动通信技术给人们带来新的应用和服务的同时,也吸引了手机病毒的攻击。本文总结了手机病毒的传播途径和共有特性,比较现有的防毒技术,结合手机的特点,提出一种基于启发式行为监测的手机病毒防治技术,采用隐马尔科夫模型启... 快速发展的移动通信技术给人们带来新的应用和服务的同时,也吸引了手机病毒的攻击。本文总结了手机病毒的传播途径和共有特性,比较现有的防毒技术,结合手机的特点,提出一种基于启发式行为监测的手机病毒防治技术,采用隐马尔科夫模型启发式分析程序的行为,以阻止病毒的恶意行为,保护手机安全。 展开更多
关键词 手机病毒 启发式 行为监测 隐马尔科夫模型
下载PDF
儿童精神分裂症患者的病前社会能力及行为特征与病后颅脑结构 被引量:11
17
作者 郭素芹 朱俊敬 +5 位作者 邵荣荣 盖关臣 郭芳 李玉玲 张红梅 郭敬华 《中国心理卫生杂志》 CSSCI CSCD 北大核心 2014年第6期445-451,共7页
目的:探讨儿童精神分裂症患者病后颅脑结构与病前社会能力和行为特征之间的关系.方法:选取符合美国精神障碍诊断与统计手册第4版(DSM-Ⅳ)精神分裂症诊断标准的儿童患者224例及222名正常对照.采用Achenbach儿童行为量表(CBCL),回... 目的:探讨儿童精神分裂症患者病后颅脑结构与病前社会能力和行为特征之间的关系.方法:选取符合美国精神障碍诊断与统计手册第4版(DSM-Ⅳ)精神分裂症诊断标准的儿童患者224例及222名正常对照.采用Achenbach儿童行为量表(CBCL),回顾性调查6~10岁时的社会能力及行为问题,用磁共振成像(MRI)检测213例患儿病后的颅脑结构.根据CBCL社会能力总分及行为问题总分的中位数将213例患儿分为社会能力低分组(n=106)及高分组(n=107)、行为问题低分组(n=106例)及高分组(n =107).结果:经多重检验校正后,儿童精神分裂症组的CBCL社交退缩、攻击性、行为问题总分[(28.7±23.3) vs.(17.0±9.1),P〈0.05]均高于对照组,社会能力总分[(12.4±3.9) vs.(13.9±2.9),P 〈o.05]低于对照组.协方差分析显示,CBCL社会能力总分低分组患者右颞角宽度[(4.9±1.1) mmvs.(4.4±0.6) mm]及顶叶脑沟宽[(5.5±1.2)mmvs.(4.6±0.9) mm]大于高分组患者(均P 〈0.05),三脑室侧壁至左脑岛面距[(31.1±3.5) mmvs.(32.6±2.1) mm]及胼胝体厚[(8.1±0.9) mmvs.(8.6±0.9) mm]小于高分组患者(均P〈0.05);CBCL行为问题总分低分组患者顶叶脑沟宽[(4.8±1.0) mmvs.(5.3±1.2) mm]、左外侧裂脑沟根部宽[(17.4±3.5) mmvs.(18.3±4.1)mm]小于高分组患者(均P〈0.01).结论:儿童精神分裂症患者病前社会能力越低或行为问题越多,病后脑室扩大和脑结构异常可能越明显. 展开更多
关键词 精神分裂症 儿童 儿童行为量表 磁共振成像 横断面研究
下载PDF
一种面向软件行为和多视点的需求模型验证方法 被引量:4
18
作者 陈曙 毋国庆 +1 位作者 叶俊民 陈明楷 《小型微型计算机系统》 CSCD 北大核心 2013年第7期1468-1473,共6页
软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件... 软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型. 展开更多
关键词 需求分析 多视点 软件行为 模型验证
下载PDF
基于模型检测的程序恶意行为识别方法 被引量:5
19
作者 张一弛 庞建民 +1 位作者 范学斌 姚鑫磊 《计算机工程》 CAS CSCD 2012年第18期107-110,共4页
利用恶意代码所具有的相同或相似的行为特征,提出一种基于模型检测技术的程序恶意行为识别方法。通过对二进制可执行文件进行反汇编,构建程序控制流图,使用Kripke结构对程序建模,利用线性时序逻辑描述典型的恶意行为,采用模型检测器识... 利用恶意代码所具有的相同或相似的行为特征,提出一种基于模型检测技术的程序恶意行为识别方法。通过对二进制可执行文件进行反汇编,构建程序控制流图,使用Kripke结构对程序建模,利用线性时序逻辑描述典型的恶意行为,采用模型检测器识别程序是否具有恶意行为,并在程序控制流图上对该恶意行为进行标注。实验结果表明,与常用的杀毒软件相比,该方法能更有效地发现程序中的恶意行为。 展开更多
关键词 模型检测 恶意行为 线性时序逻辑 控制流图 反汇编 KRIPKE结构
下载PDF
多线程Java程序安全行为模型的静态检查方法 被引量:4
20
作者 金英 李泽鹏 +1 位作者 张晶 刘磊 《计算机学报》 EI CSCD 北大核心 2009年第9期1856-1868,共13页
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动... 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持. 展开更多
关键词 多线程Java程序 安全相关行为模型 静态检查 参数化扩展上下文无关文法
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部