软件产品认证制度的建立

中国电子技术标准化研究摘要针对软件产品建立认证制度,需结合软件产品的特点进行分析,确定产品的认证特性、产品需遵从的标准或技术规范,选择适用的认证模式、检测方式、证后监督方式,以及认证标志的设计要素等。对这些要素进行深入研究有助于建立适用的认证制度。     

不设GGH时的烟囱排烟筒设计

针对脱硫系统不设GGH时烟气对排烟筒的温度、压力、腐蚀作用,设计体积密度低、强度高、隔热性能好、耐腐蚀、抗渗能力强的耐酸砖砌体排烟筒,该排烟筒具有造价低、施工简单、维护方便的优点和良好的经济效益、社会效益.     

一类奇异常微分方程边值问题解的存在性

设f:[0,1]×R2→R满足Caratheodory,a(·)∈L1[0,1],a(·)≥0,∫t00a(t)dt-∫1t0a(t)dt≠1,t0∈(0,1),(1-t)e(t)∈L1(0,1).运用Leray-Schauder原理考虑了二阶奇异边值问题:x'(t)=f(t,x(t),x'(t)) e(t),0＜t＜1x'(0)=0,x(1)=∫t00a(t)x(t)dt-∫1t0a(t)x(t)dt在C1[0,1)上解的存在性.     

基于程序生成的自动化服务组合技术

自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用。该文提取了服务的“输入”、“输出”、“前置条件”、“执行效果”、“执行功能”，定义了服务的语义5元组。通过一个转换模版，把服务描述表述成一阶谓词逻辑公式，根据“证明与程序等价”的理论，利用自动化定理证明系统，完成从已有服务到目标服务的逻辑证明，从所记录的证明路径中提取目标服务的实现体，介绍了实现这一技术的原型系统。     

电子产品分销渠道热点探讨

电子产品的销售渠道控制力之争日趋激烈，谁控制了终端谁就拥有了制定渠道规则的话语权。针对中国网络经济环境的发展，电子产品的新时代特点、影响分销渠道的因素及未来分销渠道的发展选择合适的分销渠道策略，是现代企业营销的成功基础。     

含有一维p-Laplacian算子的非线性两点边值问题的可解性

考察了含有一维p-Laplacian算子的非线性两点边值问题：{（φp（u＇（t）））＇＋f（t,u（t）,u＇（t））=0,0≤t≤1 u＇（0）=A,u（1）=B的可解性。通过应用Schauder不动点定理，得到了这类方程的解的几个存在性定理。主要结果表明：如果非线性项在其定义域的某个有界子集上的“高度”是适当的，那么该问题必存在解或正解。     

二阶非散度型拟线性抛物型方程古典解的存在性

用非线性泛涵分析的基本知识和Banach空间上的隐函数定理证明了非散度型拟线性抛物型方程古典解的存在性。     

不设GGH时的烟囱排烟筒设计

针对脱硫系统不设GGH时烟气对排烟筒的温度、压力、腐蚀作用,设计体积密度低、强度高、隔热性能好、耐腐蚀、抗渗能力强的耐酸砖砌体排烟筒,该排烟筒具有造价低、施工简单、维护方便的优点和良好的经济效益、社会效益。     

改GE752系列发电机为油田钻井电动机

通过对中海油公司两台美国GE公司5GE-752T5A发电机成功改造为GE公司5GE752AR2A水平钻井电动机,一方面表明系列化电机之间可以相互改造;另一方面为油田钻井维修部门缺少GE752电动机备品提供了一种快速、经济的解决方案.     

电压稳定分析中支路型故障筛选及排序算法研究

提出了一种用于电压稳定性分析的支路型故障筛选和排序的快速算法，该方法分为4个阶段：①依据正常运行状态下的潮流解从所有预想事故中筛选出严重事故；②通过分析线路被置换后系统雅克比矩阵的最小奇异值，从所筛选出的事故中再次筛选出更严重的事故；③在指定的负荷水平下解潮流方程，从第二次筛选出的事故中再次筛选出最严重的事故；④对每个最严重的事故进行1次潮流计算，估计其最大负荷能力。通过New-England 39节点系统和IEEE 118节点系统算例表明，此算法计算量少，简单有效，易于实现。