边坡求解的强度折减法研究

边坡安全系数求解是边坡稳定性问题分析中的主要方面.在计算机普及的今天,利用数值模拟,求解边坡的强度折减法应用广泛.在FLAC3D中主要应用内置的二分法求解,在此基础上引入改进的自编强度折减法,提高程序的运行效率,并且证明是可行的,最后对FLAC3D略为评述并提出一些建议.     

基于良序集方法的程序终止性证明

在介绍程序正确性的定义和良序集的概念基础上,对良序集证明程序终止性思路和步骤进行了分析,利用实例来证明程序的终止性。     

Mathcad程序设计在飞艇性能参数估算中的应用

Mathcad是一款交互式数学应用软件,它能帮助用户方便快捷地完成各种数值计算和数学分析,已广泛应用于各个科技领域的计算分析中.本文介绍了Mathcad的应用特点、使用特点及程序设计等,通过高空飞艇应急放氦回收的实例来说明如何利用Mathcad的程序设计进行飞艇相关性能参数估算和运动仿真,结果证明利用Mathcad的程序设计进行飞艇参数的估算行之有效.     

浅析专利无效案件审查中的证明与调查

作为我国专利法中唯一的授权后程序,专利无效宣告程序一直由于其作为专利侵权诉讼的主要抗辩手段而具有较高的社会关注度。由于专利无效程序是整个专利行政审批中唯一的双方当事人程序,其审查方式、审查范围等相关程序问题也成为研究的热点。此外,在实践中,专利无效程序也是整个专利行政程序中唯一对非出版物形式的公开进行认定和审查的程序,这就使得无效程序成为研究现有技术的证明与查明的唯一切入点,因此,无效案件中的举证责任和证明标准一直备受关注。     

一种程序推导与验证方法研究

随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。     

广义归纳法对程序性质的证明能力探究

探讨广义归纳法对程序性质的证明能力,特别是良基关系的构造和恰当的选择对减少证明义务的作用,并通过实例加以证明。     

罗尔定理中辅助函数的构造法

辅助函数的构造是应用罗尔定理证明方程问题的关键.通过微分与积分的互逆关系,将积分思想用于构造辅助函数,探究含中值的等式证明问题,并通过例题介绍凑微分法、还原法和分组法的适用情况.     

预应力混凝土箱梁短线台节段预制法几何控制

简要阐述预应力混凝土箱梁预制节段短线台施工工艺原理.分析了预制节段划分的原理以及预制现场施工过程中产生的误差.短线台施工工艺的关键在于匹配梁的定位.从测量系统的建立,空间定位程序的运用来解释短线法的匹配调整基本原理.本文主要侧重于解释短线台节段预制法现场控制程序的设计原理.     

专利授权确权行政案件中的新证据

在专利授权确权行政案件中,专利权人可以提交其在行政程序中未提交的证据用于证明专利复审委员会作出的行政决定违法,但不能用于证明该行政决定合法。专利无效请求人提交其在行政程序中未提交的证据的,不予采纳,但用于证明专利复审委员会程序违法的证据除外。法院对于在行政程序中未提交的证据,应当根据上述规则进行判斷是否予以采纳,不予采纳的无需进行认定,予以采纳的应当作出认定;不应在末对证据进行认定的情形下,仅以当事人提交了在行政程序中未提交的新证据为由,判令专利复审委员会根据新证据重新作出决定。对于当事人超出举证期限提交的证据应当参照新《民事诉讼法》的规定进行处理。     

语音拨号系统用户界面设计方法

介绍了用户界面设计的方案、设计原则.详细阐述了语音拨号系统用户界面设计的思路和方法,后完成了该界面的设计并加以运.用.实验证明该界面美观大方、实用方便,能够增加程序的表现力和感染力,且与整个语音识别系统有很好的衔接.     

通过RBAC和TE模型融合实现Clark-Wilson模型

提出通过融合RBAC和TE模型来实现Clark-Wilson模型的一种方法,即:通过不同用户赋予不同角色实现责任分立;利用特殊的域表示变换过程;使用不同的类型标识约束数据项和非约束数据项. 分析了实施和认证规则的正确性. 通过在SEBSD系统中实施了FTP的完整性安全策略的实例,说明该方法能够实现细粒度的访问控制和灵活配置.     

Designing grant-review panels for better funding decisions: Lessons from an empirically calibrated simulation model

