一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

种属式复合词论略

汉语的复合词除联合式、述宾式、主谓式、偏正式、述补式外,还有种属式.种属式可分为稳定型和非稳定型两类.这类复合词不全是加类名语素的结果,前语素成为原词的简称也是种属式的一个重要来源.非稳定型种属式与对应的前语素可形成等义词.这类等义词为多种情况下的必要语码选择提供了条件.类名语素有帮助理解词义.区分同形同音成分、使种属式复合词单义化的作用.     

基于并行计算及入侵检测系统的异动股票选择

将入侵检测技术引入到股票的选择中,给出了一种基于并行遗传算法的入侵检测技术。将数据随机分为若干个小组,对每一个小组中的数据进行检测,把每个小组中的最可疑的行为特征汇合后进行比对,最后选择出异动股票。对上海电力股票2008年4月24日至7月22日的数据利用MATLAB进行了模拟,与标准遗传算法比较,改进后的算法降低了误报率,缩短了运算时间。     

可拓方法在电力目标市场确定中的应用

电力目标市场的确定是制定电力营销策略的基础。首先运用可拓学中的物元理论建立了按分类电价分类的用电市场细分及其细分市场的物元模型，在模型中考虑了影响目标市场选择的相关因素如市场份额、市场增长率、电费回收率、电力消费弹性等，使这些因素不相容性能很好地在一个物元模型得到解决。然后介绍了可拓评价方法的基本原理和一般步骤。最后应用优度评价方法于某电力公司电力目标市场的确定，在应用中采用了层次分析法确定影响目标市场选择的相关因素的权重。采用该方法得到的电力目标市场符合某电力公司的发展目标，从而为某电力公司制订切实有效的营销策略提供了可靠的依据。     

基于特征选择和SVM参数同步优化的网络入侵检测

为了提高网络入侵检测正确率,利用特征选择和支持向量机(SVM)参数间的相互联系,提出一种特征选择和SVM参数联同步优化的网络入侵检测算法.该算法首先将网络入侵检测正确率作为问题优化的目标函数,网络特征和SVM参数作为约束条件建立数学模型,然后通过遗传算法对数学模型进行求解,找到最优特征子集和SVM参数,最后利用KDD 1999数据集对算法性能进行测试.结果表明,相对于其他入侵检测算法,同步优化算法能够较快选择最优特征与SVM参数,有效提高了网络入侵检测正确率,加快了网络入侵检测速度.     

基于SWOT的福州临空经济发展研究

福州是海峡西岸经济区的省会中心城市,发展临空经济,机遇良好,并具备一定的优势因素,但也面临相应的制约条件。福州应正确认识现状,充分利用和不断扩展空港资源,明确临空经济发展的总体思路,加强规划引导,完善基础配套,构建与其资源禀赋相符的产业体系,促进临空经济规模发展。     

阳离子表面活性剂胶束体系中反离子缔合度的测定

用离子选择电极法和电导法测定了阳离子表面活性剂胶束溶液中的反离子缔合度，结果表明，离子选择电极法测定的数据可靠。     

屋顶绿化的应用

随着城市建设的发展,屋顶绿化成为拓展空间绿化的重要形式,屋顶绿化对改善城市的环境有着生态的、经济的重要意义。现在屋顶绿化工程的主要问题已经不是承重、防水等技术问题,而是成本问题与植物的选择、配置。     

多交通方式实时信息影响下的通勤者出行行为

为确定实时信息对于出行行为的影响,探索了手机APP提供多交通方式实时出行者信息下的通勤者交通方式选择行为。采用意向调查方法,获取了上海市居民在提供包含两条自驾路线（以高架为主和以地面为主）和一条停车换乘地铁路线的实时交通信息情况下的交通方式选择行为数据。运用描述性分析和多元logit模型,得到了交通方式选择的主要影响因素。研究发现,通勤者的驾龄、家庭私家车数量、开车频率、获取交通信息频率、停车换乘设施使用经历等个体属性,行程时间和车厢拥挤程度等信息内容,会显著影响出行决策。此外,提出了对交通规划与管理和多交通方式出行者信息系统研发有指导意义的建议。     

三峡库区移民"安稳治富"的保险支持

三峡工程成败的关键在移民,移民的“安稳治富”已成为困扰我国党和政府的一大难题。为解决好这个世界难题,作为社会稳定器的保险业应充分发挥社会管理功能,积极开发移民保险,为政府分忧,为移民解愁,帮助移民早日实现安居乐业。移民保险的开发只要真正基于移民的保险需求,模式恰当,能实现政府、保险业和移民三赢。