A simplified integer overflow detection method based on path relaxation is described for avoiding buffer overflow triggered by integer overflow. When the integer overflow refers to the size of the buffer allocated dyn...A simplified integer overflow detection method based on path relaxation is described for avoiding buffer overflow triggered by integer overflow. When the integer overflow refers to the size of the buffer allocated dynamically, this kind of integer overflow is most likely to trigger buffer overflow. Based on this discovery, through lightly static program analysis, the solution traces the key variables referring to the size of a buffer allocated dynamically and it maintains the upper bound and lower bound of these variables. After the constraint information of these traced variables is inserted into the original program, this method tests the program with test cases through path relaxation, which means that it not only reports the errors revealed by the current runtime value of traced variables contained in the test case, but it also examines the errors possibly occurring under the same execution path with all the possible values of the traced variables. The effectiveness of this method is demonstrated in a case study. Compared with the traditional buffer overflow detection methods, this method reduces the burden of detection and improves efficiency.展开更多
Radiation-induced gastritis is an infrequent cause of gastrointestinal bleeding.It is a serious complication arising from radiation therapy,and the standard treatment method has not been established.The initial injury...Radiation-induced gastritis is an infrequent cause of gastrointestinal bleeding.It is a serious complication arising from radiation therapy,and the standard treatment method has not been established.The initial injury is characteristically acute inflammation of gastric mucosa.We presented a 46-year-old male patient with hemorrhagic gastritis induced by external radiotherapy for metastatic retroperitoneal lymph node of hepatocellular carcinoma.The endoscopic examination showed diffuse edematous hyperemicmucosa with telangiectasias in the whole muscosa of the stomach and duodenal bulb.Multiple hemorrhagic patches with active oozing were found over the antrum.Anti-secretary therapy was initiated for hemostasis,but melena still occurred off and on.Finally,he was successfully treated by prednisolone therapy.We therefore strongly argue in favor of perdnisolone therapy to effectively treat patients with radiation-induced hemorrhagic gastritis.展开更多
The taxi drivers' cruising pattern was learned using GPS trajectory data collected in Shenzhen,China.By employing zero-inflated Poisson model,the impacts of land use and previous pick-up experience on cruising dec...The taxi drivers' cruising pattern was learned using GPS trajectory data collected in Shenzhen,China.By employing zero-inflated Poisson model,the impacts of land use and previous pick-up experience on cruising decision were measured.The cruising strategies of different types of drivers as well as the top one driver were examined.The results indicate that both land use and previous pick-up experience affect travel behavior with the former's influence(7.07×10-4 measured by one of the coefficients in zero-inflated Poisson model) being greater than the latter's(4.58×10-5) in general,but the comparison also varies across the types of drivers.Besides,taxi drivers' day-to-day learning feature is also proved by the results.According to comparison of the cruising behavior of the most efficient and inefficient driver,an efficient cruising strategy was proposed,that is,obeying the distribution of land use in choice of cruising area,while learning from pick-up experience in selection of detailed cruising location.By learning taxi drivers' cruising pattern,the development of measures of regulating travel behaviors is facilitated,important factor for traffic organization and planning is identified,and an efficient cruising strategy for taxi drivers is provided.展开更多
基金The National Natural Science Foundation of China (No.60873050,60703086)the Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University (No.SKLSE20080717)
文摘A simplified integer overflow detection method based on path relaxation is described for avoiding buffer overflow triggered by integer overflow. When the integer overflow refers to the size of the buffer allocated dynamically, this kind of integer overflow is most likely to trigger buffer overflow. Based on this discovery, through lightly static program analysis, the solution traces the key variables referring to the size of a buffer allocated dynamically and it maintains the upper bound and lower bound of these variables. After the constraint information of these traced variables is inserted into the original program, this method tests the program with test cases through path relaxation, which means that it not only reports the errors revealed by the current runtime value of traced variables contained in the test case, but it also examines the errors possibly occurring under the same execution path with all the possible values of the traced variables. The effectiveness of this method is demonstrated in a case study. Compared with the traditional buffer overflow detection methods, this method reduces the burden of detection and improves efficiency.
文摘Radiation-induced gastritis is an infrequent cause of gastrointestinal bleeding.It is a serious complication arising from radiation therapy,and the standard treatment method has not been established.The initial injury is characteristically acute inflammation of gastric mucosa.We presented a 46-year-old male patient with hemorrhagic gastritis induced by external radiotherapy for metastatic retroperitoneal lymph node of hepatocellular carcinoma.The endoscopic examination showed diffuse edematous hyperemicmucosa with telangiectasias in the whole muscosa of the stomach and duodenal bulb.Multiple hemorrhagic patches with active oozing were found over the antrum.Anti-secretary therapy was initiated for hemostasis,but melena still occurred off and on.Finally,he was successfully treated by prednisolone therapy.We therefore strongly argue in favor of perdnisolone therapy to effectively treat patients with radiation-induced hemorrhagic gastritis.
基金Project(50908099)supported by the National Natural Science Foundation of ChinaProject(201104493)supported by the Doctoral Program of Higher Education of China
文摘The taxi drivers' cruising pattern was learned using GPS trajectory data collected in Shenzhen,China.By employing zero-inflated Poisson model,the impacts of land use and previous pick-up experience on cruising decision were measured.The cruising strategies of different types of drivers as well as the top one driver were examined.The results indicate that both land use and previous pick-up experience affect travel behavior with the former's influence(7.07×10-4 measured by one of the coefficients in zero-inflated Poisson model) being greater than the latter's(4.58×10-5) in general,but the comparison also varies across the types of drivers.Besides,taxi drivers' day-to-day learning feature is also proved by the results.According to comparison of the cruising behavior of the most efficient and inefficient driver,an efficient cruising strategy was proposed,that is,obeying the distribution of land use in choice of cruising area,while learning from pick-up experience in selection of detailed cruising location.By learning taxi drivers' cruising pattern,the development of measures of regulating travel behaviors is facilitated,important factor for traffic organization and planning is identified,and an efficient cruising strategy for taxi drivers is provided.
