Beginning with the simple introduction of socket which is the most commonly used application program interfaces in UNIX/LINUX communication domain, the concrete programming procedures to realize multicast and broadcas...Beginning with the simple introduction of socket which is the most commonly used application program interfaces in UNIX/LINUX communication domain, the concrete programming procedures to realize multicast and broadcast based on socket is provided, according to TCP/IP protocol in LINUX system. The acquiring and converting of broadcast destination address and multicast address, the setting of multicast options, the joining in and withdrawing from the multicast group, and the receiving and sending of datagram are all demonstrated in it, the related system calls and simple explication of C programming are also included.展开更多
In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
Asynchronous simulated moving bed chromatography (ASMBC), known also as the 'VARICOL' process, is more efficient and flexible than the well-known and traditional simulated moving bed chromatography (SMBC). A d...Asynchronous simulated moving bed chromatography (ASMBC), known also as the 'VARICOL' process, is more efficient and flexible than the well-known and traditional simulated moving bed chromatography (SMBC). A detailed model of ASMBC, taking account of non-linear competitive isotherms, mass transfer parameters, and complex port switching schedule parameters, was developed to simulate the complex dynamics of ASMBC.The simulated performance is in close agreement with the experimental data of chiral separation reported in the literature. The simulation results show that ASMBC can achieve the performance similar to SMBC with fewer columns and can achieve better performance than SMBC with the same total column number. All design and operation parameters can be chosen correctly by numerical simulation. This detailed ASMBC model and the numerical technique are useful for design, operation, optimization and scale-up of ASMBC.展开更多
Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial val...Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial value problem in some special cases where the initial values are available directly.A new technique was proposed and attempted to solve the two-point boundary-value problem rather than the conventional shooting method due to its algorithm complexity and low efficiency.First,the boundary conditions are transformed into a set of nonlinear governing equations about the initial values,then bisection method is employed to solve these nonlinear equations with the aid of 4th order Runge-Kutta method.In common sense,non-uniform (sheared) current is assumed,which varies in magnitude and direction with depth.The schemes are validated through the DE Zoysa's example,then several numerical examples are also presented to illustrate the numerical schemes.展开更多
AIM:To give an overview of the literature on intussusception due to inflammatory fibroid polyp(IFP).METHODS:We present a new case of ileal intussusception due to IFP and a literature review of studies published in Eng...AIM:To give an overview of the literature on intussusception due to inflammatory fibroid polyp(IFP).METHODS:We present a new case of ileal intussusception due to IFP and a literature review of studies published in English language on intussusception due to IFP,accessed via PubMed and Google Scholar databases.For the search,the keywords used were:intussusception,IFP,intussusception and IFP,intussusception due to IFP,and IFP presenting as intussusception.The search covered all articles from 1976 to November 2011.RESULTS:We present a 38-year-old woman who was admitted 10 d after experiencing abdominal pain,vomiting,and nausea.Ultrasonography demonstrated small bowel intussusception.An ileal intussusception due to a mass lesion 50 cm proximal to the ileocecal junction was found during laparotomy.Partial ileal resection and anastomosis were performed.A diagnosis of ileal IFP was made based on the immunohistochemical findings.In addition,a total of 56 reports concerning 85 cases of intussusception due to IFP meeting the aforementioned criteria was included in the literature review.The patients were aged 4 to 81 years(mean,49 ± 16.2 years);44 were women(mean,51.8 ± 14.3 years) and 41 were men(mean,46 ± 17.5 years).According to the location of the IFP,ileal intussusception was found in 63 patients,while 17 had jejunal,three had colonic,and two had ileojejunal intussusception.CONCLUSION:Although IFPs are rare and benign,surgery is the only solution in case of intestinal obstruction.Differential diagnosis should be made via immunohistochemical examination.展开更多
文摘Beginning with the simple introduction of socket which is the most commonly used application program interfaces in UNIX/LINUX communication domain, the concrete programming procedures to realize multicast and broadcast based on socket is provided, according to TCP/IP protocol in LINUX system. The acquiring and converting of broadcast destination address and multicast address, the setting of multicast options, the joining in and withdrawing from the multicast group, and the receiving and sending of datagram are all demonstrated in it, the related system calls and simple explication of C programming are also included.
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
基金Supported by the National Natural Science Foundation of China (No. 20206027), the Natural Science Foundation of Zhejiang Province (No. 202046)the National 973 Program of China (No. 2002CB312200).
文摘Asynchronous simulated moving bed chromatography (ASMBC), known also as the 'VARICOL' process, is more efficient and flexible than the well-known and traditional simulated moving bed chromatography (SMBC). A detailed model of ASMBC, taking account of non-linear competitive isotherms, mass transfer parameters, and complex port switching schedule parameters, was developed to simulate the complex dynamics of ASMBC.The simulated performance is in close agreement with the experimental data of chiral separation reported in the literature. The simulation results show that ASMBC can achieve the performance similar to SMBC with fewer columns and can achieve better performance than SMBC with the same total column number. All design and operation parameters can be chosen correctly by numerical simulation. This detailed ASMBC model and the numerical technique are useful for design, operation, optimization and scale-up of ASMBC.
文摘Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial value problem in some special cases where the initial values are available directly.A new technique was proposed and attempted to solve the two-point boundary-value problem rather than the conventional shooting method due to its algorithm complexity and low efficiency.First,the boundary conditions are transformed into a set of nonlinear governing equations about the initial values,then bisection method is employed to solve these nonlinear equations with the aid of 4th order Runge-Kutta method.In common sense,non-uniform (sheared) current is assumed,which varies in magnitude and direction with depth.The schemes are validated through the DE Zoysa's example,then several numerical examples are also presented to illustrate the numerical schemes.
文摘AIM:To give an overview of the literature on intussusception due to inflammatory fibroid polyp(IFP).METHODS:We present a new case of ileal intussusception due to IFP and a literature review of studies published in English language on intussusception due to IFP,accessed via PubMed and Google Scholar databases.For the search,the keywords used were:intussusception,IFP,intussusception and IFP,intussusception due to IFP,and IFP presenting as intussusception.The search covered all articles from 1976 to November 2011.RESULTS:We present a 38-year-old woman who was admitted 10 d after experiencing abdominal pain,vomiting,and nausea.Ultrasonography demonstrated small bowel intussusception.An ileal intussusception due to a mass lesion 50 cm proximal to the ileocecal junction was found during laparotomy.Partial ileal resection and anastomosis were performed.A diagnosis of ileal IFP was made based on the immunohistochemical findings.In addition,a total of 56 reports concerning 85 cases of intussusception due to IFP meeting the aforementioned criteria was included in the literature review.The patients were aged 4 to 81 years(mean,49 ± 16.2 years);44 were women(mean,51.8 ± 14.3 years) and 41 were men(mean,46 ± 17.5 years).According to the location of the IFP,ileal intussusception was found in 63 patients,while 17 had jejunal,three had colonic,and two had ileojejunal intussusception.CONCLUSION:Although IFPs are rare and benign,surgery is the only solution in case of intestinal obstruction.Differential diagnosis should be made via immunohistochemical examination.
