A FINITE ELEMENT—MATHEMATICAL PROGRAMMING METHOD FOR ELASTOPLASTIC PROBLEMS BASED ON THE PRINCIPLE OF VIRTUAL WORK

By expanding the yielding function according toTaylor series and neglecting the high order terms, the elastoplastic constitutive equation is written in a linear complementary form. Based on this linear complementary form and the principle of virtual work, a finite element-complementary method is derived for elastoplastic problem. This method is available for materials which satisfy either associated or nonassociated flow rule. In addition, the existence and uniqueness oj solution for the method are also discussed and some useful conclusions are given.

The Program for the Development of Chinese New and Renewable Energy (1996-2010) Worked Out

The State Science and Technology Commission, State Economic and Trade Commission, and State Planning Commission of China have jointly worked out the Program for the Development of Chinese New and Renewable Energy recently.

PILOT PROGRAM OF KNOWLEDGE INNOVATION AT INSTITUTE OF THEORETICAL PHYSICS

Ⅰ. REVIEW The Institute of Theoretical Physics (ITP) of the CAS was founded in 1978 with the personal approval of Comrade Deng Xiaoping, in the same year when the Third Plenary Session of the Central Committee of the CPC (Communist Party of China) was convened. Over the past 20 years, the Institute has been striving to explore a road for sound development in a bid to achieve the following targets: In regard to research, the institute strives

New Five-Year Program and Progress of China's Human Rights Cause——A study of the guidelines set by the Fifth Plenary Session of the Seventeenth Central Committee of the Communist Party of China

The Proposal for the Twelfth Five-Year Plan for China＇s Economic and Social Development （2011-2015）（herein after referred to as the ＂Proposed Plan＂ for short） provides a complete range of guidelines for China＇s im-mediate and long-term development.

Solid Works环境下牙嵌离合器标准件库开发

在Solid Works环境下开发的面向《机械设计手册》的标准件库由尺寸参数数据库、交互式用户界面和建模功能函数组成.根据国家标准中的尺寸表格形式,设计出简洁清晰的牙嵌离合器尺寸数据库.由符合设计人员思维模式的用户界面调用尺寸参数库,并采用参数化的程序驱动法在建模功能函数和尺寸参数库之间建立数据传递关系,达到尺寸驱动的目的.实现了用户界面友好、可扩充、使用方便的牙嵌离合器标准件库.本文所采用的方法是在Solid Works环境下实现通用三维标准件库的良好途径.

Analysis and modeling of web services flow using π-calculus

In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.

用VB实现Solid Works对零件的参数化设计

介绍了零件三维建模的参数化设计 ,通过可视化程序设计语言VisualBasic来调用三维建模软件SolidWorks绘制出所需的零件 ,这样使得图形绘制简单 ,编辑方便 。

基于Solid Works的外啮合直齿插齿刀参数化设计

介绍了一个基于SolidWorks API而开发的外啮合直齿插齿刀CAD软件。该软件能完成插齿刀齿形参数与结构参数的计算、三维实体造型及工程图的生成,并以实例验证了该软件的可行性。

Differential effects of physical activity and sleep duration on cognitive function in young adults

Purpose: Although exercise and sleep duration habits are associated with cognitive function, their beneficial effects on cognitive function remain unclear. We aimed to examine the effect of sleep duration and daily physical activity on cognitive function, elucidating the neural mechanisms using near-infrared spectroscopy(NIRS).Methods: A total of 23 healthy young adults(age 22.0 ± 2.2 years) participated in this study. Exercise amount was assessed using a uniaxial accelerometer. We evaluated total sleep time(TST) and sleep efficiency by actigraphy. Cognitive function was tested using the N-back task, the Wisconsin Card Sorting Test(WCST), and the Continuous Performance Test—Identical Pairs(CPT-IP), and the cortical oxygenated hemoglobin levels during a word fluency task were measured with NIRS.Results: Exercise amount was significantly correlated with reaction time on 0- and 1-back tasks(r = —0.602, p = 0.002; r = —0.446, p = 0.033,respectively), whereas TST was significantly correlated with % corrects on the 2-back task(r = 0.486, p = 0.019). Multiple regression analysis,including exercise amount, TST, and sleep efficiency, revealed that exercise amount was the most significant factor for reaction time on 0- and 1-back tasks(b = —0.634, p = 0.002; b = —0.454, p = 0.031, respectively), and TST was the most significant factor for % corrects on the 2-back task(b = 0.542, p = 0.014). The parameter measured by WCST and CPT-IP was not significantly correlated with TST or exercise amount. Exercise amount, but not TST, was significantly correlated with the mean area under the NIRS curve in the prefrontal area(r = 0.492, p = 0.017).Conclusion: Exercise amount and TST had differential effects on working memory and cortical activation in the prefrontal area. Daily physical activity and appropriate sleep duration may play an important role in working memory.

