用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

隐喻与科学模型

对隐喻与科学模型之间的关系作了初步探讨,认为隐喻在建构科学模型中起着十分重要的作用,尤其是当模型用于表示尚未认识的对象时,但并不是所有的模型都是隐喻性的,即便是隐喻性的模型也不一定能对研究对象加以准确、恰当的表示.     

亨察德与法尔伏雷的性格对比分析

托马斯·哈代在“性格与环境”小说《卡斯特桥市长》中把主人翁和其他人物置于同一自然、社会和历史环境中,着重分析了人物性格在其命运中所起的举足轻重的作用。通过对亨察德和法尔伏雷性格的分析,得出在历史变革时期,亨察德悲惨命运和法尔伏雷胜利的必然性。     

编制农作物品种说明的科学根据和内容要求

本文针对目前品种说明应用中存在的主要问题，进行归纳梳理，重点对品种说明的形成以及根据相关法律法规的规定，对编写品种说明的有关项目和要求作了简要论述。     

食品安全的评价困境与出路

用风险评估代替绝对性评价运用科学方法对食品及食品添加剂中生物性、化学性和物理性危害进行风险评估和度量,用风险评估来代替绝对性评价,将具有重要的现实意义。食品安全问题古已有之,从一些食品监管的法律条文中可见一斑。汉朝《二年律令》规定,应当焚毁有毒有害的肉类,否则将追究涉案人员与主事官员的责任。唐朝的《唐律疏议》做出更详尽的规定":脯肉有毒,曾经病人,有余者速焚之,违者杖九十;若故与人食并出卖,     

天津市公民科学素质评价模型研究

为全面测评天津市公民的科学素质水平,避免在具体的测试内容上相互交叉造成的工作浪费,研究构建了天津市公民科学素质测评模型,对科学素质构成要素的每一维度内容进行了详细的概念分解,优化测评指标的具体内容,设计完成调查问卷。     

高校档案信息资源开发利用的现实困境与出路

本文在阐述高校档案信息资源开发利用的必要性及其存在困境的基础上,指出通过提高对档案信息资源开发利用的认识,加强档案信息资源建设,加强档案队伍建设和经费投入等途径,使得高校档案信息资源更好地为高校服务,走可持续发展的道路。     

科学课程实施的困境与破解

基础教育新课改中的"科学"课程实施已近十年,但由于对科学课程缺乏正确的认识,在升学考试中又失去足够的导向作用,加之课程资源匮乏,教师队伍质量不高、数量不够,导致目前科学课程实施的困境:无地位的"辅科"、教学资源严重缺乏、教学过程荒芜、教学评价缺失等.为此,应该从加强对科学课程的正确理解、变革升学考试制度、多渠道深入进行课程资源开发、从专业化角度加强对教师的培养入手,完善科学课程的系列学理建设,转变教师教育观念,改变教师的知识结构,提升教师的专业能力,树立教师的专业精神,使课程实施落到实处.     

高校生物医学科学数据监护生命周期模型研究

本文在研究了国内外在数据监护生命周期研究方面成果的基础上,针对高校生物医学科学数据的特点,构建其科学数据生命周期模型,结合数据监护理论对生物医学科学数据管理过程进行系统研究。     

控烟政策执行困境及出路——基于史密斯执行模型的分析

自2011年5月1日起,《公共场所卫生管理条例执行细则》生效,室内公共场所开始禁烟,但执行效果不容乐观。运用史密斯执行模型对控烟政策执行中困境进行分析认为,要实现政策的有效执行,必须制定国家层面上的法律,明确执行主体,转变公民的观念,优化政策执行环境。     

基于数字金融的农村新兴产业发展困境与出路研究

数字金融作为新一代金融服务形式,与各行各业的关联越来越密切。农村新兴产业的发展离不开物质基础,建立健全数字金融服务,面向农村新兴产业提供针对性和个性化的数字金融服务具有重要的现实意义。当前面向农村的数字金融服务体系仍较为薄弱,加之农村新兴产业自身规划不足,人才、技术等要素支持不足,限制了农村新兴产业的发展和数字金融的创新步伐。为此,应将数字金融与数字乡村建设相结合,夯实数字金融在农村发展的环境基础;明确数字金融扶助重点,在科学规划的基础上推进农村产业升级;完善政策引导与监督机制,保障数字金融服务农村新兴产业,促进其健康发展和规范运行。     

一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

科学与对科学的哲学思考

从马克思、恩格斯对科学的多视角全方位的反思,到现代思想家们对科学本质的系统考察,反映了人类思维发展的辩证历程.100多年来,科学技术获得了巨大的发展,迅速发展的现代科学技术在深刻地变革社会面貌和观念越来越成为第一生产力的同时,也深刻地改变了自身的形象和人们对它的看法.在这种情况下,很有必要对之进行整体的综合的研究.科学史、科学社会学和科学哲学的相互渗透和结合的趋势预示,局限于某一方面的研究,已不能赶上时代的需要.因此,我们必须进行新的全方位的研究.这种研究应当从哲学的高度把已有的成果熔于一体,描画出科学的全景观、整体观、系统观.     

冲击波载荷作用下结构响应的模型律分析

采用量纲理论对结构在冲击波载荷作用下的几何相似模型律进行分析,得到了结构满足几何相似模型律的条件. 应用LS-DYNA对一系列几何形状相似,尺寸不同的矩形板结构进行数值验证计算,证明了冲击波载荷作用下结构应力应变响应满足几何相似模型律的合理性和可靠性.     

城市设计的困境与出路

目前,城市设计在规划管理中的使用效果都不理想,文章试图从城市设计本身存在的缺陷入手,探索其在编制方法、法律地位及实施管理上的改进,以期找出其未来继续发展的出路。     

泰国的民主困境与出路

<正>泰国自去年底开始的动荡危机至今已持续半年有余,伤亡逾800人。今年5月7日,宪法法院判决总理英拉和其他九名阁员渎职、违宪,将其解职。副总理兼商务部长尼瓦探隆继任临时总理。5月8日,反贪污委员会认定英拉和临时政府官员在政府高价向农民收购大米而导致亏空数十亿美元的事件中渎职,提请上议院弹劾这些官员并禁止其参政五年。英拉下台导致泰国政争风暴愈演愈烈,陷入更大危机。素贴领导的反政府示威者     

职业教育的现实困境与出路

当前职业教育陷入了前所未有的困境,原因一是招生困难;二是办学条件相对不足。要保证职业教育的健康发展,除了社会必须给予更多的支持外,职业院校本身也要面向市场办学,体现地方特色,积极推进教学改革,加强师资队伍建设。     

医学院校科研的困境与出路

目前，普通高等医学院校在科学研究方面尚存在缺乏团队合作意识、科研平台有限、缺乏有效合理的科研绩效评价方法等许多亟待解决的问题。为促进普通高等医学院校科学研究的健康发展，应当深化认识，正确处理教学与科研的关系；加强学习，克服困难，积极开展科学研究；加强合作，成果分享，逐步形成研究团队；优化管理，完善科研平台建设；坚持“有的放矢”和“实事求是”两个基本原则。     

计算机的伦理学困境与出路

指出了由计算机技术及应用带来的诸如侵犯知识产权、病毒及黑客、系统缺陷、隐私泄漏、人工智能和心理压力等伦理学困境,从技术、法规和自组织序等三个方面给出了解决问题的办法．