结构方阵秩亏为1的可信性验证

利用区间算法研究秩亏为1结构方阵的可信性验证. 通过给定一个具有特殊代数结构的矩阵M, 算法可输出一个具有相同代数结构的区间方阵M(E), 其每个位置的元素均为矩阵M相应位置元素的很小区间摄动, 使得区间矩阵M(E)中包含一个具有相同代数结构且秩亏为1的矩阵M(ε^).     

松果菊苷标准样品的研制

建立了松果菊苷标准样品的研制方法。采用柱色谱和高速逆流色谱联用对松果菊苷进行分离制备,采用质谱、紫外、红外和核磁等方法对松果菊苷进行结构表征,并进行均匀性和稳定性检验。经国内8个有资质的实验室联合定值,松果菊苷标准样品的标准值为9915%,不确定度值为066%（置信度95%）,达到国家标准样品的技术要求,可用于松果菊苷检测和相关产品的分析测试和质量控制。     

北方话口语中的话语标记“讲话儿”及其来源

北方话口语里有一个话语标记“讲话儿”,其变体包括“讲话儿了”、“讲话儿的”、“讲话儿说”。“讲话儿”的基本功能是引述,其最重要的功能是标记说话人的一致态度。与不同的功能相适应,“讲话儿”在话语结构中的表现形式亦不相同,不同的表现形式正表明了“讲话儿”的语用化历程。     

计算机制图中一些特殊图形尺寸的标注

介绍了在使用计算机制图时,对称图形只画出一半或大半的尺寸标注方法,克服了人机制图在这方面的差异,使计算机制图规范化.     

FRONTPAGE自动阅卷系统及实现

传统的手工阅卷系统存在着各种各样的弊端.在实践的基础上,提出了一个新的FrontPage考试的自动阅卷方案,给出了软件的设计目的、设计思想以及用Delphi实现的方法,给出了一些关键算法的伪代码.系统共分3个部分:FrontPage文档分析、参数配置系统和阅卷系统.     

PKI中优化的带策略约束的路径构造算法

基于对PKI体系理论的研究和现有技术的分析,针对目前不同PKI体系互连时遇到的困难和认证路径构造、验证中存在的问题,结合桥结构在实际应用中的优势,提出了一种比较现实的跨桥构造不同信任域间认证路径的方法——优化的带有策略约束的路径构造系统。这种新的算法不仅兼顾了已有方法的各种优点,关键是涉及了策略考虑的因素,以达到路径处理的有效性,高效性和可扩展性。     

远程无纸化阅卷系统身份认证机制的构建方案

首先介绍基于PKI(即“公共密钥体系”)的身份认证机制 ,然后提出远程无纸化阅卷系统中基于PKI的身份认证机制的设计和开发过程 ,接着讨论这一方案在实际应用中的使用方法 .最后 ,对该方案安全性作简要分析 .     

奈特不确定下带高水印激励费的对冲基金最优投资问题研究

研究了风险资产价格具有Knight不确定下对冲基金管理者的最优投资决策问题。对冲基金管理者以获得的终端费用(包括管理费和业绩费)预期效用的最大化为目标,此时风险资产受 G-布朗运动干扰。然后通过非线性期望下随机分析和随机动态规划方法,推导出带有特定边界条件值函数的 G-HJB方程,得出相应的基金管理者最优投资组合策略。     

从矛盾范式到系统范式——精神自我运动发展本性的逻辑证明

精神会自我运动发展的观点虽然让人感到不可思议,但它不是虚无漂渺的荒唐结论,而是建立在唯物辩证法系列原则基础之上的。从唯物辩证法的矛盾范式、联系范式和系统范式看,都可以得出精神会自我运动发展的观点。     

操作系统在列控系统中的应用

操作系统选择和应用是列控系统开发过程面临的一个技术难点.对列控系统以及其包含的软件安全性进行了分析,从保证系统安全的角度对新开发和使用既有操作系统的基本要求进行了阐述.基于对操作系统的选择决策过程分析,对选用没有通过安全认证的既有操作系统,如何进行安全分析以及设计安全防范措施进行探讨,并论证了没有通过安全认证的既有操作系统在列控系统中应用的可行性.