- 著者
- Kosaku Nishimura Tatsuya Abe
- 出版者
- Japanese Society for Food Science and Technology
- 雑誌
- Food Science and Technology Research (ISSN:13446606)
- 巻号頁・発行日
- pp.FSTR-D-22-00145, (Released:2022-12-22)
Connective tissue and fat are often removed from meat during processing. Their removal requires skilled butchery techniques; however, few methods are available for batch processing a large number of meat pieces. In this study, we aimed to develop a pretreatment method that promotes the flow of connective tissue and fat from meat so that they are removed during cooking. When meat samples pre-treated with protease (immersion in papain solution) and quick freezing (with thawing after immersion in liquid nitrogen) were cooked, connective tissue and fat disintegrated; the amount of outflow was significantly higher than when each treatment was applied individually. This combination reduced treatment time and did not severely damage the muscle tissue in the meat. This method has the potential to produce value-added meat products in terms of sensory quality and nutrition.
- 著者
- Tatsuya Abe Toshiyuki Maeda
- 出版者
- Information Processing Society of Japan
- 雑誌
- Journal of Information Processing (ISSN:18826652)
- 巻号頁・発行日
- vol.25, pp.244-255, 2017 (Released:2017-02-15)
- 参考文献数
- 49
- 被引用文献数
- 5
Relaxed memory consistency models specify effects of executions of statements among threads, which may or may not be reordered. Such reorderings may cross loop iterations. To the best of our knowledge, however, there exists no concurrent program logic which explicitly handles the reorderings across loop iterations. This paper provides concurrent program logic for relaxed memory consistency models that can represent, for example, total store ordering, partial store ordering, relaxed memory ordering, and acquire and release consistency. There are two novel aspects to our approach. First, we translate a concurrent program into a family of directed acyclic graphs with finite nodes and transitive edges called program graphs according to a memory consistency model that we adopt. These represent dependencies among statements which represent reorderings of not only statements but also visibility of their effects. Second, we introduce auxiliary variables that temporarily buffer the effects of write operations on shared memory, and explicitly describe the reflections of the buffered effects to shared memory. Specifically, we define a small-step operational semantics for the program graphs with the introduced auxiliary variables, then define sound and relatively complete logic to the semantics.