产品策划在产品创新设计体系中的应用方法

在产品生命周期中，早期的产品策划一端联系着顾客的需求和心理偏好，另一端联系着新产品的概念定义和后续开发工作。因此，产品策划是否准确地把握了未来市场和顾客的需求，就直接关系着后续新产品设计和生产销售的成败，可以说产品策划是影响未来产品竞争力和企业竞争力最重要的环节。以消费类产品为例，介绍产品策划的业务流程、理论方法和应用技术，并阐明产品策划在产品创新设计体系中的地位和作用，提出了包括市场研究、机会识别、概念定义到概念转换的新产品策划整体解决思路。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于IMO组合配置问题的几种求解方法

该文归类分析了国际数学奥林匹克竞赛(IMO)中组合数学试题的表现形式,并结合题例给出了组合配置问题的几种技巧性求解方法。     

雌二醇衍生物的HQSAR研究

应用基于分子全息的QSAR方法, 对30种雌二醇衍生物与羔羊子宫雌激素受体作用的lgRBA值建立了相关模型, 研究了碎片区分参数及碎片长度对模型质量的影响. 最佳全息条件下产生的模型的相关系数r²为0.991, 交叉验证相关系数q_LOO² 为0.897. 结果表明所建模型具有良好的拟合效果, 同时具有较高的预测能力.     

定量分析化学实验中的教与学

表述了如何摆正定量分析化学实验中验证性经典实验与设计性实验的关系.利用验证性经典实验为培养学生手、眼、脑并用能力打下基础;利用设计性实验培养学生探究、质疑、分析、解决问题的能力与逆向、发散思维.     

预制RC构件可靠度分析与验证荷载法

提出将预制ＲＣ构件在施工中所受的荷载视为验证荷载，用验证荷载法计算其可靠度的新方法。该方法既能提高构件的可靠度，又可避免对构件进行专门的验证荷载试验，计算结果更符合实际，而且经济、简便。     

三参数的Sirling数和Lah数

从多项式函数引入三类新数，给出了三这类新数的递归关系，计数式，恒等式，生成函数和相关性等性质以及同古典的Ｓｔｉｒｌｉｎｇ数和Ｌａｈ数的紧密联系。     

一个组合计数问题

文献给出了下述计数问题：由ｎ个０和ｎ个１构成的字符串中，任意前ｋ个字符中０的个数不少于１的个数的字符串有多少？本文给出了求解的一种方法，并用所得结果解决了另一个计数问题．     

纤维素－刚果红培养基对土壤纤维分解菌的直接计数

介绍了一种新的鉴别培养基，含酸洗纤维素和染料刚果红．纤维分解菌能在其上产生一清晰可见的红色水解圈，明显区别于其它微生物类群．用该培养基可快速、准确检测样本中纤维分解菌的数目