Signatures: A language extension for improving type abstraction and subtype polymorphism in C++

C++ uses inheritance as a substitute for subtype polymorphism. We give examples where this makes the type system too inflexible. We then describe a conservative language extension that allows a programmer to define an abstract type hierarchy independent of any implementation hierarchies, to retroactively abstract over an implementation, and to decouple subtyping from inheritance. This extension gives the user more of the flexibility of dynamic typing while retaining the efficiency and security of static typing. With default implementations and views flexible mechanisms are provided for implementing an abstract type by different concrete class types. We first show how the language extension can be implemented in a preprocessor to a C++ compiler, and then detail and analyse the efficiency of an implementation we directly incorporated in the GNU C++ compiler.     

Conceptual level and accuracy of person perception.

Conceptual systems theory asserts that abstract conceptual functioning must include a well-developed capacity to "act as if" and ability to assume the role of the other. This proposition was tested in two samples of adolescents with a person perception task that required subjects to give a target person's actual responses to Cattell's 16PF Test immediately after exposure to the target. Two videotaped targets were used. Conceptual level was found to influence accuracy as predicted in three of four analyses, and sex of subject as predicted in two of four, with the effects of intelligence controlled. Accuracy in the postdiction task, and four components of accuracy, were relatively stable across targets. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

商品包装的色彩美学

论述了商品包装的色彩在年龄,性格,职业,情境等方面的运用,强调了“色彩就是财富”的思想。     

科技期刊论文撰写中存在问题分析

按照科技论文必要组成部分的顺序，说明了各部分的要求、常见问题及注意事项．     

电力系统继电保护及故障信息子站系统的方案设计

电力系统继电保护及故障信息子站系统,既可以作为构成继电保护及故障信息管理系统的(配置在变电站端的)子系统,同时也可以作为一个独立的“通信网关”供其它层次化的电力自动化系统使用。该系统根据IEC 61850标准中的“信息模型”和“抽象通讯服务接口”的概念设计,采用OMG的分布式系统标准和技术实现,使得PRFIS子站系统完全可以满足以分布式系统体系构建的继电保护及故障信息系统要求。     

基于IC内置泄放电路的皮肤美容器具插头残余电压防触电的研究与分析

市场上的皮肤美容器具很多都使用电源适配器,越来越多的产品装有内置于IC芯片的泄放电路.本文介绍内置IC芯片内泄放电路,通过对比试验研究供电电压在不同电压值断开对插头残余电压防触电结果的影响,提出建议完善标准试验方法,追加在欠压情况断开供电电源考核残余电压防触电.     

电力系统动态消息编码技术

为方便通信双方在未协商通信内容情况下动态、高效地交换模型和数据,提出了电力系统动态消息编码技术。该编码技术采用二进制自描述方式描述大型电力系统模型和数据,共有四种编码方式:M0用于兼容抽象语法标记(ASN.1);M1在ASN.1的基础上加入名字选项,用于少量数据的结构化描述;M2扩展编码头部,编码效率高;M3扩展编码头部,描述类信息。实际使用中,首次通信时使用M3发送类型和结构信息,其后通信使用M2发送数据;当类型和结构发生变化时,再次发送类型和结构信息,有效地解决了数据量和维护的矛盾问题。     

采用CPAChecker的动态程序验证

针对模型检测中状态空间爆炸问题,在CPAChecker的抽象谓词检测方法的基础上,提出了一种基于动态执行的检测方法. 首先,根据程序的控制流程图,对程序进行静态检测。 在静态检测的过程中,根据分支语句的确定性,利用动态执行的方法来加快检测的过程。 其中,抽象检测可以有效地限制系统模型的规模,动态执行不仅可以有效地减少静态检测导致的误判,而且有助于引导构建精确的系统模型,降低虚假反例的数量和不必要的反例分析和精化。 实验数据显示,这种算法明显提高了传统的反例引导谓词抽象精化算法的检测效率和准确率。     

面向斑铜工艺品的布局问题求解算法

在分析斑铜工艺品的文化内涵与特征的基础上,针对布局创新的需要提出了亚组件的概念,在此基础上,在遗传算法中引入了形象和抽象度,提出了一种新的面向斑铜工艺品的布局问题求解算法,理论和实例结果分析表明,该算法能快速有效地生成多个斑铜工艺品的布局方案。