ObjectivesTo explore how factors relating to grades and grading affect the correctness of choices that grant-review panels make among submitted proposals. To identify interventions in panel design that may be expected to increase the correctness of choices.MethodExperimentation with an empirically-calibrated computer simulation model of panel review. Model parameters are set in accordance with procedures at a national science funding agency. Correctness of choices among research proposals is operationalized as agreement with the choices of an elite panel.ConclusionsThe simulation model generates several hypotheses to guide further research. Increasing the number of grades used by panel members increases the correctness of simulated choices among submitted proposals. Collective decision procedures giving panels a greater capacity for discriminating among proposals also increase correctness. Surprisingly, differences in grading standards among panel members do not appreciably decrease correctness.     

替换密码算法在C++中的实现

本文通过编写加解密程序检验单表、多表、多字母和置换的加解密程序的正确性.     

图书馆情报工作职业认证初探--兼谈图书馆学情报学教育改革

近年来 ,我国图书馆学和情报学本科教育面临着生存危机 ,不少院校图书馆学专业招生萎缩 ,情报学专业也更名为信息管理与信息系统专业。在这种背景下 ,有研究者提出 ,图书馆学、情报学教育应当退出本科层次 ,向高层次发展 ,以培养博硕士研究生为主。但也有人担心 :没有了本科专业 ,图书馆学情报学的独立学科地位没有了支撑 ,也就失去了安身立命之地[1 ] ,并担心研究生也将失去生源。笔者赞同将图书馆学情报学教育退出本科教育层次 ,使图书馆学情报学教育在硕士和博士研究生层次上得到更好的发展。笔者在 2 0 0 2年 7月“2 1世纪情报学教育发…     

质量认证对我国中小企业技术创新的影响研究

在市场竞争日益激烈的情况下，通过提高企业的技术创新能力避免遭遇技术性贸易壁垒，是中小企业提高国际竞争力的重要手段之一。在对质量认证的作用进行概括分析之后，论述了质量认证对中小企业技术创新积极的和消极的影响，然后在宏观和微观两个层面上提出了通过质量认证提高我国中小企业技术创新能力的对策建议。     

民用飞机货舱系留系统静强度设计

介绍了民用飞机货舱系留系统静强度设计的适航标准要求和设计载荷。以某型飞机货舱系留系统静强度设计为例,介绍了货舱系留系统的静强度分析和试验验证方法。试验得到界面载荷值和理论分析得到界面载荷值对比分析表明对货舱系留系统的分析方法保守,其设计满足静强度要求和适航条款要求。     

图像识别在考生身份认证系统中的应用

针对传统考生身份认证方法的缺陷,提出一种基于人脸识别的考生身份认证系统。首先利用图像采集系统采集考生人脸图像,然后对人脸图像进行特征提取和特征选择,并将人脸特征输入到人脸特征库进行匹配,最后采用支持向量机算法对人脸进行分类识别。实验结果表明,该系统提高了考生身份识别的正确率,减少了识别时间,能够很好满足实际考试的要求。     

逆向选择、信号发送与我国绿色食品认证机制的效果分析

通过对信息不对称条件下食品市场逆向选择、绿色认证信号发送机制的理论分析,得出以下结论:绿色食品认证政策的有效性关键在于消费者信念的一致性与信号能真实反应出生产者间禀赋及生产方式的差异,由于我国消费者对绿色食品认知较低、生产者的背德行为以及认证过程的不规范,造成了绿色食品认证信号并未真实反应出产品质量信息且未被消费者充分一致判断,进而影响了该政策的实施效果。     

我国消防产品认证体制问题与对策研究

随着经济全球化趋势增强,我国加入WTO和实施市场经济体制,我国政府职能由管理型政府向服务型改府进一步转变,我国消防产品认证体制也面临挑战.本文充分调研和分析了我国现行消防产品认证体制存在的问题,研究了问题产生的原因;对比分析国内外消防产品认证体制模式,并研究它们与消防产品及认证市场、改府消防管理职能之间关系;提出了适合我国国情的消防产品认证体制时策模型和实施策略.本研究可以为我国消防产品认证体制改革提供决策依据.     

强制性认证对茶叶质量保证作用的研究——以六堡茶为例

目的：探讨各种强制性认证对茶叶质量的保证作用。方法：通过国际通行标准对食品卫生、安全的定义,以及我国茶叶相关法规及标准对茶叶质量的要求等方面分析：产品标准的规定是不全面的,而认证则是对其不足的必不可少的补充;阐述茶叶类食品行业的食品生产许可、地理标志、出口备案等强制性官方认证的要求、差别,以及其对茶叶质量的保证作用。结果：判断认证有效性及其对茶叶质量的保证作用,要具体企业具体分析,企业内部因素起决定性作用。结论：对茶叶类食品而言,食品生产许可、地理标志、出口备案等强制性官方认证的要求及保证作用依次提高。