Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

保障公民劳动就业权的里程碑

就业促进法这部法律属于经济法中的宏观经济调控法，把它放到宏观经济调控法的结构中看，仍有一些问题值得探讨和研究。     

电脑刺绣机针杆及挑线机构设计

以电脑刺绣机原始针杆机构和挑线机构为研究对象,在保持原有针杆运动规律和挑线杆运动规律的前提下,运用机构创新设计理论,分析电脑刺绣机针杆机构和挑线机构的可能选型.为研制新型电脑刺绣机针杆机构和挑线机构奠定了理论基础.     

浅谈提高形体表演能力的辅助训练方法

文章介绍了几种简便易行、旨在提高学员形体表演能力的辅助训练方法。     

加强文献资源建设为教学科研服务

文章从文献资源建设的作用和重要性出发,介绍了文献建设的原则与方法,以及做好文献资源建设工作应正确处理好的几种关系,提出了文献资源建设要通过藏书剔旧工作来保持稳定的建议,论述了文献资源建设为教学科研服务的新策略和馆藏政策制定方式。     

Pattern formation in Rayleigh-Bénard convection: Numerical simulation with a coupled-map-lattice model

The various patterns formed in Rayleigh-Bénard convection under different conditions are numerically simulated with a coupled-map-lattice model. In the case of a lower aspect ratio (L/d=5), the simulations vividly depicted the main features of the transition process from a laminar state to a soft turbulence and then to a hard turbulence. In this case, the cellular structure in a horizontal section is also reproduced. In the case of a larger aspect ratio (L/d=30), the simulations successfully reproduced the spiral-defect chaos and target chaos in the initial stage of the pattern evolution which were recently found in experiments. In this case, for a fluid ofPr=1, it is verified in simulations that both the ideal straight rolls and spiral-defect chaos are stable attractors in the same parameter regime, and that the initial condition is a decisive factor for which one of the two is formed. In the same case, for a fluid ofPr=4, the target patterns are dominant instead of the spirals, the sizes and distributions of the target are also notably dependent on the initial condition.     

物种种性漂移的生物信息论基础

提出了生物信息论——以数字化技术研究和描述生物遗传信息的结构、变化、传递和表达成生物性状全过程的科学，建立了生物信息的结构、变化、传递和表达模型，定义了用于生物信息论研究的若干概念，分析了物种种性漂移的生物信息论之基础。     

保护地无公害蔬菜生产综合栽培措施

针对保护地蔬菜生产中农药和化肥使用量较大、易对其产品造成污染产生公害的现状，总结出综合栽培措施；建造结构合理和采光、保温、通风性能良好的保护地栽培设施；选用适合保护地栽培的蔬菜品种；改进栽培技术，实行科学管理；采用综合的病虫害防治技术等．     

会计学专业实践性教学模式的探讨

知识经济时代 ,对会计人员的素质要求越来越高。文章主要探讨如何加强会计专业实践性教学环节 ,寻求有效的实践性教学模式 ,从而培养出具有熟练会计核算能力、利用会计资料进行会计监督、参与企业经营管理预测和决策能力的会计人才     

转美洲拟鲽抗冻蛋白基因(afp)番茄D4代植株可溶性蛋白分析

对转美洲拟鲽抗冻蛋白基因（afp）的第四代番茄及其对照经低温处理后，对幼苗叶片组织可溶性蛋白进行聚丙烯酰胺凝胶电泳分析和紫外吸收法测定含量。发现转基因各组经低温诱导后的可溶性蛋白均比对照明显增加，聚丙烯酰胺凝胶电泳图谱发生变化。其中A-Ⅲ区电泳谱带迁移率加快，C区和B区语带染色加深．说明导入的afp基因已经表达，并使番茄获得抗寒性。