The Complete Solution of the Competitive Rank Selection Problem

Two decision-makers A and B observe sequentially a given permutation of n uniquely rankable options. A and B have one choice each (without recall) and both must make a choice. At each step only the relative ranks are known, and A has the priority of choice. At the end the (absolute) ranks are compared and the winner is the one who has chosen the better rank. Extending results by Enns and Ferenstein [6] and Berry et al. [1] this article gives, for both A and B , the optimal strategy and the corresponding winning probabilities. We show in particular that the limiting winning probabilities for A and B do exist, which closes a most important gap in the work of previous authors. This also provides an algorithm for numerically computing the limiting value of these probabilities. Although our proof is analytic in a strong sense, it is interesting to see that it would have been very hard to assemble it without the help of computer algebra. The reason is that the functions we have to investigate display subranges of indices which contrast considerably with respect to error terms when certain terms are replaced by approximations, and that computations were very helpful to locate those ranges where a particularly fine tuning of error estimates turned out to be indispensable. Received October 1997; revised March 15, 1998.     

利用UML捕获CCMS的功能需求

合同资金管理系统(CCMS)是客户关系管理系统(CRMS)的子系统，在企业中有着广泛的应用。图形化建模语言UML是一种较好的面向对象分析工具，文中利用UML2．0为工具，在需求分析阶段依次采用捕获参与者、捕获用例、建立用例模型这些步骤，获取了合同资金管理系统的功能需求，从而简化了系统建模，提高了开发效率。对此得出结论：功能需求仅为系统需求的一部分，要捕获系统需求还必须要运用其他工具来捕获非功能需求。     

基于多EBP网的案例匹配技术研究

为快速有效地实现案例推理，提出了基于多EBP神经网的案例匹配技术，设计了改进的德尔菲法来确定输出样本集．与传统的最邻近法的结果相比，对于复杂系统，该技术能够提高案例匹配的精确性，更适于解决案例属性权重难以确定或存在着耦合与非线性关系的问题．     

Validation of Idiosyncratic Cognitive Schema in Cognitive Case Formulations: An Intraindividual Idiographic Approach.

This article describes a method for the intraindividual clinical validation of a cognitive case formulation (CCF) involving hypotheses about the patient's idiosyncratic cognitive schema (ICS). The two-stage approach begins by testing the convergent and discriminant validity of the hypothesized ICS against the individual's daily ratings of cognition items using confirmatory dynamic factor analysis. The second stage evaluates the extent to which the ICS factor scores predict daily variability in symptoms and distress and further addresses convergent and discriminant validity by evaluating intraindividual cognitive content specificity and the incremental validity of the idiographic cognition factors compared with nomothetic measures of thoughts/beliefs. This approach to validating idiographic assessment is illustrated with the CCF of a woman with comorbid mood and anxiety disorders. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

"定性结构力学"的内容体系及其在工程中的应用

在教学实践的基础上,结合工程实践,介绍了定性结构力学的内容体系,包括概念设计、计算模型的建立和简化、估算判断和计算结果的定性分析.并通过工程案例说明定性结构力学的重要意义.     

李白、崔颢《黄鹤楼》诗案考辨

分析了李白、崔颢《黄鹤楼》诗案本末,认为肯定诗案的观点缺乏有力的依据,质疑诗案的观点值得重视。提出否定诗案的5个视点及澄清诗案的4点意义。     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性,以及在系统、产品以及数据方面的独立性,在对几种基本的软件测试框架进行研究的基础上上,结合在实际的项目中的软件自动化测试的实践,提出一种基于数据驱动的自动化测试框架(TAF)。分析了软件测试以及软件测试自动化的现状,阐述了软件测试自动化框架的策略目标、关键的成功因素,以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

一个基于模式的快速查询构建系统

介绍了如何设计和实现一个基于模式的J2EE快速查询生成系统。系统主要有两种角色的使用人员,设计人员与用户。系统让设计人员定义面向用户的数据库信息,包括表、表的字段及其显示风格;系统允许用户从已设计好的界面模式中选择自己喜欢的界面风格,在用户定制完自己的查询内容后,系统采用广度优先搜索来判断查询的合理性,并用最短路径算法优化查询。系统极大地简化了基于Web的查询系统的开发和维护。     

基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.     

成功企业经理人员成就取向的个案研究

研究选择了一家中国名的成功企业开展典型个案研究。通过结构化访谈、行为事件访谈等方法，较为全面、深入地考察了企业各层次经理人员的成就取向及特点。在对访谈材料综合分析的基础上，提出了经理人员成就取向的自我—社会取向和过程—结果取向的二维度结构，并由此组合成成就取向的四种成分：工作行为表现、工作目标超越、自我利益获取和团体利益贡献。总结提炼了每种成分在更一般意义上的关键特征。研究还发现了经理人员的成就取向与企业的组织化有密切的关系。