形式化方法在藏文软件开发中的应用研究

形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.     

软件开发中的形式化方法介绍

软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法.使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷.众多的形式化方法在功能上可以实现互补.目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等.     

基于Z语言的形式化需求分析

介绍了形式化方法和形式化规格说明语言Z语言，利用Z语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能．利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理．     

基于实时语言的多视点形式化实时开发模式

实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.     

基于演化算法的软件形式化开发部件选取方法

形式化方法在软件开发过程中一直扮演着重要角色。由于其建立在严格的数学基础之上,因此开发成本较高。为了解决开发成本问题,将软件开发整体分为形式化开发集合类和非形式化开发集合类。在此基础上,开发部件采用二进制串描述并构建目标函数模型,通过演化算法对模型进行优化求解,判定不同的部件开发集合类归属。选用 (1+1)EA作为研究对象验证开发部件选取方法的可行性。采用遗传算法、粒子群算法、二进制差分演化算法进行验证分析。结果表明,该分类方法可作为演化算法在软件开发部件选取方面的一种理论工具。     

传统BLP模型的Z规范

安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据.     

基于形式化方法的混成系统验证

对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。     

面向对象软件形式开发方法

用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误, 而这些错误会随着开发过程一直存在并最终会对系统造成很严重的影响. 所以能在系统的开发阶段就检测并消除这些错误是很重要的, 结合形式化方法会是一个很好的解决渠道.形式化技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品.     

事务管理软件通用性的实现

开发了一整套通用的计算机管理信息系统软件。包括菜单生成软件系统、录入维护软件系统、万能查询软件系统、汇总统计软件系统、制表打印软件系统以及其它通用的系统服务软件系统。使用这套设计方法和软件系统,软件开发者将无需进行软件结构设计、编写程序和软件调试,而只是根据用户的业务需求进行数据库设计,填写数据字典。这套设计方法和软件系统适用于几乎各种计算机管理信息系统。对数据字典的设计方法和使用、通用的录入维护软件系统、通用的万能查询软件系统进行了讨论。     

论法学话语的形式化

法学话语具有明显的形式化特点,由于法学话语涉及现实世界,它与一般形式化系统有所不同,三段论在法学话语中的运用具有特殊性。形式化对于法律功能的发挥具有重要意义。     

浅议德沃金的资源平等理论的缺陷与启示

德沃金根据抽象的平等权理论对自由主义的分配正义理论作了新的阐发,提出了资源平等论,这一理论构想包括拍卖模式和虚拟保险市场两个部分,分别解决初始分配和再次分配的平等问题。试就德沃金的资源平等理论缺陷进行分析,并就其对我国和谐社会法治建设的理论和现实指导意义提出一点思考。     

苯和溴取代反应实验的改进

中学课本中介绍苯的取代反应性质时是以苯和溴反应为例进行实验的．若按课本上的装置和操作，将苯和溴混和好后，再加入催化剂——铁粉，烧瓶内液体急剧沸腾，大量的溴蒸气和溴化氢气体充满烧瓶上面的空间，并通过长导管进入锥形瓶，进一步弥漫到空气中，产生呛人的白雾和窒息的恶臭，造成严重的污染，锥形瓶中的蒸馏水也会因溶有溴呈棕黄色，这时再用AgNO3溶液来检验蒸馏水中的溴离子缺乏说服力．另外，实验结束后，把烧瓶内生成物倒入水中，生成的溴苯因溶有溴而呈褐色，尽管在教学中强调是因为溶有溴而发生了颜色变化。     

以列维纳斯爱的伦理观解读《奥赛罗》中的人物形象

《奥赛罗》以嫉妒、盲目、报复为主题展现人类在命运面前的无能与无助。列维纳斯的伦理观把爱作为伦理的基础,强调他者的不可知性和他异性是自我对他者回应和负责的根本原因。只有忘我的以他者为中心、对他者敞开心扉才能让爱的伦理关系存在并延续。借助列维纳斯的爱的伦理观阐释《奥赛罗》三位主要人物对爱的不同处理方式,可以揭示出导致人物之间伦理关系破灭和导致的爱消失的原因,再现莎士比亚这位文学巨匠的超前历史眼光与社会责任感。     

提高"中国近现代史纲要"课程教学实效的探索

在高校开设"中国近现代史纲要"课程,体现了党和国家对于高校思想政治理论教育的重视。但是,"纲要"课程开设之后的教学现状却并未令人满意。针对教学中存在的问题,我们就增强"纲要"课的理论性和学术性,活跃课堂气氛,进行开放式教学,加强师资队伍的建设,发挥教师的主导作用和挖掘历史资源,加强学生的社会实践等方面进行了以提高教学实效为目的的探索。     

提高“中国近现代史纲要”课程教学实效的探索

在高校开设“中国近现代史纲要”课程,体现了党和国家对于高校思想政治理论教育的重视。但是,“纲要”课程开设之后的教学现状却并未令人满意。针对教学中存在的问题,我们就增强“纲要”课的理论性和学术性,活跃课堂气氛,进行开放式教学,加强师资队伍的建设,发挥教师的主导作用和挖掘历史资源,加强学生的社会实践等方面进行了以提高教学实效为目的的探索。     

大学校园“边缘区现象”引发的思考

随着时代的发展,大学校园和城市之间逐渐产生了一个特殊的区域,即所谓的大学校园“边缘区”。以系统分析法对由边缘区地段的特殊性引发的“边缘区现象”的成因,特点及发展方向进行深入的思考．     

人-自观念演进的否定之否定

在人与自然界的关系的演进过程中,形成了与不同文明时期相适应的人-自观念。从"天人合一"到"人定胜天"再到"和谐共生",这是人-自观念演进的肯定、否定、否定之否定的辩证发展过程,也是一个合乎规律的过程,它们都是时代的产物,都包含着不同程度的合理的因素,我们必须对它们进行具体的辩证的分析。     

完善航空公司安全管理职能的若干构想

传统的航空公司安全管理模式存在一定缺陷,不利于构建安全质量管理体系。通过完善组织机构、理顺关系,统筹兼顾地抓好风险管理,强化激励机制,完善安全保证手段,可以充分发挥安全管理部门的各项职能,有力地推进航空公司安全管理体系的建设。     

2001年全国高考数学选择题的多种解法

选择题是标准化试题的主要题型,在高考数学试卷中,所占分数比例高.考生能否迅速、准确、简捷地解好选择题,成为高考成败的关键.如何提高解题速度,确保做题质量,这就要求考生有合适的解题方法和技巧.下面就2001年高考选择题的多种解法进行分析.     

加州大学的治理变革及启示

从控制走向协调,以治理代替管理,既是世界高等教育改革的趋势,也是美国公立大学一直努力的方向,而加州大学则是将这种努力践行得较为彻底的一个成功典范.这种努力具体表现为加州大学一方面通过与政府签订协约、引入市场机制、寻求校外群体的支持等形式来弱化政府的管制色彩,另一方面又充分发挥董事会、学术委员会等治理机构的协调作用,为大学自治提供一系列的缓冲与保护.