用例法分析嵌入式系统软件需求研究

用例法是常用的软件需求建模方法,但由于嵌入式系统传统意义上的用例不多,再加上用例法不要求确定整个软件的数据域,导致用例法很少用于分析嵌入式系统的软件需求。本文借鉴结构化激励响应法第一步“分解系统需求”和第四步“确定软件数据域”的做法,把使用嵌入式系统或受其影响的模块或机器,以及这些模块或机器的不同模式等作为用例角色,并通过对用例输入和输出分组、定义激励和响应、形成整个软件的《词汇表》和《数据字典》等步骤,获取和分析嵌入式系统软件的用例,进行需求建模。最后以一个通信模块配套软件为例,演示上述过程。

《春秋谷梁传注疏》例法研究

范宁集解《谷梁传》时商定了三种例法:传例、注例、略例。"传例"是范宁归纳《谷梁传》传释《春秋》的原文,绝大多数保存在注文中;"注例"是范宁归纳《春秋》经文,以作为注解《谷梁传》的指导,处于经文之后;"略例"是范宁根据《春秋》同类纪事经文而总结的例法,被杨士勋散入义疏中。因此,《四库全书总目》认为"传例"被杨士勋"散入注疏中"有二不妥:一是仅指出"传例"一种,而忽视"注例、略例";二是"散入疏中"者不是"传例"而是"略例"。另外,杨士勋在义疏范宁集解时也提出了一系列解释例法的名词和术语。可见,范宁、杨士勋对《春秋谷梁传注疏》的例法总结和研究作了开创性贡献。

制定法与判例法的比较及确立刑事判例补充制度的可行性

目前学术界对我国是否可确立刑事判例制度争论甚大 ,甚至两种观点截然对立。文章通过对制定法与判例法的优劣比较研究 ,尤其是基于目前两大法系新近出现的趋于融合的纵深分析 ,加之我国刑事司法实际工作的需要 ,笔者认为目前在我国确立刑事判例补充制度 ,不仅必要而且完全可行。

用用例法分析系统功能需求——以中国海洋大学宿舍管理系统为例

系统功能需求分析是信息资源管理的首个环节,是整个信息资源管理系统的关键,也是整个系统运行的前提和基础。用例分析法是针对现代软件需求分析的一种有效方法,它能准确获取用户的系统功能需求。本文以中国海洋大学宿舍管理系统为例,从需求调查,需求分析建模两方面详细介绍了用例法分析系统功能需求的应用过程。

名废实存:元代格例法体系与中华法系之真实关系

元代的“条格”和“格例”都是元代法律的总称。但“条格”有广义和狭义之分,故在研究元代法律体系时,选取“格例”一词。元代的“格例法体系”是以“条格”和“断例”为主体,并包括其他法律形式的密切联系的整体。在中华法系从“律令法体系”到“律例法体系”的转变中,元代“格例法体系”的过渡作用表现在三个方面:一是从律典和令典的分立过渡到律例合编;二是“断例”这种法律形式进入法典;三是断例的形态为其续编提供了可能。元代法律属于中华法系发展中的一个重要部分,发挥了承前启后的作用。

离散数学中的举反例法

介绍在解离散数学问题中一种较为新颖的解题方法一举反例法。

“反例法”在中学数学解题中的应用

在数学解题中应用"反例法"可以有效提高解题效率,拓宽解题思路.教师在课堂教学和问题训练中应让学生充分体会反例,进一步训练学生的辩证思维.

浅谈案例法在高职涉外会计专业教学中的重要性

当今社会中,培养一批具有较强动手能力和创新精神的会计专业人才是非常重要且必要的,在众多学习方法中,案例法是效果较为让人满意的教学方法,值得在高职涉外会计专业教学中推广使用。案例法最初起源于美国哈佛商学院,在有关学生自主分析能力和自主解决问题水平方面取得较好的教育结果。本文是在高职涉外会计专业前提下进行的,分析该教学方法在高职涉外会计专业教学中的重要意义。

三例法，为文厚重而大气

“三例法”(有人称之为“三叠法”)作为一种作文创新技法，起源于古琴曲“阳关三叠”。歌词为王维诗《送元二使安西》：“渭城朝雨浥轻尘，客舍轻轻柳色新：劝君更尽一杯酒，两出阳关无故人。”“三例”是指选取三个媳型材料(事例、言语均可)：“三叠”是指三个层面，或三个角度。基本上是“一个曲调变化反复三次”。使用此法，使得文章内容充实，中心突出，文蕴丰厚，脉络分明，层次井然。文章因厚重而大气，因大气而“抢眼”。