最新石油地下数据形象化软件Rock Works 2004

将油气田的丰富地下数据,借助计算机软件,形象化地创作成图文并茂的各种新型的2D或3D图形,可以方便石油勘探、开发人员的研究、分析和利用。本文介绍地下数据形象化软件RockWorks2004的功能及其在石油工业上的应用。

Effectiveness of hospital disinfection and experience learnt from 11 years of surveillance

This survey was designed to assess the sanitation status of hospitals and the compliance of hospital staff to disinfection strategies within the past 11 years.A total of 199 provincial affiliated tertiary or secondary public hospitals from 2007 to 2017 were investigated and seven critical categories,namely indoor air,work surface,hand hygiene,ultraviolet(UV) irradiation intensity,use of disinfectants,sterilization of medical items,and effects of steam sterilizer,were monitored.The average qualified rates were(94.74±3.54)%(810/855),(97.25±1.65)%(1 876/1 929),(87.57±4.60)%(2 508/2 864),(95.00±4.50)%(1 196/1 259),and(98.76±1.14)%(1 599/1 619) for indoor air,work surface,hand hygiene,UV irradiation intensity,and sterilization of medical items,respectively.In terms of other categories,a few samples were not qualified:3/1 575 for use of disinfectants and 1/243 for effects of steam sterilizer.The hospital disinfection monitoring and supervision program effectively improved the effectiveness of disinfection.Routine monitoring and supervision must be conducted to ensure a safe hospital treatment environment.

Optimal synthesis of compression refrigeration system using a novel MINLP approach

The optimal design of a compression refrigeration system(CRS) with multiple temperature levels is very important to chemical process industries and also represents considerable challenges in process systems engineering. In this paper, a general methodology for the optimal synthesis of the CRS, which simultaneously integrates CRS and Heat Exchanger Networks(HEN) to minimize the total compressor shaft work consumption based on an MINLP model, has been proposed. The major contribution of this method is in addressing the optimal design of refrigeration cycle with variable refrigeration temperature levels. The method can be used to make major decisions in the CRS design, such as the number of levels, temperature levels, and heat transfer duties. The performance of the developed methodology has been illustrated with a case study of an ethylene CRS in an industrial ethylene plant, and the optimal solution has been examined by rigorous simulations in Aspen Plus to verify its feasibility and consistency.

基于COFF和自举表文件的DSP执行程序提取器设计及实现

介绍了基于COFF和自举表文件的DSP执行程序提取器设计方案及实现技术,包括两种文件的解析算法、软件实现、功能验证、性能评估以及在新一代运载火箭型号中的应用情况。使用提取器,能够快速、自动生成带有CRC校验信息的DSP执行程序,提高了生成效率、正确率、可靠性以及使用的安全性。

SHFuzz:A Hybrid Fuzzing Method Assisted by Static Analysis for Binary Programs

Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.

Optical neuroimaging of executive function impairments in food addiction

This study investigated the neural mechanisms located in the prefrontal cortex(PFC)involved in maintaining addictive-like eating behavior.Therefore,we aimed toll a gap in the existing literature and help clarify the food addiction(FA)cycle by inspecting the relationship between the executive control and psychopathology involved in the FA cycle.Twenty-three students recruited from the University of Macao participated in this study.We investigated a hemodynamic response captured by NIRS recordings,activated during n-back,set-shifting,and go/nogo paradigms.Moreover,we investigated the FA symptoms through the YFAS clinical inventory to better understand the relationship between hemodynamic response and clinical symptomatology in college students.First,the hemodynamicndings conrm that altered cognitive control in executive function performance appears to be linked to addictive-like eating behaviors,which in turn conrms a circuit similarity between FA and the substance abuse population(SUD)as reported in previous fMRI studies.Secondly,the psychologicalndings conrm the signicant association between the working memory decits and symptoms severity which suggest the role of self-control and regulation in limiting the storage resources as a potential trigger to develop overconsumption episodes in the FA cycle.Ourndings highlight how disrupted self-control and regulation of craving and negative a®ect induced by mental imagery might shape and overload the working memory storage as a potential trigger to develop binge eating episodes to maintain the FA cycle.In conclusion,the use of fNIRS in the context of eating disorders studies represents a valuable application,noninvasive,and patientfriendly tool,providing new insights into understanding the addiction cycle and treatment guidelines.

