安全协议的形式化需求及验证

该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning_Sacco公钥协议进行了验证,发现了对此协议的重放攻击,并对协议进行了修改。

武汉市居民健康信息来源与需求形式分析

目的:了解居民健康信息来源与需求形式,为武汉市宣教工作方案提供依据。方法:采用多阶段分层整群抽样方法,调查武汉市5495名居民。结果:不同年龄组、来源(城乡居民、外来务工人员)、健康素养水平人群对健康信息获取途径的利用、需求有差异。结论:根据宣教人群特点,制定适合有效的健康信息传播策略,避免信息资源浪费。

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。

构建查询需求形式分类体系

查询歧义作为查询分类的子问题在信息检索领域已经得到了很多的关注,现有的研究主要是对查询内容上的歧义进行分类,而忽略了用户查询需求形式上的歧义。该文针对查询需求歧义问题进行了研究,提出了相应的查询需求分类模型。该文利用网页目录构建用户需求形式分类体系及站点列表,在大规模商业搜索引擎日志上进行用户点击覆盖检测,从而得到对查询需求形式的描述。该文的贡献在于提供了一种实际可行的查询需求分类方法,搜索引擎可以根据用户需求的区别调整排序方式,从而改善搜索性能。

黄土高原民居宅院种植需求和形式分析

以黄土高原半湿润区为研究区域,结合地区民居发展现状,利用现场实测和ENVI-met3.1分析软件相结合的方法,对宅院空间植物的覆盖率、植物分布及植物类型选择的变化对宅院空间温度、相对湿度及PMV的影响进行了详细的探讨分析,确定了地区民居宅院植物的最佳种植模式(相对建筑的位置、植物种植的规模、植物类型的选择等),以最大化植物在宅院空间的生态效益。这对于促进乡村地区人居环境的可持续发展至关重要。

一种改进的安全协议形式化需求语言

对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。

一种面向形式化表格需求模型的测试用例生成方法

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。

网络环境下体育信息的需求形式和组织

通过文献资料法、观察法和逻辑分析法从微观上分析了体育信息资源的需求和组织,旨在探究体育信息在网络环境下对基础体育水平提高的现实意义。

半形式化需求说明语言的设计及应用

针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。

遵义市高中生家长家庭教育指导需求调查研究

家庭教育是教育的基础环节,对学生的健康成长具有重要的作用。文章采用问卷调查法对高中生家长的家庭教育指导形式需求和内容需求进行了调查,从而揭示了遵义市高中生家长在家庭教育指导活动开展时间、地点、频率、活动方式以及指导教师和指导内容等方面的需求,并在此基础上对提高遵义市高中生家长家庭教育指导工作体系的科学性、系统性、全面性等提出了具体建议,以期为遵义市及其他地区高中阶段家长家庭教育指导工作提供可参考的依据。

不确定需求下的冷链分销商最优决策

针对新鲜产品供应链(冷链)中分销商,引入保鲜努力刻画分销商投入的保鲜工作,考虑新鲜产品到达市场的数量与质量,分析冷链分销商的最优决策问题.与前人研究相比,本文使用加法形式需求函数刻画市场需求,并使用相关企业数据验证加法形式需求函数合理性,完善了冷链分销商决策问题的相关研究.研究发现,当保鲜努力外生时,分销商的最优订货数量和最优零售价格只与保鲜努力有关;当零售价格外生时,分销商的最优保鲜努力与产品实际单位成本关于保鲜努力函数的一阶最优条件有关;当订货数量外生时,分销商制定的零售价格随保鲜努力增加而增大,所获得的利润也随保鲜努力递增,但边际利润随保鲜努力递减.最后,将所得结论应用于中国500强民营企业卓尔控股有限公司旗下的小雪冷链(武汉)物流有限公司,为该公司提供相应的保鲜努力投入策略.

晋江市紫峰中学高一学生生涯需求调查分析报告

本调查采用黄顺等人编制的《高中生职业生涯需求调查报告》对紫峰中学2018级高一年所有学生进行问卷调查。通过收集调查后的有效问卷进行数据分析,初步探究高一年学生生涯辅导内容需求和形式需求,为学校开展生涯辅导工作提供可行的建议。

