离子光学系统象差系数的计算机辅助推导

本文讨论了离子光学系统中离子轨迹方程的特点和逐次逼近求解法。利用人工智能语言的符号运算功能,提出了计算机推导象差系数的新方法。并举非均匀磁场(主场)轴向三阶象差系数为例,以示此方法的实用意义。     

关于行政处分的几点思考

行政处分作为管理机构对其内部成员违反法律法规或者纪律规定追究责任的一种内部具体行政行为，无论在国家机关还是企事业单位的管理工作中均普遍存在。作为一种制裁手段和惩戒措施，如果适用不当，必然会对被处分人的权益造成一定的损害，并产生负影响。现实管理工作中，管理机构性质不同，对内部成员的行政处分的依据则有所不同，处分责任类型也有差异，容易引起管理者在行政处分与政纪处分以及行政处罚之间的认识混淆。     

《刑法》第267条第二款之我见

抢劫犯罪是严重侵犯公民人身权、财产权的犯罪,历来为各国法律所重点打击。但我国刑法第267条第二款的规定“携带凶器抢夺的,依照本法第263条的规定定罪处罚”暴露出明显的不合理因素。鉴于此,本文从抢劫罪的定性,罪质,与抢夺罪的本质区别,刑法预防目的等万面进行探研,得出对这一条款进行适当修改的结论。     

Symbolic Significance of Colors in the Novel The Color Purple

This paper mainly explains the symbolic significance of colors in the novel The Color Purple by using theory of Alice Walker's Womaism.Black,in The Color Purple stands for humbleness,blue for a life of impulse,red for liberty and hope,purple for women's consummate happiness.And the choice of "purple" as its title,conceives a purple centered symbolic color system,which reveals the black women's expectation for living an ideal happy life.Walker gives an expression of black women's political condition,state of life under the racial and sexual oppression.Her intentions are to arouse women's consciousness of self and to call on them to be self-respected,self-supported and eventually be self-liberated.     

保险诈骗罪若干问题研究

保险诈骗完全有可能由除投保人、被保险人和受益人外的一般自然人主体实施,我国现行刑法规定的保险诈骗罪的自然人主体范围过窄,应当进一步扩大。在罪刑设计方面,刑法第198条第2款关于数罪并罚的规定应当删除;罚金刑的设置不能充分体现罪刑相当原则,可考虑采取以比例罚金制为基础的日额罚金制。     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

《古舟子咏》中信天翁被射杀情节之透析

《古舟子咏》是英国浪漫主义杰出代表,＂湖畔派诗人＂之一塞缪尔·泰勒·柯尔律治（Samuel Taylor Coleridge）的经典诗作。此诗神秘怪诞,寓意丰富。而笔者所关心的是信天翁为何被射杀,及这一简单故事情节在全诗中的作用及与主题的关系。本文将从作者的创作技巧,宗教象征意义和心理学角度三方面来分析。     

重访凯尔特神话历史——以爱尔兰为例

作为一个充满传奇色彩的族群,凯尔特人的神话传说并没有随着他们的辉煌时代一起归于沉寂,而是从口头传统进入书写系统。在爱尔兰文化传统中,曾经为文学艺术提供不竭灵感,成为民族运动的旗帜,甚至被打造为成功的商业符号,在流传变化的过程中受到各种力量的挤压和重构,构成了一部特色鲜明的神话历史。从凯尔特神话历史可以看出神话支配着一个族群的自我想像和认同,同时也根据当下需要不断经受修正和改写,最终成为政治、民族、宗教甚至商业等各种力量塑造的版本。     

非线性方程的一种近似算法

简要介绍近年新发展的一种非线性方程近似解析算法－分解法及其在非线性常微分方程中的应用。     

线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。