分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

暗能量与暗物质的统一

大量可信的证据表明暗物质造成了许多漩涡星系的平坦的自转曲线;在爱因斯坦引力场方程中加入暗能量的能量动量张量后,通过假设星系中的暗能量是非均匀、球对称分布的,同样得到星系NGC3198的平坦的自转曲线,因而可认为暗物质和暗能量是同一种物质的两种表现,初步统一了暗能量和暗物质.     

太阳电池串联电阻与I-V曲线斜率的关系

太阳电池的串联电阻对其I-V曲线有显著的影响.串联电阻越大,I-V曲线在开路电压处偏离串联电阻为零的I-V曲线越大.偏离度可由开路电压处的斜率表示.开路电压处的I-V曲线斜率与串联电阻的相关关系可由I-V特性方程分析得到.     

基于“微笑曲线”理论的富岗公司发展模式研究

富岗公司是河北省乃至全国范围内林果业产业化经营的标兵。富岗公司的成功,得益于遵循“微笑曲线”理论,集中资源于高附加价值的研发和营销环节,掌握了生产优质苹果的核心技术,并建立起强大的品牌和营销网络,从而确立了企业的核心竞争力。同时,制定了一系列标准化生产管理制度,用产业化经营的思路建立起连锁生产基地,在质量可控的前提下实施生产外包,为企业快速扩张打下了坚实基础。富岗公司代表了我国林果业产业化发展的未来方向和战略选择。     

带形状参数的五次 Bezier 曲线的扩展

给出了带2个形状参数α,γ五次多项式基函数和带3个形状参数α,β,γ的六次多项式基函数,都是五次Bernstein基函数的扩展。依据这两组基函数,并分别定义了两种带形状参数的多项式曲线。所得到的曲线具有五次Bezier曲线类似的几何性质,并且灵活性比较强。     

电位差计校准微安表的综合性实验设计

电表经过改装或长期使用后,必须进行校准。电位差计常用于精确测量电动势、电压、电流、电阻等电学量,在实验室可用来校准电表。文章对实验室经常、频繁使用的电表进行校准,要求选取实验器材、设计实验电路、进行实验测量,将得到的数据进行分析,得出被校表的准确度等级。     

构造从字符串到Huff曲线的散列函数

首次构造了从有限域Fq到Huff曲线的确定函数,其时间复杂性为O(log3q).在此基础上构造了从字符串到Huff曲线的散列函数.该散列函数的构造为基于身份协议的构造奠定了基础.其在中国椭圆曲线密码算法标准SM2推荐的素域上的运行时间为557.8μs.     

足尺钢管混凝土柱梁节点抗剪性能试验

对10个不同节点构造的足尺钢管混凝土柱-梁节点在不同轴压比下的抗剪性能进行了试验研究.在此基础上,对不同的节点域抗剪承载力计算公式进行了比较分析,并进一步讨论了节点域受剪性能的数值模拟(OpenSEES)方法.研究表明,所有的节点均表现出良好的抗剪性能;中国规范建议的节点域抗剪承载力公式有待改进;OpenSEES数值模型合理地模拟了节点域的剪力-剪切变形性能.     

AMLCD运动伪像仿真及优化

为了高效准确预估液晶显示器的动态成像质量,提出了一种通用的多参数AMLCD彩色自然图像运动伪像仿真算法.该算法以显示系统时序分析和液晶响应经验公式为基础,利用视频内容数据,对每帧内人眼追踪路径上各个子像素的亮度进行积分,在不同仿真条件下均能准确地模拟主观感受.利用该算法对高速液晶材料、倍频和背光调制3种目前改善AMLCD运动模糊的主流技术进行了对比.结果表明,三者中背光调制技术改善效果最显著,但也容易产生伪轮廓重影效应,必须严格保证背光的同步性并慎重选择调制的占空比.某手机制造商根据上述结论预估了不同条件下多种液晶屏的性能,最终产品性能与预估完全吻合,验证了算法的正确性与实用性.     

鞋楦定制CAD系统中NURBS特征曲线的弧长约束变形

为实现无鞋楦数据库的数字化量足制鞋,提出了基于足楦NURBS特征曲线变形的个性化鞋楦定制CAD系统,通过足楦特征曲线在弧长等特征信息约束下变形成新楦特征曲线进行设计定制。建立足楦舒适度匹配规则,根据变形方式、次序及约束情况不同,将特征曲线分为4种类型。给出4种曲线的约束变形技术路线,其中带弧长约束的II型曲线可采用正向、逆向和双向3种变形路线。双向约束变形中,采用改进的顶点替换算法和变参数4点细分算法,引入弧长损失因子和关节链模型,在母版鞋楦基础上对曲线依次进行采样离散、级放、分段、简化、优化变形、插值细分和NURBS拟合,生成定制的鞋楦特征曲线。以跖趾围轮廓线为例进行了双向约束变形试验,弧长改变量为1.0mm。该系统可在480s内给出男款鞋楦个性化量足定制结果。结果表明:该CAD系统精度较高,可实现无鞋楦数据库条件下的量足制鞋,且定制鞋楦的二次设计利用率显著提高。