带时态算子和H、L算子的Rough逻辑

将线性时态逻辑和带H、L算子的Rough逻辑结合起来，提出了带时态算子和H、L算子的Rough逻辑模型，从而使逻辑由一维变成了二维。     

确定单桩水平承载力的数解法

从数学的角度出发，利用非完整试桩水平静载试验实测数据直接求解单桩水平极限承载力，并通过工程实例计算与分析比较，精度较高，具有一定的实用价值．     

密码技术在网上报税系统中的应用

为有效提高现有税务申报系统中报税信息传输的安全性，根据网上报税的特点，在纳税信息的网络传输环节增加了以公钥算法为基础的处理措施，实现了保密性、身份验证、数据完整性及不可否认性等基本的安全服务，更好地保证了纳税人的合法利益。     

电动客车外形设计与外流场数值模拟

针对电动汽车的特点 ,提出了旨在减小客车车身阻力系数的外形设计方案 ;并运用 Fluent软件对客车车身外围流场进行了数值模拟 ,得到了客车的空气动力特征和流场细节 ,为获得最佳的空气动力性的客车设计提供了直观依据     

Banach格上正则算子

首先给出Banach格E上的代数对偶E^#，算子对偶E^*和序对偶F之间关系，证明了当E是Banach格时，E^*=E′；讨论了典型映射与序对偶之间的关系，证明了当丁是正则算子时，||JT||r=||T′||r；当E是序完备的Banach格，T∈L′(E)保不相交；P（T)是单射时，T∈Z(E)。     

可靠性数字分析在风电机组控制系统中的应用

叙述了工程系统可靠性数字分析方法，给出了系统的可靠度、故障率、可靠性敏感度的计算公式和计算方法，并结合实际风电机组控制系统进行了可靠性计算分析，给出提高风电机组控制系统可靠性设计原则．     

基于遗传算法的点群目标选取模型

结合 3种点群目标选取的一般原则和遗传算法的基本原理与特点 ,设计了基于遗传算法的点群目标选取模型 .考虑到要最大限度地保持点群的分布范围、排列规律、内部各地段的分布密度等因素 ,基于遗传算法的点群选取模型的基本原理是 :首先采用自适应分类方法 ,将点群 M依照密度分成若干类子点群 ,然后根据每个子点群的点数和最后要保留的总的点数 ,计算每个子点群中要保留的点数 ,最后结合凸壳化简方法和遗传算法对点进行选择 .在对关键性步骤进行讨论的基础上 ,本文针对某一地区的点群目标分别采用基于遗传算法的点目标选取方法与凸壳选取方法进行了选取对比实验 .从实验结果和遗传算法的特点分析可以看出 ,基于遗传算法的点目标选取方法的特点是非常明显的 ,其适用于分散式居民地记号房、可看作点状目标的小湖泊群等点状要素的选取 ;能够保持密度分布特征及其排列规律 ;外围轮廓特点没有大的改变     

水泥砼路面胀缝设置与板内温度应力的分布

水泥砼路面胀缝破坏是路面工程常见疾害之一,分析路面温度变化、应力、变形间的关系、合理设置胀缝,将提高砼路面使用年限,获得较好的行车条件。     

郑州市夜景照明设计初探

城市夜景照明是塑造城市夜间形象的重要手段。本文根据对郑州市夜景照明的现状及存在问题的研究，提出城市夜景照明的设计原则和程序。     

变频器输出滤波器的灵敏度分析与优化设计

现代变频器传动系统日益表现出各种负面效应，采用滤波技术是减小负面效应的主要对策．为综合满足滤波器的各种约束条件，并使滤波器整体性能达到最佳，研究了变频器输出滤波器的优化设计问题．首先建立了考虑成本因数、总谐波失真度、谐波电流和基波压降的综合目标函数．然后根据基波压降、电容支路电流工程允许范围，建立了滤波器元件参数的约束条件．为求得目标函数的最优解答，详细分析了目标函数对滤波器参数的灵敏度，并用伴随网络法得出了滤波器电压转移函数对滤波器参数灵敏度的解析表达式．这些灵敏度构成了目标函数的寻优方向．实例设计与仿真表明，利用优化方法设计的滤波器，能够综合考虑滤波器性能、成本和各种约束条件，从而实现整体指标最佳．