智能组卷算法研究

文章在分析了试题库组织结构的基础上,提出了一种新型的智能组卷算法.算法通过对试题库中试题历史信息的充分利用以及对试卷难度和知识点分布的有效控制,有效地提高了组卷的效率和质量.     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

不定方程sum from i=1 to n (x_i)=multiply from i=1 to n(x_i) 的因数分析解法

引入了不定方程正整数解的有关性质的引理和定理,并在此基础之上给出了求解该不定方程的所有正整数解的因数分析解法.     

取料机导轮组长轴断裂原因分析及对策

针对取料机导轮组长轴断裂的原因，采取了相应的改进措施，避免了长轴的断裂，取得了良好的效果。     

基于可用度的飞机可修件需求分析

科学地预测飞机对航空器材的需求量一直是现代航空保障所瞩目的一个问题。提出了一种以飞机可用度为评价指标来确定可修件需求量的分析模型。分别给出了以飞机可用度为目标函数,经济指标为约束条件的模型Ⅰ和以经济指标为目标函数,飞机可用度为约束条件的模型Ⅱ,以及模型的优化求解方法。最后以某战机的可修件为例,通过实例分析说明了该模型在实际飞行保障中的有效性。     

基于Notes开发环境的OAS工作流的设计与实现

分析了OAS子系统体系结构和应用层的功能，介绍了基于Notes的OAS工作流实现技术．在此基础上，针对OAS系统的现存问题，采用功能强大的Lotus Notes群件系统，实现了OAS系统的核心模块．     

一类广义非线性变分不等式组解的存在唯一性

研究了Hilbert空间中的一类广义非线性变分不等式组，运用η-次微分算子的预解式技术和辅助原理技术，证明了广义非线性变分不等式组解的存在性和唯一性，推广和改善了已有结果。     

FMT系统中的滤波器组设计

研究了新型多载波传输技术——滤波多音频(FMT)的滤波器组调制技术，通过滤波器的多相分解得到FMT系统的高效实现方法；对滤波器组中原型滤波器提出了主要性能指标和设计方法，分析了在无线信道中利用该设计方法设计出的原型滤波器应用于FMT仃系统的性能．     

吉林珲春新近系土门子组孢粉组合及其意义

通过对吉林珲春土门子组孢粉样品分析。建立了Quercoidites-Ulmipollenites-Liquidambar-pollenites组合。根据孢粉植物群特征及其与周围地区对比，其地质时代归属新近纪中中新世为宜。孢粉组合中喜温成分占多数，亚热带成分如Caryapollenites、Liquidambarpollenites等也较为常见，反映了当时比较温暖湿润的暖温带-亚热带气候，在我国第三纪植物群区系中属于东部落叶阔叶林植物区。     

齐次双周期Riemann边值组问题

利用双周期解析函数的边值性质，把齐次双周期Riemann边值组问题转化为Fredholm积分方程组，并给出了其可解条件及解的形式．