SDL抽象数据类型的测试和实现

SDL是CCITT推荐的标准化语言,抽象数据类型是SDL的一个重要部分。 本文提出了一种新的测试方法,用基本项来测试抽象数据类型定义的完备性和矛盾性;这与传统的用逻辑证明的方法不同。文中首先形式化定义了基本项和次,然后提出一次基本项测试方法;在引入等价类概念之后,把测试推广到k次基本项。

SDL语言的测试数据选择标准

本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.

发挥电教优势 建立教法新体系

现代教学手段以它特殊的功能和优越性正在教学领域中得到越来越普遍的运用。这是教育发展史上的又一次革命,它迅猛地冲击着传统的教学方法,促进了教学方法的改革。教育发展史告诉我们,随着生产和科技的进步,各个时代都会出现一些反映这一时代社会生活和文化科技发展特征的具有代表性、倾向性的先进的教学方法和手段。人们总是根据时代的要求对传统的教法、手段进行改造构成新的适应时代需要的教学方法系统。但是改革,从来都是“扬弃”,而不是简单的“否定”或随意的“取代”。当前,在电化教学与传统教学并存以传统教学占优势的情况下。

政府行为影响下的分级诊疗实施现状分析

近年来,我国医疗卫生事业取得快速发展,但仍然存在不同程度的"看病难、看病贵"问题。实施分级诊疗能够缓解"看病难、看病贵",盘活三级医疗服务体系,使全社会医疗卫生行业良性发展。政府大力推行分级诊疗并取得一定成效,但仍然有基层医疗机构建设滞后、医患双方不配合的现象。建议多措交举,继续促进分级诊疗顺利扩展。

西部地区扩权强镇改革实践与思考——以达州市庙坝镇为例

在新型城镇化发展的新形势下,乡镇政府的发展权责不对称,"责任如西瓜,权力似芝麻""小马拉大车"现象突出。面对困局,川东地区经济发展需要冲破人、财、事三权的束缚,进行扩权强镇改革,以激发乡镇发展活力。达州市大竹县庙坝镇作为扩权强镇的国家级试点镇,不断尝试、大胆创新,探索出一些经验并取得了一定的成效,但仍然存在很多问题,对川东其他地区改革有一定的借鉴价值。

基于网格技术的决策支持系统研究综述

本文简要介绍了网格技术及其特点,根据当前决策支持系统的发展现状分析其存在的问题,并将前人对网格技术在决策支持系统中的应用构思与实践作出综述与总结。

钛板冷压成形开裂的影响因素及改进措施

针对钛板在冷压成形过程中压裂的问题,对钛板材料特性和改进前模具结构进行了试验、分析,认为压裂的根本原因是因材料塑性流动不足所致,并提出了改进模具结构和参数及冲压参数等解决问题的方法.

计算机管理信息系统项目监理的作用分析

论述了计算机管理信息系统项目监理的必要性，对监理的条件和作用进行了分析，并指出当前在我国推行监理制所面临的问题。

欠发达地区医疗卫生服务体系建设存在问题及对策研究

我国欠发达地区医疗卫生服务体系建设存在卫生资源人均总量不足、优质资源分布不均、分级诊疗政策执行不佳、基层医疗机构运行低效、三甲综合医院服务负荷重、医患矛盾突出等问题。通过分析原因,提出充分发挥统一的医改领导体系职能、明确各级医疗卫生服务机构功能定位、加强分级诊疗政策监管、加强基层医疗服务能力建设、优化专业公共卫生机构建设、全面推进远程集中诊疗模式、完善医疗集团运作机制、积极实施家庭医生签约服务、新闻媒体正确引导等对策建议。

基于病历档案的138例非计划再次手术原因分析及对策研究

目的根据非计划再次手术的发生情况和科室分布,探讨发生非计划再次手术的原因和处置对策。方法通过调取某医院2016年1月—2017年6月非计划再次手术病历档案进行回顾性统计分析,分析该时间段非计划再次手术主要原因。结果对36 142例手术病例的统计分析,非计划再次手术共发生138例,发生率为0.38%;发生非计划再次手术的主要原因有术后出血72例(占比52.20%)、切口愈合不良占比15.20%、切口感染占比10.90%。结论医院应将病历档案数据分析和日常督查相结合、强化"三基"培训与考核,并要求科室主任负好科室管理责任,共同促进手术质量提高,降低非计划再次手术发生率。