反例法在概率论教学中的作用

反例法在数学教学过程中有着非常重要的作用,它不仅能够澄清数学概念和定理,而且还能帮助学生学习数学基础知识。本文对反例法进行了简单的介绍,并且分析了反例法在概率论教学中的作用,希望有助于数学教师将反例合理应用到概率论教学中,从而不断提升其教学水平,增强学生对相关知识的理解。

《辩十四声例法》及“五音”试解

《广韵》所附《辩十四声例法》,是隋以前以梵文韵学分析汉语声韵的珍贵遗存,而素称难解,本文试图对它予以校勘解释。先校误字,后与梵文字母作了系统比较。指出此"例法"是由于针对汉语声韵特点而将"十四音"说中国化了,包含7类元音与7类辅音,在《十四音》遗说注解中虽近于解复派,但与吴敬恒所理解的"解复"派分法不同。其中还糅合了《五音声论》的理念。由而再解释"五音宫商角徵羽"除对声母外,又可对韵母,考论《切韵》"东江支鱼"的顺序实际袭自李登《声类》、吕静《韵集》的"以五声命字",声类即指五声宫商角徵羽之分类。并引证战国至隋对姓氏的五音分类,以及唐代及以后姓氏五音分类的变化(包括敦煌《切韵》刻本的五姓注记、藏文的《人姓归属五音经》及《事林广记》),作出了解释。

反例及反证法在线性代数中的作用

在线性代数教学中 ,恰当的列举反例能帮助学生正确地理解和掌握数学概念及定理内容 ;恰当的运用反证法能减小命题证明的难度 ,并有较直观的说服力。

实时软件测试用例构造方法研究

航空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题．本文在分析实时软件特征的基础上，针对程序正确性测试，从任务组合和等价类划分两个主要环节探讨了测试用例构造的克要策略，并举出一具体实例。

浅析在线性代数中的反例和反证法

线性代数是理工科最为基础的一项基本学科，学习的进程中，反例法和反证法在一定程度上可以加深学生对某些知识的理解，从而降低学生对其掌握的难度，是一种比较具有说服力的方法。

校长领导行为评估中的事实例举法

校长领导行为评估是教育评估中的一个重要方面。校长领导行为如何,直接关系到学校的办学效能。对校长领导行为的有效评估作为一种信息反馈机制将有助于教育行政机构客观了解、具体帮助和正确使用学校领导人,进而起到对教育活动的指挥、定向作用。通常的评估方法是使用等级评估表,由教师或评估者对校长的各种领导行为(具体反映在评估表上的指标)按等级评分。

论宋以例破法原因

判例在宋代有极大发展,宋统治者为防止以例破法采取了诸多措施,但终因体制的弊端、价值取向的偏差、社会关系的急剧变动和技术的缺失等原因,形成以例破法局面,其经验教训极大地影响了明清的判例实践。

三法一例下劳务派遣制度的问题及对策

随着我国2007年劳动领域三法一例的出台,劳务派遣制度首次被法制化,它是我国劳动法制的一大进步。但是,经过三年的实践,我国围绕劳务派遣发生的纠纷依然比较频繁,被派遣劳动者的合法权益时常受到损害。本文通过分析三法一例规定下的劳务派遣制度存在的问题,为进一步完善我国的劳务派遣制度提出对策。

城市平面图变比例尺方法初探

变比例尺方法在编制城市旅游交通图中有逐渐发展的趋势。本文对现有的变比例尺方法提出了改进措施,并以不同城市街道结构的北京,成都两城市设计了变比例尺方案并在微机上实现了变比例尺平面图的自动绘制。

“一法一例”在民办中小学教师队伍建设方面的不足与建议

《中华人民共和国民办教育促进法》和《中华人民共和国民办教育促进法实施条例》(简称"一法一例")的颁布在很大程度上促进了我国民办教育的规范和发展,但是一系列问题也接踵而至。主要有:立法一概化、立法简单化、立法欠针对性等等。针对这些不足与问题,应采取一些政策性措施,主要包括:构建完善的民办中小学教师结构机制;构建完善的民办中小学教师稳定保障机制;建立完善的民办中小学教师社会保险和工资福利待遇机制;建立完善的民办中小学教师培训进修机制;建立合理完善的教师流动机制以及完善立法机制等。