基于证据链的电子司法鉴定模型

针对现有的电子取证模型存在的问题进行了深入研究,在此基础上提出了一种基于三维可信电子证据获取的电子司法鉴定模型,对鉴定全过程进行线性流程管控和证据监督,实施时间约束、法律约束和电子数据可信固定.通过建立政法认证授权机构实现了取证与鉴定全过程中相关机构之间、机构和法庭之间的互信和互认问题,保证了证据监督链本身的安全和法律效力,最后通过实例分析验证了模型的正确性.     

利用Monte Carlo方法求解线性抛物型问题(英文)

提出一种一维线性抛物型偏微分方程的温度分布函数的数值解法,数值算法是基于在空间和时间上采用紧有限差分法(CFD)得到离散化的控制方程进而利用Monte Carlo(MC)随机模拟方法求解所得的方程.通过比较由CFD方法和有限差分法(FD)得到的数值解与精确解的误差的计算结果说明了所提方法的效率和精度.     

一类基于双通道网络的离散Markov跳跃系统的鲁棒H_∞控制

研究了一类离散时间Markov跳跃系统在单边双通道通信网络下的鲁棒H∞控制问题.网络仅存在于传感器至控制器端,同时Markov被控对象的状态和模态信息经由不同网络特性的信道传递给控制器.随机丢包和时延分别建模为二值分布的Bernoulli过程和有限状态的Markov过程.通过采用扩维技术和Lyapunov方法,构建了依赖系统模态和网络情况的状态反馈控制器以确保系统的鲁棒稳定性,并满足给定的H∞性能指标.最后通过仿真算例验证所提出结论的有效性.     

一种同时多线程指令队列竞争缓解策略

同时多线程结构利用线程级并行和指令级并行的优势,提高了指令吞吐率,但线程对关键资源（如指令队列）的竞争会削弱这种优势,造成资源浪费,又会降低处理器性能。提出了指令队列利用参数,通过分析指令队列利用率与处理器性能的关系,用实验评估了在四线程情况下,典型静态指令队列竞争缓解策略（如Dwarn、2OP_Block、Static）及其组合对处理器性能的影响。给出了load依赖链模型,分析了基于load依赖链的基准程序线程特性,提出了一种结合线程特性的指令队列竞争缓解策略。实验结果表明,该策略能够加速执行指令吞吐率较高的线程,通过提升此类线程的性能使整体指令吞吐率进一步增加。     

变化环境中Markov链状态分类的性质

引入了绕积马氏链的特征数和状态的定义,研究了特征数L(x,0;F),和G(x,0;F)的概率性质,以此为基础,讨论了强常返和强暂留态在可达和一致可达条件下的运动的传递性,以及弱常返态的特性,从而推广了经典马氏链的相关结果.     

基于活动模式的工作者出行生成预测模型

为改进传统出行生成预测以单个出行为分析单元、难以反映个体出行行为的不足,建立了基于活动模式的工作者出行生成预测模型.采用相关性分析和多项logit方法研究了1617个有效样本的居民个体属性、家庭属性、区位属性、出行属性、活动属性所引起的活动和出行生成模式的差异.通过建立包含显著变量的6种典型活动模式效用函数,获得个体选择概率.按概率集计法分析各交通小区各类活动模式总量,结合活动模式中包含的出行链平均长度,进行工作者出行生成量预测.基于活动模式的工作者出行生成预测模型有助于以出行链整体为单元考察多次出行之间的关联性,增强出行生成模型与行为模型的融合.     

弗氏链霉菌变种S-221产弹性蛋白酶发酵培养基的优化研究

通过对弗氏链霉菌（Streptomyces fiadiae）变种S-221产弹性蛋白酶发酵培养基的优化,以提高该菌株所产的弹性蛋白酶酶活。试验采用单因素与正交试验对发酵培养基的成分进行优化研究。优化后发酵培养基的成分为：果糖6％,干酪素1.5％,碳酸铵0.3％,K2HPO4·3H2O 0.05％。MnSO4·H2O 0.001％。在此条件下该菌所产弹性蛋白酶酶活达到96.63U／mL,优化后的发酵培养基与优化前相比所产弹性蛋白酶酶活提高了30％。     

Characterstics of seasonal variations of leaf n-alkanes and n-alkenes in modern higher plants in Qingjiang, Hubei Province, China

On the basis of GC and GC-MS analyses, the seasonal variation of leaf lipids is observed in five plant species in Qingjiang in Hubei Province. The CPI values （carbon preference index） of n-alkanes decrease gradually from May to November, though the carbon number distributions and the predominant carbon number in an individual species keep unchanged. The declined CPI values might be caused by the leaf fading, which is further supported by a comparison of the defoliated leaves with the fresh leaves. This observation infers the CPI values of n-alkanes in Quaternary sediments can be used as a tool to index the humification, and thus the climatic and the environmental conditions. The plants analyzed here show a remarkable difference in n-alkanes abundance, suggesting their differential contribution to the n-alkanes identified in sediments. The abundance and the compound species of the n-alkenes detected in the plant leaves change greatly with the seasons due to the influence of temperature, with the least compounds being identified in August.     

基于k-匹配的极值五角链

s(A)n表示由n个五边形组成的五角链的集合.对任意的An∈s(A)n,mk(An)表示An中k-匹配的数目.本文证明了对任意的五角链An∈s(A)n及任意的k≥0,mk(Z2n)≤mk(An)≤批(Z1n).且只有当An=Z2n时,左边等式成立;只有当An=Z1n时,右边等式成立.这里Z1和Z2n分别为第一类链和第二类链.     

电话语音的多说话人分割聚类研究

为了提高电话多人语音中提取的单人语音纯度,即多说话人分割聚类处理的性能,该文在传统的分步分割聚类算法机制上增加了重分割处理,提出逐级算法增强处理机制: 在分割部分,该文提出了一种基于Bayesian信息准则的分割算法,融合基于不同距离测度检测得出的分割点提高了分割点检测率;在聚类部分提出了基于BIC和交叉似然比准则(CLR)的分层聚类算法;在重分割部分引入和改进了进化隐Markov模型算法精化分割结果.该文在美国国家标准技术局(NIST) 1998年度多说话人识别数据库上进行实验,聚类后性能"类纯度"比传统算法提高了10%.