一个SDL集成环境IES

随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的原理和实现方法,并描述了SDL的应用前景。

纪念抗日战争和世界反法西斯战争胜利四十周年——黄石市举行学术报告会

为纪念抗日战争和世界反法西斯战争胜利四十周年,八月三十一日,黄石市隆重举行学术报告会。参加学术报告会的有各有关部门的负责同志、各社会科学学会的代表、部分党史和政治理论工作者及宣传理论干部等一百余人。我院宣传部、政治系、历史科等单位的十名教师、干部参加了会议。 上午,由武汉水利电力学院副教授陈乃宣同志传达全国纪念抗日战争和世界反法西斯战争胜利四十周年学术讨论会的精神。下午,大会发言。我院杨德纯、柯有华分别作了题为《略论中国共产党领导人民取得抗日战争的伟大胜利》和《略述日本帝国主义侵略中国的滔天罪行》的发言。

IT外援业务的兴起

主要外援服务业务及外援业务的实例,给出了对外援业务的几点建议及发展展望。

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.

超合金K60与不锈钢的焊接

超合金K6 0以其良好的高温强度、高温刚性、高温耐磨性能、抗高温氧化性能被推荐为平拉玻璃的关键设备 -转向辊的试用材料 ,但其碳含量高达 1%～ 2 % ,可焊性极差 ,对K6 0与

基于PDCA循环法的病案首页数据质量控制研究

目的应用PDCA循环法提高医院病案首页信息质量。方法抽取2017年4月~2017年9月病案首页进行质量控制,并采用PDCA循环法进行持续质量改进,制作excel表格进行统计分析。结果通过对首页填写进行质量控制,2017年4月~2017年9月,病案缺页率逐月降低,首页填写错填和漏填项减少,临床医生编码错误项减少,病案首页考核评分达到四川省三级医院的标准。结论 PDCA循环法有利于提高医院病案首页信息质量,今后还应进一步加强对临床医生病案首页填写培训,提高病案科工作人员的业务水平,完善病案首页质量控制制度。

我院住院费用结构变动分析及思考

目的分析2012年~2017年我院住院医疗费用结构变动的趋势与特征,为我院找到影响住院费用结构变动的主要费用构成项目,进而优化医疗费用结构提供数据支撑。方法采用结构变动度指标,分析我院2012年~2017年住院医疗费用构成变动的情况。结果 2012年~2017年,我院住院费用结构中药品费用所占比例均最高,但药占比逐年下降,连续呈负向变动;住院费用结构变动贡献率最大的是药品费用,其次是治疗费、材料费、化验费、护理费、检查费;材料费2015年~2017年呈正向变动,而体现医务人员技术劳务价值的护理费、诊察费与之相反,2015年~2017年呈负向变动。结论取消药品加成是推动控制药占比的重要因素,医药费用的改革需要进一步思考与探索;应提高医务人员技术劳动价值的服务价格,降低部分大型设备检查、治疗价格,以进一步优化医疗费用结构。

依托信息化手段,全面实施医疗机构、医师、护士电子化注册的意义

为进一步优化医疗机构、医师和护士注册流程,提高服务效率,推进执业信息档案建立和信息公开,在结合相关部门出台《关于加快医疗机构、医师、护士电子化注册管理改革的指导意见》的基础上,提出高效应用"互联网+"与大数据思维的方针,加快推进注册制度的改革,运用信息化手段,创新管理体制、优化运用机制、转变服务流程方式,对行政审批制度进行优化,并不断健全监管体系,将政府服务管理的创新工作重视起来,全面打造一个符合健康服务环境的信息化管理体制。

三甲医院对口支援县级医院的实践与思考

城乡对口支援是提高农村医疗卫生服务能力的重要途径,也是探索建立城市医院支援农村卫生事业发展长效机制的有力保障。本文通过介绍南充市某三甲医院通过学科建设、人才培养、技术指导、行政管理等形式开展对口支援工作成效,分析工作中存在的主要问题,并提出专业对口按需派遣、提升远程诊疗服务水平、进一步完善双向转诊机制等解决方案。