基于分区的航电系统调度分析工具实现

针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效。     

Partition coefficient of diglycerides in crystallization of palm oil

Crystallization of palm oil with and without solvent was carried out over a temperature range of 10–25°C. The yields of olein, the diglyceride contents, and compositions of the stearin and olein phases were determined by thin-layer and gas-liquid chromatography. The three major diglycerides, analyzed as C₃₂, C₃₄, and C₃₆, are mainly dipalmitoyl glycerol, palmitoyloleoyl glycerol, and dioleoyl glycerol. In crystallization without solvent, C₃₂ (PP) had a strong affinity for the stearin fraction and C₃₆ diglycerides concentrated in the olein phase. The partition coefficient of diglycerides between the olein and stearin phases was temperature-dependent and was influenced by the type of solvent used. Although solvent enhances the diglyceride partition into the olein phase, partitioning is more effective at low temperatures and with acetone as the solvent for fractionation.     

基于博弈论的百万富翁协议

在经典的百万富翁协议中,一方在得到最后的财富比较结果后,没有动机将结果告诉另一方,或者告诉另一方一个错误的结果。结合博弈论和密码算法,提出一种百万富翁协议。在此协议中,参与者背离协议的收益小于遵守协议的收益,遵守协议是参与者的最优策略,任何百万富翁的欺骗行为都能被鉴别和发现,因此理性的参与者有动机发送正确的数据。最后每个参与者都能公平地得到最后的财富比较结果。     

基于矩阵初等变换的量子可逆逻辑电路双向综合算法

基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆逻辑电路。与其它同类算法相比,由于不需要穷尽搜索,该算法的时空复杂度有大幅降低;又由于采用任意n量子扩展通用Toffoli门,该算法可综合任一置换(奇或偶置换)的量子可逆逻辑电路,并且电路中门的数量有所减少。     

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．     

一种数字光盘数据保密方法

提出了一种支持数据保密的光盘文件系统以及适用于数字光盘的数据保密方法。改进了ISO 9660 Level 2标准的光盘文件系统, 划分为明文区、保密区和参数区三部分, 分别存储明文、密文和参数数据。光盘制作模块将明文数据、密文数据及参数数据制作成光盘文件系统的镜像文件, 同时将光盘阅读模块注入到明文区。光盘阅读模块专门存取保密区数据。该方法能实现明文、密文数据及其解密工具并存于同一光盘, 无需安装额外的软件, 该文件系统兼容目前所有的光盘设备。     

A Normalization Method of Moment Invariants for 3D Objects on Different Manifolds

3D objects can be stored in computer of different describing ways, such as point set, polyline, polygonal surface and Euclidean distance map. Moment invariants of different orders may have the different magnitude. A method for normalizing moments of 3D objects is proposed, which can set the values of moments of different orders roughly in the same range and be applied to different 3D data formats universally. Then accurate computation of moments for several objects is presented and experiments show that this kind of normalization is very useful for moment invariants in 3D objects analysis and recognition.     

基于三维点云模型的特征线提取算法

针对以往算法存在无法区分尖锐和非尖锐特征点、提取的特征点与视角有关、特征点未连线等问题, 提出一种基于高斯映射和曲率值分析的三维点云模型尖锐特征线提取算法。该算法先进行点云数据点的离散高斯映射, 并将映射点集聚类; 然后使用自适应迭代过程得到两个或多个面的相交线上曲率值和法向量发生突变的尖锐特征点, 这些点与视角无关; 最后, 用改进的特征折线生长算法, 将特征点连接, 得到光顺特征线。实验证明, 该算法具有良好的自适应性、抗噪性和准确性, 是一种有效的三维模型特征线提取算法。     

Sorption of ethene and ethane on the V2O5(001)/TiO2(001) anatase interface

Simulation techniques have been employed to investigate the differences in the low energy adsorption configurations of ethene and ethane on the TiO₂ supported and unsupported V₂O₅(001) surface. We find that the ethene molecule approaches much closer to thesupported V₂O₅(001) surface which is reflected in the 40 kj mol^–1 higher adsorption energy. The low energy adsorption configuration located for ethane on the supported V₂O₅ shows that the molecule does not approach as close to the supported V₂O₅ surface as does ethene, resulting in the adsorption energy of ethane being 52 kJ mol^–1 lower than that of ethene on the supported V₂O₅ surface.     

高矣物的特性对双水相相图和头孢氨苄及7-ADCA分配行为的影响

A series of ethylene oxide(EO)-propylene oxide (PO) random co-polymers (EOPO) were used to form aqueous two-phase systems (ATPS) with ammonium sulfate.Effects of EOPO′s properties on the phase separation behaviors and on the partition of cephalexin and 7-aminodesacetoxicephalosporanic acid(7-ADCA) in ATPS were investigated.Both the molar mass and molar ratio of EO to PO of EOPO could greatly influence partition behaviors of cephalexin and 7-ADCA as well as the binodal curve of ATPS. With the increase of molar mass of co-polymer or the decrease of molar ratio of EO to PO,the critical point of ATPS decreased,the binodal curve became more asymmetry,and both cephalexin and 7-ADCA followed the same tendency to partition into the polymer-poor bottom phase.The experimental results shows that it is feasible to partition cephalexin and 7-ADCA in either the polymer-rich top phase or the polymer-poor bottom phase by choosing a specific phase-forming EOPO.