Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient execution...Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.展开更多
Objective: To observe the effect of hypoxia on the liver function of constructors at high altitude. Method: Select 221 constructors aged 23～42 as subjects, who had worked for 3～6 months at 4500 m. Collect venous blo...Objective: To observe the effect of hypoxia on the liver function of constructors at high altitude. Method: Select 221 constructors aged 23～42 as subjects, who had worked for 3～6 months at 4500 m. Collect venous blood from fasting subjects and determine GPT by new Lai’s Method from “The Nationwide Clinical Inspection Operating Rules". Results: The study indicated that the GPT of 45 subjects among Group 1 were abnormal, with the proportion of 20.3%. The peak of GPT appeared when subjects exposed to high altitude of 4500m for 1 month, and the mean value was 83.76±9.23.The GPT of workers were higher than that of administers at different altitude (p<0.05). And the GPT of subjects at 4500 m were higher than those at 3500 m (p<0.05). We can find a degrading tendency with the increasing of working time (p<0.05). There was significantly statistic difference between two groups. Conclusions: The study confirmed that hypoxia could cause the change of liver function mildly and moderately. And there was a positive correlation between the degree of hypoxia and liver function. But, the change began to become a decreasing trend when people went on working longer. We also found that the change of liver structure and function at high altitude correlated with several factors else, including labor, individual difference, methods and sensitivity to the test. However, the explanation of its key mechanism deserves further investigation.展开更多
This paper investigates the semantics of conditional term rewriting systemswith negation (denoted by EI-CTRS), called constructor-based EI-model se-mantics. The introduction of '≠' in EI-CTRS make EI-CTRS mor...This paper investigates the semantics of conditional term rewriting systemswith negation (denoted by EI-CTRS), called constructor-based EI-model se-mantics. The introduction of '≠' in EI-CTRS make EI-CTRS more difficult tostudy. This is in part because of a failure of EI-CTRS to guarantee that thereexist least Herbrand models in classical logical point of views. The key idea ofEI-model is to explain that 't ≠ s' means that the two concepts representedby t and s respectively actually belong to distinguished basic concepts repre-sented by two constructor-ground terms. We define the concept of EI-model,and show that there exist least Herbrand ELmodels for EI-satisfiable EI-CTRS.From algebraic and logic point of view, we show that there are very strong rea-sons for regarding the least Herbrand EI-models as the intended semantics ofEI-CTRS. According to fixpoint theory, we develop a method to construct leastHerbrand EI-models in a bottom-up manner. Moreover, we discuss soundnessand completeness of EI-rewrite for EI-model semantics.展开更多
基金Supported by Research Fellowships of Japan Society for the Promotion of Science for Young Scientists(11-0 6 2 82 )
文摘Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.
文摘Objective: To observe the effect of hypoxia on the liver function of constructors at high altitude. Method: Select 221 constructors aged 23～42 as subjects, who had worked for 3～6 months at 4500 m. Collect venous blood from fasting subjects and determine GPT by new Lai’s Method from “The Nationwide Clinical Inspection Operating Rules". Results: The study indicated that the GPT of 45 subjects among Group 1 were abnormal, with the proportion of 20.3%. The peak of GPT appeared when subjects exposed to high altitude of 4500m for 1 month, and the mean value was 83.76±9.23.The GPT of workers were higher than that of administers at different altitude (p<0.05). And the GPT of subjects at 4500 m were higher than those at 3500 m (p<0.05). We can find a degrading tendency with the increasing of working time (p<0.05). There was significantly statistic difference between two groups. Conclusions: The study confirmed that hypoxia could cause the change of liver function mildly and moderately. And there was a positive correlation between the degree of hypoxia and liver function. But, the change began to become a decreasing trend when people went on working longer. We also found that the change of liver structure and function at high altitude correlated with several factors else, including labor, individual difference, methods and sensitivity to the test. However, the explanation of its key mechanism deserves further investigation.
文摘This paper investigates the semantics of conditional term rewriting systemswith negation (denoted by EI-CTRS), called constructor-based EI-model se-mantics. The introduction of '≠' in EI-CTRS make EI-CTRS more difficult tostudy. This is in part because of a failure of EI-CTRS to guarantee that thereexist least Herbrand models in classical logical point of views. The key idea ofEI-model is to explain that 't ≠ s' means that the two concepts representedby t and s respectively actually belong to distinguished basic concepts repre-sented by two constructor-ground terms. We define the concept of EI-model,and show that there exist least Herbrand ELmodels for EI-satisfiable EI-CTRS.From algebraic and logic point of view, we show that there are very strong rea-sons for regarding the least Herbrand EI-models as the intended semantics ofEI-CTRS. According to fixpoint theory, we develop a method to construct leastHerbrand EI-models in a bottom-up manner. Moreover, we discuss soundnessand completeness of EI-rewrite for EI-model semantics.
