Evaluating Electronic Voting Systems Equipped with Voter-Verified Paper Records

Despite their widespread deployment, questions about electronic voting systems' performance emerge following many elections. To encourage full public confidence in the electoral process, some researchers recommend equipping electronic voting machines with voter-verifiable audit trails that print out paper records that voters can read and verify. In this article, the authors report on their analysis and testing of one US state's criteria for direct-recording electronic (DRE) voting machines equipped with voter-verified paper-record (VVPR) systems. The criteria and analysis cover various categories, including privacy, security, verification, integrity, functionality, and examination. The authors describe their testing methodologies, discuss issues exhibited by different voting systems, and propose solutions to address those issues.     

A confidence-based framework for business to consumer (B2C) mobile commerce adoption

The Technology Acceptance Model (TAM) has been considered to be fundamental in determining the acceptance of new technology in the past decades. The two beliefs, ease of use and usefulness, in the model may not, however, fully explain the consumers’ behavior in an emerging environment, such as mobile commerce (m-commerce). This paper aims to develop a framework for m-commerce adoption in consumer decision-making processes. In this paper TAM has been adopted and extended to analyze successful m-commerce adoption. The key elements of the proposed confidence-based framework for B2C m-commerce adoption include psychological and behavioral factors. Psychological factors include history-based confidence, institution-based confidence and personality-based confidence. Behavioral factors include perceived ease of use and perceived usefulness of the mobile application and technology.     

图形电磁计算方法的改进

图形电磁计算方法是计算复杂目标高频区雷达散射截面(RCS)的有效方法之一.而复杂目标的电磁散射主要来源于面元以及棱边.针对传统图形电磁计算方法的特点及其不足之处,提出并实施了相应的改进措施,包括:对面元散射场的离散化计算公式进行了修正,对棱边散射场的计算引用新的等效电磁流边缘分量表达式.计算实例表明,改进后的方法与实验测量值吻合良好,具有更高的计算精度和准确性.该方法对隐身与反隐身技术及仿真技术的研究,具有一定的参考价值.     

200MW乏气送粉机组主蒸汽温度控制优化方案

本文在常规火电厂主蒸汽温度自动控制方案的基础上,对200MW乏气送粉机组的特性进行了分析,结合锅炉主要参数与主蒸汽温度自动控制的相互关系,以及相关的工艺要求,提出了一种新的优化方案。     

Myofilament proteins: From cardiac disorders to proteomic changes

Myofilament proteins of the cardiac sarcomere house the molecular machinery responsible for generating tension and pressure. Release of intracellular Ca(2+) triggers myofilament tension generation and shortening, but the response to Ca(2+) is modulated by changes in key regulatory proteins. We review how these proteomic changes are essential to adaptive physiological regulation of cardiac output and become maladaptive in cardiac disorders. We also review the essentials of proteomic techniques used to study myofilament protein changes, including degradation, isoform expression, phosphorylation and oxidation. Selected proteomic studies illustrate the applications of these approaches.     

航天器轨道设计系统的小型化实现

简要介绍了所开发的航天器轨道设计系统的功能,详细描述了这种小型轨道设计系统的实现策略、模块划分和总体结构。最后,指出了系统开发中的关键技术并概括了系统的性能。     

三种在线商务洽谈室的设计与实现

讨论了建设在线商务洽谈室的基本原则,ASP（Active Server Pages)技术的,提出了3种在线商务洽谈室的模型及工作流程,并结合自己开发的在线商务洽谈室系统的实际代码,介绍了其中部分技术难点,提出了一套较为完整的在线商务洽谈室的解决方案。     

人工神经网络求解TSP问题新方法

本文在分析Hopfield/Tank方法的基础上提出一种新的人工神经网络方法,采用优化约束条件的能量函数,具有收敛速度快、不易陷入无效解、易获得亚优解等优点。     

多Agent系统DOLTRI—Agent中的通信及其安全机制

本文介绍了一个基于Internet的信息检索多Agent系统DOLTRI－Agent内多个Agent间的通信框架及其安全机制。主要论述各个Agent间相互通信所采用的通信语言,通信协议以及信息交换和相互合作的方法,在此基础上提出了一种多Agent系统安全通信模型。     

线性多步法模糊逻辑系统

根据求解常微分方程的线性多步逼近方法构造了线性多步法模糊逻辑系统以辨识由常微分方程所描述的未知动态系统,这种新的模糊逻辑系统在预测状态的同时也能够逼近系统微分方程中的未知函数,文中从理论上对精度作了分析,并用仿真验证了所得的结果。