期刊文献+
共找到920篇文章
< 1 2 46 >
每页显示 20 50 100
高可信软件工程技术 被引量:115
1
作者 陈火旺 王戟 《电子学报》 EI CAS CSCD 北大核心 2003年第z1期1933-1938,共6页
随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 。
关键词 软件工程 软件可信性 软件保证
下载PDF
UMLStatecharts的模型检验方法 被引量:40
2
作者 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 UMLStatecharts 模型检验方法 软件开发 统一建模语言
下载PDF
基于场效应管的恒流源设计 被引量:34
3
作者 田俊杰 +1 位作者 陈静 柴书罡 《中国测试》 CAS 2009年第1期118-121,共4页
为了提高恒流源的精度及稳定性,提出一种基于mos场效应管的恒流源原理及其制作过程,电路采用闭环反馈控制,在0 mA~5 000 mA电流连续可调,在设计中对电路关键元件场效应管、采样电阻的选取进行了必要的说明;分析了影响恒流源稳定性的各... 为了提高恒流源的精度及稳定性,提出一种基于mos场效应管的恒流源原理及其制作过程,电路采用闭环反馈控制,在0 mA~5 000 mA电流连续可调,在设计中对电路关键元件场效应管、采样电阻的选取进行了必要的说明;分析了影响恒流源稳定性的各种因素,针对器件的焊接提出了具体指导意见,同时深入探讨了实际设计中出现的功耗与散热问题。通过实际测试,本恒流源电流稳定度优于0.5%,可应用于计量与检测领域。 展开更多
关键词 场效应管 恒流源 采样电阻 运算放大器 稳定性
下载PDF
大规模软件系统日志研究综述 被引量:37
4
作者 廖湘科 李姗姗 +3 位作者 贾周阳 刘晓东 周书林 《软件学报》 EI CSCD 北大核心 2016年第8期1934-1947,共14页
规范和充分的日志是良好代码质量的必要因素,也是软件故障诊断的重要手段.然而,代码的质量管理受限于大规模软件代码的高复杂程度,目前,利用日志信息进行软件故障重现和诊断的难度大、效率低.从日志特征分析、基于日志的故障诊断、日志... 规范和充分的日志是良好代码质量的必要因素,也是软件故障诊断的重要手段.然而,代码的质量管理受限于大规模软件代码的高复杂程度,目前,利用日志信息进行软件故障重现和诊断的难度大、效率低.从日志特征分析、基于日志的故障诊断、日志的增强这3个方面综述了日志研究的现状.通过对几种常用的大规模开源软件的日志进行调研,发现了一些日志相关的特征和规律以及现有工具难以解决的问题.最后,对未来的研究工作进行了展望,并分析了可能面对的挑战. 展开更多
关键词 系统日志 特征分析 故障诊断 日志增强
下载PDF
呼吸机辅助呼吸加血液灌流治疗阿维菌素中毒 被引量:34
5
作者 王修军 李凤玲 +2 位作者 倪景丽 陈涛 《内科急危重症杂志》 2007年第1期44-44,46,共2页
关键词 血液灌流 阿维菌素中毒
下载PDF
面向服务软件体系结构的接口模型 被引量:18
6
作者 陈振邦 王戟 +1 位作者 齐治昌 《软件学报》 EI CSCD 北大核心 2006年第6期1459-1469,共11页
服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的... 服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证. 展开更多
关键词 面向服务软件体系结构 接口 事务 补偿 相容性 可替换性 接口规约
下载PDF
不同林分密度油松天然林土壤理化性质及微生物量碳氮特征研究 被引量:30
7
作者 刘泰瑞 +2 位作者 覃志杰 郭晋平 张芸香 《生态环境学报》 CSCD 北大核心 2019年第1期65-72,共8页
为应对天然林退化和天然林生态系统的经营问题,探究以林分密度为调节因子的森林土壤响应,在关帝山林区油松(Pinus tabulaeformis)天然林区开展探索研究,通过样地调查及土壤采样分析,对不同林分密度(725-1 375 plant·hm^(-2))森林... 为应对天然林退化和天然林生态系统的经营问题,探究以林分密度为调节因子的森林土壤响应,在关帝山林区油松(Pinus tabulaeformis)天然林区开展探索研究,通过样地调查及土壤采样分析,对不同林分密度(725-1 375 plant·hm^(-2))森林土壤理化性质及微生物碳氮特征规律进行分析研究,探明土壤属性对林分密度变化的响应机制,为森林质量精准提升及森林生态系统可持续经营提供理论依据。结果表明,(1)林分密度的变化间接影响土壤含水量(18.27%-34.27%)、容重(0.87-1.10 g·cm^(-3))、pH(6.86-7.13),总碳(15.26-29.44 g·kg^(-1))、全氮(0.92-2.14 g·kg^(-1))、全磷(0.20-0.30 g·kg^(-1))、微生物量碳(760.56-1 808.73mg·kg^(-1))、微生物量氮含量(134.84-257.59mg·kg^(-1)),除容重、pH值、全磷含量外,其他指标现随密度变化均呈先增后减的变化规律。(2)土壤属性指标垂直分布规律:土壤含水量、总碳、全氮、全磷、微生物量碳、微生物量氮含量随土层深度增加而下降,土壤容重和pH值却呈相反趋势;林分密度不改变总体格局,但随林分密度的变化,土壤垂直分异程度在中密度林分中(975-1 175 plant·hm^(-2))最小,更为均一稳定。(3)当油松天然林林分密度适中时,0-30cm深度的土壤水分、总碳、全氮、全磷、微生物量碳、微生物量氮含量保持在较高水平。综上,认为研究地区油松天然林适宜的保留密度为975-1 175 plant·hm^(-2)。 展开更多
关键词 油松天然林 林分密度 土壤理化性质 土壤微生物量碳氮
下载PDF
中国上市公司机构投资者对公司绩效影响的实证分析 被引量:26
8
作者 王雪荣 《中国管理科学》 CSSCI 北大核心 2009年第2期15-20,共6页
伴随着2007年资本市场股权分置改革接近尾声,我国公司治理机制方面,在其实质上与形式上都产生了较有影响力的变化:一股独大的现象得到了改善,同股同权真正落实在每一个股东手上;同时资本市场也有了显著变化,以基金为主的形形色色的机构... 伴随着2007年资本市场股权分置改革接近尾声,我国公司治理机制方面,在其实质上与形式上都产生了较有影响力的变化:一股独大的现象得到了改善,同股同权真正落实在每一个股东手上;同时资本市场也有了显著变化,以基金为主的形形色色的机构投资者粉墨登场,大量的闲散资金注入机构投资者。本文关注在后股权分置时代,机构投资者作为资本市场上实力与能力兼具的股东,能否对公司治理产生影响,从而改善公司绩效。通过建立机构投资者参与公司治理回归分析模型,来进行实证研究,为公司治理决策层和资本市场监管层提供科学依据。 展开更多
关键词 机构投资者 公司治理 回归模型 公司绩效
原文传递
软件工程学科的建立与软件工程本科教学 被引量:26
9
作者 齐治昌 宁洪 +2 位作者 谭庆平 王戟 《中国大学教学》 CSSCI 2006年第2期28-30,共3页
建立软件工程学科,系统的、规范的培养软件工程人才已受到国内外高等学校、科研院所和企业界的普遍重视。由ACM和IEEE/CS联合工作组组织制定的软件工程知识体SWEBOK、计算教程软件工程卷CCSE2004于2004年5月正式发布。论证工作吸纳了... 建立软件工程学科,系统的、规范的培养软件工程人才已受到国内外高等学校、科研院所和企业界的普遍重视。由ACM和IEEE/CS联合工作组组织制定的软件工程知识体SWEBOK、计算教程软件工程卷CCSE2004于2004年5月正式发布。论证工作吸纳了来自世界70多个国家和地区的著名大学、软件企业和研究院所参加,集中了软件l工程领域众多科学家、教授和企业家的智慧和期望。 展开更多
关键词 软件工程 工程学科 本科教学 联合工作组 高等学校 工程人才 科研院所 IEEE 著名大学 论证工作
下载PDF
纳米羟基磷灰石及其复合生物材料的特征及应用 被引量:19
10
作者 李瑞琦 张国平 +5 位作者 任立中 沙子义 高宏阳 赵峰 王伟 《中国组织工程研究与临床康复》 CAS CSCD 北大核心 2008年第19期3747-3750,共4页
检索Pubmed数据库和中国期刊全文数据库文献,对应用较为广泛的纳米羟基磷灰石及其复合生物材料研究进展加以总结。纳米羟基磷灰石复合生物材料是在纳米羟基磷灰石中加入第二相或多相材料,以获得有利的组织学反应、满意的强度和刚性,并... 检索Pubmed数据库和中国期刊全文数据库文献,对应用较为广泛的纳米羟基磷灰石及其复合生物材料研究进展加以总结。纳米羟基磷灰石复合生物材料是在纳米羟基磷灰石中加入第二相或多相材料,以获得有利的组织学反应、满意的强度和刚性,并为组织再生合成支架材料。纳米羟基磷灰石复合生物材料大致分为纳米羟基磷灰石/天然高分子复合材料和纳米羟基磷灰石/人工高分子复合材料2类。前者包括纳米羟基磷灰石与胶原、骨形态发生蛋白、多糖类材料复合而成的生物材料,并各具特点。后者是由纳米羟基磷灰石与聚酰胺、聚酯、聚乙烯醇等多种人工高分子生物材料复合而成。在保证复合材料良好生物相容性和活性的前提下,如何使复合生物材料的降解速率与骨生长速度相匹配是组织工程材料研究中有待解决的一个主要问题。 展开更多
关键词 生物材料 羟基磷灰石类 纳米技术 复合体 综述文献
下载PDF
基于组合机器学习算法的软件缺陷预测模型 被引量:24
11
作者 傅艺绮 +1 位作者 尹良泽 杜雨晴 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期633-641,共9页
软件缺陷预测是根据软件产品中提取的度量信息和已经发现的缺陷来尽早地预测软件可能还存在的缺陷,基于预测结果可合理分配测试和验证资源.基于机器学习的缺陷预测技术能够较全面地、自动地学习模型来发现软件中的缺陷,已经成为缺陷预... 软件缺陷预测是根据软件产品中提取的度量信息和已经发现的缺陷来尽早地预测软件可能还存在的缺陷,基于预测结果可合理分配测试和验证资源.基于机器学习的缺陷预测技术能够较全面地、自动地学习模型来发现软件中的缺陷,已经成为缺陷预测的主要方法.为了提高预测的效率和准确性,对机器学习算法的选择和研究是很关键的.对不同的机器学习缺陷预测方法进行对比分析,发现各算法在不同评价指标上有不同的优势,利用这些优势并结合机器学习中的stacking集成学习方法提出了将不同预测算法的预测结果作为软件度量并进行再次预测的基于组合机器学习算法的软件缺陷预测模型,最后用该模型对Eclipse数据集进行实验,表明了该模型的有效性. 展开更多
关键词 软件缺陷预测 机器学习 集成学习 组合 Eclipse预测数据集
下载PDF
高超声速飞行器瞬态热试验 被引量:24
12
作者 侯玉柱 郑京良 《航空动力学报》 EI CAS CSCD 北大核心 2010年第2期343-347,共5页
为了进行高超声速飞行器热防护系统的初步设计和数值计算的验证,设计开发了高超声速飞行器瞬态气动加热地面试验系统及其控制软件.试验系统能够根据飞行器的飞行轨迹和外形参数加载瞬态热流,实时测出结构表面的热流值和温度,得到飞行器... 为了进行高超声速飞行器热防护系统的初步设计和数值计算的验证,设计开发了高超声速飞行器瞬态气动加热地面试验系统及其控制软件.试验系统能够根据飞行器的飞行轨迹和外形参数加载瞬态热流,实时测出结构表面的热流值和温度,得到飞行器的表面试验热流曲线和温度曲线.试验系统采用真空舱模拟飞行环境,并为此设计了冷却床,在真空环境下能比较真实的模拟热防护系统的下表面热环境,使瞬态热试验的原理更加合理,精度进一步提高. 展开更多
关键词 高超声速飞行器 气动加热 瞬态试验 金属热防护系统
原文传递
孟鲁司特钠咀嚼片联合阿奇霉素治疗小儿重症肺炎的效果及对炎性因子的影响 被引量:24
13
作者 王梁聪 马金丽 +1 位作者 陈玲珍 《中国妇幼保健》 CAS 2020年第2期278-280,共3页
目的探讨孟鲁司特钠咀嚼片联合阿奇霉素治疗小儿重症肺炎的效果及对炎性因子水平的影响。方法选取2017年3月-2019年3月该院收治的80例小儿重症肺炎患儿为研究对象,随机分为观察组和对照组,每组各40例。对照组采用阿奇霉素治疗,观察组采... 目的探讨孟鲁司特钠咀嚼片联合阿奇霉素治疗小儿重症肺炎的效果及对炎性因子水平的影响。方法选取2017年3月-2019年3月该院收治的80例小儿重症肺炎患儿为研究对象,随机分为观察组和对照组,每组各40例。对照组采用阿奇霉素治疗,观察组采用孟鲁司特钠咀嚼片联合阿奇霉素治疗。比较两组患儿临床疗效,治疗前后血清CRP、IL-6、PCT等炎症因子水平及不良反应发生情况。结果治疗后观察组患儿总有效率显著高于对照组,差异有统计学意义(P<0.05)。治疗前,两组患儿血清CRP、IL-6、PCT水平比较,差异无统计学意义(P>0.05)。治疗后,两组患儿血清CRP、IL-6、PCT水平均低于治疗前,且观察组低于对照组,差异均有统计学意义(均P<0.05)。治疗后,观察组患儿不良反应总发生率与对照组比较,差异无统计学意义(P>0.05)。结论孟鲁司特钠咀嚼片联合阿奇霉素治疗可有效缓解重症肺炎患儿体温、咳嗽及咯痰等症状,并有效降低炎症因子CRP、IL-6及PCT水平,改善患儿肺部炎症情况,促进患儿恢复,且不良反应发生率低,适合临床推广使用。 展开更多
关键词 孟鲁司特钠咀嚼片 阿奇霉素 小儿重症肺炎 疗效 炎性因子
原文传递
反激式开关电源变压器的设计 被引量:22
14
作者 徐强 +1 位作者 田俊杰 张俊 《中国测试》 CAS 2009年第3期74-77,共4页
针对工作在连续电流(CCM)或断续电流模式(DCM)下的反激式变压器设计中存在的计算公式众多、参数设计困难等问题,提出了一种新的反激变压器设计方法。该方法统一了两种模式下的变压器计算公式,有效地解决了磁芯大小、原边电感值、气隙大... 针对工作在连续电流(CCM)或断续电流模式(DCM)下的反激式变压器设计中存在的计算公式众多、参数设计困难等问题,提出了一种新的反激变压器设计方法。该方法统一了两种模式下的变压器计算公式,有效地解决了磁芯大小、原边电感值、气隙大小、原边线圈的匝数、线径等的参数设计,提高了反激式变压器设计效率,降低了计算难度,有利于反激变压器的快速设计。 展开更多
关键词 开关电源 单端反激变压器 连续电流模式 断续电流模式
下载PDF
并发和实时系统的模型检验技术 被引量:9
15
作者 王戟 齐治昌 《计算机研究与发展》 EI CSCD 北大核心 2001年第6期698-705,共8页
模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机... 模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 . 展开更多
关键词 模型检验 形式化验证 并发系统 实时系统 自动机理论 软件工程
下载PDF
UML顺序图的自动验证 被引量:7
16
作者 王璐珍 陈火旺 《计算机工程与应用》 CSCD 北大核心 2003年第29期80-83,共4页
UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。... UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从OMG的XMI标准,从而使验证过程适用于不同的UML建模环境。 展开更多
关键词 UML 顺序图 模型检验 SPIN XML
下载PDF
UML状态机的模型检验方法 被引量:7
17
作者 王戟 +1 位作者 郑延平 齐治昌 《计算机工程与科学》 CSCD 2001年第6期7-11,共5页
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当... 模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证 UML状态机是否满足用计算树逻辑 ( CTL) 展开更多
关键词 UML 状态机 模型检验 计算树逻辑 软件质量 软件工程
下载PDF
基于FPGA的高速视频采集系统的设计 被引量:17
18
作者 何雯 苟辉 《国外电子测量技术》 2016年第5期83-87,共5页
实时视频处理技术的飞速发展对视频采集系统的速度和质量提出了越来越高的要求。介绍了一种基于可编程逻辑器件FPGA控制器的图像采集系统,详细描述了其视频采集和解码模块、视频信号处理模块、存储与输出模块、LCD显示模块的设计。阐述... 实时视频处理技术的飞速发展对视频采集系统的速度和质量提出了越来越高的要求。介绍了一种基于可编程逻辑器件FPGA控制器的图像采集系统,详细描述了其视频采集和解码模块、视频信号处理模块、存储与输出模块、LCD显示模块的设计。阐述了其工作原理,分析了其关键技术环节,并论述了其在FPGA硬件语言上的编程思路。实验结果表明,系统可对720×576像素的静态和动态的图像进行稳定地采集,并且能够以60帧/s的速度显示在LCD液晶屏上。 展开更多
关键词 FPGA 视频图像 高速
下载PDF
带旋髂深血管蒂髂骨瓣移植治疗距骨坏死 被引量:16
19
作者 刘进炼 任立中 +3 位作者 沙子义 于晓光 李亚丽 《中国修复重建外科杂志》 CAS CSCD 2004年第4期342-343,共2页
关键词 距骨坏死 髂骨瓣 游离移植 治疗
下载PDF
FRAX评估北京地区中老年人群骨折风险的回顾性研究 被引量:16
20
作者 常帅 张智海 +2 位作者 刘忠厚 李宝 《中国骨质疏松杂志》 CAS CSCD 北大核心 2016年第4期447-451,474,共6页
目的评价WHO发布的骨折风险评估工具FRAX对北京地区中老年人群的适用性,预测北京地区不同性别及年龄亚组中老年人群的骨折风险,讨论既往骨折病史对于FRAX的影响。方法对3021例北京地区中老年人群进行分组性研究。输入相关资料及FRAX工... 目的评价WHO发布的骨折风险评估工具FRAX对北京地区中老年人群的适用性,预测北京地区不同性别及年龄亚组中老年人群的骨折风险,讨论既往骨折病史对于FRAX的影响。方法对3021例北京地区中老年人群进行分组性研究。输入相关资料及FRAX工具中所包含的危险因素,计算未来10年内发生全身骨质疏松性骨折及髋部骨折的风险概率,比较既往骨折病史人群对FRAX预测结果影响。结果北京地区女性中老年人群未来10年内骨折风险远高于同年龄组男性;伴随年龄增大,未来10年内发生全身骨质疏松性骨折及髋部骨折的风险概率不分性别均同步增高。有既往骨折病史的老年人群10年内再发骨折风险远高于无骨折史人群。结论利用FRAX工具可以对北京地区中老年人群骨折风险做出有效评估,针对于不同性别、不同年龄亚组的人群,联合髋部BMD值后获取的FRAX预测在既往骨折或未骨折患者中均具有临床应用价值。FRAX评估工具在骨质疏松的诊断、治疗及预后评价等方面具有良好的临床应用价值。 展开更多
关键词 骨质疏松 FRAX 骨折风险
下载PDF
上一页 1 2 46 下一页 到第
使用帮助 返回顶部