Dynamic Simulation of Solid Adsorption Solar Refrigerator System with AC/CH₃OH as a Working Pair

Solid adsorption system, one of alternative refrigeration systems, is utilized to provide cold for refrigerator or air-conditioner and can be operated by assistance of solar heat. System performance study through computer usage to develop simulation program and simulate behaviors of system operation can give designed system which suits for user’s need. Also, the present study aims to develop dynamic simulation program of solid adsorption refrigeration system operated by solar assistance to simulate behaviors of system operation and its performance. Flat plate collectror is utilized to provide thermal energy for system’s adsorber and activated carbon/methanol is used to be a suitable working pair. Simulation procedure starts with various solar radiation intensities as input energy on solar collector and water is used as collector working fluid. Behavior of system operation can be considered to be 4 steps as isosteric heating, isobaric desorption, isosteric cooling and isobaric adsorption, respectively. This research studies the effect of varying solar radiation intensity on temperature, pressure of adsorber, adsorption ratio at each steps of system operated ranging from 6:00 am (the first day) to 6:00 am (the next day) and system performance which is defined as coefficient of performance, COP. In addition, the simulation result shows monthly average COP of 0.43 compared to a result of another previous research work under the same operating condition and the percentage error is 7.5%.

Context-aware BPEL workflow system using aspect-oriented programming

Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.

An Intelligent Optimization Method of Reinforcing Bar Cutting for Construction Site

To meet the requirements of specifications,intelligent optimization of steel bar blanking can improve resource utilization and promote the intelligent development of sustainable construction.As one of the most important building materials in construction engineering,reinforcing bars(rebar)account for more than 30%of the cost in civil engineering.A significant amount of cutting waste is generated during the construction phase.Excessive cutting waste increases construction costs and generates a considerable amount of CO_(2)emission.This study aimed to develop an optimization algorithm for steel bar blanking that can be used in the intelligent optimization of steel bar engineering to realize sustainable construction.In the proposed algorithm,the integer linear programming algorithm was applied to solve the problem.It was combined with the statistical method,a greedy strategy was introduced,and a method for determining the dynamic critical threshold was developed to ensure the accuracy of large-scale data calculation.The proposed algorithm was verified through a case study;the results confirmed that the rebar loss rate of the proposed method was reduced by 9.124%compared with that of traditional distributed processing of steel bars,reducing CO_(2)emissions and saving construction costs.As the scale of a project increases,the calculation quality of the optimization algorithmfor steel bar blanking proposed also increases,while maintaining high calculation efficiency.When the results of this study are applied in practice,they can be used as a sustainable foundation for building informatization and intelligent development.

Defeating constraint based program analysis with temporal correlation function

Constraint based program analysis is widely used in program validation, program vulnerability analysis, etc. This paper proposes a temporal correlation function to protect programs from analysis. The temporal correlation function can be applied to resist against both static and dynamic function summary and eoncolie testing. What＇ s more, the temporal correlation function can produce different outputs even with same input. This feature can be used to damage the premise of function summary as well as prevent concolie testing process to run the new branch with new input. Experiment results show that this method can reduce efficiency and path coverage of concolic testing, while greatly in- creasing the difficulty of constraint based program analysis.

网络协议软件漏洞挖掘技术综述

网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议交互过程复杂、相同协议规范的多个协议实现存在功能差异等特点,使得其漏洞挖掘技术面临诸多挑战.首先对网络协议软件漏洞挖掘技术进行分类,对已有关键技术的内涵进行界定.其次,进一步综述网络协议软件漏洞挖掘4个方面的技术进展,包括网络协议描述方法、挖掘对象适配技术、模糊测试技术和基于程序分析的漏洞挖掘方法,通过对比分析归纳不同方法的技术优势及评价维度.最后,总结网络协议软件漏洞挖掘的技术现状和挑战,并提炼5个潜在研究方向.