领军型企业服务需求挖掘方法的探究

领军型企业主要从事高新技术产品的研究、开发、生产和服务等业务,企业的创新发展和技术的持续升级对领军型企业的发展具有重要的意义。从企业服务的角度进行科学、有效的企业需求挖掘,是促进科技服务水平提升的重要方式。为此,文章需要结合企业发展的实际状况,针对企业发展中的需求或可能存在的问题进行研究,阐述企业需求挖掘的内容和挖掘的形式。

国内需求如何影响国际贸易格局

1.引言迄今为止,国际贸易理论中对国内需求与国际贸易格局之间关系的研究一直没有受到重视。亨特、梅尔文以及其他一些人注意到了这一点。林德对此做了开创性的工作,强调正是这种国家和地区之间的国内需求的不同是国际贸易格局的重要决定因素,并用获得的实证的例子加以证明。本文试图验明可能影响不同国家之间贸易格局的主要国内需求特征以及影响一国国内需求的潜在原因。所采取的研究方法是按特征的不同对需求进行分类,并用新近的案例研究分析得来的实证的证据加以说明。分类是建立在国际贸易理论从未涉及过的强调需求与贸易关系的几个模型的实质以及波特和其他一些人所描述的需求许多侧面总结的基础上。需指出的是,本文认为国内需求能创造国内厂商发展某些产业,并且建立一国比较优势。

新形势下高校图书馆读者需求特点和规律

研究新形势下读者对书刊资料需求特点和规律,并以此为基础,有计划、有目的地做好书刊资料的宣传、推荐、报导和提供,可以把读者工作做得深入细致、主动灵活,不断地满足教学、科研的需要。读者对书刊资料的需求,基本上存在三种形式:一、固定性需求。这种需求,是读者直接提出、限定的书刊资料,是读者自己通过各种检索途径查得的。二、选择性需求。读者开始只能提出所需文献资料的某些特征和一般性要求,然后在浏览过程中,经过选择和比较,加以利用。三、偶然性需求。这种需求是在特殊情况下产生的,有时读者只是在看到某一书刊资料时,才意识到需要阅读该书。有的是顺便阅读的。分析、研究上述需求形式的过程,发现新形势下高校图书馆读者需求的三个主要特点:

基于FR-NFR矩阵的软件产品线需求差异度量方法

软件产品线是一种面向特定领域的大规模、大粒度的软件复用技术,目前已被软件开发人员普遍接受。基于软件产品线的需求分析是产品线技术研究领域的一个关键问题。通过对软件产品线的需求进行类型分解,并在此基础上对需求形式化表示;通过分析需求的相似性,提出用FR-NFR矩阵模型来描述需求,并基于FR-NFR矩阵来度量需求差异。差异度量的最终目的在于确保复用质量的同时,提高现有核心资产的复用率和为产品线的演化提供支持。

风险规避下基于联合促销的供应链协调研究

文章针对随机需求受联合销售努力影响情形,分别在加和与乘积2种需求形式下,建立了由风险规避零售商与风险中性制造商组成的供应链协调模型,据此分析了风险规避对最优决策以及协调契约的影响。研究结果表明:2种需求形式下风险规避对销售努力的影响是不同的,在加和形式下零售商的最优订购量随着风险规避程度的增大而减少,零售商和制造商的最优促销努力却与风险规避无关;在乘积形式下零售商的最优订购量、最优促销努力以及制造商的最优促销努力均随着风险规避程度的增大而减少。此外,在加和形式下可以设计由回购契约与成本共担契约所组成的混合契约来实现供应链协调;在乘积形式下可以设计利润共享契约来实现供应链协调。

从最终控制人视角分析审计师选择问题

本文首先从资本供给者与资本需求者的视角分析了审计师选择的基本理论,然后从目前的股权结构存在最终控制人这一实际情况出发,指出当公司存在最终控制人时,最终控制人由审计实质需求者蜕变为审计形式需求者。在公司中最终控制人是理性的"经济人",其会从一系列的现实条件出发选择审计师,以使自身利益最大化。

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分,提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的。

轻型轨道交通的设计与研究

解决市区交通阻塞与拥挤,发展轻轨交通,减少有害气体的排放,改善城市环境。