基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

图书馆大流通服务模式的特点及对策

随着图书馆服务模式不断升级，新型服务管理模式得到推广与使用，既方便了师生查阅文献资料，也降低了管理人员的工作难度。阐述了大流通服务的概念，分析了大流通服务模式的特点，提出了推进图书馆大流通服务的对策。     

高校校园文化景观设计创意和表达

高校校园的文化景观不仅对其师生有潜移默化的教育作用,更会传达给师生归属感和认同感.以上海应用技术学院奉贤校区的"思贤庭"为例,在设计中结合地理位置、学科特色、功能定位、校园文化特色等,从场地原有的精神特性、历史文脉出发,演绎推导出校园文化景观的语境、符号等要素,形成了较有典型意义的校园文化景观表达模式.指出,文化景观创意的表达无需说教,可用"只言片语"的形式含蓄表达,重要的是营造出既符合功能需求又具有灵性的校园户外空间.     

文化线路遗产旅游体验影响因素研究——以丝绸之路为例

通过文献分析法以及访谈法拟定和选取了文化线路遗产旅游体验测评的潜变量和相应的测量变量,并基于陕西,甘肃两地丝绸之路世界遗址点景区的游客调研数据对丝绸之路文化线路遗产旅游体验评价维度进行验证性因子分析,构建了丝绸之路旅游体验影响因素的二阶五因素结构模型。结果显示:影响丝绸之路文化线路遗产旅游体验的因素并非是由资源主导,而是综合因素共同导向;遗产地旅游设施服务水平、遗产资源品质、遗产解说、活动参与感知以及遗产地环境氛围均显著影响旅游者体验质量,且以旅游设施服务能力的影响程度最大。     

一种自适应步长的复合梯度加速优化算法

自适应步长加速(Adam)类算法由于其计算效率高、兼容性好的特点，成为近期相关领域的研究热点.针对Adam收敛速度慢的问题，本文基于当前梯度、预测梯度以及历史动量梯度，提出一种新型Adam类一阶优化算法——复合梯度下降法(C-Adam)，并对其收敛性进行了理论证明.与其他加速算法的区别之处在于，C-Adam将预测梯度与历史动量区别开，通过一次真实的梯度更新找到下一次迭代更精准的搜索方向.利用两组常用测试数据集及45钢静拉伸破坏实验的实验数据对所提算法进行验证，实验结果表明C-Adam与其他流行算法相比较具有更快的收敛速度及更小的训练损失.     

大尺寸工程模型试验中的相似材料配比试验研究

大型物理模型试验是研究复杂工程问题的重要方法，如何快速、准确地确定相似材料配比是试验中至关重要的一环.为降低试验成本、简化试验步骤、充分调用原料性能，采用河砂、水泥和石膏这三种最普通的原料，以骨胶比(河砂与水泥石膏的质量比)和水膏比(水泥与石膏的质量比)为变量，进行了45组对比试验，对相似材料的物理及动、静力学参数进行了研究.获得了以河砂、水泥和石膏为原料配制的相似材料各物理量的变化区间；探讨了骨胶比和水膏比对相似材料各物理量的控制作用，并对比了其敏感性；基于多元线性回归分析建立了各因素与物理量间的定量关系，得到的拟合公式能较好地描述相似材料的性质.     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

基于WEB的在线答疑系统的设计与实现

根据登录者的身份，基于WWW技术的在线答疑系统设计为三大模块：学生模块、教师模块和系统管理员模块，它们可分别完成提问、回答和版务管理等功能．还探讨了系统主要的实现技术。     

"三个代表"与党的建设

“三个代表”是立党之本、执政之基、力量之源，它涵盖了我党所要具备的三种资源力量：即物质力量、精神力量(文化)和社会力量(广大人民群众)，这三种力量是党立于不败之地的强大力量。     

自然事物的情感表现性

自然事物的情感表现性产生于人类与大自然事物生命情调上的相似，自然事物的形式美因素以及人类情感形式与自然物在“力的图式”上同形同构。